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_KnotPipatsrisawat_random-net-60-2_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1385
c lw 2621
c lw 4366
c lw 5785
c lw 6029
c lw 6136
c lw 6215
c lw 6252
c lw 6663
c lw 6703
c lw 6764
c lw 7302
c lw 7541
c lw 8028
c lw 8436
c lw 8558
c lw 10076
c lw 10114
c lw 10781
c lw 10889
c lw 10926
c lw 10966
c lw 11235
c lw 11281
c lw 11287
c lw 11479
c lw 11482
c lw 11488
c lw 11529
c lw 11674
c lw 11828
c lw 11973
c lw 12081
c lw 12157
c lw 12189
c lw 12343
c lw 12710
c lw 12736
c lw 12741
c lw 12747
c lw 12754
c lw 12781
c lw 12900
c lw 12998
c lw 13013
c lw 13192
c lw 13220
c lw 13252
c lw 13315
c lw 13326
c lw 13328
c lw 13341
c lw 13356
c lw 13380
c lw 14222
c lw 14260
c lw 14477
c lw 14499
c lw 14512
c lw 14514
c lw 14523
c lw 14525
c lw 14538
c lw 14551
c lw 14557
c lw 14560
c lw 14566
c lw 14576
c lw 14582
c lw 14585
c lw 14586
c lw 14591
c lw 14598
c lw 14600
c lw 14616
c lw 14626
c lw 14631
c lw 14638
c lw 14652
c lw 14656
c lw 14679
c lw 14693
c lw 15463
c lw 15670
c lw 16087
c lw 16096
c lw 16144
c lw 16374
c lw 16654
c lw 16805
c lw 16823
c lw 16831
c lw 16840
c lw 16851
c lw 16853
c lw 18207
c lw 18284
c lw 18422
c lw 18426
c lw 18850
c lw 18927
c lw 18957
c lw 19005
c lw 19113
c lw 19116
c lw 19117
c lw 19118
c lw 19120
c lw 19122
c lw 19140
c lw 19149
c lw 19154
c lw 19155
c lw 19293
c lw 19307
c lw 19370
c lw 19477
c lw 19482
c lw 19719
c lw 19859
c lw 19897
c lw 19898
c lw 19899
c lw 19901
c lw 19967
c lw 19973
c lw 19989
c lw 20069
c lw 20178
c lw 20228
c lw 20421
c lw 20701
c lw 20737
c lw 20764
c lw 20793
c lw 20820
c lw 21077
c lw 21153
c lw 21215
c lw 21217
c lw 21242
c lw 21248
c lw 21275
c lw 21299
c lw 21318
c lw 21388
c lw 21392
c lw 21394
c lw 21395
c lw 21404
c lw 21410
c lw 21411
c lw 21424
c lw 21435
c lw 21440
c lw 21444
c lw 21456
c lw 21457
c lw 21460
c lw 21462
c lw 21463
c lw 21465
c lw 21468
c lw 21472
c lw 21473
c lw 21475
c lw 21479
c lw 21489
c lw 21592
c lw 22014
c lw 22043
c lw 22446
c lw 22484
c lw 22508
c lw 22519
c lw 22554
c lw 22578
c lw 22630
c lw 22634
c lw 22754
c lw 23059
c lw 23061
c lw 23066
c lw 23387
c lw 23526
c lw 23840
c lw 24188
c lw 24236
c lw 24272
c lw 24495
c lw 24711
c lw 24788
c lw 24987
c lw 25562
c lw 25676
c lw 25681
c lw 25688
c lw 25752
c lw 25817
c lw 25858
c lw 25880
c lw 25917
c lw 25934
c lw 25953
c lw 25969
c lw 25989
c lw 25996
c lw 26001
c lw 26052
c lw 26059
c lw 26061
c lw 26138
c lw 26501
c lw 27521
c lw 27535
c lw 27646
c lw 27659
c lw 27673
c lw 27682
c lw 27819
c lw 28457
c lw 28497
c lw 28635
c lw 28645
c lw 28675
c lw 28682
c lw 28687
c lw 28871
c lw 29021
c lw 29051
c lw 29605
c lw 29755
c lw 29792
c lw 29805
c lw 30588
c lw 30653
c lw 30764
c lw 31020
c lw 31086
c lw 31264
c lw 31277
c lw 31412
c lw 31435
c lw 31481
c lw 31527
c lw 31592
c lw 31593
c lw 31604
c lw 31758
c lw 31770
c lw 31849
c lw 31908
c lw 32031
c lw 32064
c lw 32095
c lw 32367
c lw 32389
c lw 32406
c lw 32697
c lw 32847
c lw 33538
c lw 33554
c lw 33811
c lw 33999
c lw 34171
c lw 34292
c lw 34734
c lw 35610
c lw 35649
c lw 36554
c lw 36895
c lw 37197
c lw 37207
c lw 37274
c lw 37276
c lw 37278
c lw 37284
c lw 37286
c lw 37288
c lw 37289
c lw 37290
c lw 37291
c lw 37292
c lw 37295
c lw 37298
c lw 37300
c lw 37301
c lw 37303
c lw 37306
c lw 37307
c lw 37313
c lw 37314
c lw 37319
c lw 37320
c lw 37326
c lw 37330
c lw 37335
c lw 37336
c lw 37338
c lw 37340
c lw 37342
c lw 37344
c lw 37346
c lw 37347
c lw 37351
c lw 37353
c lw 37354
c lw 37356
c lw 37358
c lw 37362
c lw 37367
c lw 37368
c lw 37369
c lw 37381
c lw 37382
c lw 37383
c lw 37384
c lw 37385
c lw 37386
c lw 37387
c lw 37388
c lw 37389
c lw 37391
c lw 37392
c lw 37402
c lw 37407
c lw 37419
c lw 37449
c lw 37463
c lw 37465
c lw 37467
c lw 37481
c lw 37490
c lw 37492
c lw 37493
c lw 37497
c lw 37498
c lw 37501
c lw 37502
c lw 37503
c lw 37504
c lw 37513
c lw 37514
c lw 37515
c lw 37516
c lw 37517
c lw 37518
c lw 37519
c lw 37520
c lw 37521
c lw 37522
c lw 37523
c lw 37524
c lw 37525
c lw 37526
c lw 37527
c lw 37528
c lw 37529
c lw 37530
c lw 37531
c lw 37532
c lw 37533
c lw 37534
c lw 37535
c lw 37536
c lw 37537
c lw 37538
c lw 37539
c lw 37540
c lw 37541
c lw 37542
c lw 37543
c lw 37544
c lw 38740
c lw 38741
c lw 39825
c lw 39913
c lw 39942
c lw 39951
c lw 39969
c lw 39978
c lw 39979
c lw 40007
c lw 40016
c lw 40017
c lw 40027
c lw 40035
c lw 40052
c lw 40095
c lw 40107
c lw 40158
c lw 40168
c lw 40189
c lw 40212
c lw 40265
c lw 40269
c lw 40291
c lw 40303
c lw 40417
c lw 40467
c lw 40635
c lw 40844
c lw 40936
c lw 41120
c lw 41123
c lw 41124
c lw 41232
c lw 41241
c lw 41248
c lw 41313
c lw 41450
c lw 41453
c lw 41454
c lw 41461
c lw 41462
c lw 41463
c lw 41464
c lw 41475
c lw 41487
c lw 41506
c lw 41529
c lw 41540
c lw 41544
c lw 41550
c lw 41552
c lw 41560
c lw 41567
c lw 41573
c lw 41583
c lw 41590
c lw 41648
c lw 41651
c lw 41652
c lw 41692
c lw 41760
c lw 41763
c lw 41822
c lw 41836
c lw 41837
c lw 41853
c lw 41900
c lw 41907
c lw 41908
c lw 41916
c lw 42016
c lw 42056
c lw 42057
c lw 42060
c lw 42076
c lw 42118
c lw 42128
c lw 42134
c lw 42141
c lw 42149
c lw 42151
c lw 42157
c lw 42161
c lw 42172
c lw 42183
c lw 42184
c lw 42195
c lw 42213
c lw 42214
c lw 42226
c lw 42237
c lw 42246
c lw 42247
c lw 42248
c lw 42257
c lw 42266
c lw 42281
c lw 42291
c lw 42292
c lw 42293
c lw 42300
c lw 42302
c lw 42303
c lw 42308
c lw 42314
c lw 42369
c lw 42370
c lw 42371
c lw 42372
c lw 42373
c lw 42374
c lw 42386
c lw 42431
c lw 42468
c lw 42482
c lw 42483
c lw 42488
c lw 42489
c lw 42490
c lw 42504
c lw 42505
c lw 42507
c lw 42527
c lw 42749
c lw 42757
c lw 42908
c lw 43125
c lw 43222
c lw 43223
c lw 43224
c lw 43225
c lw 43226
c lw 43227
c lw 43230
c lw 43231
c lw 43232
c lw 43233
c lw 43234
c lw 43235
c lw 43236
c lw 43237
c lw 43238
c lw 43239
c lw 43240
c lw 43243
c lw 43259
c lw 43320
c lw 43350
c lw 43358
c lw 43429
c lw 43430
c lw 43431
c lw 43432
c lw 43433
c lw 43434
c lw 43448
c lw 43449
c lw 43451
c lw 43489
c lw 43572
c lw 43895
c lw 43922
c lw 44024
c lw 44150
c lw 44178
c lw 44402
c lw 44706
c lw 44736
c lw 44775
c lw 44869
c lw 44901
c lw 44909
c lw 44944
c lw 44976
c lw 45093
c lw 45115
c lw 45120
c lw 45149
c lw 45203
c lw 45230
c lw 45303
c lw 45367
c lw 45368
c lw 45401
c lw 45648
c lw 45661
c lw 45690
c lw 45711
c lw 45791
c lw 45826
c lw 45854
c lw 45954
c lw 45966
c lw 45997
c lw 46059
c lw 46097
c lw 46196
c lw 46199
c lw 46230
c lw 46476
c lw 46478
c lw 46511
c lw 46565
c lw 46597
c lw 46605
c lw 46687
c lw 46702
c lw 46754
c lw 46758
c lw 46771
c lw 46781
c lw 46785
c lw 46800
c lw 46821
c lw 46858
c lw 46876
c lw 46884
c lw 46885
c lw 46901
c lw 47006
c lw 47367
c lw 47377
c lw 47383
c lw 47386
c lw 47472
c lw 47475
c lw 47720
c lw 47723
c lw 47745
c lw 47747
c lw 47755
c lw 47824
c lw 47928
c lw 47938
c lw 47941
c lw 47944
c lw 47946
c lw 47948
c lw 47950
c lw 47953
c lw 47954
c lw 47960
c lw 47963
c lw 48014
c lw 48015
c lw 48017
c lw 48020
c lw 48021
Killed
1815.568u 4.177s 30:19.91 99.9%	0+0k 0+0io 0pf+0w