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_PATHS_cat_paths_60_130_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1013
c lw 2026
c lw 2892
c lw 3039
c lw 3341
c lw 3920
c lw 4116
c lw 4782
c lw 4891
c lw 5405
c lw 5583
c lw 5666
c lw 6245
c lw 6741
c lw 7320
c lw 7770
c lw 8045
c lw 8502
c lw 8727
c lw 9311
c lw 9409
c lw 10091
c lw 10507
c lw 10773
c lw 11182
c lw 11391
c lw 12088
c lw 12387
c lw 12645
c lw 13229
c lw 13694
c lw 13813
c lw 13934
c lw 14043
c lw 14628
c lw 14704
c lw 15022
c lw 15365
c lw 15822
c lw 16026
c lw 16568
c lw 16888
c lw 17867
c lw 18187
c lw 18507
c lw 18674
c lw 18940
c lw 19166
c lw 19768
c lw 20089
c lw 20388
c lw 20988
c lw 21350
c lw 21588
c lw 22074
c lw 22188
c lw 23420
c lw 24652
c lw 25754
c lw 25884
c lw 26496
c lw 26909
c lw 27108
c lw 27720
c lw 28436
c lw 29152
c lw 29643
c lw 29906
c lw 30772
c lw 30919
c lw 31785
c lw 31932
c lw 32413
c lw 32945
c lw 33115
c lw 33923
c lw 34093
c lw 34901
c lw 35084
c lw 35211
c lw 35730
c lw 35879
c lw 36153
c lw 36561
c lw 36825
c lw 37243
c lw 37494
c lw 37925
c lw 38442
c lw 38607
c lw 39023
c lw 39085
c lw 39360
c lw 39773
c lw 39840
c lw 39961
c lw 40139
c lw 40320
c lw 40346
c lw 40803
c lw 41630
c lw 41905
c lw 42000
c lw 42299
c lw 42511
c lw 42821
c lw 43024
c lw 43608
c lw 43805
c lw 43840
c lw 44045
c lw 44160
c lw 44161
c lw 44570
c lw 44975
c lw 45073
c lw 45349
c lw 45615
c lw 45644
c lw 45785
c lw 46250
c lw 46491
c lw 46638
c lw 47005
c lw 47040
c lw 47152
c lw 47154
c lw 47234
c lw 47249
c lw 47275
c lw 47345
c lw 47446
c lw 47515
c lw 47596
c lw 47660
c lw 47781
c lw 47848
c lw 47877
c lw 48003
c lw 48080
c lw 48346
c lw 48373
c lw 48440
c lw 48757
c lw 48854
c lw 48871
c lw 48916
c lw 48934
c lw 48969
c lw 48986
c lw 49130
c lw 49250
c lw 49387
c lw 49439
c lw 49568
c lw 49638
c lw 49709
c lw 49769
c lw 49770
c lw 49853
c lw 49948
c lw 49952
c lw 50103
c lw 50149
c lw 50210
c lw 50222
c lw 50485
c lw 50594
c lw 50606
c lw 50639
c lw 50674
c lw 50900
c lw 50921
c lw 50938
c lw 51212
c lw 51316
c lw 51392
c lw 51520
c lw 51563
c lw 51584
c lw 51888
c lw 51924
c lw 52149
c lw 52281
c lw 52386
c lw 52607
c lw 52619
c lw 52703
c lw 52811
c lw 53007
c lw 53160
c lw 53268
c lw 53372
c lw 53576
c lw 53685
c lw 53843
c lw 54009
c lw 54242
c lw 54249
c lw 54271
c lw 54391
c lw 54676
c lw 54843
c lw 55392
c lw 55539
c lw 55583
c lw 55780
c lw 55988
c lw 56118
c lw 56258
c lw 56381
c lw 56528
c lw 56639
c lw 56866
c lw 58098
c lw 58418
c lw 58447
c lw 58615
c lw 58633
c lw 58676
c lw 58752
c lw 58766
c lw 58787
c lw 58794
c lw 58820
c lw 58835
c lw 58885
c lw 58917
c lw 58962
c lw 59015
c lw 59042
c lw 59056
c lw 59076
c lw 59090
c lw 59105
c lw 59123
c lw 59131
c lw 59138
c lw 59167
c lw 59172
c lw 59237
c lw 59269
c lw 59273
c lw 59354
c lw 59395
c lw 59424
c lw 59445
c lw 59476
c lw 59479
c lw 59488
c lw 59492
c lw 59550
c lw 59552
c lw 59555
c lw 59564
c lw 59567
c lw 59601
c lw 59676
c lw 59694
c lw 59698
c lw 59752
c lw 59759
c lw 59774
c lw 59851
c lw 59858
c lw 59865
c lw 59877
c lw 59882
c lw 59965
c lw 59973
c lw 59990
c lw 59994
c lw 60018
c lw 60033
c lw 60051
c lw 60059
c lw 60066
c lw 60091
c lw 60106
c lw 60184
c lw 60234
c lw 60237
c lw 60243
c lw 60249
c lw 60267
c lw 60277
c lw 60280
c lw 60294
c lw 60297
c lw 60337
c lw 60345
c lw 60364
c lw 60373
c lw 60376
c lw 60379
c lw 60384
c lw 60386
c lw 60393
c lw 60416
c lw 60424
c lw 60462
c lw 60465
c lw 60466
c lw 60473
c lw 60476
c lw 60477
c lw 60480
c lw 60488
c lw 60495
c lw 60538
c lw 60542
c lw 60559
c lw 60580
c lw 60587
c lw 60590
c lw 60599
c lw 60601
c lw 60626
c lw 60691
c lw 60716
c lw 60731
c lw 60735
c lw 60747
c lw 60823
c lw 60829
c lw 60830
c lw 60843
c lw 60874
c lw 60877
c lw 60878
c lw 60880
c lw 60881
c lw 60882
c lw 60885
c lw 60886
c lw 60888
c lw 60889
c lw 60891
c lw 60892
c lw 60893
c lw 60894
c lw 60958
c lw 60960
c lw 60962
c lw 60963
c lw 60964
c lw 60982
c lw 61027
c lw 61053
c lw 61070
c lw 61081
c lw 61087
c lw 61092
c lw 61095
c lw 61098
c lw 61101
c lw 61105
c lw 61108
c lw 61116
c lw 61117
c lw 61119
c lw 61120
c lw 61122
c lw 61123
c lw 61142
c lw 61149
c lw 61153
c lw 61157
c lw 61160
c lw 61164
c lw 61165
c lw 61172
c lw 61177
c lw 61181
c lw 61182
c lw 61189
c lw 61190
c lw 61195
c lw 61196
c lw 61197
c lw 61198
c lw 61202
c lw 61205
c lw 61206
c lw 61233
c lw 61239
c lw 61241
c lw 61242
c lw 61243
c lw 61245
c lw 61246
c lw 61248
c lw 61249
c lw 61252
c lw 61266
c lw 61286
c lw 61289
c lw 61290
c lw 61291
c lw 61292
c lw 61293
c lw 61294
c lw 61300
c lw 61301
c lw 61306
c lw 61307
c lw 61309
c lw 61310
c lw 61311
c lw 61312
c lw 61315
c lw 61316
c lw 61317
c lw 61320
c lw 61321
c lw 61322
c lw 61325
c lw 61329
c lw 61330
c lw 61331
c lw 61332
c lw 61334
c lw 61336
c lw 61337
c lw 61338
c lw 61342
c lw 61347
c lw 61352
c lw 61354
c lw 61358
c lw 61359
c lw 61360
c lw 61363
c lw 61364
c lw 61365
c lw 61366
c lw 61367
c lw 61368
c lw 61369
c lw 61370
c lw 61372
c lw 61373
c lw 61374
c lw 61376
c lw 61377
c lw 61378
c lw 61379
c lw 61380
c lw 61381
c lw 61382
c lw 61383
c lw 61384
c lw 61385
c lw 61386
c lw 61387
c lw 61388
c lw 61390
c lw 61392
c lw 61393
c lw 61394
c lw 61401
c lw 61402
c lw 61403
c lw 61404
c lw 61406
c lw 61407
c lw 61408
c lw 61409
c lw 61411
c lw 61412
c lw 61416
c lw 61419
c lw 61421
c lw 61426
c lw 61429
c lw 61431
c lw 61503
c lw 61504
c lw 61505
c lw 61506
c lw 61507
c lw 61508
c lw 61540
c lw 61541
c lw 61542
c lw 61544
c lw 61545
c lw 61546
c lw 61547
c lw 61548
c lw 61552
c lw 61553
c lw 61554
c lw 61555
c lw 61556
c lw 61558
c lw 61559
c lw 61560
c lw 61561
c lw 61562
c lw 61578
c lw 61579
c lw 61580
c lw 61581
c lw 61582
c lw 61583
c lw 61584
c lw 61585
c lw 61589
c lw 61590
c lw 61591
c lw 61592
c lw 61593
c lw 61594
c lw 61595
c lw 61596
c lw 61597
c lw 61598
c lw 61599
c lw 61600
c lw 61601
c lw 61602
c lw 61603
c lw 61607
c lw 61608
c lw 61609
c lw 61610
c lw 61611
c lw 61612
c lw 61613
c lw 61616
c lw 61617
c lw 61620
c lw 61622
c lw 61625
c lw 61626
c lw 61627
c lw 61628
c lw 61629
c lw 61630
c lw 61631
c lw 61632
c lw 61635
c lw 61636
c lw 61637
c lw 61638
c lw 61639
c lw 61640
c lw 61641
c lw 61642
c lw 61643
c lw 61644
c lw 61645
c lw 61685
c lw 61686
c lw 61687
c lw 61688
c lw 61691
c lw 61743
c lw 61751
c lw 61773
c lw 61774
c lw 61775
c lw 61776
c lw 61777
c lw 61778
c lw 61779
c lw 61780
c lw 61781
c lw 61782
c lw 61783
c lw 61784
c lw 61785
c lw 61786
c lw 61787
c lw 61788
c lw 61789
c lw 61790
c lw 61791
c lw 61836
c lw 61843
c lw 61864
c lw 61865
c lw 61867
c lw 61881
c lw 61883
c lw 61886
c lw 61897
c lw 61930
c lw 61933
c lw 61936
c lw 61937
c lw 61942
c lw 61944
c lw 61946
c lw 61947
c lw 61948
c lw 61949
c lw 61950
c lw 61951
c lw 61952
c lw 61953
c lw 61954
c lw 61955
c lw 61957
c lw 61958
c lw 61959
c lw 61960
c lw 61961
c lw 61962
c lw 61963
c lw 61964
c lw 61966
c lw 61971
c lw 61972
c lw 61973
c lw 61974
c lw 61975
c lw 61976
c lw 61978
c lw 61979
c lw 62001
c lw 62002
c lw 62003
c lw 62004
c lw 62005
c lw 62006
c lw 62007
c lw 62008
c lw 62009
c lw 62010
c lw 62011
c lw 62012
c lw 62014
c lw 62015
c lw 62016
c lw 62017
c lw 62018
c lw 62019
c lw 62020
c lw 62021
c lw 62022
c lw 62023
c lw 62025
c lw 62031
c lw 62032
c lw 62033
c lw 62034
c lw 62036
c lw 62037
c lw 62038
c lw 62039
c lw 62040
c lw 62041
c lw 62042
c lw 62043
c lw 62044
c lw 62048
c lw 62049
c lw 62050
c lw 62051
c lw 62052
c lw 62053
c lw 62055
c lw 62056
c lw 62057
c lw 62058
c lw 62060
c lw 62061
c lw 62063
c lw 62064
c lw 62071
c lw 62072
c lw 62073
c lw 62074
c lw 62075
c lw 62077
c lw 62078
c lw 62079
c lw 62080
c lw 62081
c lw 62083
c lw 62089
c lw 62090
c lw 62092
c lw 62093
c lw 62094
c lw 62095
c lw 62096
c lw 62097
c lw 62098
c lw 62099
c lw 62100
c lw 62101
c lw 62102
c lw 62103
c lw 62104
c lw 62105
c lw 62106
c lw 62107
c lw 62108
c lw 62109
c lw 62110
c lw 62111
c lw 62112
c lw 62113
c lw 62114
c lw 62115
c lw 62116
c lw 62117
c lw 62118
c lw 62129
c lw 62130
c lw 62131
c lw 62132
c lw 62133
c lw 62134
c lw 62135
c lw 62136
c lw 62137
c lw 62138
c lw 62139
c lw 62140
c lw 62141
c lw 62142
c lw 62143
c lw 62144
c lw 62145
c lw 62146
c lw 62147
c lw 62148
c lw 62149
c lw 62150
c lw 62151
c lw 62152
c lw 62153
c lw 62154
c lw 62155
c lw 62156
c lw 62157
c lw 62158
c lw 62159
c lw 62160
c lw 62161
c lw 62162
c lw 62163
c lw 62164
c lw 62166
c lw 62167
c lw 62177
c lw 62178
c lw 62179
c lw 62180
c lw 62181
c lw 62182
c lw 62183
c lw 62184
c lw 62185
c lw 62186
c lw 62187
c lw 62188
c lw 62189
c lw 62190
c lw 62191
c lw 62192
c lw 62193
c lw 62195
c lw 62196
c lw 62197
c lw 62199
c lw 62201
c lw 62202
c lw 62203
c lw 62204
c lw 62205
c lw 62206
c lw 62207
c lw 62208
c lw 62209
c lw 62210
c lw 62211
c lw 62212
c lw 62213
c lw 62214
c lw 62215
c lw 62216
c lw 62217
c lw 62218
c lw 62219
c lw 62220
c lw 62221
c lw 62222
c lw 62223
c lw 62224
c lw 62225
c lw 62226
c lw 62227
c lw 62228
c lw 62229
c lw 62230
c lw 62231
c lw 62232
c lw 62233
c lw 62234
c lw 62235
c lw 62236
c lw 62239
c lw 62240
c lw 62241
c lw 62242
c lw 62243
c lw 62244
c lw 62245
c lw 62247
c lw 62248
c lw 62249
c lw 62250
c lw 62251
c lw 62252
c lw 62253
c lw 62254
c lw 62255
c lw 62256
c lw 62257
c lw 62258
c lw 62259
c lw 62260
c lw 62261
c lw 62262
c lw 62263
c lw 62268
c lw 62269
c lw 62270
c lw 62271
c lw 62272
c lw 62273
c lw 62274
c lw 62275
c lw 62276
c lw 62277
c lw 62278
c lw 62279
c lw 62280
c lw 62281
c lw 62282
c lw 62283
c lw 62284
c lw 62285
c lw 62286
c lw 62287
c lw 62288
c lw 62289
c lw 62290
c lw 62291
c lw 62292
c lw 62293
c lw 62302
c lw 62303
c lw 62304
c lw 62305
c lw 62306
c lw 62307
c lw 62308
c lw 62309
c lw 62310
c lw 62311
c lw 62312
c lw 62313
c lw 62314
c lw 62315
c lw 62318
c lw 62319
c lw 62320
c lw 62321
c lw 62322
c lw 62323
c lw 62324
c lw 62325
c lw 62326
c lw 62327
c lw 62329
c lw 62330
c lw 62331
c lw 62332
c lw 62333
c lw 62334
c lw 62335
c lw 62336
c lw 62337
c lw 62339
c lw 62340
c lw 62342
c lw 62346
c lw 62347
c lw 62348
c lw 62349
c lw 62350
c lw 62351
c lw 62352
c lw 62353
c lw 62354
c lw 62355
c lw 62356
c lw 62357
c lw 62358
c lw 62359
c lw 62360
c lw 62361
c lw 62362
c lw 62363
c lw 62364
c lw 62365
c lw 62366
c lw 62367
c lw 62368
c lw 62369
c lw 62370
c lw 62371
c lw 62372
c lw 62409
c lw 62410
c lw 62411
c lw 62412
c lw 62413
c lw 62424
c lw 62425
c lw 62426
c lw 62427
c lw 62428
c lw 62429
c lw 62430
c lw 62432
c lw 62433
c lw 62434
c lw 62435
c lw 62436
c lw 62437
c lw 62438
c lw 62439
c lw 62440
c lw 62441
c lw 62442
c lw 62443
c lw 62444
c lw 62445
c lw 62446
c lw 62447
c lw 62448
c lw 62449
c lw 62450
c lw 62451
c lw 62452
c lw 62453
c lw 62454
c lw 62455
c lw 62456
c lw 62457
c lw 62458
c lw 62459
c lw 62460
c lw 62461
c lw 62462
c lw 62463
c lw 62464
c lw 62465
c lw 62466
c lw 62467
c lw 62468
c lw 62469
c lw 62470
c lw 62471
c lw 62472
c lw 62473
c lw 62474
c lw 62475
c lw 62476
c lw 62477
c lw 62478
c lw 62479
c lw 62480
c lw 62481
c lw 62482
c lw 62483
c lw 62484
c lw 62485
c lw 62486
c lw 62487
c lw 62488
c lw 62489
c lw 62490
c lw 62491
c lw 62492
c lw 62493
c lw 62494
c lw 62495
c lw 62496
c lw 62497
c lw 62498
c lw 62499
c lw 62500
c lw 62501
c lw 62510
c lw 62511
c lw 62512
c lw 62513
c lw 62514
c lw 62515
c lw 62516
c lw 62517
c lw 62518
c lw 62519
c lw 62520
c lw 62521
c lw 62522
c lw 62523
c lw 62524
c lw 62525
c lw 62526
c lw 62527
c lw 62528
c lw 62529
c lw 62540
c lw 62541
c lw 62542
c lw 62543
c lw 62544
c lw 62545
c lw 62546
c lw 62547
c lw 62548
c lw 62549
c lw 62550
c lw 62551
c lw 62552
c lw 62553
c lw 62554
c lw 62555
c lw 62556
c lw 62560
c lw 62561
c lw 62562
c lw 62563
c lw 62564
c lw 62565
c lw 62566
c lw 62567
c lw 62568
c lw 62569
c lw 62570
c lw 62571
c lw 62572
c lw 62573
c lw 62574
c lw 62575
c lw 62576
c lw 62577
c lw 62578
c lw 62579
c lw 62580
c lw 62581
c lw 62582
c lw 62583
c lw 62584
c lw 62585
c lw 62586
c lw 62587
c lw 62588
c lw 62589
c lw 62590
c lw 62591
c lw 62597
c lw 62598
c lw 62599
c lw 62600
c lw 62601
c lw 62602
c lw 62603
c lw 62604
c lw 62605
c lw 62606
c lw 62607
c lw 62608
c lw 62609
c lw 62610
c lw 62611
c lw 62612
c lw 62613
Killed
1806.244u 13.515s 30:23.83 99.7%	0+0k 0+0io 0pf+0w