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_160_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 550
c lw 1100
c lw 2007
c lw 2914
c lw 3534
c lw 3821
c lw 4183
c lw 4464
c lw 5063
c lw 5287
c lw 5629
c lw 6231
c lw 6962
c lw 7582
c lw 7693
c lw 8725
c lw 9297
c lw 9757
c lw 10531
c lw 10703
c lw 10789
c lw 11821
c lw 11899
c lw 12002
c lw 12246
c lw 12289
c lw 13085
c lw 13594
c lw 13881
c lw 14635
c lw 14677
c lw 15431
c lw 15473
c lw 15990
c lw 16314
c lw 16856
c lw 17155
c lw 17996
c lw 18340
c lw 18454
c lw 18837
c lw 19570
c lw 19678
c lw 20583
c lw 21154
c lw 21488
c lw 22059
c lw 22393
c lw 22964
c lw 23298
c lw 23438
c lw 23902
c lw 24832
c lw 25762
c lw 25890
c lw 25988
c lw 26692
c lw 27092
c lw 27476
c lw 27860
c lw 28171
c lw 28461
c lw 29173
c lw 29927
c lw 29969
c lw 30394
c lw 30681
c lw 31634
c lw 32587
c lw 33540
c lw 33622
c lw 34014
c lw 34159
c lw 34272
c lw 35131
c lw 35161
c lw 36000
c lw 36163
c lw 36348
c lw 36979
c lw 37237
c lw 38031
c lw 38289
c lw 39083
c lw 39325
c lw 39341
c lw 39546
c lw 40340
c lw 40480
c lw 40742
c lw 41139
c lw 41471
c lw 41893
c lw 42647
c lw 43293
c lw 43496
c lw 43790
c lw 44048
c lw 44253
c lw 44600
c lw 45505
c lw 46161
c lw 46410
c lw 46522
c lw 46908
c lw 47315
c lw 47641
c lw 48220
c lw 49235
c lw 49438
c lw 49677
c lw 50453
c lw 50895
c lw 51302
c lw 52171
c lw 53040
c lw 53080
c lw 53286
c lw 53323
c lw 54128
c lw 54526
c lw 54788
c lw 54934
c lw 55073
c lw 55593
c lw 56085
c lw 56527
c lw 57040
c lw 57386
c lw 57676
c lw 57776
c lw 58296
c lw 58338
c lw 58472
c lw 59133
c lw 59303
c lw 59665
c lw 59747
c lw 59753
c lw 60072
c lw 60103
c lw 60146
c lw 60241
c lw 60413
c lw 60607
c lw 61272
c lw 61401
c lw 61874
c lw 62020
c lw 62101
c lw 62271
c lw 62346
c lw 62424
c lw 62714
c lw 62944
c lw 62986
c lw 63003
c lw 63155
c lw 63347
c lw 63442
c lw 63492
c lw 63556
c lw 63695
c lw 63825
c lw 63933
c lw 64067
c lw 64102
c lw 64214
c lw 64316
c lw 64366
c lw 64453
c lw 64469
c lw 64553
c lw 64756
c lw 64922
c lw 65320
c lw 65347
c lw 65586
c lw 65834
c lw 65986
c lw 66120
c lw 66160
c lw 66318
c lw 66542
c lw 66682
c lw 66800
c lw 66801
c lw 66986
c lw 67106
c lw 67371
c lw 67476
c lw 67479
c lw 67507
c lw 67806
c lw 67826
c lw 68068
c lw 68318
c lw 68342
c lw 68379
c lw 68751
c lw 68752
c lw 68771
c lw 69277
c lw 69375
c lw 69406
c lw 69886
c lw 70014
c lw 70348
c lw 70421
c lw 70499
c lw 70690
c lw 70765
c lw 70811
c lw 71111
c lw 71145
c lw 71382
c lw 71468
c lw 71674
c lw 71773
c lw 71851
c lw 71857
c lw 72064
c lw 72074
c lw 72107
c lw 72158
c lw 72162
c lw 72591
c lw 72698
c lw 72745
c lw 72782
c lw 73017
c lw 73248
c lw 73252
c lw 73262
c lw 73291
c lw 73342
c lw 73733
c lw 73739
c lw 73857
c lw 73884
c lw 74051
c lw 74058
c lw 74104
c lw 74186
c lw 74196
c lw 74229
c lw 74292
c lw 74530
c lw 75318
c lw 75336
c lw 75350
c lw 75392
c lw 75561
c lw 75842
c lw 75851
c lw 75893
c lw 75964
c lw 75987
c lw 76130
c lw 76203
c lw 76407
c lw 76427
c lw 76530
c lw 76625
c lw 76779
c lw 76964
c lw 77062
c lw 77078
c lw 77294
c lw 77336
c lw 77540
c lw 77587
c lw 77599
c lw 77611
c lw 77836
c lw 77878
c lw 78645
c lw 78781
c lw 78824
c lw 78910
c lw 78995
c lw 78998
c lw 79077
c lw 79104
c lw 79189
c lw 79284
c lw 79289
c lw 79293
c lw 79297
c lw 79316
c lw 79321
c lw 79367
c lw 79410
c lw 79414
c lw 79418
c lw 79437
c lw 79459
c lw 79476
c lw 79514
c lw 79657
c lw 79666
c lw 79708
c lw 79712
c lw 79739
c lw 79774
c lw 79826
c lw 79921
c lw 79961
c lw 79984
c lw 80055
c lw 80086
c lw 80092
c lw 80096
c lw 80104
c lw 80108
c lw 80111
c lw 80119
c lw 80137
c lw 80143
c lw 80185
c lw 80204
c lw 80232
c lw 80236
c lw 80239
c lw 80318
c lw 80327
c lw 80331
c lw 80367
c lw 80368
c lw 80430
c lw 80433
c lw 80435
c lw 80475
c lw 80491
c lw 80498
c lw 80510
c lw 80529
c lw 80563
c lw 80564
c lw 80568
c lw 80569
c lw 80572
c lw 80574
c lw 80576
c lw 80577
c lw 80582
c lw 80585
c lw 80605
c lw 80608
c lw 80613
c lw 80646
c lw 80667
c lw 80738
c lw 80744
c lw 80775
c lw 80777
c lw 80847
c lw 80853
c lw 80858
c lw 80886
c lw 80889
c lw 81044
c lw 81078
c lw 81101
c lw 81104
c lw 81118
c lw 81137
c lw 81139
c lw 81140
c lw 81142
c lw 81143
c lw 81144
c lw 81145
c lw 81146
c lw 81147
c lw 81161
c lw 81279
c lw 81299
c lw 81332
c lw 81335
c lw 81337
c lw 81341
c lw 81342
c lw 81344
c lw 81347
c lw 81348
c lw 81349
c lw 81351
c lw 81352
c lw 81353
c lw 81355
c lw 81356
c lw 81357
c lw 81358
c lw 81360
c lw 81362
c lw 81363
c lw 81364
c lw 81373
c lw 81374
c lw 81375
c lw 81376
c lw 81377
c lw 81386
c lw 81387
c lw 81388
c lw 81389
c lw 81390
c lw 81391
c lw 81392
c lw 81393
c lw 81394
c lw 81395
c lw 81396
c lw 81397
c lw 81398
c lw 81525
c lw 81526
c lw 81527
c lw 81528
c lw 81529
c lw 81530
c lw 81580
c lw 81608
c lw 81609
c lw 81610
c lw 81612
c lw 81613
c lw 81649
c lw 81849
c lw 81870
c lw 81871
c lw 81875
c lw 81910
c lw 81946
c lw 81952
c lw 81971
c lw 81980
c lw 81984
c lw 81988
c lw 81990
c lw 81992
c lw 81993
c lw 81995
c lw 81997
c lw 82001
c lw 82002
c lw 82005
c lw 82007
c lw 82014
c lw 82015
c lw 82016
c lw 82017
c lw 82018
c lw 82019
c lw 82020
c lw 82021
c lw 82022
c lw 82023
c lw 82024
c lw 82025
c lw 82026
c lw 82029
c lw 82056
c lw 82060
c lw 82061
c lw 82065
c lw 82069
c lw 82071
c lw 82091
c lw 82092
c lw 82101
c lw 82174
c lw 82175
c lw 82176
c lw 82177
c lw 82178
c lw 82179
c lw 82180
c lw 82181
c lw 82182
c lw 82183
c lw 82184
c lw 82185
c lw 82186
c lw 82188
c lw 82189
c lw 82190
c lw 82191
c lw 82192
c lw 82193
c lw 82196
c lw 82197
c lw 82198
c lw 82199
c lw 82207
c lw 82208
c lw 82209
c lw 82236
c lw 82241
c lw 82253
c lw 82284
c lw 82285
c lw 82286
c lw 82287
c lw 82288
c lw 82289
c lw 82292
c lw 82294
c lw 82340
c lw 82343
c lw 82345
c lw 82346
c lw 82359
c lw 82360
c lw 82383
c lw 82384
c lw 82401
c lw 82402
c lw 82404
c lw 82416
c lw 82419
c lw 82421
c lw 82422
c lw 82425
c lw 82428
c lw 82432
c lw 82434
c lw 82436
c lw 82438
c lw 82439
c lw 82440
c lw 82442
c lw 82443
c lw 82444
c lw 82445
c lw 82446
c lw 82447
c lw 82448
c lw 82449
c lw 82450
c lw 82451
c lw 82452
c lw 82454
c lw 82455
c lw 82456
c lw 82457
c lw 82460
c lw 82463
c lw 82464
c lw 82465
c lw 82466
c lw 82467
c lw 82468
c lw 82469
c lw 82470
c lw 82472
c lw 82473
c lw 82474
c lw 82480
c lw 82484
c lw 82486
c lw 82488
c lw 82492
c lw 82497
c lw 82499
c lw 82520
c lw 82523
c lw 82524
c lw 82525
c lw 82526
c lw 82530
c lw 82543
c lw 82545
c lw 82546
c lw 82548
c lw 82549
c lw 82550
c lw 82551
c lw 82552
c lw 82553
c lw 82554
c lw 82555
c lw 82556
c lw 82558
c lw 82559
c lw 82560
c lw 82561
c lw 82562
c lw 82563
c lw 82564
c lw 82566
c lw 82567
c lw 82568
c lw 82576
c lw 82579
c lw 82580
c lw 82581
c lw 82586
c lw 82587
c lw 82588
c lw 82589
c lw 82590
c lw 82592
c lw 82593
c lw 82594
c lw 82611
c lw 82619
c lw 82626
c lw 82636
c lw 82644
c lw 82645
c lw 82646
c lw 82647
c lw 82648
c lw 82649
c lw 82650
c lw 82651
c lw 82652
c lw 82657
c lw 82658
c lw 82659
c lw 82660
c lw 82661
c lw 82662
c lw 82666
c lw 82667
c lw 82737
c lw 82738
c lw 82739
c lw 82740
c lw 82741
c lw 82801
c lw 82802
c lw 82803
c lw 82804
c lw 82805
c lw 82806
c lw 82807
c lw 82808
c lw 82821
c lw 82824
c lw 82825
c lw 82826
c lw 82827
c lw 82828
c lw 82829
c lw 82830
c lw 82831
c lw 82832
c lw 82833
c lw 82834
c lw 82835
c lw 82838
c lw 82839
c lw 82840
c lw 82841
c lw 82842
c lw 82843
c lw 82844
c lw 82845
c lw 82847
c lw 82848
c lw 82851
c lw 82852
c lw 82853
c lw 82854
c lw 82855
c lw 82856
c lw 82857
c lw 82858
c lw 82859
c lw 82860
c lw 82861
c lw 82862
c lw 82889
c lw 82913
c lw 82916
c lw 82928
c lw 82987
c lw 82988
c lw 82989
c lw 82990
c lw 82991
c lw 82992
c lw 82993
c lw 82994
c lw 82995
c lw 82998
c lw 82999
c lw 83009
c lw 83017
c lw 83018
c lw 83019
c lw 83028
c lw 83029
c lw 83030
c lw 83031
c lw 83062
c lw 83063
c lw 83064
c lw 83069
c lw 83070
c lw 83071
c lw 83072
c lw 83073
c lw 83074
c lw 83096
c lw 83097
c lw 83098
c lw 83099
c lw 83102
c lw 83108
c lw 83109
c lw 83114
c lw 83116
c lw 83118
c lw 83119
c lw 83121
c lw 83123
c lw 83125
c lw 83126
c lw 83127
c lw 83128
c lw 83129
c lw 83131
c lw 83132
c lw 83133
c lw 83134
c lw 83135
c lw 83136
c lw 83137
c lw 83138
c lw 83139
c lw 83140
c lw 83141
c lw 83142
c lw 83143
c lw 83144
c lw 83145
c lw 83146
c lw 83147
c lw 83153
c lw 83154
c lw 83155
c lw 83156
c lw 83157
c lw 83158
c lw 83159
c lw 83160
c lw 83161
c lw 83162
c lw 83163
c lw 83164
c lw 83165
c lw 83173
c lw 83174
c lw 83175
c lw 83177
c lw 83178
c lw 83179
c lw 83182
c lw 83183
c lw 83184
c lw 83188
c lw 83190
c lw 83198
c lw 83199
c lw 83200
c lw 83201
c lw 83202
c lw 83203
c lw 83204
c lw 83206
c lw 83207
c lw 83208
c lw 83209
c lw 83210
c lw 83211
c lw 83212
c lw 83213
c lw 83215
c lw 83216
c lw 83217
c lw 83218
c lw 83219
c lw 83220
c lw 83221
c lw 83224
c lw 83229
c lw 83235
c lw 83236
c lw 83237
c lw 83238
c lw 83239
c lw 83240
c lw 83241
c lw 83242
c lw 83243
c lw 83244
c lw 83245
c lw 83246
c lw 83247
c lw 83248
c lw 83249
c lw 83250
c lw 83251
c lw 83252
c lw 83253
c lw 83254
c lw 83255
c lw 83256
c lw 83257
c lw 83258
c lw 83259
c lw 83260
c lw 83261
c lw 83262
c lw 83263
c lw 83264
c lw 83265
c lw 83266
c lw 83267
c lw 83268
c lw 83269
c lw 83270
c lw 83271
c lw 83272
c lw 83273
c lw 83275
c lw 83276
c lw 83277
c lw 83278
c lw 83279
c lw 83280
c lw 83281
c lw 83283
c lw 83284
c lw 83285
c lw 83301
c lw 83307
c lw 83312
c lw 83418
c lw 83419
c lw 83420
c lw 83421
c lw 83422
c lw 83505
c lw 83520
c lw 83521
c lw 83522
c lw 83523
c lw 83524
c lw 83525
c lw 83526
c lw 83527
c lw 83528
c lw 83529
c lw 83530
c lw 83541
c lw 83552
c lw 83553
c lw 83557
c lw 83561
c lw 83590
c lw 83593
c lw 83598
c lw 83599
c lw 83622
c lw 83629
c lw 83630
c lw 83634
c lw 83640
c lw 83641
c lw 83642
c lw 83643
c lw 83644
c lw 83645
c lw 83646
c lw 83647
c lw 83648
c lw 83651
c lw 83652
c lw 83653
c lw 83654
c lw 83655
c lw 83656
c lw 83657
c lw 83658
c lw 83659
c lw 83660
c lw 83661
c lw 83662
c lw 83663
c lw 83666
c lw 83667
c lw 83668
c lw 83669
c lw 83670
c lw 83671
c lw 83672
c lw 83673
c lw 83674
c lw 83676
c lw 83678
c lw 83679
c lw 83680
c lw 83681
c lw 83682
c lw 83696
c lw 83700
c lw 83701
c lw 83702
c lw 83703
c lw 83711
c lw 83712
c lw 83713
c lw 83714
c lw 83715
c lw 83716
c lw 83717
c lw 83718
c lw 83719
c lw 83720
c lw 83723
c lw 83724
c lw 83725
c lw 83726
c lw 83727
c lw 83728
c lw 83729
c lw 83730
c lw 83731
c lw 83732
c lw 83733
c lw 83734
c lw 83735
c lw 83736
c lw 83737
c lw 83738
c lw 83739
c lw 83740
c lw 83741
c lw 83743
c lw 83744
c lw 83745
c lw 83746
c lw 83854
c lw 83861
c lw 83864
c lw 83865
c lw 83866
c lw 83867
c lw 83868
c lw 83869
c lw 83959
c lw 83960
c lw 83962
c lw 83963
c lw 83965
c lw 83966
c lw 83967
c lw 83968
c lw 83980
c lw 83986
c lw 83987
c lw 83988
c lw 83989
c lw 84053
c lw 84054
c lw 84055
c lw 84056
c lw 84057
c lw 84058
c lw 84059
c lw 84060
c lw 84061
c lw 84063
c lw 84064
c lw 84065
c lw 84066
c lw 84067
c lw 84068
c lw 84069
c lw 84070
c lw 84071
c lw 84072
c lw 84073
c lw 84074
c lw 84075
c lw 84076
c lw 84077
c lw 84078
c lw 84080
c lw 84081
c lw 84082
c lw 84083
c lw 84084
c lw 84085
c lw 84086
c lw 84087
c lw 84132
c lw 84133
c lw 84134
c lw 84135
c lw 84136
c lw 84138
c lw 84139
c lw 84140
c lw 84141
c lw 84142
c lw 84143
c lw 84149
c lw 84150
c lw 84151
c lw 84152
c lw 84153
c lw 84154
c lw 84155
c lw 84156
c lw 84157
c lw 84158
c lw 84160
c lw 84161
c lw 84162
c lw 84164
c lw 84165
c lw 84169
c lw 84170
c lw 84171
c lw 84172
c lw 84173
c lw 84174
c lw 84175
c lw 84176
c lw 84177
c lw 84178
c lw 84179
c lw 84180
c lw 84181
c lw 84183
c lw 84184
c lw 84185
c lw 84187
c lw 84188
c lw 84189
c lw 84190
c lw 84191
c lw 84192
c lw 84193
c lw 84196
c lw 84197
c lw 84198
c lw 84199
c lw 84200
c lw 84201
c lw 84202
c lw 84203
c lw 84204
c lw 84205
c lw 84206
c lw 84212
c lw 84213
c lw 84214
c lw 84215
c lw 84216
c lw 84217
c lw 84218
c lw 84219
c lw 84220
c lw 84221
c lw 84222
c lw 84223
c lw 84224
c lw 84225
c lw 84226
c lw 84227
c lw 84228
c lw 84229
c lw 84230
c lw 84231
c lw 84232
c lw 84233
c lw 84234
c lw 84235
c lw 84236
c lw 84237
c lw 84238
c lw 84239
c lw 84241
c lw 84242
c lw 84243
c lw 84244
c lw 84245
c lw 84246
c lw 84247
c lw 84248
c lw 84249
c lw 84250
c lw 84251
c lw 84252
c lw 84254
c lw 84255
c lw 84256
c lw 84257
c lw 84258
c lw 84259
c lw 84260
c lw 84261
c lw 84262
c lw 84263
c lw 84264
c lw 84265
c lw 84266
c lw 84267
c lw 84268
c lw 84269
c lw 84270
c lw 84271
c lw 84272
c lw 84273
c lw 84274
c lw 84275
c lw 84276
c lw 84277
c lw 84278
c lw 84297
c lw 84298
c lw 84299
c lw 84300
c lw 84506
c lw 84507
c lw 84508
c lw 84509
c lw 84510
c lw 84511
c lw 84512
c lw 84514
c lw 84515
c lw 84516
c lw 84517
c lw 84518
c lw 84519
c lw 84520
c lw 84534
c lw 84535
c lw 84539
c lw 84540
c lw 84541
c lw 84542
c lw 84543
c lw 84544
c lw 84552
c lw 84553
c lw 84554
c lw 84555
c lw 84556
c lw 84557
c lw 84558
c lw 84559
c lw 84560
c lw 84561
c lw 84562
c lw 84563
c lw 84569
c lw 84606
c lw 84607
c lw 84608
c lw 84609
c lw 84610
c lw 84611
c lw 84612
c lw 84613
c lw 84614
c lw 84615
c lw 84616
c lw 84617
c lw 84618
c lw 84619
c lw 84620
c lw 84621
c lw 84644
c lw 84657
c lw 84658
c lw 84659
c lw 84660
c lw 84661
c lw 84662
c lw 84667
c lw 84668
c lw 84669
c lw 84670
c lw 84671
c lw 84672
c lw 84673
c lw 84674
c lw 84675
c lw 84676
c lw 84677
c lw 84678
c lw 84679
c lw 84680
c lw 84681
c lw 84682
c lw 84683
c lw 84684
c lw 84685
c lw 84686
c lw 84687
c lw 84688
c lw 84689
c lw 84690
c lw 84691
c lw 84692
c lw 84693
c lw 84694
c lw 84695
c lw 84696
c lw 84697
c lw 84698
c lw 84699
c lw 84700
c lw 84701
c lw 84702
c lw 84703
c lw 84704
c lw 84705
c lw 84706
c lw 84707
c lw 84708
c lw 84709
c lw 84710
c lw 84711
c lw 84712
c lw 84713
c lw 84715
c lw 84716
c lw 84717
c lw 84719
c lw 84720
c lw 84726
c lw 84727
c lw 84728
c lw 84730
c lw 84732
c lw 84733
c lw 84735
c lw 84736
c lw 84737
c lw 84738
c lw 84739
c lw 84740
c lw 84757
c lw 84758
c lw 84759
c lw 84760
c lw 84761
c lw 84762
c lw 84763
c lw 84764
c lw 84765
c lw 84766
c lw 84767
c lw 84768
c lw 84769
c lw 84771
c lw 84772
c lw 84773
c lw 84774
c lw 84775
c lw 84776
c lw 84777
c lw 84778
c lw 84779
c lw 84780
c lw 84781
c lw 84782
c lw 84783
c lw 84784
c lw 84785
c lw 84786
c lw 84787
c lw 84788
c lw 84789
c lw 84790
c lw 84791
c lw 84792
c lw 84793
c lw 84794
c lw 84795
c lw 84800
c lw 84801
c lw 84802
c lw 84803
c lw 84804
c lw 84805
Killed
1803.543u 16.194s 30:24.07 99.7%	0+0k 0+0io 1pf+0w