Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_PSEUDO_miplib_normalized-mps-v2-20-10-l152lav.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-l152lav.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 11
c lw 24
c lw 211
c lw 228
c lw 245
c lw 263
c lw 281
c lw 319
c lw 367
c lw 431
c lw 486
c lw 540
c lw 634
c lw 690
c lw 727
c lw 787
c lw 840
c lw 912
c lw 947
c lw 949
c lw 982
c lw 1006
c lw 1051
c lw 1076
c lw 1093
c lw 1110
c lw 1155
c lw 1170
c lw 1223
c lw 1240
c lw 1242
c lw 1320
c lw 1341
c lw 1414
c lw 1421
c lw 1464
c lw 1500
c lw 1504
c lw 1536
c lw 1546
c lw 1614
c lw 1670
c lw 1709
c lw 1711
c lw 1731
c lw 1743
c lw 1788
c lw 1817
c lw 1830
c lw 1834
c lw 1836
c lw 1839
c lw 1846
c lw 1850
c lw 1853
c lw 1872
c lw 1873
c lw 1929
c lw 1931
c lw 1973
c lw 1974
c lw 1975
c lw 1980
c lw 2000
c lw 2002
c lw 2003
c lw 2008
c lw 2033
c lw 2034
c lw 2047
c lw 2090
c lw 2091
c lw 2103
c lw 2107
c lw 2110
c lw 2111
c lw 2112
c lw 2115
c lw 2117
c lw 2124
c lw 2138
c lw 2139
c lw 2147
c lw 2155
c lw 2172
c lw 2181
c lw 2183
c lw 2198
c lw 2199
c lw 2200
c lw 2214
c lw 2215
c lw 2229
c lw 2235
c lw 2251
c lw 2256
c lw 2257
c lw 2258
c lw 2260
c lw 2288
c lw 2290
c lw 2292
c lw 2293
c lw 2294
c lw 2316
c lw 2318
c lw 2322
c lw 2323
c lw 2336
c lw 2338
c lw 2339
c lw 2340
c lw 2341
c lw 2342
c lw 2343
c lw 2349
c lw 2359
c lw 2360
c lw 2362
c lw 2363
c lw 2364
c lw 2365
c lw 2366
c lw 2367
c lw 2368
c lw 2369
c lw 2371
c lw 2373
c lw 2375
c lw 2376
c lw 2377
c lw 2378
c lw 2379
c lw 2380
c lw 2381
c lw 2382
c lw 2383
c lw 2384
c lw 2386
c lw 2387
c lw 2388
c lw 2389
c lw 2390
c lw 2391
c lw 2392
c lw 2393
c lw 2394
c lw 2395
c lw 2396
c lw 2397
c lw 2398
c lw 2399
c lw 2400
c lw 2401
c lw 2402
c lw 2403
c lw 2404
c lw 2405
c lw 2406
c lw 2407
c lw 2408
c lw 2409
c lw 2410
c lw 2411
c lw 2412
c lw 2413
c lw 2414
c lw 2415
c lw 2416
c lw 2417
c lw 2418
c lw 2419
c lw 2420
c lw 2421
c lw 2422
c lw 2423
c lw 2424
c lw 2425
c lw 2426
c lw 2427
c lw 2428
c lw 2429
c lw 2430
c lw 2431
c lw 2432
c lw 2433
c lw 2434
c lw 2435
c lw 2436
c lw 2437
c lw 2438
c lw 2439
c lw 2440
c lw 2441
c lw 2442
c lw 2443
c lw 2444
c lw 2445
c lw 2446
c lw 2447
c lw 2448
c lw 2449
c lw 2450
c lw 2451
c lw 2452
c lw 2453
c lw 2454
c lw 2455
c lw 2456
c lw 2457
c lw 2458
c lw 2459
c lw 2460
c lw 2461
c lw 2462
c lw 2463
c lw 2464
c lw 2465
c lw 2466
c lw 2467
c lw 2468
c lw 2469
c lw 2470
c lw 2471
c lw 2472
c lw 2473
c lw 2474
c lw 2475
c lw 2476
c lw 2477
c lw 2478
c lw 2479
c lw 2480
c lw 2481
c lw 2482
c lw 2483
c lw 2484
c lw 2485
c lw 2486
c lw 2487
c lw 2488
c lw 2489
c lw 2490
c lw 2491
c lw 2492
c lw 2493
c lw 2494
c lw 2495
c lw 2496
c lw 2497
c lw 2498
c lw 2499
c lw 2500
c lw 2501
c lw 2502
c lw 2503
c lw 2504
c lw 2505
Killed
1814.372u 5.391s 30:23.60 99.7%	0+0k 0+0io 0pf+0w