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_130_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_130_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 677
c lw 1354
c lw 2031
c lw 2708
c lw 3385
c lw 4062
c lw 4739
c lw 5416
c lw 6093
c lw 6770
c lw 7447
c lw 8124
c lw 8801
c lw 9478
c lw 10155
c lw 10832
c lw 11509
c lw 12186
c lw 12863
c lw 13540
c lw 14217
c lw 14894
c lw 15571
c lw 16248
c lw 16925
c lw 17602
c lw 18279
c lw 18956
c lw 19633
c lw 20310
c lw 20987
c lw 21664
c lw 22341
c lw 22889
c lw 23437
c lw 23985
c lw 24533
c lw 25081
c lw 25629
c lw 26177
c lw 26725
c lw 27273
c lw 27821
c lw 28369
c lw 28917
c lw 29465
c lw 30013
c lw 30561
c lw 31109
c lw 31657
c lw 32205
c lw 32753
c lw 33301
c lw 33849
c lw 34397
c lw 34945
c lw 35493
c lw 36041
c lw 36589
c lw 37137
c lw 37685
c lw 38233
c lw 38781
c lw 39329
c lw 39877
c lw 40425
c lw 40973
c lw 41521
c lw 42069
c lw 42617
c lw 43165
c lw 43713
c lw 44261
c lw 44809
c lw 45268
c lw 45727
c lw 46186
c lw 46645
c lw 47104
c lw 47563
c lw 48022
c lw 48481
c lw 48940
c lw 49399
c lw 49858
c lw 50317
c lw 50776
c lw 51235
c lw 51694
c lw 52153
c lw 52612
c lw 53071
c lw 53530
c lw 53987
c lw 54444
c lw 54901
c lw 55358
c lw 55815
c lw 56272
c lw 56729
c lw 57186
c lw 57643
c lw 58061
c lw 58479
c lw 58897
c lw 59315
c lw 59733
c lw 60136
c lw 60539
c lw 60942
c lw 61345
c lw 61748
c lw 62151
c lw 62554
c lw 62957
c lw 63360
c lw 63763
c lw 64166
c lw 64569
c lw 64972
c lw 65375
c lw 65778
c lw 66181
c lw 66584
c lw 66987
c lw 67390
c lw 67793
c lw 68196
c lw 68599
c lw 69002
c lw 69405
c lw 69808
c lw 70211
c lw 70614
c lw 71017
c lw 71420
c lw 71823
c lw 72226
c lw 72629
c lw 73032
c lw 73435
c lw 73838
c lw 74241
c lw 74644
c lw 75047
c lw 75450
c lw 75853
c lw 76256
c lw 76659
c lw 77062
c lw 77465
c lw 77868
c lw 78271
c lw 78674
c lw 79077
c lw 79466
c lw 79855
c lw 80236
c lw 80598
c lw 80960
c lw 81322
o 81678
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_130_0004.txt.wcnf 81678
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 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 
3.109u 0.007s 0:03.21 96.5%	0+0k 0+0io 0pf+0w