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_100_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_100_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 903
c lw 1806
c lw 2709
c lw 3612
c lw 4515
c lw 5418
c lw 6321
c lw 7224
c lw 8127
c lw 9030
c lw 9933
c lw 10836
c lw 11739
c lw 12642
c lw 13545
c lw 14256
c lw 14967
c lw 15678
c lw 16389
c lw 17100
c lw 17811
c lw 18522
c lw 19233
c lw 19944
c lw 20655
c lw 21366
c lw 22077
c lw 22788
c lw 23499
c lw 24210
c lw 24921
c lw 25632
c lw 26343
c lw 27054
c lw 27765
c lw 28476
c lw 29187
c lw 29898
c lw 30609
c lw 31320
c lw 32031
c lw 32742
c lw 33453
c lw 34164
c lw 34875
c lw 35586
c lw 36297
c lw 37008
c lw 37719
c lw 38430
c lw 39141
c lw 39852
c lw 40563
c lw 41274
c lw 41985
c lw 42696
c lw 43407
c lw 44118
c lw 44829
c lw 45540
c lw 46237
c lw 46850
c lw 47463
c lw 48076
c lw 48689
c lw 49302
c lw 49915
c lw 50528
c lw 51131
c lw 51520
c lw 51909
c lw 52298
c lw 52687
c lw 53076
c lw 53465
c lw 53586
c lw 53707
c lw 53828
c lw 53908
c lw 53988
c lw 54068
c lw 54148
c lw 54228
c lw 54308
c lw 54388
c lw 54468
c lw 54548
c lw 54628
c lw 54708
c lw 54788
c lw 54868
c lw 54948
c lw 55028
c lw 55108
c lw 55188
c lw 55268
c lw 55348
c lw 55428
c lw 55508
c lw 55588
c lw 55668
c lw 55748
c lw 55828
c lw 55908
c lw 55988
c lw 56068
c lw 56148
c lw 56228
o 56308
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_100_0005.txt.wcnf 56308
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 
0.913u 0.005s 0:01.01 90.0%	0+0k 0+0io 0pf+0w