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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_80_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 192
c lw 384
c lw 576
c lw 768
c lw 960
c lw 1152
c lw 1344
c lw 1536
c lw 1728
c lw 1920
c lw 2112
c lw 2304
c lw 2496
c lw 2688
c lw 2880
c lw 3072
c lw 3264
c lw 3456
c lw 3648
c lw 3840
c lw 4032
c lw 4224
c lw 4416
c lw 4608
c lw 4800
c lw 4992
c lw 5169
c lw 5346
c lw 5523
c lw 5700
c lw 5877
c lw 6054
c lw 6196
c lw 6338
c lw 6480
c lw 6622
c lw 6764
c lw 6906
c lw 7048
c lw 7190
c lw 7332
c lw 7474
c lw 7570
c lw 7666
c lw 7762
c lw 7858
c lw 7954
c lw 8050
c lw 8146
c lw 8242
c lw 8338
c lw 8434
c lw 8530
c lw 8626
c lw 8722
c lw 8818
c lw 8914
c lw 9010
c lw 9106
c lw 9202
c lw 9225
c lw 9248
c lw 9271
c lw 9294
c lw 9317
c lw 9340
c lw 9363
c lw 9386
c lw 9409
c lw 9432
c lw 9455
c lw 9478
c lw 9501
c lw 9524
c lw 9547
c lw 9570
c lw 9593
c lw 9616
c lw 9639
c lw 9662
c lw 9685
c lw 9708
c lw 9731
c lw 9754
c lw 9777
c lw 9800
c lw 9823
c lw 9846
c lw 9869
c lw 9892
c lw 9915
c lw 9938
c lw 9961
c lw 9984
c lw 10007
c lw 10030
c lw 10053
c lw 10076
c lw 10099
c lw 10122
c lw 10145
c lw 10168
c lw 10191
c lw 10214
c lw 10237
c lw 10260
c lw 10283
c lw 10306
c lw 10327
c lw 10348
c lw 10369
o 10390
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_80_0004.txt.wcnf 10390
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 
0.836u 0.002s 0:00.89 93.2%	0+0k 0+0io 0pf+0w