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_170_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_170_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1669
c lw 3338
c lw 5007
c lw 6676
c lw 8345
c lw 10014
c lw 11683
c lw 13352
c lw 15021
c lw 16690
c lw 18359
c lw 19559
c lw 20759
c lw 21959
c lw 23159
c lw 24359
c lw 25559
c lw 26759
c lw 27959
c lw 29159
c lw 30359
c lw 31559
c lw 32759
c lw 33959
c lw 35159
c lw 36359
c lw 37559
c lw 38759
c lw 39959
c lw 41159
c lw 42359
c lw 43559
c lw 44759
c lw 45959
c lw 47159
c lw 48359
c lw 49559
c lw 50759
c lw 51959
c lw 53159
c lw 54359
c lw 55559
c lw 56759
c lw 57959
c lw 59159
c lw 60359
c lw 61559
c lw 62759
c lw 63931
c lw 64941
c lw 65951
c lw 66961
c lw 67971
c lw 68981
c lw 69991
c lw 71001
c lw 72011
c lw 73021
c lw 74031
c lw 75041
c lw 76051
c lw 77061
c lw 78071
c lw 79081
c lw 80091
c lw 81101
c lw 82111
c lw 83121
c lw 84131
c lw 85141
c lw 86151
c lw 87143
c lw 88135
c lw 89127
c lw 90119
c lw 91111
c lw 92103
c lw 93095
c lw 94087
c lw 95079
c lw 96071
c lw 97063
c lw 98055
c lw 99047
c lw 100039
c lw 101031
c lw 102023
c lw 103015
c lw 104007
c lw 104999
c lw 105991
c lw 106983
c lw 107975
c lw 108967
c lw 109959
c lw 110951
c lw 111943
c lw 112935
c lw 113927
c lw 114919
c lw 115911
c lw 116903
c lw 117895
c lw 118887
c lw 119879
c lw 120871
c lw 121863
c lw 122855
c lw 123847
c lw 124839
c lw 125831
c lw 126823
c lw 127815
c lw 128768
c lw 129721
c lw 130655
c lw 131571
c lw 132487
c lw 133403
c lw 134319
c lw 135235
c lw 136151
c lw 137067
c lw 137983
c lw 138899
c lw 139815
c lw 140731
c lw 141647
c lw 142501
c lw 143355
c lw 144209
c lw 145063
c lw 145914
c lw 146765
c lw 147616
c lw 148467
c lw 149318
c lw 150152
c lw 150986
c lw 151820
c lw 152654
c lw 153488
c lw 154322
c lw 155156
c lw 155990
c lw 156824
c lw 157658
c lw 158492
c lw 159326
c lw 160160
c lw 160994
c lw 161828
c lw 162662
c lw 163496
c lw 164330
c lw 165164
c lw 165998
c lw 166819
c lw 167640
c lw 168447
c lw 169193
c lw 169939
c lw 170685
c lw 171431
c lw 172177
c lw 172923
c lw 173669
c lw 174415
c lw 175161
c lw 175907
c lw 176653
c lw 177399
c lw 178145
c lw 178891
c lw 179637
c lw 180383
c lw 181129
c lw 181875
c lw 182621
c lw 183367
c lw 184113
c lw 184859
c lw 185605
c lw 186351
c lw 187097
c lw 187843
c lw 188589
c lw 189335
c lw 190081
c lw 190827
c lw 191573
c lw 192319
c lw 193065
c lw 193811
c lw 194557
c lw 195303
c lw 196049
c lw 196795
c lw 197541
c lw 198287
c lw 199033
c lw 199628
c lw 200223
c lw 200818
c lw 201413
c lw 202008
c lw 202603
c lw 203198
c lw 203793
c lw 204388
c lw 204983
c lw 205578
o 206173
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_170_0005.txt.wcnf 206173
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 -115 -116 -117 -118 -119 -120 -121 122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 
9.378u 0.016s 0:09.53 98.4%	0+0k 0+0io 0pf+0w