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_100_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_100_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1297
c lw 2594
c lw 3891
c lw 5188
c lw 6468
c lw 7748
c lw 9028
c lw 10308
c lw 11495
c lw 12682
c lw 13869
c lw 15056
c lw 16173
c lw 17290
c lw 18407
c lw 19524
c lw 20641
c lw 21665
c lw 22689
c lw 23713
c lw 24737
c lw 25761
c lw 26746
c lw 27731
c lw 28716
c lw 29701
c lw 30667
c lw 31633
c lw 32599
c lw 33565
c lw 34531
c lw 35458
c lw 36385
c lw 37312
c lw 38239
c lw 39166
c lw 40093
c lw 41020
c lw 41947
c lw 42866
c lw 43785
c lw 44700
c lw 45615
c lw 46530
c lw 47445
c lw 48360
c lw 49275
c lw 50190
c lw 51105
c lw 52019
c lw 52933
c lw 53812
c lw 54691
c lw 55551
c lw 56411
c lw 57271
c lw 58131
c lw 58968
c lw 59777
c lw 60440
c lw 61036
c lw 61632
c lw 62203
c lw 62774
c lw 63345
c lw 63916
c lw 64487
c lw 65022
c lw 65548
c lw 66074
c lw 66566
c lw 66965
c lw 67320
c lw 67663
c lw 68006
c lw 68338
c lw 68670
c lw 69002
c lw 69304
c lw 69606
c lw 69867
c lw 70101
c lw 70197
c lw 70289
o 70359
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_100_0001.txt.wcnf 70359
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 
2.938u 0.003s 0:03.03 96.6%	0+0k 0+0io 0pf+0w