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-paths_cat_paths_60_110_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0006.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1135
c lw 2270
c lw 3405
c lw 4540
c lw 5615
c lw 6690
c lw 7765
c lw 8817
c lw 9869
c lw 10921
c lw 11973
c lw 13011
c lw 14049
c lw 15087
c lw 16125
c lw 17149
c lw 18173
c lw 19197
c lw 20221
c lw 21241
c lw 22261
c lw 23281
c lw 24260
c lw 25210
c lw 26160
c lw 27110
c lw 28032
c lw 28954
c lw 29845
c lw 30735
c lw 31585
c lw 32435
c lw 33285
c lw 34114
c lw 34915
c lw 35716
c lw 36517
c lw 37318
c lw 38096
c lw 38874
c lw 39652
c lw 40430
c lw 41203
c lw 41976
c lw 42749
c lw 43522
c lw 44283
c lw 45044
c lw 45805
c lw 46547
c lw 47289
c lw 48031
c lw 48773
c lw 49511
c lw 50249
c lw 50987
c lw 51725
c lw 52429
c lw 53133
c lw 53837
c lw 54541
c lw 55245
c lw 55937
c lw 56624
c lw 57285
c lw 57946
c lw 58601
c lw 59256
c lw 59911
c lw 60552
c lw 61191
c lw 61810
c lw 62429
c lw 63048
c lw 63667
c lw 64260
c lw 64700
c lw 65084
c lw 65452
c lw 65816
c lw 66180
c lw 66544
c lw 66812
c lw 67051
c lw 67260
c lw 67420
c lw 67523
c lw 67593
c lw 67661
c lw 67701
c lw 67733
c lw 67764
c lw 67785
c lw 67796
o 67797
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0006.txt.wcnf 67797
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 
62.336u 0.128s 1:02.58 99.7%	0+0k 0+0io 0pf+0w