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_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 979
c lw 1081
c lw 2153
c lw 2162
c lw 2725
c lw 3243
c lw 4084
c lw 4745
c lw 4925
c lw 6109
c lw 6805
c lw 6916
c lw 7279
c lw 7723
c lw 8630
c lw 9537
c lw 10444
c lw 11540
c lw 12617
c lw 13212
c lw 13694
c lw 13796
c lw 14650
c lw 14771
c lw 14908
c lw 15762
c lw 15848
c lw 16411
c lw 17067
c lw 17247
c lw 17720
c lw 18577
c lw 19484
c lw 19761
c lw 20391
c lw 21298
c lw 22139
c lw 22423
c lw 22980
c lw 23365
c lw 23750
c lw 24233
c lw 24577
c lw 24716
c lw 25511
c lw 25566
c lw 26416
c lw 26938
c lw 27266
c lw 27788
c lw 27829
c lw 28116
c lw 28630
c lw 29144
c lw 29417
c lw 29658
c lw 29780
c lw 30683
c lw 31586
c lw 32433
c lw 32489
c lw 33396
c lw 33690
c lw 34303
c lw 35210
c lw 35267
c lw 35419
c lw 36326
c lw 36353
c lw 36458
c lw 37213
c lw 37497
c lw 37775
c lw 38359
c lw 39040
c lw 39050
c lw 39283
c lw 39616
c lw 40169
c lw 40470
c lw 41148
c lw 41324
c lw 41615
c lw 42654
c lw 42705
c lw 43744
c lw 43795
c lw 44148
c lw 44841
c lw 44885
c lw 45782
c lw 46427
c lw 46821
c lw 48005
c lw 48062
c lw 48079
c lw 48376
c lw 48531
c lw 48802
c lw 49171
c lw 49422
c lw 49547
c lw 50115
c lw 50192
c lw 50705
c lw 51026
c lw 51181
c lw 51193
c lw 51392
c lw 51517
c lw 51534
c lw 51591
c lw 51951
c lw 52184
c lw 52194
c lw 52435
c lw 52708
c lw 52845
c lw 53327
c lw 53363
c lw 53449
c lw 53727
c lw 53931
c lw 54078
c lw 54119
c lw 54365
c lw 54447
c lw 54469
c lw 54524
c lw 54641
c lw 54685
c lw 54846
c lw 54853
c lw 54858
c lw 54904
c lw 55227
c lw 55322
c lw 55606
c lw 55687
c lw 55934
c lw 56020
c lw 56209
c lw 56385
c lw 56442
c lw 56594
c lw 56737
c lw 56885
c lw 56987
c lw 57015
c lw 57052
c lw 57123
c lw 57333
c lw 57696
c lw 57718
c lw 57749
c lw 57777
c lw 57847
c lw 58148
c lw 58259
c lw 58485
c lw 58536
c lw 58563
c lw 59166
c lw 59170
c lw 59271
c lw 59280
c lw 59546
c lw 59755
c lw 60103
c lw 60255
c lw 60362
c lw 60432
c lw 60753
c lw 60935
c lw 60953
c lw 60963
c lw 61177
c lw 61680
c lw 61708
c lw 61863
c lw 61920
c lw 61937
c lw 61965
c lw 62062
c lw 62111
c lw 62210
c lw 62390
c lw 62674
c lw 62842
c lw 62963
c lw 63188
c lw 63338
c lw 63751
c lw 63950
c lw 64077
c lw 64163
c lw 64167
c lw 64598
c lw 64654
c lw 65318
c lw 65464
c lw 65491
c lw 65546
c lw 65913
c lw 65944
c lw 65949
c lw 66222
c lw 66237
c lw 66422
c lw 66713
c lw 66730
c lw 66801
c lw 67087
c lw 67096
c lw 67293
c lw 67441
c lw 67563
c lw 67581
c lw 67688
c lw 67700
c lw 67771
c lw 67822
c lw 67893
c lw 67948
c lw 68179
c lw 68259
c lw 68396
c lw 68437
c lw 68478
c lw 68500
c lw 68617
c lw 68645
c lw 68653
c lw 68660
c lw 68665
c lw 68669
c lw 68683
c lw 68697
c lw 68725
c lw 68729
c lw 68757
c lw 68880
c lw 68885
c lw 68888
c lw 68894
c lw 68911
c lw 68964
c lw 69018
c lw 69028
c lw 69078
c lw 69550
c lw 69556
c lw 69578
c lw 69587
c lw 69601
c lw 69604
c lw 69652
c lw 69653
c lw 69654
c lw 69661
c lw 69669
c lw 69674
c lw 69676
c lw 69690
c lw 69693
c lw 69708
c lw 69710
c lw 69713
c lw 69725
c lw 69727
c lw 69741
c lw 69750
c lw 69772
c lw 69778
c lw 69781
c lw 69785
c lw 69788
c lw 69792
c lw 69797
c lw 69804
c lw 69837
c lw 69859
c lw 69900
c lw 69941
c lw 69942
c lw 69953
c lw 69976
c lw 69995
c lw 69998
c lw 70001
c lw 70002
c lw 70009
c lw 70012
c lw 70017
c lw 70030
c lw 70032
c lw 70039
c lw 70075
c lw 70120
c lw 70121
c lw 70123
c lw 70124
c lw 70126
c lw 70127
c lw 70128
c lw 70132
c lw 70137
c lw 70154
c lw 70159
c lw 70160
c lw 70162
c lw 70163
c lw 70164
c lw 70165
c lw 70166
c lw 70167
c lw 70168
c lw 70170
c lw 70171
c lw 70176
c lw 70178
c lw 70179
c lw 70181
c lw 70182
c lw 70184
c lw 70185
c lw 70186
c lw 70187
c lw 70191
c lw 70193
c lw 70196
c lw 70207
c lw 70223
c lw 70247
c lw 70256
c lw 70268
c lw 70270
c lw 70271
c lw 70272
c lw 70273
c lw 70274
c lw 70275
c lw 70276
c lw 70277
c lw 70278
c lw 70279
c lw 70295
c lw 70360
c lw 70365
c lw 70366
c lw 70390
c lw 70392
c lw 70393
c lw 70394
c lw 70395
c lw 70399
c lw 70435
c lw 70444
c lw 70451
c lw 70452
c lw 70453
c lw 70454
c lw 70455
c lw 70456
c lw 70457
c lw 70458
c lw 70459
c lw 70460
c lw 70461
c lw 70462
c lw 70496
c lw 70577
c lw 70578
c lw 70601
c lw 70609
c lw 70610
c lw 70627
c lw 70628
c lw 70629
c lw 70630
c lw 70631
c lw 70632
c lw 70633
c lw 70634
c lw 70636
c lw 70640
c lw 70643
c lw 70644
c lw 70647
c lw 70648
c lw 70649
c lw 70660
c lw 70827
c lw 70834
c lw 70835
c lw 70842
c lw 70843
c lw 70844
c lw 70849
c lw 70851
c lw 70852
c lw 70853
c lw 70854
c lw 70855
c lw 70856
c lw 70857
c lw 70858
c lw 70859
c lw 70860
c lw 70861
c lw 70862
c lw 70863
c lw 70864
c lw 70865
c lw 70866
c lw 70867
c lw 70869
c lw 70870
c lw 70871
c lw 70872
c lw 70873
c lw 70874
c lw 70875
c lw 70876
c lw 70883
c lw 70885
c lw 70886
c lw 70894
c lw 70912
c lw 70913
c lw 70918
c lw 70920
c lw 70922
c lw 70923
c lw 70924
c lw 70925
c lw 70926
c lw 70927
c lw 70928
c lw 70929
c lw 70930
c lw 70931
c lw 70932
c lw 70933
c lw 70934
c lw 70935
c lw 70936
c lw 70937
c lw 70938
c lw 70939
c lw 70940
c lw 70941
c lw 70942
c lw 70943
c lw 70944
c lw 70945
c lw 70952
c lw 70953
c lw 70956
c lw 70957
c lw 70958
c lw 70959
c lw 70960
c lw 70963
c lw 70964
c lw 70965
c lw 70966
c lw 70967
c lw 70968
c lw 70969
c lw 70973
c lw 70974
c lw 70977
c lw 70978
c lw 70979
c lw 70980
c lw 70981
c lw 70982
c lw 70986
c lw 70987
c lw 70988
c lw 70989
c lw 70990
c lw 70991
c lw 70992
c lw 70993
c lw 70994
c lw 70995
c lw 70996
c lw 70997
c lw 70998
c lw 70999
c lw 71000
c lw 71001
c lw 71002
c lw 71004
c lw 71005
c lw 71006
c lw 71015
c lw 71016
c lw 71017
c lw 71018
c lw 71071
c lw 71076
c lw 71102
c lw 71103
c lw 71104
c lw 71106
c lw 71107
c lw 71108
c lw 71117
c lw 71118
c lw 71119
c lw 71135
c lw 71136
c lw 71137
c lw 71138
c lw 71139
c lw 71140
c lw 71141
c lw 71142
c lw 71143
c lw 71144
c lw 71145
c lw 71146
c lw 71147
c lw 71149
c lw 71150
c lw 71151
c lw 71152
c lw 71153
c lw 71154
c lw 71158
c lw 71159
c lw 71160
c lw 71161
c lw 71162
c lw 71163
c lw 71164
c lw 71167
c lw 71180
c lw 71181
c lw 71182
c lw 71183
c lw 71184
c lw 71185
c lw 71186
c lw 71187
c lw 71337
c lw 71338
c lw 71339
c lw 71340
c lw 71341
c lw 71342
c lw 71343
c lw 71344
c lw 71345
c lw 71346
c lw 71347
c lw 71373
c lw 71374
c lw 71375
c lw 71376
c lw 71384
c lw 71385
c lw 71386
c lw 71387
c lw 71388
c lw 71389
c lw 71390
c lw 71391
c lw 71392
c lw 71393
c lw 71394
c lw 71588
c lw 71589
c lw 71590
c lw 71598
c lw 71599
c lw 71601
c lw 71602
c lw 71603
c lw 71604
c lw 71605
c lw 71606
c lw 71607
c lw 71608
c lw 71609
c lw 71610
c lw 71613
c lw 71636
c lw 71637
c lw 71638
c lw 71639
c lw 71640
c lw 71641
c lw 71642
c lw 71643
c lw 71644
c lw 71645
c lw 71646
c lw 71652
c lw 71653
c lw 71654
c lw 71655
c lw 71656
c lw 71657
c lw 71658
c lw 71659
c lw 71660
c lw 71661
c lw 71662
c lw 71796
c lw 71797
c lw 71798
c lw 71799
c lw 71800
c lw 71804
c lw 71806
c lw 71879
c lw 71880
c lw 71881
c lw 71882
c lw 71883
c lw 71884
c lw 71885
c lw 71886
c lw 71887
c lw 71888
c lw 71889
c lw 71890
c lw 71891
c lw 71892
c lw 71893
c lw 71894
c lw 71904
c lw 71905
c lw 71911
c lw 71913
c lw 71914
c lw 71915
c lw 71916
c lw 71917
c lw 71918
c lw 71919
c lw 71920
c lw 71921
c lw 71922
c lw 71923
c lw 71924
c lw 71946
c lw 71947
c lw 71948
c lw 71949
c lw 71950
c lw 71951
c lw 71952
c lw 71953
c lw 71955
c lw 71957
c lw 71962
c lw 71970
c lw 71971
c lw 71972
c lw 71973
c lw 71974
c lw 71975
c lw 71976
c lw 71977
c lw 71978
c lw 71979
c lw 71980
c lw 71981
c lw 71995
c lw 71996
c lw 71997
c lw 72000
c lw 72001
c lw 72002
c lw 72003
c lw 72051
c lw 72052
c lw 72090
c lw 72091
c lw 72133
c lw 72134
c lw 72135
c lw 72136
c lw 72139
c lw 72140
c lw 72141
c lw 72142
c lw 72143
c lw 72144
c lw 72145
c lw 72146
c lw 72147
c lw 72148
c lw 72149
c lw 72150
c lw 72152
c lw 72153
c lw 72154
c lw 72155
c lw 72156
c lw 72158
c lw 72160
c lw 72161
c lw 72186
c lw 72208
c lw 72259
c lw 72358
c lw 72365
c lw 72452
c lw 72454
c lw 72485
c lw 72486
c lw 72487
c lw 72488
c lw 72489
c lw 72493
c lw 72497
c lw 72500
c lw 72502
c lw 72503
c lw 72504
c lw 72505
c lw 72506
c lw 72507
c lw 72508
c lw 72512
c lw 72513
c lw 72526
c lw 72527
c lw 72528
c lw 72614
c lw 72615
c lw 72616
c lw 72617
c lw 72618
c lw 72621
c lw 72622
c lw 72623
c lw 72624
c lw 72625
c lw 72626
c lw 72627
c lw 72628
c lw 72629
c lw 72630
c lw 72631
c lw 72632
c lw 72633
c lw 72634
c lw 72635
c lw 72636
c lw 72637
c lw 72638
c lw 72639
c lw 72640
c lw 72660
c lw 72661
c lw 72663
c lw 72664
c lw 72665
c lw 72666
Killed
1816.059u 3.690s 30:20.02 99.9%	0+0k 0+0io 0pf+0w