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_80_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_80_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 644
c lw 1288
c lw 1932
c lw 2576
c lw 3220
c lw 3864
c lw 4508
c lw 5152
c lw 5796
c lw 6440
c lw 7084
c lw 7728
c lw 8372
c lw 9016
c lw 9660
c lw 10304
c lw 10948
c lw 11592
c lw 12236
c lw 12880
c lw 13524
c lw 14168
c lw 14812
c lw 15456
c lw 16100
c lw 16744
c lw 17189
c lw 17634
c lw 18079
c lw 18524
c lw 18969
c lw 19414
c lw 19859
c lw 20304
c lw 20749
c lw 21194
c lw 21639
c lw 22084
c lw 22529
c lw 22875
c lw 23221
c lw 23567
c lw 23913
c lw 24259
c lw 24605
c lw 24951
c lw 25297
c lw 25643
c lw 25989
c lw 26335
c lw 26681
c lw 26983
c lw 27285
c lw 27587
c lw 27889
c lw 28191
c lw 28493
c lw 28795
c lw 29097
c lw 29399
c lw 29701
c lw 30003
c lw 30305
c lw 30607
c lw 30909
c lw 31021
c lw 31133
c lw 31245
c lw 31357
c lw 31469
c lw 31581
c lw 31693
c lw 31805
c lw 31917
c lw 32029
c lw 32141
c lw 32253
c lw 32365
c lw 32477
c lw 32589
c lw 32701
c lw 32813
c lw 32925
c lw 33037
c lw 33149
c lw 33261
c lw 33373
c lw 33485
c lw 33597
c lw 33709
c lw 33821
c lw 33933
c lw 34026
c lw 34119
c lw 34212
c lw 34305
c lw 34398
c lw 34491
c lw 34584
c lw 34677
c lw 34770
c lw 34861
o 34950
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_80_0005.txt.wcnf 34950
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 
1.939u 0.007s 0:02.06 93.6%	0+0k 0+0io 0pf+0w