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_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1127
c lw 1796
c lw 2545
c lw 2758
c lw 3294
c lw 3720
c lw 4043
c lw 4860
c lw 5677
c lw 6602
c lw 7527
c lw 7759
c lw 8469
c lw 9179
c lw 10204
c lw 11229
c lw 12022
c lw 12254
c lw 13279
c lw 13857
c lw 14476
c lw 14705
c lw 15095
c lw 16155
c lw 17215
c lw 17700
c lw 18275
c lw 18391
c lw 19416
c lw 20116
c lw 20816
c lw 20944
c lw 21516
c lw 22216
c lw 22865
c lw 22916
c lw 22958
c lw 23041
c lw 23394
c lw 23453
c lw 24252
c lw 24311
c lw 24424
c lw 24909
c lw 25063
c lw 25405
c lw 26295
c lw 26349
c lw 26733
c lw 27293
c lw 27814
c lw 28237
c lw 28639
c lw 28785
c lw 29181
c lw 29881
c lw 30125
c lw 30333
c lw 31152
c lw 31520
c lw 32179
c lw 32325
c lw 32379
c lw 32587
c lw 32665
c lw 33808
c lw 33832
c lw 34147
c lw 35029
c lw 35334
c lw 36049
c lw 36216
c lw 36749
c lw 37403
c lw 37447
c lw 37493
c lw 37931
c lw 37961
c lw 38789
c lw 38945
c lw 39428
c lw 39866
c lw 39912
c lw 40098
c lw 40244
c lw 40729
c lw 41215
c lw 41371
c lw 41501
c lw 41552
c lw 42201
c lw 42243
c lw 42294
c lw 42500
c lw 42530
c lw 42544
c lw 42716
c lw 42998
c lw 43203
c lw 43227
c lw 43281
c lw 43327
c lw 43577
c lw 43687
c lw 43744
c lw 43765
c lw 43867
c lw 44161
c lw 44269
c lw 44399
c lw 44500
c lw 44637
c lw 44805
c lw 44881
c lw 45001
c lw 45265
c lw 45319
c lw 45348
c lw 45456
c lw 45664
c lw 45723
c lw 45777
c lw 46190
c lw 46452
c lw 46606
c lw 46624
c lw 46638
c lw 46730
c lw 46875
c lw 46886
c lw 46929
c lw 47044
c lw 47167
c lw 47185
c lw 47405
c lw 47415
c lw 47511
c lw 47923
c lw 48054
c lw 48157
c lw 48286
c lw 48492
c lw 48623
c lw 49292
c lw 49524
c lw 49964
c lw 50055
c lw 50287
c lw 50336
c lw 50492
c lw 50500
c lw 50619
c lw 50729
c lw 50788
c lw 51263
c lw 51319
c lw 51392
c lw 51860
c lw 52167
c lw 52519
c lw 52542
c lw 52655
c lw 52665
c lw 52757
c lw 52842
c lw 53402
c lw 53443
c lw 53486
c lw 53494
c lw 53497
c lw 53507
c lw 53525
c lw 53527
c lw 53528
c lw 53547
c lw 53558
c lw 53568
c lw 53570
c lw 53579
c lw 53734
c lw 53811
c lw 53814
c lw 53819
c lw 53827
c lw 53832
c lw 53838
c lw 53897
c lw 53935
c lw 53941
c lw 54056
c lw 54060
c lw 54147
c lw 54204
c lw 54214
c lw 54215
c lw 54225
c lw 54238
c lw 54279
c lw 54323
c lw 54454
c lw 54484
c lw 54545
c lw 54555
c lw 54574
c lw 54631
c lw 54672
c lw 54689
c lw 54701
c lw 54705
c lw 54718
c lw 54728
c lw 54734
c lw 54736
c lw 54739
c lw 54793
c lw 54809
c lw 54819
c lw 54840
c lw 54841
c lw 54848
c lw 54849
c lw 54850
c lw 54851
c lw 54852
c lw 54858
c lw 54859
c lw 54861
c lw 54862
c lw 54869
c lw 54870
c lw 54873
c lw 54881
c lw 54926
c lw 55037
c lw 55118
c lw 55120
c lw 55143
c lw 55164
c lw 55205
c lw 55213
c lw 55291
c lw 55308
c lw 55316
c lw 55319
c lw 55321
c lw 55323
c lw 55324
c lw 55331
c lw 55332
c lw 55333
c lw 55343
c lw 55454
c lw 55462
c lw 55530
c lw 55534
c lw 55541
c lw 55544
c lw 55549
c lw 55606
c lw 55631
c lw 55632
c lw 55634
c lw 55637
c lw 55638
c lw 55639
c lw 55640
c lw 55641
c lw 55642
c lw 55643
c lw 55645
c lw 55646
c lw 55647
c lw 55649
c lw 55655
c lw 55656
c lw 55658
c lw 55659
c lw 55660
c lw 55661
c lw 55664
c lw 55665
c lw 55667
c lw 55668
c lw 55671
c lw 55672
c lw 55673
c lw 55675
c lw 55680
c lw 55681
c lw 55682
c lw 55683
c lw 55689
c lw 55690
c lw 55695
c lw 55707
c lw 55710
c lw 55720
c lw 55721
c lw 55723
c lw 55728
c lw 55729
c lw 55732
c lw 55733
c lw 55735
c lw 55736
c lw 55737
c lw 55738
c lw 55739
c lw 55928
c lw 55952
c lw 55958
c lw 55998
c lw 56092
c lw 56102
c lw 56104
c lw 56105
c lw 56107
c lw 56110
c lw 56190
c lw 56192
c lw 56218
c lw 56231
c lw 56232
c lw 56233
c lw 56234
c lw 56236
c lw 56237
c lw 56238
c lw 56239
c lw 56240
c lw 56241
c lw 56242
c lw 56243
c lw 56244
c lw 56245
c lw 56246
c lw 56247
c lw 56248
c lw 56249
c lw 56250
c lw 56251
c lw 56252
c lw 56253
c lw 56258
c lw 56259
c lw 56267
c lw 56268
c lw 56269
c lw 56270
c lw 56271
c lw 56272
c lw 56273
c lw 56276
c lw 56280
c lw 56281
c lw 56283
c lw 56284
c lw 56380
c lw 56381
c lw 56384
c lw 56530
c lw 56536
c lw 56550
c lw 56551
c lw 56552
c lw 56553
c lw 56554
c lw 56555
c lw 56556
c lw 56557
c lw 56558
c lw 56559
c lw 56560
c lw 56561
c lw 56562
c lw 56563
c lw 56564
c lw 56565
c lw 56566
c lw 56567
c lw 56568
c lw 56569
c lw 56570
c lw 56571
c lw 56572
c lw 56573
c lw 56574
c lw 56575
c lw 56576
c lw 56577
c lw 56578
c lw 56579
c lw 56597
c lw 56600
c lw 56603
c lw 56604
c lw 56605
c lw 56606
c lw 56607
c lw 56609
c lw 56610
c lw 56611
c lw 56612
c lw 56613
c lw 56614
c lw 56615
c lw 56616
c lw 56617
c lw 56618
c lw 56619
c lw 56620
c lw 56621
c lw 56622
c lw 56623
c lw 56624
c lw 56625
c lw 56626
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 56636
c lw 56638
c lw 56639
c lw 56640
c lw 56641
c lw 56642
c lw 56644
c lw 56645
c lw 56646
c lw 56647
c lw 56648
c lw 56649
c lw 56650
c lw 56651
c lw 56652
c lw 56653
c lw 56701
c lw 56702
c lw 56719
c lw 56720
c lw 56721
c lw 56722
c lw 56723
c lw 56725
c lw 56726
c lw 56727
c lw 56728
c lw 56729
c lw 56730
c lw 56731
c lw 56732
c lw 56733
c lw 56734
c lw 56735
c lw 56736
c lw 56737
c lw 56738
c lw 56747
c lw 56748
c lw 56749
c lw 56750
c lw 56751
c lw 56752
c lw 56753
c lw 56754
c lw 56755
c lw 56756
c lw 56773
c lw 56778
c lw 56779
c lw 56780
c lw 56781
c lw 56782
c lw 56783
c lw 56784
c lw 56785
c lw 56786
c lw 56787
c lw 56788
c lw 56789
c lw 56790
c lw 56791
c lw 56800
c lw 56801
c lw 56802
c lw 56803
c lw 56809
c lw 56810
c lw 56811
c lw 56812
c lw 56813
c lw 56814
c lw 56815
c lw 56817
c lw 56819
c lw 56820
c lw 56821
c lw 56822
c lw 56826
c lw 56832
c lw 56835
c lw 56836
c lw 56847
c lw 56853
c lw 56854
c lw 56855
c lw 56856
c lw 56857
c lw 56858
c lw 56859
c lw 56860
c lw 56861
c lw 56862
c lw 56863
c lw 56864
c lw 56865
c lw 56866
c lw 56867
c lw 56868
c lw 56869
c lw 56870
c lw 56871
c lw 56872
c lw 56873
c lw 56876
c lw 56877
c lw 56878
c lw 56879
c lw 56880
c lw 56881
c lw 56882
c lw 56883
c lw 56884
c lw 56885
c lw 56886
c lw 56887
c lw 56888
c lw 56889
c lw 56890
c lw 56891
c lw 56892
c lw 56893
c lw 56901
c lw 56902
c lw 56913
c lw 56919
c lw 56920
c lw 56922
c lw 56926
c lw 56964
c lw 56965
c lw 56966
c lw 56967
c lw 56968
c lw 56970
c lw 56971
c lw 56972
c lw 56973
c lw 56977
c lw 56978
c lw 56979
c lw 56980
c lw 56981
c lw 56982
c lw 56983
c lw 56984
c lw 56985
c lw 56986
c lw 56988
c lw 56989
c lw 56990
c lw 56991
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 57009
c lw 57010
c lw 57011
c lw 57013
c lw 57014
c lw 57016
c lw 57018
c lw 57019
c lw 57021
c lw 57023
c lw 57024
c lw 57025
c lw 57042
c lw 57043
c lw 57044
c lw 57050
c lw 57051
c lw 57052
c lw 57053
c lw 57054
c lw 57055
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 57086
c lw 57097
c lw 57098
c lw 57099
c lw 57100
c lw 57101
c lw 57102
c lw 57103
c lw 57104
c lw 57105
c lw 57106
c lw 57107
c lw 57108
c lw 57109
c lw 57110
c lw 57111
c lw 57115
c lw 57117
c lw 57118
c lw 57119
c lw 57121
c lw 57129
c lw 57131
c lw 57132
c lw 57133
c lw 57134
c lw 57135
c lw 57136
c lw 57137
c lw 57138
c lw 57139
c lw 57140
c lw 57141
c lw 57142
c lw 57143
c lw 57144
c lw 57145
c lw 57146
c lw 57147
c lw 57148
c lw 57149
c lw 57150
c lw 57151
c lw 57152
c lw 57153
c lw 57154
c lw 57155
c lw 57156
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 57165
c lw 57166
c lw 57167
c lw 57168
c lw 57173
c lw 57174
c lw 57175
c lw 57176
c lw 57177
c lw 57178
c lw 57179
c lw 57180
c lw 57183
c lw 57184
c lw 57185
c lw 57186
c lw 57187
c lw 57188
c lw 57189
c lw 57190
c lw 57191
c lw 57192
c lw 57193
c lw 57194
c lw 57195
c lw 57196
c lw 57197
c lw 57198
c lw 57199
c lw 57200
c lw 57201
c lw 57202
c lw 57203
c lw 57204
c lw 57205
c lw 57206
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 57227
c lw 57228
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 57261
c lw 57262
c lw 57263
c lw 57264
c lw 57265
c lw 57266
c lw 57267
c lw 57268
c lw 57269
c lw 57270
c lw 57271
c lw 57272
c lw 57273
c lw 57274
c lw 57275
c lw 57276
c lw 57277
c lw 57278
c lw 57279
c lw 57280
c lw 57281
c lw 57282
c lw 57294
c lw 57295
c lw 57297
c lw 57298
c lw 57306
c lw 57307
c lw 57308
c lw 57309
c lw 57310
c lw 57311
c lw 57312
c lw 57313
c lw 57314
c lw 57315
c lw 57316
c lw 57319
c lw 57320
c lw 57321
c lw 57323
c lw 57326
c lw 57327
c lw 57328
c lw 57329
c lw 57330
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 57349
c lw 57350
c lw 57351
c lw 57352
c lw 57353
c lw 57354
c lw 57355
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 57365
c lw 57366
c lw 57367
c lw 57368
c lw 57369
c lw 57370
c lw 57371
c lw 57372
c lw 57373
c lw 57374
c lw 57375
c lw 57376
c lw 57377
c lw 57378
c lw 57379
c lw 57380
c lw 57381
c lw 57382
c lw 57383
c lw 57384
c lw 57385
c lw 57386
c lw 57387
c lw 57388
c lw 57389
c lw 57390
c lw 57391
c lw 57392
c lw 57393
c lw 57396
c lw 57397
c lw 57398
c lw 57399
c lw 57400
c lw 57401
c lw 57402
c lw 57403
c lw 57404
c lw 57405
c lw 57406
c lw 57410
c lw 57411
c lw 57418
c lw 57419
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 57481
c lw 57482
c lw 57483
c lw 57484
c lw 57485
c lw 57486
c lw 57492
c lw 57493
c lw 57494
c lw 57495
c lw 57496
c lw 57497
c lw 57498
c lw 57499
c lw 57500
c lw 57501
c lw 57502
c lw 57503
c lw 57504
c lw 57505
c lw 57506
c lw 57507
c lw 57508
c lw 57509
c lw 57510
c lw 57511
c lw 57514
c lw 57516
c lw 57518
c lw 57519
c lw 57520
c lw 57521
c lw 57522
c lw 57523
c lw 57544
c lw 57545
c lw 57546
c lw 57547
c lw 57548
c lw 57549
c lw 57550
c lw 57551
c lw 57552
c lw 57553
c lw 57554
c lw 57555
c lw 57556
c lw 57557
c lw 57558
c lw 57561
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 57604
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 57623
c lw 57624
c lw 57625
c lw 57689
c lw 57690
c lw 57691
c lw 57692
c lw 57693
c lw 57694
c lw 57695
c lw 57696
c lw 57697
c lw 57698
c lw 57699
c lw 57700
c lw 57715
c lw 57716
c lw 57750
c lw 57751
c lw 57753
c lw 57754
c lw 57755
c lw 57756
c lw 57757
c lw 57758
c lw 57759
c lw 57760
c lw 57761
c lw 57762
c lw 57763
c lw 57764
c lw 57767
c lw 57768
c lw 57769
c lw 57770
c lw 57771
c lw 57772
c lw 57773
c lw 57774
c lw 57775
Killed
1811.033u 8.714s 58:16.38 52.0%	0+0k 0+0io 0pf+0w