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_140_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 462
c lw 704
c lw 1493
c lw 1510
c lw 2218
c lw 2316
c lw 2885
c lw 3122
c lw 3345
c lw 3782
c lw 4219
c lw 4700
c lw 4857
c lw 5487
c lw 5685
c lw 6522
c lw 7369
c lw 7505
c lw 8216
c lw 9063
c lw 9221
c lw 9682
c lw 9910
c lw 10889
c lw 11868
c lw 12135
c lw 12847
c lw 13181
c lw 13970
c lw 14678
c lw 14759
c lw 15600
c lw 16004
c lw 16441
c lw 16652
c lw 17747
c lw 18842
c lw 19361
c lw 19937
c lw 20554
c lw 21731
c lw 22736
c lw 22908
c lw 23659
c lw 23763
c lw 24085
c lw 25076
c lw 25262
c lw 26013
c lw 26764
c lw 26935
c lw 27154
c lw 27325
c lw 27901
c lw 28652
c lw 29138
c lw 29760
c lw 30068
c lw 30998
c lw 31491
c lw 31582
c lw 32248
c lw 32516
c lw 33333
c lw 33353
c lw 33633
c lw 34150
c lw 34967
c lw 35784
c lw 36402
c lw 37020
c lw 38113
c lw 38310
c lw 38932
c lw 39117
c lw 39206
c lw 40221
c lw 40299
c lw 41306
c lw 41383
c lw 41827
c lw 41955
c lw 42635
c lw 42693
c lw 43051
c lw 43443
c lw 44133
c lw 44823
c lw 45090
c lw 45341
c lw 45513
c lw 45671
c lw 46488
c lw 46971
c lw 47305
c lw 48009
c lw 48122
c lw 48168
c lw 48939
c lw 49023
c lw 50043
c lw 50217
c lw 50507
c lw 50918
c lw 51512
c lw 51595
c lw 52402
c lw 52624
c lw 53185
c lw 53275
c lw 53690
c lw 54016
c lw 54238
c lw 54720
c lw 54726
c lw 54867
c lw 55006
c lw 55178
c lw 55671
c lw 55721
c lw 56159
c lw 56240
c lw 56276
c lw 56504
c lw 56662
c lw 56737
c lw 56820
c lw 56870
c lw 56876
c lw 56928
c lw 56966
c lw 57068
c lw 57483
c lw 57596
c lw 57664
c lw 57687
c lw 58021
c lw 58045
c lw 58079
c lw 58369
c lw 58386
c lw 58467
c lw 58637
c lw 58657
c lw 58708
c lw 58754
c lw 58922
c lw 59303
c lw 59785
c lw 59835
c lw 59916
c lw 59920
c lw 59926
c lw 59970
c lw 59976
c lw 60059
c lw 60187
c lw 60265
c lw 60422
c lw 60641
c lw 60743
c lw 60745
c lw 60878
c lw 61137
c lw 61496
c lw 61665
c lw 61712
c lw 61790
c lw 61867
c lw 61883
c lw 62040
c lw 62110
c lw 62172
c lw 62246
c lw 62727
c lw 62876
c lw 62883
c lw 63320
c lw 63325
c lw 63570
c lw 64089
c lw 64146
c lw 64317
c lw 64709
c lw 64929
c lw 65126
c lw 65168
c lw 65259
c lw 65438
c lw 65496
c lw 65574
c lw 65674
c lw 65744
c lw 65846
c lw 65983
c lw 65990
c lw 66194
c lw 66394
c lw 66477
c lw 66744
c lw 66767
c lw 66939
c lw 67139
c lw 67186
c lw 67456
c lw 67506
c lw 67814
c lw 68128
c lw 68259
c lw 68391
c lw 68402
c lw 68827
c lw 68925
c lw 69091
c lw 69126
c lw 69145
c lw 69423
c lw 69661
c lw 69688
c lw 69806
c lw 69864
c lw 69956
c lw 70033
c lw 70375
c lw 70381
c lw 70461
c lw 70462
c lw 70763
c lw 70915
c lw 70985
c lw 71101
c lw 71151
c lw 71187
c lw 71268
c lw 71303
c lw 71532
c lw 71590
c lw 71625
c lw 71628
c lw 71638
c lw 71709
c lw 71754
c lw 71787
c lw 71999
c lw 72030
c lw 72037
c lw 72155
c lw 72160
c lw 72210
c lw 72273
c lw 72309
c lw 72349
c lw 72356
c lw 72369
c lw 72372
c lw 72384
c lw 72416
c lw 72443
c lw 72482
c lw 72509
c lw 72531
c lw 72566
c lw 72612
c lw 72635
c lw 72678
c lw 72690
c lw 72701
c lw 72713
c lw 72725
c lw 72726
c lw 72731
c lw 72749
c lw 72761
c lw 72762
c lw 72763
c lw 72777
c lw 72815
c lw 72819
c lw 72820
c lw 72832
c lw 72919
c lw 72943
c lw 72953
c lw 72979
c lw 72994
c lw 72997
c lw 73001
c lw 73002
c lw 73006
c lw 73007
c lw 73054
c lw 73055
c lw 73056
c lw 73076
c lw 73077
c lw 73080
c lw 73081
c lw 73084
c lw 73085
c lw 73092
c lw 73154
c lw 73159
c lw 73162
c lw 73165
c lw 73170
c lw 73174
c lw 73177
c lw 73188
c lw 73192
c lw 73196
c lw 73199
c lw 73201
c lw 73202
c lw 73203
c lw 73204
c lw 73205
c lw 73210
c lw 73222
c lw 73305
c lw 73328
c lw 73334
c lw 73337
c lw 73342
c lw 73344
c lw 73345
c lw 73350
c lw 73401
c lw 73418
c lw 73432
c lw 73442
c lw 73444
c lw 73448
c lw 73453
c lw 73455
c lw 73456
c lw 73458
c lw 73505
c lw 73508
c lw 73509
c lw 73510
c lw 73512
c lw 73513
c lw 73515
c lw 73516
c lw 73517
c lw 73518
c lw 73519
c lw 73520
c lw 73521
c lw 73522
c lw 73523
c lw 73524
c lw 73525
c lw 73526
c lw 73530
c lw 73531
c lw 73534
c lw 73536
c lw 73537
c lw 73538
c lw 73539
c lw 73540
c lw 73541
c lw 73542
c lw 73543
c lw 73544
c lw 73545
c lw 73546
c lw 73547
c lw 73548
c lw 73553
c lw 73555
c lw 73559
c lw 73560
c lw 73561
c lw 73562
c lw 73563
c lw 73564
c lw 73566
c lw 73595
c lw 73600
c lw 73601
c lw 73604
c lw 73605
c lw 73614
c lw 73626
c lw 73629
c lw 73630
c lw 73633
c lw 73634
c lw 73638
c lw 73664
c lw 73669
c lw 73683
c lw 73688
c lw 73748
c lw 73765
c lw 73879
c lw 73880
c lw 73913
c lw 73915
c lw 73919
c lw 73924
c lw 73927
c lw 73928
c lw 73930
c lw 73931
c lw 73932
c lw 73936
c lw 73939
c lw 73960
c lw 73961
c lw 73962
c lw 73964
c lw 73965
c lw 73966
c lw 73968
c lw 73971
c lw 73972
c lw 73975
c lw 73976
c lw 73977
c lw 73978
c lw 73979
c lw 73980
c lw 73981
c lw 73982
c lw 73983
c lw 73984
c lw 73985
c lw 73986
c lw 73987
c lw 73988
c lw 73989
c lw 73990
c lw 73998
c lw 73999
c lw 74000
c lw 74001
c lw 74002
c lw 74003
c lw 74004
c lw 74005
c lw 74006
c lw 74007
c lw 74008
c lw 74009
c lw 74010
c lw 74011
c lw 74012
c lw 74013
c lw 74014
c lw 74016
c lw 74017
c lw 74018
c lw 74019
c lw 74020
c lw 74021
c lw 74022
c lw 74030
c lw 74031
c lw 74032
c lw 74033
c lw 74034
c lw 74035
c lw 74036
c lw 74037
c lw 74038
c lw 74039
c lw 74040
c lw 74041
c lw 74042
c lw 74043
c lw 74044
c lw 74045
c lw 74046
c lw 74047
c lw 74048
c lw 74049
c lw 74050
c lw 74051
c lw 74052
c lw 74053
c lw 74054
c lw 74055
c lw 74056
c lw 74057
c lw 74058
c lw 74059
c lw 74060
c lw 74061
c lw 74062
c lw 74063
c lw 74064
c lw 74065
c lw 74066
c lw 74067
c lw 74075
c lw 74076
c lw 74077
c lw 74078
c lw 74085
c lw 74137
c lw 74138
c lw 74139
c lw 74140
c lw 74141
c lw 74142
c lw 74143
c lw 74145
c lw 74165
c lw 74170
c lw 74172
c lw 74183
c lw 74193
c lw 74194
c lw 74197
c lw 74199
c lw 74205
c lw 74216
c lw 74218
c lw 74219
c lw 74221
c lw 74222
c lw 74223
c lw 74224
c lw 74225
c lw 74226
c lw 74227
c lw 74228
c lw 74229
c lw 74230
c lw 74231
c lw 74232
c lw 74233
c lw 74243
c lw 74244
c lw 74245
c lw 74246
c lw 74247
c lw 74248
c lw 74249
c lw 74250
c lw 74251
c lw 74252
c lw 74254
c lw 74258
c lw 74259
c lw 74260
c lw 74261
c lw 74262
c lw 74263
c lw 74288
c lw 74335
c lw 74343
c lw 74344
c lw 74348
c lw 74349
c lw 74350
c lw 74351
c lw 74352
c lw 74353
c lw 74355
c lw 74356
c lw 74357
c lw 74358
c lw 74360
c lw 74364
c lw 74373
c lw 74406
c lw 74407
c lw 74408
c lw 74409
c lw 74410
c lw 74412
c lw 74413
c lw 74415
c lw 74417
c lw 74421
c lw 74422
c lw 74423
c lw 74424
c lw 74425
c lw 74426
c lw 74427
c lw 74430
c lw 74433
c lw 74435
c lw 74436
c lw 74437
c lw 74438
c lw 74439
c lw 74440
c lw 74441
c lw 74442
c lw 74443
c lw 74444
c lw 74445
c lw 74446
c lw 74447
c lw 74448
c lw 74449
c lw 74450
c lw 74451
c lw 74452
c lw 74453
c lw 74454
c lw 74455
c lw 74456
c lw 74457
c lw 74458
c lw 74461
c lw 74462
c lw 74463
c lw 74465
c lw 74466
c lw 74467
c lw 74468
c lw 74469
c lw 74470
c lw 74471
c lw 74472
c lw 74473
c lw 74474
c lw 74475
c lw 74476
c lw 74477
c lw 74478
c lw 74479
c lw 74480
c lw 74481
c lw 74482
c lw 74483
c lw 74484
c lw 74485
c lw 74486
c lw 74487
c lw 74488
c lw 74489
c lw 74490
c lw 74491
c lw 74492
c lw 74493
c lw 74494
c lw 74495
c lw 74496
c lw 74497
c lw 74498
c lw 74499
c lw 74500
c lw 74501
c lw 74658
c lw 74659
c lw 74660
c lw 74664
c lw 74844
c lw 74847
c lw 74857
c lw 74858
c lw 74859
c lw 74860
c lw 74861
c lw 74862
c lw 74863
c lw 74864
c lw 74865
c lw 74866
c lw 74867
c lw 74868
c lw 74869
c lw 74870
c lw 74871
c lw 74872
c lw 74873
c lw 74874
c lw 74875
c lw 74876
c lw 74877
c lw 74878
c lw 74879
c lw 74880
c lw 74881
c lw 74882
c lw 74883
c lw 74884
c lw 74885
c lw 74886
c lw 74887
c lw 74888
c lw 74889
c lw 74890
c lw 74891
c lw 74892
c lw 74893
c lw 74894
c lw 74895
c lw 74896
c lw 74897
c lw 74898
c lw 74899
c lw 74900
c lw 74901
c lw 74902
c lw 74904
c lw 74905
c lw 74906
c lw 74907
c lw 74908
c lw 74909
c lw 74910
c lw 74911
c lw 74912
c lw 74913
c lw 74914
c lw 74915
c lw 74916
c lw 74917
c lw 74918
c lw 74919
c lw 74920
c lw 74921
c lw 74929
c lw 74930
c lw 74931
c lw 74932
c lw 74934
c lw 74935
c lw 74943
c lw 74944
c lw 74945
c lw 74946
c lw 74965
c lw 74966
c lw 74967
c lw 74968
c lw 74969
c lw 74970
c lw 74971
c lw 74991
c lw 74992
c lw 74993
c lw 74996
c lw 74997
c lw 74998
c lw 74999
c lw 75000
c lw 75006
c lw 75007
c lw 75008
c lw 75009
c lw 75010
c lw 75011
c lw 75012
c lw 75013
c lw 75014
c lw 75016
c lw 75020
c lw 75021
c lw 75022
c lw 75023
c lw 75024
c lw 75025
c lw 75026
c lw 75027
c lw 75028
c lw 75029
c lw 75030
c lw 75031
c lw 75032
c lw 75033
c lw 75034
c lw 75035
c lw 75036
c lw 75037
c lw 75038
c lw 75039
c lw 75043
c lw 75045
c lw 75047
c lw 75048
c lw 75050
c lw 75051
c lw 75052
c lw 75053
c lw 75054
c lw 75055
c lw 75089
c lw 75090
c lw 75091
c lw 75092
c lw 75095
c lw 75097
c lw 75098
c lw 75099
c lw 75100
c lw 75101
c lw 75102
c lw 75150
c lw 75151
c lw 75152
c lw 75153
c lw 75154
c lw 75155
c lw 75156
c lw 75157
c lw 75163
c lw 75164
c lw 75165
c lw 75166
c lw 75167
c lw 75168
c lw 75169
c lw 75170
c lw 75171
c lw 75172
c lw 75173
c lw 75176
c lw 75182
c lw 75183
c lw 75184
c lw 75185
c lw 75186
Killed
1813.246u 6.509s 30:23.74 99.7%	0+0k 0+0io 0pf+0w