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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_90_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2341
c lw 4682
c lw 7023
c lw 9364
c lw 11705
c lw 14046
c lw 16387
c lw 18728
c lw 21069
c lw 23410
c lw 25751
c lw 28092
c lw 30433
c lw 32774
c lw 35115
c lw 37456
c lw 39797
c lw 42138
c lw 44479
c lw 46820
c lw 49161
c lw 51502
c lw 53843
c lw 56184
c lw 58525
c lw 60866
c lw 63207
c lw 65548
c lw 67889
c lw 70230
c lw 72571
c lw 74912
c lw 77253
c lw 79594
c lw 81935
c lw 84276
c lw 84579
c lw 84882
c lw 85185
c lw 85488
c lw 85791
c lw 86094
c lw 86397
c lw 86700
c lw 87003
c lw 87306
c lw 87609
c lw 87912
c lw 88215
c lw 88518
c lw 88821
c lw 89124
c lw 89427
c lw 89730
c lw 90033
c lw 90336
c lw 90639
c lw 90942
c lw 91245
c lw 91548
c lw 91851
c lw 92154
c lw 92317
c lw 92480
c lw 92643
c lw 92806
c lw 92969
c lw 93132
c lw 93295
c lw 93458
c lw 93621
c lw 93784
c lw 93947
c lw 94110
c lw 94273
c lw 94436
c lw 94599
c lw 94762
c lw 94925
c lw 95088
c lw 95251
c lw 95414
c lw 95577
c lw 95740
c lw 95903
c lw 96066
c lw 96229
c lw 96380
c lw 96531
c lw 96682
o 96833
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_90_0000.txt.wcnf 96833
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 
0.508u 0.004s 0:00.55 90.9%	0+0k 0+0io 0pf+0w