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_100_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 382
c lw 732
c lw 1689
c lw 2646
c lw 3315
c lw 3603
c lw 4869
c lw 6135
c lw 7002
c lw 7311
c lw 7401
c lw 8235
c lw 9069
c lw 9623
c lw 9903
c lw 10684
c lw 11430
c lw 11465
c lw 12087
c lw 12269
c lw 12709
c lw 13776
c lw 14712
c lw 14843
c lw 15499
c lw 15910
c lw 16260
c lw 16977
c lw 18111
c lw 19155
c lw 19245
c lw 19933
c lw 20266
c lw 20289
c lw 20716
c lw 21156
c lw 21583
c lw 22000
c lw 22721
c lw 23362
c lw 23371
c lw 24003
c lw 24283
c lw 24973
c lw 25663
c lw 26332
c lw 26353
c lw 26579
c lw 27043
c lw 28020
c lw 28689
c lw 28936
c lw 29801
c lw 29852
c lw 30128
c lw 30130
c lw 30727
c lw 31804
c lw 32133
c lw 32873
c lw 32881
c lw 33621
c lw 33958
c lw 34356
c lw 34700
c lw 35035
c lw 35691
c lw 35934
c lw 36058
c lw 36107
c lw 36842
c lw 36913
c lw 36970
c lw 37244
c lw 37374
c lw 37658
c lw 37904
c lw 38346
c lw 38784
c lw 38898
c lw 39264
c lw 39789
c lw 40200
c lw 40332
c lw 40421
c lw 40770
c lw 40943
c lw 41278
c lw 41676
c lw 41683
c lw 41813
c lw 41847
c lw 41929
c lw 42179
c lw 42191
c lw 42289
c lw 42346
c lw 42354
c lw 42356
c lw 42536
c lw 42557
c lw 42632
c lw 42886
c lw 42937
c lw 43101
c lw 43266
c lw 43337
c lw 43348
c lw 43574
c lw 43585
c lw 43714
c lw 43802
c lw 44028
c lw 44064
c lw 44246
c lw 44394
c lw 44412
c lw 44419
c lw 44657
c lw 44806
c lw 44895
c lw 44965
c lw 45007
c lw 45026
c lw 45061
c lw 45140
c lw 45299
c lw 45410
c lw 45489
c lw 45871
c lw 45931
c lw 45940
c lw 46066
c lw 46368
c lw 46425
c lw 46495
c lw 46775
c lw 46788
c lw 46837
c lw 46861
c lw 47142
c lw 47553
c lw 47723
c lw 47746
c lw 47758
c lw 47848
c lw 48067
c lw 48551
c lw 48715
c lw 48978
c lw 49155
c lw 49319
c lw 49384
c lw 49395
c lw 49414
c lw 49504
c lw 49685
c lw 50428
c lw 50619
c lw 50673
c lw 51375
c lw 51439
c lw 51697
c lw 51708
c lw 51731
c lw 51765
c lw 52455
c lw 52654
c lw 52718
c lw 52727
c lw 52761
c lw 52784
c lw 52795
c lw 52816
c lw 52877
c lw 52899
c lw 52944
c lw 52953
c lw 52964
c lw 53103
c lw 53115
c lw 53127
c lw 53178
c lw 53216
c lw 53220
c lw 53255
c lw 53281
c lw 53341
c lw 53349
c lw 53350
c lw 53353
c lw 53355
c lw 53363
c lw 53420
c lw 53424
c lw 53441
c lw 53531
c lw 53567
c lw 53582
c lw 53605
c lw 53672
c lw 53891
c lw 54064
c lw 54066
c lw 54180
c lw 54192
c lw 54204
c lw 54217
c lw 54235
c lw 54241
c lw 54249
c lw 54260
c lw 54338
c lw 54356
c lw 54398
c lw 54461
c lw 54526
c lw 54564
c lw 54618
c lw 54631
c lw 54636
c lw 54638
c lw 54640
c lw 54690
c lw 54726
c lw 54737
c lw 54762
c lw 54773
c lw 54839
c lw 54862
c lw 54873
c lw 54885
c lw 54896
c lw 54903
c lw 54907
c lw 54910
c lw 54912
c lw 54914
c lw 54915
c lw 54916
c lw 54923
c lw 54926
c lw 54932
c lw 54933
c lw 54935
c lw 54936
c lw 54938
c lw 54941
c lw 54944
c lw 54945
c lw 54946
c lw 54951
c lw 54952
c lw 55067
c lw 55070
c lw 55072
c lw 55073
c lw 55075
c lw 55076
c lw 55077
c lw 55078
c lw 55110
c lw 55118
c lw 55119
c lw 55123
c lw 55124
c lw 55125
c lw 55199
c lw 55201
c lw 55203
c lw 55204
c lw 55207
c lw 55208
c lw 55209
c lw 55210
c lw 55211
c lw 55213
c lw 55214
c lw 55215
c lw 55217
c lw 55218
c lw 55219
c lw 55236
c lw 55237
c lw 55239
c lw 55256
c lw 55257
c lw 55258
c lw 55294
c lw 55309
c lw 55313
c lw 55315
c lw 55466
c lw 55467
c lw 55468
c lw 55469
c lw 55470
c lw 55473
c lw 55475
c lw 55489
c lw 55490
c lw 55491
c lw 55499
c lw 55500
c lw 55502
c lw 55508
c lw 55509
c lw 55510
c lw 55513
c lw 55518
c lw 55519
c lw 55520
c lw 55522
c lw 55523
c lw 55524
c lw 55525
c lw 55527
c lw 55530
c lw 55564
c lw 55567
c lw 55571
c lw 55572
c lw 55583
c lw 55584
c lw 55585
c lw 55586
c lw 55587
c lw 55588
c lw 55590
c lw 55591
c lw 55592
c lw 55593
c lw 55594
c lw 55595
c lw 55596
c lw 55597
c lw 55598
c lw 55599
c lw 55600
c lw 55601
c lw 55602
c lw 55603
c lw 55604
c lw 55605
c lw 55606
c lw 55607
c lw 55608
c lw 55618
c lw 55622
c lw 55623
c lw 55624
c lw 55626
c lw 55627
c lw 55631
c lw 55634
c lw 55715
c lw 55718
c lw 55719
c lw 55720
c lw 55721
c lw 55722
c lw 55723
c lw 55724
c lw 55725
c lw 55726
c lw 55727
c lw 55729
c lw 55730
c lw 55733
c lw 55749
c lw 55750
c lw 55751
c lw 55752
c lw 55754
c lw 55755
c lw 55756
c lw 55757
c lw 55758
c lw 55760
c lw 55761
c lw 55762
c lw 55763
c lw 55764
c lw 55765
c lw 55766
c lw 55767
c lw 55768
c lw 55780
c lw 55853
c lw 55856
c lw 55857
c lw 55858
c lw 55859
c lw 55862
c lw 55863
c lw 55864
c lw 55865
c lw 55866
c lw 55867
c lw 55875
c lw 55876
c lw 55877
c lw 55887
c lw 55888
c lw 55889
c lw 55890
c lw 55891
c lw 55892
c lw 55893
c lw 55896
c lw 55900
c lw 55903
c lw 55908
c lw 55912
c lw 55913
c lw 55915
c lw 55916
c lw 55917
c lw 55919
c lw 55921
c lw 55922
c lw 55923
c lw 55924
c lw 55925
c lw 55927
c lw 55929
c lw 55930
c lw 55931
c lw 55932
c lw 55933
c lw 55943
c lw 55944
c lw 55946
c lw 55949
c lw 55950
c lw 55957
c lw 55959
c lw 55960
c lw 55961
c lw 55962
c lw 55963
c lw 55964
c lw 55967
c lw 55968
c lw 55970
c lw 55971
c lw 55972
c lw 55973
c lw 55974
c lw 55975
c lw 55976
c lw 55977
c lw 55978
c lw 55979
c lw 55980
c lw 55981
c lw 55982
c lw 55983
c lw 55984
c lw 55985
c lw 55986
c lw 55988
c lw 55995
c lw 55996
c lw 55997
c lw 55998
c lw 56002
c lw 56003
c lw 56004
c lw 56005
c lw 56006
c lw 56007
c lw 56008
c lw 56011
c lw 56012
c lw 56039
c lw 56040
c lw 56041
c lw 56042
c lw 56043
c lw 56044
c lw 56045
c lw 56046
c lw 56047
c lw 56048
c lw 56049
c lw 56050
c lw 56051
c lw 56052
c lw 56053
c lw 56054
c lw 56055
c lw 56056
c lw 56057
c lw 56058
c lw 56061
c lw 56083
c lw 56084
c lw 56085
c lw 56086
c lw 56087
c lw 56088
c lw 56089
c lw 56090
c lw 56091
c lw 56092
c lw 56093
c lw 56094
c lw 56095
c lw 56096
c lw 56097
c lw 56098
c lw 56099
c lw 56100
c lw 56101
c lw 56105
c lw 56106
c lw 56107
c lw 56108
c lw 56109
c lw 56111
c lw 56112
c lw 56114
c lw 56116
c lw 56118
c lw 56120
c lw 56121
c lw 56122
c lw 56123
c lw 56124
c lw 56125
c lw 56126
c lw 56127
c lw 56130
c lw 56140
c lw 56141
c lw 56142
c lw 56143
c lw 56146
c lw 56147
c lw 56148
c lw 56149
c lw 56150
c lw 56151
c lw 56152
c lw 56153
c lw 56154
c lw 56156
c lw 56157
c lw 56158
c lw 56159
c lw 56182
c lw 56183
c lw 56184
c lw 56185
c lw 56186
c lw 56187
c lw 56188
c lw 56189
c lw 56190
c lw 56191
c lw 56192
c lw 56193
c lw 56194
c lw 56195
c lw 56196
c lw 56197
c lw 56198
c lw 56199
c lw 56200
c lw 56201
c lw 56202
c lw 56203
c lw 56204
c lw 56205
c lw 56206
c lw 56207
c lw 56208
c lw 56209
c lw 56210
c lw 56211
c lw 56212
c lw 56213
c lw 56214
c lw 56215
c lw 56216
c lw 56217
c lw 56218
c lw 56219
c lw 56220
c lw 56221
c lw 56222
c lw 56223
c lw 56224
c lw 56225
c lw 56226
c lw 56227
c lw 56228
c lw 56229
c lw 56230
c lw 56231
c lw 56232
c lw 56233
c lw 56234
c lw 56235
c lw 56236
c lw 56237
c lw 56238
c lw 56239
c lw 56240
c lw 56249
c lw 56251
c lw 56254
c lw 56269
c lw 56310
c lw 56332
c lw 56345
c lw 56347
c lw 56359
c lw 56376
c lw 56378
c lw 56379
c lw 56380
c lw 56381
c lw 56382
c lw 56384
c lw 56387
c lw 56388
c lw 56390
c lw 56391
c lw 56392
c lw 56394
c lw 56397
c lw 56398
c lw 56399
c lw 56400
c lw 56401
c lw 56402
c lw 56403
c lw 56404
c lw 56405
c lw 56440
c lw 56441
c lw 56442
c lw 56443
c lw 56444
c lw 56445
c lw 56446
c lw 56447
c lw 56448
c lw 56449
c lw 56453
c lw 56454
c lw 56455
c lw 56456
c lw 56457
c lw 56459
c lw 56464
c lw 56465
c lw 56466
c lw 56467
c lw 56492
c lw 56493
c lw 56494
c lw 56495
c lw 56496
c lw 56497
c lw 56498
c lw 56499
c lw 56500
c lw 56501
c lw 56514
c lw 56515
c lw 56516
c lw 56517
c lw 56518
c lw 56519
c lw 56520
c lw 56521
c lw 56522
c lw 56523
c lw 56524
c lw 56525
c lw 56526
c lw 56527
c lw 56528
c lw 56529
c lw 56530
c lw 56531
c lw 56532
c lw 56533
c lw 56534
c lw 56535
c lw 56536
c lw 56537
c lw 56538
c lw 56539
c lw 56540
c lw 56541
c lw 56542
c lw 56543
c lw 56544
c lw 56545
c lw 56546
c lw 56547
c lw 56548
c lw 56549
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 56590
c lw 56653
c lw 56654
c lw 56657
c lw 56662
c lw 56663
Killed
1814.778u 4.963s 30:20.88 99.9%	0+0k 0+0io 0pf+0w