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_90_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1297
c lw 2594
c lw 3822
c lw 3891
c lw 4075
c lw 4649
c lw 5188
c lw 5940
c lw 6692
c lw 7718
c lw 8606
c lw 8744
c lw 9297
c lw 10162
c lw 10549
c lw 10936
c lw 11519
c lw 11906
c lw 12876
c lw 13416
c lw 13846
c lw 14544
c lw 14816
c lw 15074
c lw 16044
c lw 17110
c lw 17254
c lw 17272
c lw 18368
c lw 18500
c lw 18542
c lw 18581
c lw 19563
c lw 19709
c lw 20691
c lw 20837
c lw 21801
c lw 22765
c lw 23559
c lw 23729
c lw 24439
c lw 24872
c lw 25149
c lw 26435
c lw 27721
c lw 28287
c lw 29157
c lw 30027
c lw 30783
c lw 30897
c lw 31296
c lw 31509
c lw 31716
c lw 31955
c lw 32471
c lw 32681
c lw 32905
c lw 33316
c lw 33475
c lw 33646
c lw 34065
c lw 34123
c lw 34488
c lw 34555
c lw 34988
c lw 35546
c lw 35652
c lw 36316
c lw 36794
c lw 36874
c lw 37298
c lw 38636
c lw 39803
c lw 39933
c lw 41219
c lw 41638
c lw 41683
c lw 41809
c lw 42223
c lw 42382
c lw 42394
c lw 42618
c lw 42748
c lw 42793
c lw 42919
c lw 43390
c lw 43597
c lw 43600
c lw 43735
c lw 43948
c lw 43974
c lw 44116
c lw 44262
c lw 44320
c lw 44347
c lw 44376
c lw 44477
c lw 44557
c lw 44854
c lw 44873
c lw 44942
c lw 45074
c lw 45214
c lw 45281
c lw 45681
c lw 45699
c lw 45774
c lw 46170
c lw 46305
c lw 46437
c lw 46735
c lw 47107
c lw 47365
c lw 47963
c lw 48109
c lw 48133
c lw 48407
c lw 48545
c lw 48619
c lw 48947
c lw 49143
c lw 49249
c lw 49299
c lw 49309
c lw 49733
c lw 50119
c lw 50364
c lw 50569
c lw 50797
c lw 50979
c lw 51074
c lw 51119
c lw 52360
c lw 52541
c lw 52725
c lw 52764
c lw 52830
c lw 52833
c lw 52997
c lw 53039
c lw 53216
c lw 53613
c lw 53692
c lw 53739
c lw 53772
c lw 53784
c lw 53787
c lw 53814
c lw 53872
c lw 53914
c lw 53933
c lw 53959
c lw 53987
c lw 54054
c lw 54056
c lw 54387
c lw 54645
c lw 54682
c lw 55095
c lw 55119
c lw 55170
c lw 55241
c lw 55304
c lw 55353
c lw 55423
c lw 55460
c lw 55468
c lw 55473
c lw 55502
c lw 55512
c lw 55577
c lw 55595
c lw 55634
c lw 55657
c lw 55838
c lw 55847
c lw 55884
c lw 55926
c lw 55972
c lw 55974
c lw 56041
c lw 56092
c lw 56159
c lw 56161
c lw 56196
c lw 56198
c lw 56201
c lw 56203
c lw 56204
c lw 56205
c lw 56207
c lw 56208
c lw 56209
c lw 56210
c lw 56226
c lw 56240
c lw 56241
c lw 56242
c lw 56246
c lw 56249
c lw 56291
c lw 56304
c lw 56313
c lw 56385
c lw 56409
c lw 56517
c lw 56536
c lw 56543
c lw 56550
c lw 56599
c lw 56604
c lw 56605
c lw 56606
c lw 56624
c lw 56625
c lw 56626
c lw 56630
c lw 56639
c lw 56645
c lw 56649
c lw 56651
c lw 56653
c lw 56657
c lw 56663
c lw 56664
c lw 56668
c lw 56682
c lw 56683
c lw 56686
c lw 56705
c lw 56706
c lw 56707
c lw 56708
c lw 56710
c lw 56736
c lw 56741
c lw 56742
c lw 56743
c lw 56744
c lw 56745
c lw 56746
c lw 56750
c lw 56788
c lw 56789
c lw 56790
c lw 56796
c lw 56797
c lw 56798
c lw 56799
c lw 56800
c lw 56801
c lw 56802
c lw 56803
c lw 56804
c lw 56805
c lw 56806
c lw 56807
c lw 56808
c lw 56811
c lw 56832
c lw 56835
c lw 56836
c lw 56837
c lw 56838
c lw 56839
c lw 56840
c lw 56957
c lw 56975
c lw 56978
c lw 56982
c lw 56987
c lw 56988
c lw 56992
c lw 56993
c lw 56994
c lw 56995
c lw 56996
c lw 56997
c lw 56998
c lw 56999
c lw 57000
c lw 57001
c lw 57002
c lw 57003
c lw 57004
c lw 57005
c lw 57006
c lw 57007
c lw 57008
c lw 57010
c lw 57011
c lw 57016
c lw 57045
c lw 57046
c lw 57047
c lw 57048
c lw 57049
c lw 57050
c lw 57051
c lw 57052
c lw 57053
c lw 57054
c lw 57055
c lw 57056
c lw 57057
c lw 57058
c lw 57059
c lw 57060
c lw 57061
c lw 57062
c lw 57063
c lw 57064
c lw 57065
c lw 57066
c lw 57067
c lw 57068
c lw 57069
c lw 57070
c lw 57071
c lw 57072
c lw 57073
c lw 57074
c lw 57075
c lw 57076
c lw 57077
c lw 57078
c lw 57079
c lw 57080
c lw 57081
c lw 57082
c lw 57083
c lw 57084
c lw 57085
c lw 57086
c lw 57087
c lw 57088
c lw 57089
c lw 57090
c lw 57091
c lw 57092
c lw 57093
c lw 57095
c lw 57096
c lw 57104
c lw 57112
c lw 57113
c lw 57114
c lw 57115
c lw 57119
c lw 57120
c lw 57121
c lw 57122
c lw 57123
c lw 57124
c lw 57125
c lw 57126
c lw 57138
c lw 57139
c lw 57140
c lw 57141
c lw 57142
c lw 57143
c lw 57155
c lw 57157
c lw 57158
c lw 57159
c lw 57160
c lw 57161
c lw 57162
c lw 57163
c lw 57164
c lw 57174
c lw 57175
c lw 57177
c lw 57178
c lw 57179
c lw 57180
c lw 57181
c lw 57182
c lw 57183
c lw 57184
c lw 57185
c lw 57186
c lw 57191
c lw 57192
c lw 57194
c lw 57195
c lw 57196
c lw 57207
c lw 57208
c lw 57209
c lw 57210
c lw 57211
c lw 57212
c lw 57213
c lw 57214
c lw 57215
c lw 57216
c lw 57217
c lw 57218
c lw 57219
c lw 57220
c lw 57222
c lw 57223
c lw 57224
c lw 57225
c lw 57226
c lw 57227
c lw 57228
c lw 57229
c lw 57230
c lw 57233
c lw 57235
c lw 57236
c lw 57237
c lw 57238
c lw 57239
c lw 57240
c lw 57241
c lw 57242
c lw 57243
c lw 57244
c lw 57245
c lw 57246
c lw 57247
c lw 57248
c lw 57249
c lw 57250
c lw 57251
c lw 57252
c lw 57253
c lw 57254
c lw 57255
c lw 57256
c lw 57257
c lw 57258
c lw 57259
c lw 57260
c lw 57261
c lw 57262
c lw 57263
c lw 57264
c lw 57265
c lw 57266
c lw 57267
c lw 57269
c lw 57270
c lw 57271
c lw 57272
c lw 57273
c lw 57292
c lw 57293
c lw 57294
c lw 57295
c lw 57303
c lw 57304
c lw 57305
c lw 57306
c lw 57307
c lw 57309
c lw 57315
c lw 57316
c lw 57320
c lw 57321
c lw 57322
c lw 57323
c lw 57324
c lw 57325
c lw 57326
c lw 57327
c lw 57328
c lw 57329
c lw 57330
c lw 57331
c lw 57332
c lw 57333
c lw 57334
c lw 57335
c lw 57336
c lw 57337
c lw 57338
c lw 57339
c lw 57340
c lw 57341
c lw 57342
c lw 57343
c lw 57344
c lw 57345
c lw 57346
c lw 57347
c lw 57348
c lw 57356
c lw 57357
c lw 57358
c lw 57359
c lw 57360
c lw 57361
c lw 57362
c lw 57363
c lw 57364
c lw 57373
c lw 57374
c lw 57385
c lw 57394
c lw 57423
c lw 57424
c lw 57425
c lw 57426
c lw 57427
c lw 57428
c lw 57429
c lw 57430
c lw 57431
c lw 57432
c lw 57433
c lw 57434
c lw 57435
c lw 57436
c lw 57437
c lw 57438
c lw 57439
c lw 57440
c lw 57441
c lw 57442
c lw 57443
c lw 57444
c lw 57445
c lw 57446
c lw 57447
c lw 57448
c lw 57449
c lw 57450
c lw 57451
c lw 57452
c lw 57453
c lw 57454
c lw 57455
c lw 57456
c lw 57457
c lw 57458
c lw 57459
c lw 57460
c lw 57461
c lw 57462
c lw 57463
c lw 57464
c lw 57465
c lw 57466
c lw 57467
c lw 57468
c lw 57469
c lw 57470
c lw 57471
c lw 57472
c lw 57473
c lw 57474
c lw 57475
c lw 57476
c lw 57477
c lw 57478
c lw 57479
c lw 57480
c lw 57503
c lw 57504
c lw 57505
c lw 57506
c lw 57507
c lw 57508
c lw 57509
c lw 57515
c lw 57516
c lw 57517
c lw 57518
c lw 57519
c lw 57520
c lw 57521
c lw 57522
c lw 57523
c lw 57524
c lw 57525
c lw 57526
c lw 57527
c lw 57528
c lw 57529
c lw 57530
c lw 57531
c lw 57532
c lw 57533
c lw 57534
c lw 57535
c lw 57536
c lw 57537
c lw 57538
c lw 57539
c lw 57540
c lw 57541
c lw 57542
c lw 57555
c lw 57556
c lw 57571
c lw 57572
c lw 57573
c lw 57574
c lw 57575
c lw 57576
c lw 57577
c lw 57578
c lw 57579
c lw 57580
c lw 57581
c lw 57582
c lw 57583
c lw 57584
c lw 57585
c lw 57586
c lw 57587
c lw 57588
c lw 57589
c lw 57590
Killed
1815.473u 4.284s 30:23.79 99.7%	0+0k 0+0io 0pf+0w