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_150_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 330
c lw 433
c lw 660
c lw 866
c lw 1002
c lw 1299
c lw 1344
c lw 1686
c lw 1732
c lw 2028
c lw 2165
c lw 2370
c lw 2598
c lw 2712
c lw 3031
c lw 3054
c lw 3396
c lw 3464
c lw 3738
c lw 3897
c lw 4080
c lw 4330
c lw 4422
c lw 4763
c lw 4764
c lw 5196
c lw 5197
c lw 5629
c lw 5630
c lw 6062
c lw 6063
c lw 6495
c lw 6496
c lw 6928
c lw 6929
c lw 7361
c lw 7362
c lw 7794
c lw 7795
c lw 8227
c lw 8228
c lw 8660
c lw 8661
c lw 9093
c lw 9094
c lw 9526
c lw 9527
c lw 9959
c lw 9960
c lw 10392
c lw 10393
c lw 10825
c lw 10826
c lw 11258
c lw 11691
c lw 12124
c lw 12557
c lw 12712
c lw 12729
c lw 12869
c lw 12901
c lw 13029
c lw 13073
c lw 13189
c lw 13245
c lw 13349
c lw 13417
c lw 13518
c lw 13589
c lw 13690
c lw 13761
c lw 13862
c lw 13933
c lw 14034
c lw 14105
c lw 14206
c lw 14277
c lw 14378
c lw 14449
c lw 14550
c lw 14621
c lw 14722
c lw 14793
c lw 14894
c lw 14965
c lw 15066
c lw 15137
c lw 15238
c lw 15309
c lw 15410
c lw 15481
c lw 15582
c lw 15653
c lw 15754
c lw 15825
c lw 15926
c lw 15997
c lw 16098
c lw 16169
c lw 16270
c lw 16341
c lw 16442
c lw 16513
c lw 16614
c lw 16685
c lw 16786
c lw 16857
c lw 16958
c lw 17029
c lw 17130
c lw 17201
c lw 17302
c lw 17373
c lw 17474
c lw 17545
c lw 17557
c lw 17569
c lw 17653
c lw 17717
c lw 18138
c lw 18233
c lw 18559
c lw 18749
c lw 19004
c lw 19265
c lw 19449
c lw 19781
c lw 19894
c lw 19906
c lw 20297
c lw 20358
c lw 20813
c lw 20874
c lw 21329
c lw 21390
c lw 21845
c lw 21906
c lw 22361
c lw 22422
c lw 22877
c lw 22938
c lw 23393
c lw 23454
c lw 23909
c lw 23970
c lw 24425
c lw 24486
c lw 24941
c lw 25002
c lw 25457
c lw 25518
c lw 25973
c lw 26034
c lw 26098
c lw 26105
c lw 26110
c lw 26118
c lw 26122
c lw 26193
c lw 26206
c lw 26223
c lw 26277
c lw 26294
c lw 26307
c lw 26378
c lw 26379
c lw 26424
c lw 26469
c lw 26720
c lw 26811
c lw 26812
c lw 27152
c lw 27153
c lw 27244
c lw 27245
c lw 27585
c lw 27586
c lw 27677
c lw 27745
c lw 27768
c lw 28018
c lw 28019
c lw 28049
c lw 28090
c lw 28120
c lw 28191
c lw 28221
c lw 28262
c lw 28292
c lw 28363
c lw 28393
c lw 28434
c lw 28464
c lw 28535
c lw 28844
c lw 28967
c lw 28968
c lw 28969
c lw 29399
c lw 29400
c lw 29401
c lw 29731
c lw 29792
c lw 29831
c lw 29832
c lw 29833
c lw 29904
c lw 29934
c lw 30005
c lw 30035
c lw 30076
c lw 30106
c lw 30177
c lw 30207
c lw 30248
c lw 30278
c lw 30349
c lw 30379
c lw 30420
c lw 30450
c lw 30518
c lw 30521
c lw 30554
c lw 30577
c lw 30598
c lw 30637
c lw 30669
c lw 30705
c lw 30722
c lw 30777
c lw 30967
c lw 31050
c lw 31111
c lw 31123
c lw 31236
c lw 31313
c lw 31374
c lw 31420
c lw 31481
c lw 31542
c lw 31603
c lw 31664
c lw 31725
c lw 31786
c lw 31829
c lw 32118
c lw 32195
c lw 32196
c lw 32223
c lw 32401
c lw 32556
c lw 32856
c lw 32970
c lw 33031
c lw 33032
c lw 33126
c lw 33127
c lw 33370
c lw 33371
c lw 33685
c lw 33801
c lw 33802
c lw 33823
c lw 33926
c lw 34233
c lw 34234
c lw 34357
c lw 34449
c lw 34574
c lw 34607
c lw 34733
c lw 34757
c lw 34881
c lw 34949
c lw 34962
c lw 35109
c lw 35259
c lw 35442
c lw 35620
c lw 35653
c lw 35789
c lw 35802
c lw 35950
c lw 35991
c lw 36011
c lw 36028
c lw 36069
c lw 36070
c lw 36115
c lw 36160
c lw 36258
c lw 36271
c lw 36312
c lw 36316
c lw 36358
c lw 36419
c lw 36440
c lw 36441
c lw 36442
c lw 36460
c lw 36462
c lw 36545
c lw 36594
c lw 36639
c lw 36684
c lw 36685
c lw 36700
c lw 36747
c lw 36845
c lw 36858
c lw 36914
c lw 36926
c lw 36947
c lw 36959
c lw 36983
c lw 37003
c lw 37004
c lw 37096
c lw 37105
c lw 37128
c lw 37129
c lw 37130
c lw 37379
c lw 37445
c lw 37446
c lw 37459
c lw 37479
c lw 37492
c lw 37493
c lw 37499
c lw 37508
c lw 37584
c lw 37585
c lw 37586
c lw 37591
c lw 37592
c lw 37593
c lw 37692
c lw 37763
c lw 37783
c lw 37794
c lw 37835
c lw 37837
c lw 37838
c lw 37839
c lw 37878
c lw 37939
c lw 38135
c lw 38170
c lw 38171
c lw 38172
c lw 38304
c lw 38305
c lw 38306
c lw 38428
c lw 38429
c lw 38520
c lw 38603
c lw 38604
c lw 38605
c lw 38606
c lw 38607
c lw 38612
c lw 38613
c lw 38800
c lw 38805
c lw 38806
c lw 38807
c lw 38808
c lw 38849
c lw 38850
c lw 38851
c lw 38852
c lw 38883
c lw 38892
c lw 38893
c lw 38902
c lw 38938
c lw 38977
c lw 38994
c lw 39010
c lw 39122
c lw 39123
c lw 39124
c lw 39127
c lw 39128
c lw 39152
c lw 39160
c lw 39169
c lw 39172
c lw 39173
c lw 39190
c lw 39279
c lw 39311
c lw 39312
c lw 39313
c lw 39318
c lw 39330
c lw 39341
c lw 39345
c lw 39365
c lw 39369
c lw 39370
c lw 39382
c lw 39389
c lw 39398
c lw 39400
c lw 39405
c lw 39406
c lw 39407
c lw 39408
c lw 39409
c lw 39410
c lw 39411
c lw 39412
c lw 39415
c lw 39424
c lw 39438
c lw 39479
c lw 39480
c lw 39481
c lw 39483
c lw 39484
c lw 39486
c lw 39487
c lw 39493
c lw 39496
c lw 39501
c lw 39507
c lw 39510
c lw 39516
c lw 39540
c lw 39541
c lw 39542
c lw 39543
c lw 39544
c lw 39545
c lw 39575
c lw 39611
c lw 39612
c lw 39613
c lw 39617
c lw 39642
c lw 39643
c lw 39646
c lw 39647
c lw 39648
c lw 39649
c lw 39650
c lw 39652
c lw 39653
c lw 39682
c lw 39683
c lw 39684
c lw 39714
c lw 39745
c lw 39749
c lw 39750
c lw 39753
c lw 39762
c lw 39763
c lw 39776
c lw 39783
c lw 39784
c lw 39786
c lw 39792
c lw 39793
c lw 39822
c lw 39838
c lw 39854
c lw 39855
c lw 39868
c lw 39893
c lw 39894
c lw 39896
c lw 39897
c lw 39898
c lw 39899
c lw 39900
c lw 39901
c lw 39902
c lw 39907
c lw 39908
c lw 39916
c lw 39923
c lw 39924
c lw 39925
c lw 39927
c lw 39930
c lw 39931
c lw 39932
c lw 39933
c lw 39934
c lw 39939
c lw 39964
c lw 39990
c lw 40001
c lw 40026
c lw 40031
c lw 40035
c lw 40039
c lw 40044
c lw 40061
c lw 40065
c lw 40069
c lw 40080
c lw 40084
c lw 40088
c lw 40089
c lw 40097
c lw 40098
c lw 40101
c lw 40102
c lw 40106
c lw 40107
c lw 40108
c lw 40109
c lw 40110
c lw 40111
c lw 40112
c lw 40113
c lw 40114
c lw 40116
c lw 40124
c lw 40127
c lw 40131
c lw 40132
c lw 40133
c lw 40134
c lw 40135
c lw 40136
c lw 40137
c lw 40138
c lw 40139
c lw 40140
c lw 40141
c lw 40142
c lw 40143
c lw 40144
c lw 40145
c lw 40146
c lw 40147
c lw 40148
c lw 40149
c lw 40150
c lw 40152
c lw 40158
c lw 40168
c lw 40169
c lw 40170
c lw 40178
c lw 40179
c lw 40182
c lw 40190
c lw 40202
c lw 40203
c lw 40210
c lw 40211
c lw 40212
c lw 40222
c lw 40227
c lw 40228
c lw 40229
c lw 40230
c lw 40231
c lw 40237
c lw 40238
c lw 40240
c lw 40241
c lw 40242
c lw 40250
c lw 40251
c lw 40252
c lw 40253
c lw 40254
c lw 40257
c lw 40259
c lw 40267
c lw 40268
c lw 40269
c lw 40270
c lw 40271
c lw 40272
c lw 40273
c lw 40274
c lw 40275
c lw 40276
c lw 40277
c lw 40278
c lw 40279
c lw 40280
c lw 40281
c lw 40283
c lw 40284
c lw 40285
c lw 40286
c lw 40287
c lw 40288
c lw 40289
c lw 40290
c lw 40291
c lw 40292
c lw 40293
c lw 40294
c lw 40298
c lw 40299
c lw 40300
c lw 40301
c lw 40302
c lw 40303
c lw 40304
c lw 40305
c lw 40335
c lw 40336
c lw 40337
c lw 40338
c lw 40339
c lw 40340
c lw 40341
c lw 40342
c lw 40343
c lw 40344
c lw 40345
c lw 40346
c lw 40347
c lw 40349
c lw 40350
c lw 40353
c lw 40354
c lw 40359
c lw 40380
c lw 40381
c lw 40382
c lw 40384
c lw 40389
c lw 40390
c lw 40391
c lw 40392
c lw 40393
c lw 40396
c lw 40398
c lw 40412
c lw 40413
c lw 40414
c lw 40415
c lw 40418
c lw 40419
c lw 40425
c lw 40426
c lw 40427
c lw 40428
c lw 40429
c lw 40431
c lw 40433
c lw 40434
c lw 40437
c lw 40438
c lw 40439
c lw 40440
c lw 40441
c lw 40442
c lw 40443
c lw 40444
c lw 40445
c lw 40446
c lw 40447
c lw 40448
c lw 40449
c lw 40450
c lw 40451
c lw 40452
c lw 40453
c lw 40454
c lw 40455
c lw 40462
c lw 40463
c lw 40464
c lw 40466
c lw 40509
c lw 40527
c lw 40528
c lw 40589
c lw 40632
c lw 40637
c lw 40638
c lw 40650
c lw 40651
c lw 40655
c lw 40658
c lw 40659
c lw 40677
c lw 40679
c lw 40680
c lw 40698
c lw 40699
c lw 40700
c lw 40701
c lw 40702
c lw 40703
c lw 40704
c lw 40705
c lw 40706
c lw 40707
c lw 40708
c lw 40709
c lw 40710
c lw 40769
c lw 40787
c lw 40848
c lw 40876
c lw 40941
c lw 40953
c lw 40962
c lw 41063
c lw 41066
c lw 41088
c lw 41127
c lw 41149
c lw 41165
c lw 41188
c lw 41210
c lw 41271
c lw 41287
c lw 41303
c lw 41308
c lw 41325
c lw 41419
c lw 41462
c lw 41474
c lw 41475
c lw 41476
c lw 41477
c lw 41478
c lw 41480
c lw 41495
c lw 41496
c lw 41497
c lw 41498
c lw 41499
c lw 41500
c lw 41501
c lw 41518
c lw 41520
c lw 41521
c lw 41527
c lw 41528
c lw 41542
c lw 41558
c lw 41570
c lw 41585
c lw 41586
c lw 41589
c lw 41599
c lw 41605
c lw 41607
c lw 41608
c lw 41649
c lw 41651
c lw 41657
c lw 41658
c lw 41659
c lw 41661
c lw 41681
c lw 41686
c lw 41687
c lw 41688
c lw 41689
c lw 41691
c lw 41692
c lw 41693
c lw 41696
c lw 41698
c lw 41699
c lw 41754
c lw 41820
c lw 41839
c lw 41840
c lw 41843
c lw 41882
c lw 41887
c lw 42012
c lw 42034
c lw 42036
c lw 42037
c lw 42038
c lw 42039
c lw 42041
c lw 42042
c lw 42043
c lw 42044
c lw 42045
c lw 42046
c lw 42047
c lw 42048
c lw 42049
c lw 42050
c lw 42051
c lw 42052
c lw 42053
c lw 42054
c lw 42055
c lw 42056
c lw 42057
c lw 42058
c lw 42059
c lw 42060
c lw 42061
c lw 42062
c lw 42063
c lw 42064
c lw 42065
c lw 42066
c lw 42067
c lw 42068
c lw 42069
c lw 42070
c lw 42071
c lw 42072
c lw 42073
c lw 42075
c lw 42076
c lw 42077
c lw 42078
c lw 42079
c lw 42080
c lw 42081
c lw 42082
c lw 42083
c lw 42084
c lw 42085
c lw 42086
c lw 42087
c lw 42088
c lw 42104
c lw 42105
c lw 42106
c lw 42107
c lw 42108
c lw 42109
c lw 42113
c lw 42114
c lw 42115
c lw 42116
c lw 42117
c lw 42118
c lw 42119
c lw 42120
c lw 42121
c lw 42122
c lw 42123
c lw 42124
c lw 42125
c lw 42126
c lw 42127
c lw 42128
c lw 42129
c lw 42130
c lw 42131
c lw 42132
c lw 42133
c lw 42134
c lw 42135
c lw 42136
c lw 42137
c lw 42154
c lw 42168
c lw 42178
c lw 42190
c lw 42191
c lw 42192
c lw 42194
c lw 42195
c lw 42196
c lw 42197
c lw 42198
c lw 42199
c lw 42200
c lw 42201
c lw 42202
c lw 42203
c lw 42204
c lw 42205
c lw 42206
c lw 42207
c lw 42208
c lw 42209
c lw 42210
c lw 42211
c lw 42212
c lw 42213
c lw 42214
c lw 42215
c lw 42216
c lw 42217
c lw 42218
c lw 42219
c lw 42220
c lw 42221
c lw 42222
c lw 42223
c lw 42224
c lw 42225
c lw 42226
c lw 42227
c lw 42228
c lw 42229
c lw 42230
c lw 42231
c lw 42232
c lw 42233
c lw 42234
c lw 42235
c lw 42236
c lw 42237
c lw 42241
c lw 42242
c lw 42243
c lw 42247
c lw 42258
c lw 42259
c lw 42260
c lw 42261
c lw 42264
c lw 42270
c lw 42271
c lw 42272
c lw 42273
c lw 42274
c lw 42299
c lw 42301
c lw 42305
c lw 42306
c lw 42307
c lw 42308
c lw 42309
c lw 42310
c lw 42311
c lw 42312
c lw 42333
c lw 42346
c lw 42347
c lw 42350
c lw 42364
c lw 42365
c lw 42366
c lw 42368
c lw 42369
c lw 42370
c lw 42371
c lw 42372
c lw 42373
c lw 42374
c lw 42375
c lw 42376
c lw 42377
c lw 42395
c lw 42396
c lw 42397
c lw 42398
c lw 42399
c lw 42400
c lw 42401
c lw 42402
c lw 42413
c lw 42414
c lw 42415
c lw 42416
c lw 42417
c lw 42418
c lw 42419
c lw 42420
c lw 42421
c lw 42422
c lw 42423
c lw 42424
c lw 42425
c lw 42426
c lw 42427
c lw 42428
c lw 42429
c lw 42430
c lw 42431
c lw 42432
c lw 42433
c lw 42435
c lw 42436
c lw 42437
c lw 42438
c lw 42439
c lw 42440
c lw 42441
c lw 42442
c lw 42443
c lw 42477
c lw 42478
c lw 42479
c lw 42489
c lw 42490
c lw 42491
c lw 42492
c lw 42493
c lw 42494
c lw 42495
c lw 42496
c lw 42497
c lw 42502
c lw 42503
c lw 42504
c lw 42506
c lw 42507
c lw 42508
c lw 42509
c lw 42510
c lw 42511
c lw 42512
c lw 42513
c lw 42514
c lw 42515
c lw 42516
c lw 42517
c lw 42518
c lw 42519
c lw 42520
c lw 42521
c lw 42522
c lw 42523
c lw 42524
c lw 42525