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_120_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 898
c lw 1476
c lw 1796
c lw 2618
c lw 2694
c lw 2930
c lw 3203
c lw 4110
c lw 5017
c lw 5924
c lw 6331
c lw 6999
c lw 7165
c lw 8104
c lw 8772
c lw 9043
c lw 9220
c lw 9935
c lw 9982
c lw 10785
c lw 10921
c lw 11633
c lw 12253
c lw 12826
c lw 13588
c lw 13672
c lw 13968
c lw 14035
c lw 14348
c lw 14927
c lw 15151
c lw 15537
c lw 16418
c lw 16835
c lw 17299
c lw 18180
c lw 18979
c lw 19615
c lw 19778
c lw 20370
c lw 20962
c lw 21046
c lw 21156
c lw 21554
c lw 22566
c lw 23578
c lw 23891
c lw 24179
c lw 24590
c lw 24757
c lw 24778
c lw 24940
c lw 25531
c lw 25993
c lw 26353
c lw 26470
c lw 26932
c lw 27175
c lw 27637
c lw 27921
c lw 28475
c lw 29029
c lw 29167
c lw 29347
c lw 29577
c lw 29621
c lw 29982
c lw 30098
c lw 30699
c lw 30976
c lw 31554
c lw 31657
c lw 32235
c lw 32800
c lw 32882
c lw 33550
c lw 34542
c lw 35481
c lw 35534
c lw 35681
c lw 35849
c lw 36130
c lw 36385
c lw 36649
c lw 36666
c lw 37571
c lw 38304
c lw 38340
c lw 38476
c lw 38969
c lw 39123
c lw 39374
c lw 39482
c lw 39908
c lw 40421
c lw 40595
c lw 40992
c lw 41364
c lw 41501
c lw 41700
c lw 42126
c lw 42254
c lw 42368
c lw 42604
c lw 42633
c lw 42933
c lw 43041
c lw 43184
c lw 43220
c lw 43338
c lw 43446
c lw 43493
c lw 43670
c lw 43787
c lw 43831
c lw 43999
c lw 44146
c lw 44147
c lw 44161
c lw 44190
c lw 44299
c lw 44461
c lw 44583
c lw 44623
c lw 44746
c lw 44773
c lw 44849
c lw 44985
c lw 45126
c lw 45403
c lw 45524
c lw 45541
c lw 45577
c lw 45780
c lw 45801
c lw 46150
c lw 46187
c lw 46197
c lw 46380
c lw 46500
c lw 46567
c lw 46592
c lw 46863
c lw 47071
c lw 47136
c lw 47157
c lw 47295
c lw 47424
c lw 47508
c lw 47630
c lw 48027
c lw 48039
c lw 48121
c lw 48309
c lw 48328
c lw 48412
c lw 48699
c lw 48849
c lw 48876
c lw 48945
c lw 49038
c lw 49082
c lw 49107
c lw 49204
c lw 49475
c lw 49775
c lw 49819
c lw 49945
c lw 50125
c lw 50200
c lw 50209
c lw 50481
c lw 50526
c lw 50573
c lw 50664
c lw 50792
c lw 50933
c lw 51137
c lw 51253
c lw 51349
c lw 51669
c lw 51681
c lw 51903
c lw 52069
c lw 52098
c lw 52161
c lw 52659
c lw 52762
c lw 53044
c lw 53122
c lw 53173
c lw 53193
c lw 53526
c lw 53611
c lw 53655
c lw 53714
c lw 53810
c lw 53918
c lw 53961
c lw 54061
c lw 54097
c lw 54215
c lw 54323
c lw 54343
c lw 54370
c lw 54384
c lw 54385
c lw 54391
c lw 54527
c lw 54668
c lw 54685
c lw 54721
c lw 54733
c lw 54754
c lw 54883
c lw 54920
c lw 54928
c lw 54934
c lw 54947
c lw 54961
c lw 55031
c lw 55054
c lw 55079
c lw 55089
c lw 55149
c lw 55210
c lw 55253
c lw 55262
c lw 55265
c lw 55291
c lw 55319
c lw 55329
c lw 55344
c lw 55373
c lw 55375
c lw 55395
c lw 55415
c lw 55416
c lw 55436
c lw 55456
c lw 55463
c lw 55467
c lw 55487
c lw 55488
c lw 55509
c lw 55515
c lw 55531
c lw 55535
c lw 55538
c lw 55539
c lw 55540
c lw 55541
c lw 55542
c lw 55550
c lw 55557
c lw 55558
c lw 55571
c lw 55608
c lw 55609
c lw 55610
c lw 55614
c lw 55628
c lw 55629
c lw 55646
c lw 55693
c lw 55696
c lw 55712
c lw 55713
c lw 55720
c lw 55728
c lw 55778
c lw 55781
c lw 55787
c lw 55788
c lw 55803
c lw 55806
c lw 55807
c lw 55845
c lw 55848
c lw 55860
c lw 55881
c lw 55911
c lw 55912
c lw 55923
c lw 55924
c lw 55930
c lw 55935
c lw 55955
c lw 55956
c lw 55957
c lw 55958
c lw 55959
c lw 55960
c lw 55961
c lw 55965
c lw 55966
c lw 55967
c lw 55968
c lw 55970
c lw 55971
c lw 55975
c lw 55980
c lw 55981
c lw 55982
c lw 55983
c lw 55992
c lw 56042
c lw 56043
c lw 56044
c lw 56045
c lw 56046
c lw 56161
c lw 56193
c lw 56194
c lw 56195
c lw 56196
c lw 56197
c lw 56198
c lw 56199
c lw 56200
c lw 56201
c lw 56202
c lw 56207
c lw 56211
c lw 56214
c lw 56215
c lw 56216
c lw 56217
c lw 56218
c lw 56219
c lw 56220
c lw 56221
c lw 56222
c lw 56223
c lw 56224
c lw 56225
c lw 56226
c lw 56227
c lw 56228
c lw 56229
c lw 56230
c lw 56231
c lw 56232
c lw 56233
c lw 56234
c lw 56235
c lw 56236
c lw 56239
c lw 56314
c lw 56329
c lw 56330
c lw 56331
c lw 56332
c lw 56333
c lw 56334
c lw 56335
c lw 56336
c lw 56337
c lw 56338
c lw 56339
c lw 56340
c lw 56341
c lw 56342
c lw 56343
c lw 56344
c lw 56345
c lw 56346
c lw 56347
c lw 56348
c lw 56349
c lw 56381
c lw 56412
c lw 56437
c lw 56438
c lw 56473
c lw 56474
c lw 56475
c lw 56478
c lw 56481
c lw 56482
c lw 56483
c lw 56486
c lw 56487
c lw 56488
c lw 56490
c lw 56491
c lw 56492
c lw 56493
c lw 56494
c lw 56495
c lw 56496
c lw 56497
c lw 56498
c lw 56499
c lw 56500
c lw 56501
c lw 56502
c lw 56503
c lw 56504
c lw 56505
c lw 56506
c lw 56507
c lw 56508
c lw 56509
c lw 56510
c lw 56511
c lw 56512
c lw 56513
c lw 56514
c lw 56515
c lw 56516
c lw 56517
c lw 56518
c lw 56519
c lw 56520
c lw 56521
c lw 56522
c lw 56523
c lw 56548
c lw 56627
c lw 56628
c lw 56629
c lw 56630
c lw 56631
c lw 56632
c lw 56633
c lw 56634
c lw 56635
c lw 56638
c lw 56640
c lw 56641
c lw 56647
c lw 56648
c lw 56652
c lw 56657
c lw 56658
c lw 56660
c lw 56695
c lw 56698
c lw 56712
c lw 56732
c lw 56733
c lw 56734
c lw 56735
c lw 56736
c lw 56737
c lw 56738
c lw 56742
c lw 56743
c lw 56744
c lw 56746
c lw 56751
c lw 56752
c lw 56753
c lw 56754
c lw 56766
c lw 56767
c lw 56768
c lw 56769
c lw 56770
c lw 56771
c lw 56772
c lw 56773
c lw 56774
c lw 56775
c lw 56776
c lw 56777
c lw 56778
c lw 56779
c lw 56780
c lw 56783
c lw 56786
c lw 56787
c lw 56788
c lw 56789
c lw 56792
c lw 56794
c lw 56798
c lw 56803
c lw 56804
c lw 56805
c lw 56806
c lw 56808
c lw 56838
c lw 56840
c lw 56841
c lw 56842
c lw 56843
c lw 56844
c lw 56845
c lw 56863
c lw 56867
c lw 56868
c lw 56871
c lw 56874
c lw 56875
c lw 56876
c lw 56879
c lw 56897
c lw 56898
c lw 56901
c lw 56902
c lw 56938
c lw 57039
c lw 57040
c lw 57078
c lw 57084
c lw 57085
c lw 57086
c lw 57098
c lw 57099
c lw 57100
c lw 57101
c lw 57102
c lw 57103
c lw 57104
c lw 57106
c lw 57115
c lw 57116
c lw 57118
c lw 57119
c lw 57124
c lw 57126
c lw 57127
c lw 57128
c lw 57129
c lw 57130
c lw 57172
c lw 57175
c lw 57181
c lw 57182
c lw 57183
c lw 57184
c lw 57185
c lw 57186
c lw 57187
c lw 57234
c lw 57235
c lw 57236
c lw 57237
c lw 57238
c lw 57239
c lw 57240
c lw 57242
c lw 57243
c lw 57244
c lw 57245
c lw 57246
c lw 57247
c lw 57252
c lw 57253
c lw 57254
c lw 57255
c lw 57256
c lw 57257
c lw 57266
c lw 57267
c lw 57268
c lw 57269
c lw 57270
c lw 57271
c lw 57272
c lw 57285
c lw 57308
c lw 57321
c lw 57322
c lw 57390
c lw 57391
c lw 57392
c lw 57393
c lw 57394
c lw 57413
c lw 57440
c lw 57491
c lw 57510
c lw 57511
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 57532
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
c lw 57591
c lw 57592
c lw 57593
c lw 57594
c lw 57595
c lw 57596
c lw 57597
c lw 57598
c lw 57599
c lw 57600
c lw 57601
c lw 57602
c lw 57603
c lw 57604
c lw 57605
c lw 57606
c lw 57607
c lw 57608
c lw 57609
c lw 57610
c lw 57611
c lw 57612
c lw 57613
c lw 57614
c lw 57615
c lw 57616
c lw 57617
c lw 57618
c lw 57619
c lw 57620
c lw 57621
c lw 57623
c lw 57629
c lw 57632
c lw 57633
c lw 57634
c lw 57635
c lw 57636
c lw 57637
c lw 57638
c lw 57639
c lw 57640
c lw 57641
c lw 57642
c lw 57643
c lw 57644
c lw 57645
c lw 57646
c lw 57647
c lw 57651
c lw 57652
c lw 57655
c lw 57656
c lw 57657
c lw 57658
c lw 57659
c lw 57660
c lw 57661
c lw 57662
c lw 57663
c lw 57664
c lw 57665
c lw 57666
c lw 57667
c lw 57668
c lw 57669
c lw 57671
c lw 57672
c lw 57673
c lw 57674
c lw 57675
c lw 57676
c lw 57677
c lw 57678
c lw 57679
c lw 57680
c lw 57681
c lw 57682
c lw 57683
c lw 57684
c lw 57685
c lw 57686
c lw 57687
c lw 57688
c lw 57689
c lw 57690
c lw 57691
c lw 57692
c lw 57693
c lw 57694
c lw 57726
c lw 57727
c lw 57728
c lw 57729
c lw 57730
c lw 57731
c lw 57732
c lw 57733
c lw 57734
c lw 57735
c lw 57736
c lw 57737
c lw 57738
c lw 57739
c lw 57740
c lw 57741
c lw 57742
c lw 57743
c lw 57744
c lw 57745
c lw 57746
c lw 57747
c lw 57748
c lw 57749
c lw 57750
c lw 57751
c lw 57752
c lw 57753
c lw 57754
c lw 57755
c lw 57781
c lw 57782
c lw 57783
c lw 57784
c lw 57785
c lw 57786
c lw 57787
c lw 57788
c lw 57789
c lw 57790
c lw 57791
c lw 57792
c lw 57793
c lw 57794
c lw 57795
c lw 57796
c lw 57797
c lw 57798
c lw 57799
c lw 57800
c lw 57801
c lw 57802
c lw 57803
c lw 57804
c lw 57807
c lw 57809
c lw 57813
c lw 57814
c lw 57815
c lw 57816
c lw 57817
c lw 57818
c lw 57819
c lw 57820
c lw 57821
c lw 57822
c lw 57823
c lw 57824
c lw 57825
c lw 57826
c lw 57827
c lw 57828
c lw 57829
c lw 57830
c lw 57831
c lw 57832
c lw 57833
c lw 57834
c lw 57835
c lw 57836
c lw 57837
c lw 57838
c lw 57839
c lw 57840
c lw 57841
c lw 57842
c lw 57843
c lw 57844
c lw 57845
c lw 57846
c lw 57847
c lw 57848
c lw 57849
c lw 57850
c lw 57851
c lw 57853
c lw 57854
c lw 57855
c lw 57856
c lw 57857
c lw 57859
c lw 57869
c lw 57870
c lw 57871
c lw 57872
c lw 57874
c lw 57876
c lw 57877
c lw 57878
c lw 57879
c lw 57880
c lw 57881
c lw 57882
c lw 57884
c lw 57890
c lw 57891
c lw 57893
c lw 57906
c lw 57907
c lw 57908
c lw 57909
c lw 57912
c lw 57913
c lw 57914
c lw 57915
c lw 57916
c lw 57917
c lw 57918
c lw 57919
c lw 57920
c lw 57921
c lw 57922
c lw 57923
c lw 57924
c lw 57925
c lw 57926
c lw 57927
c lw 57928
c lw 57929
c lw 57930
c lw 57931
c lw 57932
c lw 57933
c lw 57934
c lw 57935
c lw 57936
c lw 57937
c lw 57938
c lw 57939
c lw 57940
c lw 57941
c lw 57942
c lw 57943
c lw 57944
c lw 57945
c lw 57946
c lw 57947
c lw 57948
c lw 57949
c lw 57950
c lw 57951
c lw 57952
c lw 57953
c lw 57954
c lw 57955
c lw 57956
c lw 57957
c lw 57958
c lw 58025
c lw 58033
c lw 58042
c lw 58055
c lw 58057
c lw 58059
c lw 58064
c lw 58100
c lw 58101
c lw 58102
c lw 58103
c lw 58104
c lw 58105
c lw 58106
c lw 58107
c lw 58110
c lw 58112
c lw 58114
c lw 58119
c lw 58125
c lw 58126
c lw 58127
c lw 58128
c lw 58132
c lw 58133
c lw 58134
c lw 58135
c lw 58136
c lw 58137
c lw 58138
c lw 58139
c lw 58140
c lw 58141
c lw 58142
c lw 58143
c lw 58144
c lw 58145
c lw 58146
c lw 58147
c lw 58148
c lw 58149
c lw 58150
c lw 58151
c lw 58152
c lw 58153
c lw 58154
c lw 58155
c lw 58156
c lw 58157
c lw 58158
c lw 58159
c lw 58160
c lw 58161
c lw 58162
c lw 58163
c lw 58164
c lw 58165
c lw 58166
c lw 58167
c lw 58168
c lw 58169
c lw 58170
c lw 58171
c lw 58172
c lw 58173
c lw 58174
c lw 58175
c lw 58176
c lw 58177
c lw 58178
c lw 58194
c lw 58197
c lw 58201
c lw 58209
c lw 58210
c lw 58211
c lw 58212
c lw 58213
c lw 58215
c lw 58217
c lw 58218
c lw 58219
c lw 58220
c lw 58221
c lw 58222
c lw 58223
c lw 58224
c lw 58225
c lw 58226
c lw 58227
c lw 58228
c lw 58229
c lw 58230
c lw 58231
c lw 58232
c lw 58233
c lw 58234
c lw 58235
c lw 58236
c lw 58237
c lw 58238
c lw 58239
c lw 58240
c lw 58241
c lw 58242
c lw 58243
c lw 58244
c lw 58245
c lw 58249
c lw 58250
c lw 58251
c lw 58252
c lw 58253
c lw 58254
c lw 58255
c lw 58262
c lw 58263
c lw 58264
c lw 58265
c lw 58270
c lw 58283
c lw 58284
c lw 58285
c lw 58317
c lw 58318
c lw 58319
c lw 58320
c lw 58321
c lw 58322
c lw 58323
c lw 58324
c lw 58325
c lw 58326
c lw 58327
c lw 58328
c lw 58329
c lw 58330
c lw 58331
c lw 58333
c lw 58334
c lw 58335
c lw 58336
c lw 58337
c lw 58338
c lw 58339
c lw 58340
c lw 58341
c lw 58342
c lw 58343
c lw 58344
c lw 58345
c lw 58346
c lw 58354
c lw 58365
c lw 58366
c lw 58367
c lw 58368
c lw 58369
c lw 58370
c lw 58371
c lw 58372
c lw 58373
c lw 58374
c lw 58375
c lw 58376
c lw 58380
c lw 58381
c lw 58382
c lw 58383
c lw 58384
c lw 58385
c lw 58386
c lw 58387
c lw 58388
c lw 58389
c lw 58390
c lw 58391
c lw 58392
c lw 58393
c lw 58394
c lw 58395
c lw 58396
c lw 58397
c lw 58398
c lw 58399
c lw 58400
c lw 58401
c lw 58402
c lw 58403
c lw 58404
c lw 58405
c lw 58406
c lw 58407
c lw 58408
c lw 58409
c lw 58410
c lw 58411
c lw 58412
c lw 58413
c lw 58414
c lw 58415
c lw 58416
c lw 58417
c lw 58418
c lw 58419
c lw 58420
c lw 58421
c lw 58422
c lw 58423
c lw 58424
c lw 58425
c lw 58426
c lw 58427
c lw 58428
c lw 58429
c lw 58430
c lw 58431
c lw 58432
c lw 58433
c lw 58434
c lw 58435
c lw 58436
c lw 58437
c lw 58438
c lw 58439
c lw 58440
c lw 58441
c lw 58442
c lw 58443
c lw 58444
c lw 58445
c lw 58446
c lw 58447
c lw 58448
c lw 58449
Killed
1803.209u 16.530s 30:23.51 99.7%	0+0k 0+0io 0pf+0w