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_90_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_90_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1839
c lw 3678
c lw 5517
c lw 7356
c lw 8581
c lw 9806
c lw 11031
c lw 12256
c lw 13481
c lw 14706
c lw 15931
c lw 17156
c lw 18381
c lw 19606
c lw 20831
c lw 22056
c lw 23281
c lw 24506
c lw 25731
c lw 26956
c lw 28181
c lw 29406
c lw 30631
c lw 31856
c lw 33081
c lw 34306
c lw 35531
c lw 36756
c lw 37981
c lw 39206
c lw 40431
c lw 41656
c lw 42881
c lw 44106
c lw 45331
c lw 46556
c lw 47698
c lw 48840
c lw 49982
c lw 50987
c lw 51992
c lw 52997
c lw 54002
c lw 55007
c lw 56012
c lw 56878
c lw 57744
c lw 58610
c lw 59476
c lw 60342
c lw 61208
c lw 62074
c lw 62940
c lw 63367
c lw 63794
c lw 64221
c lw 64648
c lw 65075
c lw 65502
c lw 65929
c lw 66356
c lw 66783
c lw 67210
c lw 67637
c lw 68064
c lw 68491
c lw 68918
c lw 69345
c lw 69772
c lw 70199
c lw 70626
c lw 71053
c lw 71480
c lw 71907
c lw 72334
c lw 72761
c lw 73188
c lw 73615
c lw 74042
c lw 74469
c lw 74896
c lw 75323
c lw 75750
c lw 76177
c lw 76604
c lw 77031
c lw 77458
c lw 77885
c lw 78312
c lw 78739
c lw 79166
c lw 79593
c lw 80020
c lw 80447
c lw 80874
c lw 81301
c lw 81720
c lw 82132
o 82537
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_90_0004.txt.wcnf 82537
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 
25.936u 0.079s 0:26.23 99.1%	0+0k 0+0io 0pf+0w