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_AUCTIONS_AUC_SCHEDULING_cat_sched_60_70_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_70_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 410
c lw 820
c lw 1230
c lw 1640
c lw 2050
c lw 2460
c lw 2870
c lw 3280
c lw 3690
c lw 4100
c lw 4510
c lw 4920
c lw 5330
c lw 5740
c lw 6150
c lw 6560
c lw 6970
c lw 7380
c lw 7790
c lw 8200
c lw 8610
c lw 9020
c lw 9366
c lw 9430
c lw 9776
c lw 9840
c lw 10063
c lw 10290
c lw 10517
c lw 10744
c lw 10971
c lw 11198
c lw 11425
c lw 11483
c lw 11652
c lw 11879
c lw 12106
c lw 12333
c lw 12560
c lw 12787
c lw 13073
c lw 13126
c lw 13365
c lw 13472
c lw 13657
c lw 13818
c lw 13949
c lw 14164
c lw 14241
c lw 14510
c lw 14533
c lw 14825
c lw 14856
c lw 15117
c lw 15202
c lw 15463
c lw 15548
c lw 15809
c lw 15894
c lw 16155
c lw 16240
c lw 16501
c lw 16586
c lw 16847
c lw 16932
c lw 17193
c lw 17278
c lw 17411
c lw 17624
c lw 17757
c lw 17970
c lw 18103
c lw 18316
c lw 18449
c lw 18662
c lw 18795
c lw 19008
c lw 19061
c lw 19141
c lw 19274
c lw 19288
c lw 19294
c lw 19487
c lw 19515
c lw 19521
c lw 19620
c lw 19742
c lw 19748
c lw 19833
c lw 19911
c lw 19966
c lw 19969
c lw 20138
c lw 20179
c lw 20196
c lw 20312
c lw 20365
c lw 20397
c lw 20423
c lw 20592
c lw 20650
c lw 20658
c lw 20743
c lw 20815
c lw 20879
c lw 20964
c lw 21004
c lw 21089
c lw 21140
c lw 21225
c lw 21265
c lw 21350
c lw 21401
c lw 21486
c lw 21526
c lw 21557
c lw 21580
c lw 21662
c lw 21818
c lw 21931
c lw 22008
c lw 22031
c lw 22162
c lw 22192
c lw 22223
c lw 22330
c lw 22377
c lw 22462
c lw 22723
c lw 22872
c lw 23133
c lw 23282
c lw 23543
c lw 23692
c lw 23953
c lw 24102
c lw 24512
c lw 24922
c lw 25332
c lw 25742
c lw 26152
c lw 26562
c lw 26972
c lw 27036
c lw 27121
c lw 27233
c lw 27382
c lw 27494
c lw 27643
c lw 27755
c lw 27792
c lw 28053
c lw 28202
c lw 28463
c lw 28612
c lw 28873
c lw 29022
c lw 29171
c lw 29283
c lw 29314
c lw 29386
c lw 29402
c lw 29410
c lw 29437
c lw 29475
c lw 29506
c lw 29537
c lw 29539
c lw 29571
c lw 29595
c lw 29601
c lw 29647
c lw 29676
c lw 29708
c lw 29725
c lw 29766
c lw 29795
c lw 29853
c lw 29879
c lw 29929
c lw 29932
c lw 29935
c lw 29963
c lw 30015
c lw 30106
c lw 30112
c lw 30133
c lw 30141
c lw 30162
c lw 30176
c lw 30178
c lw 30208
c lw 30261
c lw 30339
c lw 30362
c lw 30415
c lw 30440
c lw 30442
c lw 30517
c lw 30540
c lw 30571
c lw 30598
c lw 30605
c lw 30657
c lw 30670
c lw 30703
c lw 30754
c lw 30755
c lw 30787
c lw 30788
c lw 30807
c lw 30809
c lw 30833
c lw 30834
c lw 30851
c lw 30872
c lw 30874
c lw 30888
c lw 30905
c lw 30909
c lw 30919
c lw 30920
c lw 30921
c lw 30945
c lw 30947
c lw 30951
c lw 30957
c lw 30959
c lw 30961
c lw 30964
c lw 30966
c lw 30968
c lw 30973
c lw 30983
c lw 30985
c lw 30989
c lw 30992
c lw 31007
c lw 31009
c lw 31010
c lw 31012
c lw 31013
c lw 31015
c lw 31017
c lw 31022
c lw 31031
c lw 31034
c lw 31038
c lw 31040
c lw 31044
c lw 31046
c lw 31050
c lw 31053
c lw 31057
c lw 31070
c lw 31077
c lw 31078
c lw 31086
c lw 31088
c lw 31089
c lw 31090
c lw 31095
c lw 31098
c lw 31101
c lw 31123
c lw 31149
c lw 31164
c lw 31166
c lw 31168
c lw 31173
c lw 31175
c lw 31196
c lw 31203
c lw 31204
c lw 31209
c lw 31225
c lw 31227
c lw 31244
c lw 31246
c lw 31251
c lw 31258
c lw 31260
c lw 31261
c lw 31262
c lw 31263
c lw 31264
c lw 31265
c lw 31266
c lw 31319
c lw 31321
c lw 31323
c lw 31327
c lw 31329
c lw 31331
c lw 31333
c lw 31335
c lw 31346
c lw 31348
c lw 31349
c lw 31350
c lw 31351
c lw 31352
c lw 31353
c lw 31354
c lw 31355
c lw 31356
c lw 31357
c lw 31358
c lw 31359
c lw 31360
c lw 31361
c lw 31362
c lw 31363
c lw 31364
c lw 31365
c lw 31366
c lw 31367
c lw 31369
c lw 31370
c lw 31371
c lw 31372
c lw 31374
c lw 31380
c lw 31383
c lw 31384
c lw 31385
c lw 31386
c lw 31387
c lw 31388
c lw 31389
c lw 31390
c lw 31391
c lw 31392
c lw 31393
c lw 31394
c lw 31395
c lw 31396
c lw 31398
c lw 31400
c lw 31402
c lw 31403
c lw 31404
c lw 31405
c lw 31406
c lw 31407
c lw 31408
c lw 31409
c lw 31410
c lw 31413
c lw 31414
c lw 31415
c lw 31416
c lw 31417
c lw 31418
c lw 31441
c lw 31442
c lw 31443
c lw 31444
c lw 31445
c lw 31446
c lw 31447
c lw 31448
c lw 31449
c lw 31450
c lw 31451
c lw 31452
c lw 31453
c lw 31456
c lw 31457
c lw 31458
c lw 31459
c lw 31460
c lw 31461
c lw 31462
c lw 31463
c lw 31464
c lw 31470
c lw 31472
c lw 31473
c lw 31474
c lw 31475
c lw 31476
c lw 31477
c lw 31478
c lw 31479
c lw 31480
c lw 31481
c lw 31482
c lw 31484
c lw 31485
c lw 31486
c lw 31487
c lw 31488
c lw 31489
c lw 31490
c lw 31491
c lw 31492
c lw 31493
c lw 31494
c lw 31497
c lw 31498
c lw 31499
c lw 31500
c lw 31501
c lw 31502
c lw 31503
c lw 31504
c lw 31505
c lw 31506
c lw 31507
c lw 31508
c lw 31509
c lw 31510
c lw 31511
c lw 31512
c lw 31520
c lw 31524
c lw 31525
c lw 31526
c lw 31527
c lw 31528
c lw 31529
c lw 31530
c lw 31531
c lw 31532
c lw 31533
c lw 31534
c lw 31536
c lw 31537
c lw 31538
c lw 31539
c lw 31540
c lw 31541
c lw 31542
c lw 31543
c lw 31544
c lw 31545
c lw 31546
c lw 31547
c lw 31548
c lw 31550
c lw 31551
c lw 31552
c lw 31553
c lw 31554
c lw 31555
c lw 31556