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_80_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_80_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 668
c lw 1125
c lw 1336
c lw 2027
c lw 2250
c lw 2730
c lw 3375
c lw 3433
c lw 4136
c lw 4500
c lw 4839
c lw 5542
c lw 5625
c lw 6245
c lw 6750
c lw 6948
c lw 7651
c lw 7875
c lw 8354
c lw 9000
c lw 9057
c lw 9760
c lw 10125
c lw 10463
c lw 11166
c lw 11250
c lw 11869
c lw 12375
c lw 12572
c lw 13275
c lw 13500
c lw 13978
c lw 14625
c lw 14681
c lw 15384
c lw 15750
c lw 16087
c lw 16875
c lw 17181
c lw 18000
c lw 18306
c lw 19125
c lw 19431
c lw 20250
c lw 20556
c lw 21375
c lw 21681
c lw 22500
c lw 22806
c lw 23307
c lw 23625
c lw 24126
c lw 24750
c lw 25251
c lw 25434
c lw 25875
c lw 26376
c lw 26436
c lw 27000
c lw 27501
c lw 27561
c lw 27643
c lw 27695
c lw 27725
c lw 27807
c lw 27829
c lw 27889
c lw 27963
c lw 27971
c lw 28053
c lw 28097
c lw 28135
c lw 28231
c lw 28269
c lw 28365
c lw 28403
c lw 28499
c lw 28537
c lw 28633
c lw 28671
c lw 29172
c lw 29673
c lw 30174
c lw 30675
c lw 31176
c lw 31677
c lw 32178
c lw 32679
c lw 33142
c lw 33180
c lw 33643
c lw 33681
c lw 34144
c lw 34182
c lw 34645
c lw 34683
c lw 35146
c lw 35184
c lw 35647
c lw 35685
c lw 36148
c lw 36186
c lw 36649
c lw 36687
c lw 37150
c lw 37188
c lw 37651
c lw 37689
c lw 38152
c lw 38190
c lw 38653
c lw 38691
c lw 39154
c lw 39192
c lw 39633
c lw 39655
c lw 40096
c lw 40134
c lw 40156
c lw 40380
c lw 40578
c lw 40720
c lw 40859
c lw 40919
c lw 41360
c lw 41398
c lw 41404
c lw 41861
c lw 41899
c lw 41905
c lw 42223
c lw 42406
c lw 42485
c lw 42724
c lw 42791
c lw 43030
c lw 43304
c lw 43610
c lw 43975
c lw 44032
c lw 44123
c lw 44313
c lw 44429
c lw 44619
c lw 45132
c lw 45248
c lw 45438
c lw 45585
c lw 45804
c lw 45920
c lw 45976
c lw 46507
c lw 46567
c lw 46732
c lw 46929
c lw 46985
c lw 47270
c lw 47354
c lw 47491
c lw 47692
c lw 47973
c lw 48110
c lw 48148
c lw 48193
c lw 48244
c lw 48282
c lw 48532
c lw 48791
c lw 48813
c lw 49270
c lw 49318
c lw 49634
c lw 49692
c lw 49938
c lw 49973
c lw 50011
c lw 50414
c lw 50430
c lw 50452
c lw 50468
c lw 50877
c lw 50915
c lw 51138
c lw 51349
c lw 51525
c lw 51606
c lw 52005
c lw 52043
c lw 52430
c lw 52468
c lw 52506
c lw 52893
c lw 52931
c lw 52969
c lw 53356
c lw 53394
c lw 53432
c lw 53819
c lw 53857
c lw 53895
c lw 53953
c lw 54396
c lw 54454
c lw 54492
c lw 54512
c lw 54536
c lw 54544
c lw 55007
c lw 55045
c lw 55508
c lw 55514
c lw 55538
c lw 55560
c lw 55588
c lw 55598
c lw 55628
c lw 55642
c lw 55664
c lw 55672
c lw 55773
c lw 55789
c lw 55827
c lw 55863
c lw 55921
c lw 55923
c lw 55931
c lw 56374
c lw 56422
c lw 56424
c lw 56445
c lw 56621
c lw 56635
c lw 56763
c lw 56798
c lw 56844
c lw 56858
c lw 56870
c lw 56879
c lw 56927
c lw 57034
c lw 57284
c lw 57322
c lw 57341
c lw 57387
c lw 57409
c lw 57431
c lw 57441
c lw 57568
c lw 57580
c lw 57614
c lw 57623
c lw 57627
c lw 57651
c lw 57689
c lw 57699
c lw 57728
c lw 57867
c lw 57926
c lw 58009
c lw 58124
c lw 58135
c lw 58144
c lw 58147
c lw 58156
c lw 58165
c lw 58170
c lw 58179
c lw 58182
c lw 58183
c lw 58205
c lw 58209
c lw 58233
c lw 58273
c lw 58446
c lw 58503
c lw 58594
c lw 58653
c lw 58690
c lw 58905
c lw 58964
c lw 59001
c lw 59085
c lw 59227
c lw 59286
c lw 59327
c lw 59339
c lw 59386
c lw 59398
c lw 59458
c lw 59554
c lw 59563
c lw 59604
c lw 59607
c lw 59623
c lw 59632
c lw 59667
c lw 59675
c lw 59678
c lw 59684
c lw 59700
c lw 59710
c lw 59716
c lw 59719
c lw 59729
c lw 59747
c lw 59835
c lw 59838
c lw 59841
c lw 59844
c lw 59847
c lw 59849
c lw 59851
c lw 59852
c lw 59870
c lw 59872
c lw 59873
c lw 59930
c lw 60061
c lw 60063
c lw 60064
c lw 60065
c lw 60066
c lw 60067
c lw 60068
c lw 60069
c lw 60070
c lw 60071
c lw 60072
c lw 60073
c lw 60079
c lw 60088
c lw 60148
c lw 60205
c lw 60207
c lw 60208
c lw 60209
c lw 60210
c lw 60212
c lw 60213
c lw 60219
c lw 60225
c lw 60227
c lw 60228
c lw 60229
c lw 60230
c lw 60231
c lw 60232
c lw 60233
c lw 60234
c lw 60236
c lw 60240
c lw 60244
c lw 60245
c lw 60249
c lw 60250
c lw 60255
c lw 60256
c lw 60257
c lw 60258
c lw 60259
c lw 60260
c lw 60261
c lw 60262
c lw 60265
c lw 60266
c lw 60267
c lw 60268
c lw 60269
c lw 60270
c lw 60271
c lw 60272
c lw 60273
c lw 60274
c lw 60275
c lw 60276
c lw 60277
c lw 60278
c lw 60279
c lw 60280
c lw 60281
c lw 60282
c lw 60283
c lw 60284
c lw 60285
c lw 60286
c lw 60287
c lw 60288
c lw 60289
c lw 60290
c lw 60291
c lw 60292
c lw 60293
c lw 60308
c lw 60309
c lw 60310
c lw 60311
c lw 60317
c lw 60324
c lw 60325
c lw 60330
c lw 60331
c lw 60332
c lw 60333
c lw 60334
c lw 60365
c lw 60366
c lw 60367
c lw 60368
c lw 60425
c lw 60504
c lw 60778
c lw 60800
c lw 60802
c lw 60804
c lw 60805
c lw 60806
c lw 60807
c lw 60808
c lw 60809
c lw 60824
c lw 60825
c lw 60826
c lw 60866
c lw 60879
c lw 60883
c lw 60884
c lw 60885
c lw 60886
c lw 60887
c lw 60888
c lw 60889
c lw 60890
c lw 60891
c lw 60892
c lw 60893
c lw 60894
c lw 60895
c lw 60896
c lw 60897
c lw 60898
c lw 60899
c lw 60900
c lw 60901
c lw 60902
c lw 60904
c lw 60905
c lw 60906
c lw 60908
c lw 60918
c lw 60984
c lw 60985
c lw 60986
c lw 60987
c lw 61054
c lw 61200
c lw 61201
c lw 61202
c lw 61203
c lw 61215
c lw 61216
c lw 61223
c lw 61224
c lw 61225
c lw 61226
c lw 61227
c lw 61228
c lw 61229
c lw 61230
c lw 61231
c lw 61232
c lw 61233
c lw 61234
c lw 61235
c lw 61236
c lw 61237
c lw 61273
c lw 61274
c lw 61276
c lw 61280
c lw 61281
c lw 61282
c lw 61283
c lw 61284
c lw 61292
c lw 61298
c lw 61320
c lw 61352
c lw 61372
c lw 61376
c lw 61379
c lw 61380
c lw 61381
c lw 61382
c lw 61393
c lw 61402
c lw 61407
c lw 61408
c lw 61416
c lw 61434
c lw 61435
c lw 61436
c lw 61437
c lw 61438
c lw 61439
c lw 61440
c lw 61442
c lw 61443
c lw 61444
c lw 61445
c lw 61446
c lw 61447
c lw 61448
c lw 61449
c lw 61450
c lw 61451
c lw 61452
c lw 61453
c lw 61460
c lw 61469
c lw 61470
c lw 61471
c lw 61472
c lw 61473
c lw 61474
c lw 61475
c lw 61476
c lw 61477
c lw 61478
c lw 61479
c lw 61480
c lw 61481
c lw 61482
c lw 61483
c lw 61484
c lw 61485
c lw 61486
c lw 61487
c lw 61488
c lw 61489
c lw 61490
c lw 61491
c lw 61492
c lw 61493
c lw 61494
c lw 61495
c lw 61496
c lw 61497
c lw 61498
c lw 61544
c lw 61579
c lw 61585
c lw 61623
c lw 61849
c lw 61850
c lw 61851
c lw 61852
c lw 61853
c lw 61854
c lw 61855
c lw 61856
c lw 61857
c lw 61860
c lw 61861
c lw 61862
c lw 61863
c lw 61864
c lw 61865
c lw 61868
c lw 61871
c lw 61872
c lw 61878
c lw 61879
c lw 61880
c lw 61881
c lw 61972
c lw 61986
c lw 61996
c lw 62010
c lw 62016
c lw 62022
c lw 62026
c lw 62036
c lw 62040
c lw 62044
c lw 62046
c lw 62050
c lw 62052
c lw 62054
c lw 62072
c lw 62074
c lw 62094
c lw 62096
c lw 62098
c lw 62106
c lw 62108
c lw 62116
c lw 62118
c lw 62120
c lw 62124
c lw 62154
c lw 62163
c lw 62173
c lw 62185
c lw 62195
c lw 62204
c lw 62450
c lw 62494
c lw 62500
c lw 62510
c lw 62532
c lw 62566
c lw 62569
c lw 62649
c lw 62657
c lw 62715
c lw 62727
c lw 63190
c lw 63202
c lw 63228
c lw 63230
c lw 63260
c lw 63298
c lw 63336
c lw 63374
c lw 63412
c lw 63723
c lw 63761
c lw 63799
c lw 63837
c lw 63875
c lw 63913
c lw 63951
c lw 64224
c lw 64262
c lw 64300
c lw 64338
c lw 64354
c lw 64376
c lw 64392
c lw 64408
c lw 64414
c lw 64430
c lw 64725
c lw 64731
c lw 64741
c lw 64757
c lw 64763
c lw 64773
c lw 64779
c lw 64780
c lw 64783
c lw 64784
c lw 64785
c lw 64815
c lw 64827
c lw 64839
c lw 64840
c lw 64841
c lw 64842
c lw 64843
c lw 64844
c lw 64845
c lw 64846
c lw 64847
c lw 64848
c lw 64849
c lw 64850
c lw 64851
c lw 64852
c lw 64853
c lw 64854
c lw 64855
c lw 64856
c lw 64857
c lw 64858
c lw 64859
c lw 64860
c lw 64862
c lw 64863
c lw 64864
c lw 64865
c lw 64866
c lw 64867
c lw 64868
c lw 64869
c lw 64870
c lw 64871
c lw 64872
c lw 64873
c lw 64874
c lw 64876
c lw 64882
c lw 64888
c lw 64889
c lw 64894
c lw 64895
c lw 64896
c lw 64899
c lw 64900
c lw 64901
c lw 64902
c lw 64903
c lw 64904
c lw 64905
c lw 64906
c lw 64910
c lw 64911
c lw 64912
c lw 64913
c lw 64914
c lw 64915
c lw 64916
c lw 64917
c lw 64918
c lw 64919
c lw 64920
c lw 64921
c lw 64922
c lw 64923
c lw 64924
c lw 64925
c lw 64926
c lw 64933
c lw 64943
c lw 64947
c lw 64948
c lw 64951
c lw 64956
c lw 64961
c lw 64964
c lw 64966
c lw 64968
c lw 64970
c lw 64971
c lw 64973
c lw 64974
c lw 64982
c lw 64984
c lw 64985
c lw 64987
c lw 64989
c lw 64990
c lw 64991
c lw 64992
c lw 64993
c lw 64994
c lw 64995
c lw 64997
c lw 64998
c lw 64999
c lw 65000
c lw 65001
c lw 65002
c lw 65003
c lw 65004
c lw 65005
c lw 65006
c lw 65007
c lw 65008
c lw 65009
c lw 65010
c lw 65011
c lw 65012
c lw 65013
c lw 65015
c lw 65045
c lw 65048
c lw 65051
c lw 65077
c lw 65083
c lw 65086
c lw 65087
c lw 65088
c lw 65089
c lw 65090
c lw 65091
c lw 65092
c lw 65093
c lw 65094
c lw 65095
c lw 65096
c lw 65098
c lw 65099
c lw 65100
c lw 65101
c lw 65102
c lw 65103
c lw 65105
c lw 65119
c lw 65120
c lw 65121
c lw 65122
c lw 65123
c lw 65124
c lw 65126
c lw 65135
c lw 65140
c lw 65146
c lw 65149
c lw 65162
c lw 65214
c lw 65217
c lw 65258
c lw 65272
c lw 65275
c lw 65276
c lw 65277
c lw 65278
c lw 65312
c lw 65324
c lw 65325
c lw 65326
c lw 65327
c lw 65328
c lw 65329
c lw 65330
c lw 65331
c lw 65332
c lw 65335
c lw 65336
c lw 65342
c lw 65343
c lw 65344
c lw 65345
c lw 65351
c lw 65355
c lw 65356
c lw 65359
c lw 65360
c lw 65361
c lw 65362
c lw 65363
c lw 65364
c lw 65365
c lw 65366
c lw 65367
c lw 65368
c lw 65369
c lw 65370
c lw 65371
c lw 65372
c lw 65373
c lw 65374
c lw 65375
c lw 65376
c lw 65377
c lw 65378
c lw 65379
c lw 65380
c lw 65381
c lw 65382
c lw 65383
c lw 65384
c lw 65385
c lw 65386
c lw 65387
c lw 65388
c lw 65389
c lw 65390
c lw 65391
c lw 65392