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_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1130
c lw 2260
c lw 3144
c lw 3757
c lw 4028
c lw 4912
c lw 5796
c lw 6285
c lw 6896
c lw 7507
c lw 8084
c lw 9096
c lw 10108
c lw 10596
c lw 11120
c lw 11960
c lw 12209
c lw 12505
c lw 12989
c lw 13415
c lw 13739
c lw 14600
c lw 15523
c lw 16446
c lw 16541
c lw 17122
c lw 17653
c lw 18616
c lw 19579
c lw 19680
c lw 20270
c lw 20542
c lw 20879
c lw 21589
c lw 22807
c lw 23133
c lw 24025
c lw 24696
c lw 24770
c lw 24820
c lw 25133
c lw 25771
c lw 25814
c lw 26409
c lw 26763
c lw 27840
c lw 28430
c lw 28917
c lw 29778
c lw 29980
c lw 29994
c lw 30855
c lw 31071
c lw 31293
c lw 31841
c lw 32195
c lw 33097
c lw 33635
c lw 34173
c lw 34448
c lw 34711
c lw 35431
c lw 35624
c lw 36051
c lw 36218
c lw 36537
c lw 37128
c lw 37450
c lw 38443
c lw 39202
c lw 39436
c lw 40459
c lw 40598
c lw 40898
c lw 41238
c lw 41621
c lw 41716
c lw 42426
c lw 42505
c lw 42806
c lw 43058
c lw 43419
c lw 44056
c lw 44282
c lw 44574
c lw 45212
c lw 45504
c lw 45547
c lw 45550
c lw 45683
c lw 45946
c lw 46461
c lw 47068
c lw 47220
c lw 48081
c lw 48757
c lw 48855
c lw 48950
c lw 48985
c lw 49076
c lw 49487
c lw 49590
c lw 49673
c lw 49812
c lw 50043
c lw 50120
c lw 50123
c lw 50157
c lw 50215
c lw 50236
c lw 50449
c lw 50503
c lw 50576
c lw 50696
c lw 50771
c lw 51063
c lw 51071
c lw 51105
c lw 51114
c lw 51451
c lw 51743
c lw 51873
c lw 51998
c lw 52470
c lw 52553
c lw 52593
c lw 52989
c lw 53003
c lw 53053
c lw 53127
c lw 53238
c lw 53308
c lw 53405
c lw 53729
c lw 53735
c lw 54010
c lw 54054
c lw 54256
c lw 54315
c lw 54537
c lw 54635
c lw 54802
c lw 54830
c lw 55431
c lw 55474
c lw 55593
c lw 55819
c lw 55865
c lw 56045
c lw 56128
c lw 56191
c lw 56216
c lw 56317
c lw 56388
c lw 56781
c lw 56816
c lw 57232
c lw 57463
c lw 57602
c lw 57756
c lw 58116
c lw 58165
c lw 58713
c lw 58830
c lw 59067
c lw 59261
c lw 59429
c lw 59522
c lw 59652
c lw 59904
c lw 59929
c lw 60467
c lw 60703
c lw 61189
c lw 61374
c lw 61434
c lw 61683
c lw 61740
c lw 61799
c lw 61850
c lw 61857
c lw 61880
c lw 61940
c lw 61988
c lw 62009
c lw 62021
c lw 62028
c lw 62071
c lw 62079
c lw 62159
c lw 62857
c lw 62884
c lw 62894
c lw 62924
c lw 62945
c lw 62988
c lw 62995
c lw 63001
c lw 63004
c lw 63038
c lw 63062
c lw 63063
c lw 63071
c lw 63074
c lw 63083
c lw 63087
c lw 63107
c lw 63117
c lw 63127
c lw 63141
c lw 63271
c lw 63433
c lw 63444
c lw 63450
c lw 63471
c lw 63484
c lw 63681
c lw 63688
c lw 63724
c lw 63807
c lw 63888
c lw 63913
c lw 63923
c lw 63948
c lw 63971
c lw 63980
c lw 63983
c lw 63991
c lw 63992
c lw 63999
c lw 64022
c lw 64031
c lw 64041
c lw 64049
c lw 64106
c lw 64123
c lw 64133
c lw 64158
c lw 64315
c lw 64375
c lw 64437
c lw 64439
c lw 64453
c lw 64455
c lw 64462
c lw 64464
c lw 64471
c lw 64476
c lw 64481
c lw 64482
c lw 64484
c lw 64492
c lw 64494
c lw 64496
c lw 64524
c lw 64538
c lw 64544
c lw 64615
c lw 64619
c lw 64639
c lw 64657
c lw 64660
c lw 64664
c lw 64669
c lw 64679
c lw 64686
c lw 64696
c lw 64702
c lw 64704
c lw 64738
c lw 64745
c lw 64751
c lw 64765
c lw 64825
c lw 64961
c lw 64986
c lw 65054
c lw 65059
c lw 65060
c lw 65062
c lw 65063
c lw 65064
c lw 65065
c lw 65067
c lw 65072
c lw 65097
c lw 65106
c lw 65112
c lw 65113
c lw 65115
c lw 65117
c lw 65119
c lw 65123
c lw 65129
c lw 65140
c lw 65141
c lw 65144
c lw 65146
c lw 65148
c lw 65149
c lw 65151
c lw 65155
c lw 65157
c lw 65158
c lw 65159
c lw 65160
c lw 65161
c lw 65165
c lw 65166
c lw 65167
c lw 65169
c lw 65170
c lw 65181
c lw 65191
c lw 65192
c lw 65194
c lw 65195
c lw 65196
c lw 65197
c lw 65198
c lw 65199
c lw 65200
c lw 65201
c lw 65202
c lw 65203
c lw 65204
c lw 65205
c lw 65206
c lw 65207
c lw 65208
c lw 65209
c lw 65210
c lw 65211
c lw 65212
c lw 65216
c lw 65218
c lw 65219
c lw 65220
c lw 65221
c lw 65222
c lw 65223
c lw 65224
c lw 65225
c lw 65226
c lw 65227
c lw 65228
c lw 65229
c lw 65230
c lw 65231
c lw 65232
c lw 65233
c lw 65284
c lw 65414
c lw 65627
c lw 65628
c lw 65629
c lw 65631
c lw 65633
c lw 65634
c lw 65635
c lw 65636
c lw 65638
c lw 65640
c lw 65641
c lw 65642
c lw 65643
c lw 65644
c lw 65645
c lw 65646
c lw 65647
c lw 65648
c lw 65649
c lw 65650
c lw 65652
c lw 65653
c lw 65654
c lw 65655
c lw 65656
c lw 65657
c lw 65658
c lw 65659
c lw 65660
c lw 65661
c lw 65662
c lw 65663
c lw 65664
c lw 65666
c lw 65668
c lw 65669
c lw 65670
c lw 65671
c lw 65672
c lw 65673
c lw 65674
c lw 65675
c lw 65676
c lw 65677
c lw 65678
c lw 65679
c lw 65680
c lw 65681
c lw 65682
c lw 65684
c lw 65685
c lw 65686
c lw 65687
c lw 65688
c lw 65689
c lw 65690
c lw 65691
c lw 65692
c lw 65694
c lw 65695
c lw 65696
c lw 65697
c lw 65698
c lw 65699
c lw 65700
c lw 65701
c lw 65702
c lw 65704
c lw 65706
c lw 65710
c lw 65711
c lw 65712
c lw 65713
c lw 65714
c lw 65715
c lw 65716
c lw 65717
c lw 65718
c lw 65719
c lw 65720
c lw 65721
c lw 65722
c lw 65723
c lw 65724
c lw 65725
c lw 65726
c lw 65727
c lw 65728
c lw 65729
c lw 65730
c lw 65731
c lw 65732
c lw 65733
c lw 65735
c lw 65736
c lw 65738
c lw 65740
c lw 65741
c lw 65742
c lw 65743
c lw 65744
c lw 65745
c lw 65746
c lw 65747
c lw 65748
c lw 65749
c lw 65750
c lw 65751
c lw 65753
c lw 65754
c lw 65758
c lw 65761
c lw 65762
c lw 65764
c lw 65765
c lw 65766
c lw 65767
c lw 65768
c lw 65769
c lw 65770
c lw 65771
c lw 65772
c lw 65773
c lw 65774
c lw 65775
c lw 65776
c lw 65777
c lw 65778
c lw 65779
c lw 65780
c lw 65781
c lw 65782
c lw 65783
c lw 65788
c lw 65790
c lw 65836
c lw 65837
c lw 65838
c lw 65928
c lw 65941
c lw 65943
c lw 65944
c lw 65954
c lw 65955
c lw 65961
c lw 65962
c lw 65980
c lw 65990
c lw 66037
c lw 66038
c lw 66045
c lw 66046
c lw 66047
c lw 66059
c lw 66061
c lw 66065
c lw 66066
c lw 66067
c lw 66081
c lw 66090
c lw 66114
c lw 66115
c lw 66122
c lw 66124
c lw 66125
c lw 66126
c lw 66131
c lw 66133
c lw 66138
c lw 66139
c lw 66140
c lw 66141
c lw 66142
c lw 66143
c lw 66144
c lw 66145
c lw 66146
c lw 66147
c lw 66148
c lw 66162
c lw 66169
c lw 66170
c lw 66171
c lw 66172
c lw 66176
c lw 66178
c lw 66179
c lw 66180
c lw 66181
c lw 66182
c lw 66183
c lw 66184
c lw 66185
c lw 66186
c lw 66187
c lw 66188
c lw 66189
c lw 66190
c lw 66192
c lw 66193
c lw 66194
c lw 66195
c lw 66196
c lw 66197
c lw 66198
c lw 66199
c lw 66200
c lw 66201
c lw 66202
c lw 66203
c lw 66204
c lw 66217
c lw 66218
c lw 66219
c lw 66221
c lw 66222
c lw 66223
c lw 66224
c lw 66225
c lw 66231
c lw 66242
c lw 66243
c lw 66244
c lw 66245
c lw 66247
c lw 66248
c lw 66249
c lw 66250
c lw 66251
c lw 66252
c lw 66253
c lw 66254
c lw 66255
c lw 66256
c lw 66257
c lw 66258
c lw 66259
c lw 66260
c lw 66261
c lw 66262
c lw 66263
c lw 66264
c lw 66265
c lw 66266
c lw 66267
c lw 66268
c lw 66269
c lw 66270
c lw 66271
c lw 66272
c lw 66273
c lw 66274
c lw 66275
c lw 66276
c lw 66277
c lw 66278
c lw 66279
c lw 66280
c lw 66281
c lw 66326
c lw 66327
c lw 66328
c lw 66329
c lw 66331
c lw 66332
c lw 66333
c lw 66334
c lw 66335
c lw 66336
c lw 66337
c lw 66338
c lw 66339
c lw 66340
c lw 66341
c lw 66342
c lw 66343
c lw 66344
c lw 66345
c lw 66346
c lw 66347
c lw 66348
c lw 66349
c lw 66350
c lw 66351
c lw 66352
c lw 66353
c lw 66354
c lw 66355
c lw 66356
c lw 66357
c lw 66358
c lw 66359
c lw 66360
c lw 66361
c lw 66362
c lw 66363
c lw 66364
c lw 66365
c lw 66366
c lw 66367
c lw 66368
c lw 66369
c lw 66370
c lw 66371
c lw 66372
c lw 66373
c lw 66374
c lw 66375
c lw 66376
c lw 66377
c lw 66378
c lw 66379
c lw 66380
c lw 66381
c lw 66382
c lw 66383
c lw 66384
c lw 66385
c lw 66386
c lw 66388
c lw 66389
c lw 66390
c lw 66391
c lw 66392
c lw 66393
c lw 66405
c lw 66406
c lw 66407
c lw 66408
c lw 66409
c lw 66410
c lw 66411
c lw 66420
c lw 66421
c lw 66422
c lw 66423
c lw 66424
c lw 66425
c lw 66426
c lw 66427
c lw 66428
c lw 66429
c lw 66430
c lw 66434
c lw 66435
c lw 66436
c lw 66437
c lw 66438
c lw 66439
c lw 66440
c lw 66441
c lw 66442
c lw 66443
c lw 66444
c lw 66445
c lw 66446
c lw 66447
c lw 66448
c lw 66449
c lw 66450
c lw 66451
c lw 66452
c lw 66453
c lw 66454
c lw 66460
c lw 66461
c lw 66462
c lw 66463
c lw 66464
c lw 66465
c lw 66466
c lw 66467
c lw 66468
c lw 66469
c lw 66470
c lw 66471
c lw 66472
c lw 66483
c lw 66484
c lw 66485
c lw 66486
c lw 66487
c lw 66488
c lw 66489
c lw 66490
c lw 66500
c lw 66501
c lw 66523
c lw 66524
c lw 66525
c lw 66526
c lw 66527
c lw 66528
c lw 66530
c lw 66531
c lw 66532
c lw 66533
c lw 66553
c lw 66565
c lw 66566
c lw 66567
c lw 66568
c lw 66569
c lw 66570
c lw 66571
c lw 66572
c lw 66574
c lw 66575
c lw 66576
c lw 66577
c lw 66578
c lw 66586
c lw 66634
c lw 66648
c lw 66678
c lw 66679
c lw 66680
c lw 66681
c lw 66682
c lw 66683
c lw 66684
c lw 66685
c lw 66686
c lw 66687
c lw 66688
c lw 66689
c lw 66762
c lw 66763
c lw 66764
c lw 66765
c lw 66766
c lw 66767
c lw 66768
c lw 66769
c lw 66770
c lw 66771
c lw 66772
c lw 66773
c lw 66774
c lw 66775
c lw 66776
c lw 66777
c lw 66778
c lw 66779
c lw 66780
c lw 66781
c lw 66782
c lw 66783
c lw 66784
c lw 66785
c lw 66786
c lw 66787
c lw 66788
c lw 66789
c lw 66790
c lw 66792
c lw 66793
c lw 66797
c lw 66810
c lw 66811
c lw 66812
c lw 66813
c lw 66814
c lw 66815
c lw 66816
c lw 66817
c lw 66818
c lw 66819
c lw 66820
c lw 66821
c lw 66822
c lw 66846
c lw 66847
c lw 66848
c lw 66849
c lw 66850
c lw 66851
c lw 66852
c lw 66853
c lw 66854
c lw 66855
c lw 66857
c lw 66858
c lw 66859
c lw 66860
c lw 66861
c lw 66862
c lw 66863
c lw 66864
c lw 66865
c lw 66866
c lw 66871
c lw 66872
c lw 66873
c lw 66874
c lw 66875
c lw 66876
c lw 66877
c lw 66878
c lw 66879
c lw 66882
c lw 66883
c lw 66914
c lw 66915
c lw 66916
c lw 66917
c lw 66918
c lw 66975
c lw 66976
c lw 66977
c lw 66978
c lw 66979
c lw 66980
c lw 66981
c lw 66982
c lw 66983
c lw 66984
c lw 66985
c lw 66986
c lw 66987
c lw 66988
c lw 66989
c lw 66990
c lw 66991
c lw 66992
c lw 66993
c lw 66994
c lw 66995
c lw 66996
c lw 66997
c lw 67000
c lw 67001
c lw 67002
c lw 67003
c lw 67004
c lw 67005
c lw 67006
c lw 67007
c lw 67008
c lw 67009
c lw 67010
c lw 67011
c lw 67012
c lw 67017
c lw 67018
c lw 67019
c lw 67020
c lw 67021
c lw 67111
c lw 67115
c lw 67116
c lw 67117
c lw 67118
c lw 67119
c lw 67120
c lw 67121
c lw 67122
c lw 67123
c lw 67124
c lw 67125
c lw 67132
c lw 67133
c lw 67134
c lw 67135
c lw 67137
c lw 67138
c lw 67139
c lw 67140
c lw 67141
c lw 67142
c lw 67143
c lw 67144
c lw 67145
c lw 67146
c lw 67147
c lw 67148
c lw 67149
c lw 67202
c lw 67203
c lw 67204
c lw 67205
c lw 67206
c lw 67211
c lw 67212
c lw 67213
c lw 67214
c lw 67215
c lw 67216
c lw 67217
c lw 67218
c lw 67219
c lw 67220
c lw 67221
c lw 67222
c lw 67223
c lw 67224
c lw 67225
c lw 67226
c lw 67227
c lw 67228
c lw 67229
c lw 67230
c lw 67231
c lw 67232
c lw 67271
c lw 67272
c lw 67273
c lw 67274
c lw 67275
c lw 67276
c lw 67277
c lw 67278
c lw 67279
c lw 67280
c lw 67281
c lw 67282
c lw 67283
c lw 67284
c lw 67285
c lw 67286
c lw 67287
c lw 67288
c lw 67289
c lw 67290
c lw 67291
c lw 67292
c lw 67293
c lw 67294
c lw 67295
c lw 67296
c lw 67297
c lw 67298
c lw 67299
c lw 67300
c lw 67301
c lw 67302
c lw 67303
c lw 67304
c lw 67305
c lw 67310
c lw 67311
c lw 67312
c lw 67313
c lw 67356
c lw 67357
c lw 67358
c lw 67359
c lw 67360
c lw 67361
c lw 67362
c lw 67363
c lw 67364
c lw 67365
c lw 67366
c lw 67367
c lw 67368
c lw 67369
c lw 67370
c lw 67371
c lw 67372
c lw 67373
c lw 67374
c lw 67375
c lw 67376
c lw 67377
c lw 67383
c lw 67384
c lw 67385
c lw 67386
c lw 67387
c lw 67388
c lw 67389
c lw 67390
c lw 67391
c lw 67392
c lw 67393
c lw 67394
c lw 67395
Killed
1807.287u 12.457s 30:20.29 99.9%	0+0k 0+0io 0pf+0w