Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-pwbo1.0-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-syn_normalized-max512.r.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-syn/normalized-max512.r.wcnf
Job solver: /home/maxsat/solvers/pwbo1.0/pwbo1.0
o 139
o 134
o 131
o 130
o 129
o 113
s OPTIMUM FOUND
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 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 237 -238 -239 240 241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 254 -255 -256 -257 -258 259 -260 -261 -262 263 -264 -265 -266 -267 -268 -269 -270 -271 -272 273 -274 -275 -276 -277 278 -279 -280 281 -282 -283 -284 -285 286 287 -288 -289 -290 291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 311 -312 -313 314 315 -316 -317 -318 -319 -320 -321 -322 323 324 -325 -326 -327 -328 -329 -330 -331 332 -333 -334 -335 336 337 -338 -339 340 -341 -342 -343 -344 345 346 -347 -348 349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 376 -377 -378 -379 380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 391 -392 -393 -394 395 -396 397 -398 -399 -400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 429 -430 -431 -432 433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 444 -445 -446 -447 448 449 -450 -451 -452 -453 -454 455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 467 -468 469 -470 -471 -472 473 -474 -475 -476 -477 -478 479 -480 -481 -482 -483 -484 -485 486 487 -488 -489 -490 491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 -502 -503 -504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533
0.404u 0.033s 0:00.22 195.4%	0+0k 0+0io 0pf+0w