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_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 846
c lw 1131
c lw 2262
c lw 3366
c lw 3393
c lw 3942
c lw 4702
c lw 5462
c lw 6222
c lw 6460
c lw 7221
c lw 7982
c lw 8743
c lw 9504
c lw 10164
c lw 10824
c lw 11747
c lw 12594
c lw 12670
c lw 13417
c lw 14164
c lw 15223
c lw 16282
c lw 17193
c lw 17341
c lw 17982
c lw 18623
c lw 19906
c lw 20983
c lw 21189
c lw 22293
c lw 22472
c lw 23177
c lw 23755
c lw 23840
c lw 24601
c lw 24738
c lw 25635
c lw 26680
c lw 26828
c lw 27631
c lw 27873
c lw 28064
c lw 28810
c lw 28977
c lw 30081
c lw 30379
c lw 31199
c lw 31497
c lw 32317
c lw 32615
c lw 32874
c lw 33114
c lw 33612
c lw 34435
c lw 34900
c lw 35106
c lw 35519
c lw 35646
c lw 35746
c lw 35959
c lw 36171
c lw 36350
c lw 36657
c lw 36869
c lw 37020
c lw 37994
c lw 38516
c lw 38756
c lw 38825
c lw 39393
c lw 39760
c lw 39957
c lw 40153
c lw 40862
c lw 41102
c lw 41308
c lw 41534
c lw 41774
c lw 41981
c lw 42178
c lw 42545
c lw 43113
c lw 43936
c lw 44030
c lw 44080
c lw 44177
c lw 44790
c lw 44887
c lw 44939
c lw 45118
c lw 45145
c lw 45187
c lw 45347
c lw 45498
c lw 45502
c lw 45654
c lw 45791
c lw 45867
c lw 45928
c lw 46003
c lw 46210
c lw 46243
c lw 46665
c lw 46907
c lw 47485
c lw 47769
c lw 47862
c lw 48283
c lw 48368
c lw 48382
c lw 48666
c lw 48710
c lw 48761
c lw 48833
c lw 48871
c lw 49244
c lw 49583
c lw 49731
c lw 49734
c lw 49962
c lw 50434
c lw 50476
c lw 50723
c lw 51004
c lw 51031
c lw 51607
c lw 51634
c lw 51767
c lw 51843
c lw 51889
c lw 51962
c lw 52158
c lw 52365
c lw 52511
c lw 52685
c lw 52736
c lw 52882
c lw 52970
c lw 53262
c lw 53385
c lw 53507
c lw 53745
c lw 53893
c lw 54171
c lw 54467
c lw 54708
c lw 54934
c lw 54967
c lw 55009
c lw 55017
c lw 55165
c lw 55253
c lw 55264
c lw 55343
c lw 55351
c lw 55366
c lw 55393
c lw 55463
c lw 55473
c lw 55477
c lw 55628
c lw 55643
c lw 55680
c lw 55684
c lw 55734
c lw 55836
c lw 55940
c lw 55973
c lw 56006
c lw 56010
c lw 56013
c lw 56014
c lw 56052
c lw 56056
c lw 56102
c lw 56175
c lw 56202
c lw 56266
c lw 56452
c lw 56684
c lw 56706
c lw 56782
c lw 56837
c lw 57011
c lw 57133
c lw 57190
c lw 57212
c lw 57253
c lw 57278
c lw 57307
c lw 57329
c lw 57418
c lw 57424
c lw 57457
c lw 57465
c lw 57480
c lw 57482
c lw 57493
c lw 57517
c lw 57539
c lw 57605
c lw 57612
c lw 57639
c lw 57646
c lw 57684
c lw 57686
c lw 57688
c lw 57691
c lw 57692
c lw 57694
c lw 57699
c lw 57701
c lw 57702
c lw 58174
c lw 58191
c lw 58193
c lw 58195
c lw 58197
c lw 58201
c lw 58202
c lw 58204
c lw 58210
c lw 58214
c lw 58216
c lw 58217
c lw 58219
c lw 58227
c lw 58228
c lw 58229
c lw 58231
c lw 58277
c lw 58279
c lw 58281
c lw 58282
c lw 58286
c lw 58287
c lw 58301
c lw 58332
c lw 58333
c lw 58348
c lw 58349
c lw 58350
c lw 58354
c lw 58355
c lw 58361
c lw 58362
c lw 58363
c lw 58364
c lw 58365
c lw 58366
c lw 58368
c lw 58369
c lw 58406
c lw 58410
c lw 58414
c lw 58415
c lw 58442
c lw 58444
c lw 58451
c lw 58453
c lw 58454
c lw 58457
c lw 58459
c lw 58460
c lw 58461
c lw 58465
c lw 58466
c lw 58471
c lw 58472
c lw 58473
c lw 58474
c lw 58475
c lw 58476
c lw 58478
c lw 58479
c lw 58480
c lw 58481
c lw 58482
c lw 58483
c lw 58488
c lw 58599
c lw 58600
c lw 58603
c lw 58605
c lw 58606
c lw 58607
c lw 58608
c lw 58609
c lw 58610
c lw 58611
c lw 58612
c lw 58613
c lw 58621
c lw 58623
c lw 58624
c lw 58625
c lw 58627
c lw 58630
c lw 58648
c lw 58650
c lw 58651
c lw 58652
c lw 58653
c lw 58654
c lw 58655
c lw 58656
c lw 58657
c lw 58658
c lw 58659
c lw 58660
c lw 58661
c lw 58662
c lw 58663
c lw 58665
c lw 58666
c lw 58667
c lw 58668
c lw 58669
c lw 58670
c lw 58671
c lw 58672
c lw 58673
c lw 58674
c lw 58675
c lw 58676
c lw 58677
c lw 58686
c lw 58753
c lw 58754
c lw 58759
c lw 58761
c lw 58762
c lw 58775
c lw 58778
c lw 58782
c lw 58783
c lw 58784
c lw 58785
c lw 58786
c lw 58787
c lw 58788
c lw 58789
c lw 58790
c lw 58791
c lw 58792
c lw 58793
c lw 58800
c lw 58803
c lw 58804
c lw 58805
c lw 58806
c lw 58807
c lw 58808
c lw 58809
c lw 58810
c lw 58811
c lw 58812
c lw 58813
c lw 58816
c lw 58817
c lw 58818
c lw 58819
c lw 58823
c lw 58825
c lw 58827
c lw 58830
c lw 58831
c lw 58832
c lw 58833
c lw 58834
c lw 58835
c lw 58836
c lw 58837
c lw 58838
c lw 58839
c lw 58840
c lw 58841
c lw 58842
c lw 58843
c lw 58844
c lw 58845
c lw 58846
c lw 58847
c lw 58848
c lw 58849
c lw 58853
c lw 58854
c lw 58857
c lw 58861
c lw 58895
c lw 58896
c lw 58897
c lw 58898
c lw 58899
c lw 58900
c lw 58901
c lw 58902
c lw 58903
c lw 58904
c lw 58905
c lw 58906
c lw 58907
c lw 58908
c lw 58909
c lw 58910
c lw 58911
c lw 59032
c lw 59033
c lw 59034
c lw 59035
c lw 59036
c lw 59037
c lw 59038
c lw 59039
c lw 59040
c lw 59041
c lw 59042
c lw 59043
c lw 59044
c lw 59045
c lw 59073
c lw 59086
c lw 59101
c lw 59102
c lw 59106
c lw 59107
c lw 59108
c lw 59109
c lw 59110
c lw 59112
c lw 59113
c lw 59114
c lw 59115
c lw 59116
c lw 59117
c lw 59202
c lw 59203
c lw 59204
c lw 59205
c lw 59206
c lw 59207
c lw 59208
c lw 59209
c lw 59210
c lw 59211
c lw 59212
c lw 59213
c lw 59214
c lw 59215
c lw 59216
c lw 59217
c lw 59218
c lw 59219
c lw 59220
c lw 59224
c lw 59247
c lw 59250
c lw 59251
c lw 59256
c lw 59257
c lw 59258
c lw 59259
c lw 59260
c lw 59261
c lw 59262
c lw 59263
c lw 59264
c lw 59265
c lw 59266
c lw 59267
c lw 59268
c lw 59272
c lw 59276
c lw 59277
c lw 59278
c lw 59280
c lw 59281
c lw 59282
c lw 59283
c lw 59284
c lw 59285
c lw 59286
c lw 59287
c lw 59288
c lw 59290
c lw 59291
c lw 59328
c lw 59330
c lw 59405
c lw 59406
c lw 59407
c lw 59408
c lw 59409
c lw 59410
c lw 59411
c lw 59412
c lw 59413
c lw 59481
c lw 59482
c lw 59484
c lw 59485
c lw 59486
c lw 59487
c lw 59518
c lw 59522
c lw 59524
c lw 59549
c lw 59551
c lw 59552
c lw 59555
c lw 59556
c lw 59558
c lw 59559
c lw 59560
c lw 59563
c lw 59586
c lw 59587
c lw 59588
c lw 59589
c lw 59590
c lw 59593
c lw 59594
c lw 59595
c lw 59596
c lw 59597
c lw 59598
c lw 59600
c lw 59604
c lw 59607
c lw 59611
c lw 59626
c lw 59627
c lw 59657
c lw 59684
c lw 59685
c lw 59686
c lw 59690
c lw 59691
c lw 59692
c lw 59695
c lw 59696
c lw 59697
c lw 59700
c lw 59701
c lw 59702
c lw 59704
c lw 59718
c lw 59719
c lw 59720
c lw 59721
c lw 59723
c lw 59724
c lw 59726
c lw 59727
c lw 59728
c lw 59730
c lw 59731
c lw 59732
c lw 59733
c lw 59734
c lw 59735
c lw 59736
c lw 59737
c lw 59799
c lw 59800
c lw 59801
c lw 59802
c lw 59803
c lw 59804
c lw 59805
c lw 59807
c lw 59808
c lw 59809
c lw 59810
c lw 59811
c lw 59812
c lw 59813
c lw 59815
c lw 59816
c lw 59817
c lw 59819
c lw 59820
c lw 59821
c lw 59822
c lw 59823
c lw 59824
c lw 59825
c lw 59826
c lw 59827
c lw 59828
Killed
1815.857u 3.909s 30:21.08 99.9%	0+0k 0+0io 0pf+0w