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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_130_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1711
c lw 3422
c lw 5133
c lw 6844
c lw 8555
c lw 10266
c lw 11977
c lw 13688
c lw 15399
c lw 17110
c lw 18821
c lw 20532
c lw 22243
c lw 23954
c lw 25665
c lw 27376
c lw 29087
c lw 30798
c lw 32509
c lw 34220
c lw 35931
c lw 37642
c lw 39353
c lw 41064
c lw 42775
c lw 44486
c lw 46197
c lw 47908
c lw 49619
c lw 51330
c lw 53041
c lw 54752
c lw 56463
c lw 58174
c lw 59885
c lw 61596
c lw 63307
c lw 65018
c lw 66729
c lw 68440
c lw 70151
c lw 71862
c lw 73573
c lw 75284
c lw 76995
c lw 78706
c lw 80417
c lw 82128
c lw 83839
c lw 85550
c lw 87231
c lw 88377
c lw 89523
c lw 90669
c lw 91815
c lw 92961
c lw 94107
c lw 95253
c lw 96399
c lw 97545
c lw 98691
c lw 99837
c lw 100983
c lw 102129
c lw 103275
c lw 104421
c lw 105567
c lw 106713
c lw 107859
c lw 109005
c lw 110151
c lw 111297
c lw 112443
c lw 113589
c lw 114735
c lw 115881
c lw 117027
c lw 118173
c lw 119319
c lw 120465
c lw 121611
c lw 122757
c lw 123903
c lw 124571
c lw 125239
c lw 125907
c lw 126575
c lw 127243
c lw 127911
c lw 128579
c lw 129247
c lw 129915
c lw 130583
c lw 131251
c lw 131919
c lw 132587
c lw 133255
c lw 133923
c lw 134591
c lw 135259
c lw 135927
c lw 136595
c lw 137263
c lw 137931
c lw 138599
c lw 139267
c lw 139935
c lw 140603
c lw 141271
c lw 141939
c lw 142607
c lw 143275
c lw 143943
c lw 144611
c lw 145279
c lw 145947
c lw 146615
c lw 147283
c lw 147951
c lw 148619
c lw 149287
c lw 149955
c lw 150623
c lw 151291
c lw 151959
c lw 152627
c lw 153295
c lw 153963
c lw 154631
c lw 155299
c lw 155967
c lw 156635
c lw 157303
c lw 157971
c lw 158639
c lw 159307
c lw 159952
c lw 160597
o 161231
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_130_0003.txt.wcnf 161231
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 
1.368u 0.002s 0:01.46 93.1%	0+0k 0+0io 0pf+0w