Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WPM1-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_auctions_auc-scheduling_cat_sched_60_150_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_150_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 516
c lw 1032
c lw 1548
c lw 2064
c lw 2580
c lw 3096
c lw 3612
c lw 4128
c lw 4644
c lw 5160
c lw 5676
c lw 6192
c lw 6708
c lw 7224
c lw 7740
c lw 8256
c lw 8772
c lw 9288
c lw 9804
c lw 10320
c lw 10836
c lw 11352
c lw 11868
c lw 12384
c lw 12900
c lw 13416
c lw 13932
c lw 14448
c lw 14964
c lw 15409
c lw 15854
c lw 16299
c lw 16744
c lw 17189
c lw 17622
c lw 18055
c lw 18488
c lw 18921
c lw 19354
c lw 19787
c lw 20220
c lw 20653
c lw 21086
c lw 21519
c lw 21952
c lw 22385
c lw 22818
c lw 23251
c lw 23684
c lw 24117
c lw 24550
c lw 24983
c lw 25416
c lw 25849
c lw 26282
c lw 26715
c lw 27148
c lw 27581
c lw 28014
c lw 28447
c lw 28880
c lw 29313
c lw 29746
c lw 30179
c lw 30612
c lw 31045
c lw 31478
c lw 31911
c lw 32344
c lw 32777
c lw 33210
c lw 33643
c lw 34076
c lw 34509
c lw 34942
c lw 35375
c lw 35796
c lw 36217
c lw 36559
c lw 36901
c lw 37243
c lw 37585
c lw 37927
c lw 38269
c lw 38611
c lw 38953
c lw 39295
c lw 39637
c lw 39979
c lw 40321
c lw 40651
c lw 40981
c lw 41153
c lw 41325
c lw 41497
c lw 41669
c lw 41841
c lw 42013
c lw 42185
c lw 42357
c lw 42529
c lw 42701
c lw 42873
c lw 43045
c lw 43217
c lw 43389
c lw 43561
c lw 43733
c lw 43905
c lw 44077
c lw 44249
c lw 44421
c lw 44593
c lw 44765
c lw 44937
c lw 45109
c lw 45281
c lw 45453
c lw 45625
c lw 45797
c lw 45969
c lw 46141
c lw 46313
c lw 46485
c lw 46657
c lw 46829
c lw 47001
c lw 47173
c lw 47345
c lw 47517
c lw 47689
c lw 47861
c lw 48033
c lw 48205
c lw 48377
c lw 48549
c lw 48721
c lw 48893
c lw 49065
c lw 49237
c lw 49409
c lw 49581
c lw 49753
c lw 49925
c lw 50094
c lw 50254
c lw 50414
c lw 50574
c lw 50731
o 50886
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_150_0002.txt.wcnf 50886
v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 
2.264u 0.005s 0:02.34 96.5%	0+0k 0+0io 0pf+0w