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-80-2_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1307
c lw 2751
c lw 2773
c lw 4366
c lw 5520
c lw 7313
c lw 7318
c lw 7715
c lw 8623
c lw 9084
c lw 9526
c lw 9545
c lw 9768
c lw 9983
c lw 9988
c lw 10172
c lw 10411
c lw 10482
c lw 10902
c lw 11130
c lw 11254
c lw 11536
c lw 11580
c lw 11744
c lw 11786
c lw 11821
c lw 11848
c lw 11867
c lw 11942
c lw 11974
c lw 12063
c lw 12149
c lw 12175
c lw 12795
c lw 12807
c lw 12830
c lw 12902
c lw 12929
c lw 13021
c lw 13026
c lw 13030
c lw 13082
c lw 13105
c lw 13117
c lw 13469
c lw 13518
c lw 13559
c lw 13717
c lw 13725
c lw 13732
c lw 13779
c lw 13806
c lw 13808
c lw 13809
c lw 13829
c lw 13830
c lw 13841
c lw 13895
c lw 13936
c lw 13953
c lw 13957
c lw 13966
c lw 13970
c lw 13975
c lw 13980
c lw 13983
c lw 13984
c lw 13990
c lw 13994
c lw 13998
c lw 14010
c lw 14018
c lw 14022
c lw 14042
c lw 14045
c lw 14059
c lw 14063
c lw 14068
c lw 14090
c lw 14097
c lw 14099
c lw 14100
c lw 14111
c lw 14112
c lw 14117
c lw 14120
c lw 14121
c lw 14132
c lw 14137
c lw 14140
c lw 14143
c lw 14148
c lw 14149
c lw 14152
c lw 14154
c lw 14156
c lw 14157
c lw 14163
c lw 14164
c lw 14166
c lw 14168
c lw 14177
c lw 14180
c lw 14181
c lw 14189
c lw 14190
c lw 14193
c lw 14194
c lw 14199
c lw 14205
c lw 14218
c lw 14236
c lw 14239
c lw 14240
c lw 14294
c lw 14301
c lw 14305
c lw 14308
c lw 14317
c lw 14319
c lw 14321
c lw 14322
c lw 14325
c lw 14326
c lw 14328
c lw 14329
c lw 14331
c lw 14333
c lw 14336
c lw 14337
c lw 14342
c lw 14361
c lw 14362
c lw 14363
c lw 14374
c lw 14380
c lw 14395
c lw 14398
c lw 14401
c lw 14406
c lw 14417
c lw 14418
c lw 14421
c lw 14426
c lw 14427
c lw 14428
c lw 14429
c lw 14430
c lw 14436
c lw 14438
c lw 14439
c lw 14441
c lw 14448
c lw 14453
c lw 14454
c lw 14480
c lw 14507
c lw 14509
c lw 14512
c lw 14521
c lw 14525
c lw 14530
c lw 14535
c lw 14538
c lw 14542
c lw 14546
c lw 14550
c lw 14551
c lw 14555
c lw 14557
c lw 14558
c lw 14569
c lw 14570
c lw 14573
c lw 14574
c lw 14575
c lw 14581
c lw 14583
c lw 14584
c lw 14586
c lw 14587
c lw 14591
c lw 14592
c lw 14596
c lw 14618
c lw 14625
c lw 14627
c lw 14628
c lw 14639
c lw 14640
c lw 14645
c lw 14648
c lw 14649
c lw 14660
c lw 14664
c lw 14665
c lw 14666
c lw 14667
c lw 14668
c lw 14669
c lw 14670
c lw 14671
c lw 14672
c lw 14673
c lw 14674
c lw 14676
c lw 14677
c lw 14680
c lw 14681
c lw 14682
c lw 14684
c lw 14685
c lw 14689
c lw 14691
c lw 14692
c lw 14694
c lw 14698
c lw 14702
c lw 14729
c lw 14731
c lw 14732
c lw 14741
c lw 14745
c lw 14749
c lw 14750
c lw 14751
c lw 14754
c lw 14756
c lw 14757
c lw 14758
c lw 14760
c lw 14761
c lw 14763
c lw 14765
c lw 14766
c lw 14767
c lw 14769
c lw 14770
c lw 14771
c lw 14772
c lw 14774
c lw 14775
c lw 14776
c lw 14777
c lw 14778
c lw 14780
c lw 14781
c lw 14782
c lw 14783
c lw 14784
c lw 14785
c lw 14786
c lw 14789
c lw 14791
c lw 14793
c lw 14794
c lw 14795
c lw 14796
c lw 14799
c lw 14803
c lw 14808
c lw 14809
c lw 14810
c lw 14811
c lw 14812
c lw 14813
c lw 14815
c lw 14816
c lw 14817
c lw 14818
c lw 14819
c lw 14820
c lw 14821
c lw 14822
c lw 14824
c lw 14825
c lw 15189
c lw 15190
c lw 15191
c lw 15192
c lw 15193
c lw 15194
c lw 15195
c lw 15196
c lw 15197
c lw 15198
c lw 15199
c lw 15200
c lw 15201
c lw 15203
c lw 15204
c lw 15205
c lw 15206
c lw 15207
c lw 15208
c lw 15539
c lw 15566
c lw 15587
c lw 15619
c lw 15692
c lw 15703
c lw 15704
c lw 15705
c lw 15706
c lw 15707
c lw 15708
c lw 15709
c lw 15710
c lw 15711
c lw 15712
c lw 15713
c lw 15714
c lw 15715
c lw 15716
c lw 15717
c lw 15718
c lw 15719
c lw 15720
c lw 15761
c lw 15762
c lw 15763
c lw 15764
c lw 15765
c lw 15766
c lw 15767
c lw 15768
c lw 15769
c lw 15770
c lw 15771
c lw 15772
c lw 15773
c lw 15774
c lw 15807
c lw 16282
c lw 16294
c lw 16406
c lw 16407
c lw 16408
c lw 16409
c lw 16410
c lw 16411
c lw 16412
c lw 16414
c lw 16416
c lw 16417
c lw 16418
c lw 16419
c lw 16420
c lw 16421
c lw 16422
c lw 16423
c lw 16424
c lw 16425
c lw 16426
c lw 16427
c lw 16428
c lw 16429
c lw 16525
c lw 16526
c lw 16527
c lw 16528
c lw 16530
c lw 16532
c lw 16533
c lw 16534
c lw 16535
c lw 16537
c lw 16538
c lw 16574
c lw 16598
c lw 16763
c lw 16788
c lw 16789
c lw 17224
c lw 17272
c lw 17324
c lw 17408
c lw 17449
c lw 17457
c lw 17511
c lw 17512
c lw 17513
c lw 17523
c lw 17524
c lw 17525
c lw 17555
c lw 17645
c lw 17656
c lw 17671
c lw 17675
c lw 18648
c lw 18930
c lw 18984
c lw 19074
c lw 19458
c lw 19656
c lw 19662
c lw 19684
c lw 19695
c lw 19725
c lw 19737
c lw 19878
c lw 20698
c lw 21289
c lw 21736
c lw 21928
c lw 21971
c lw 22067
c lw 22073
c lw 22075
c lw 22109
c lw 22117
c lw 22281
c lw 22311
c lw 22488
c lw 22546
c lw 22650
c lw 22690
c lw 22897
c lw 23172
c lw 23348
c lw 24218
c lw 24304
c lw 24625
c lw 24655
c lw 24841
c lw 24956
c lw 25019
c lw 25099
c lw 25132
c lw 25141
c lw 25202
c lw 25288
c lw 25608
c lw 25721
c lw 25921
c lw 26002
c lw 26028
c lw 26050
c lw 26056
c lw 26136
c lw 26166
c lw 26302
c lw 26385
c lw 26464
c lw 26521
c lw 26541
c lw 26568
c lw 26608
c lw 27465
c lw 27828
c lw 27902
c lw 28114
c lw 28144
c lw 28228
c lw 28274
c lw 28426
c lw 28658
c lw 28663
c lw 28680
c lw 28688
c lw 29185
c lw 29294
c lw 29368
c lw 29369
c lw 29373
c lw 29509
c lw 29511
c lw 29514
c lw 29571
c lw 29575
c lw 29620
c lw 29655
c lw 29663
c lw 29680
c lw 29764
c lw 29820
c lw 29838
c lw 29839
c lw 29843
c lw 29865
c lw 30345
c lw 30548
c lw 31225
c lw 31591
c lw 31691
c lw 31720
c lw 31808
c lw 31811
c lw 31814
c lw 31829
c lw 31832
c lw 31836
c lw 31837
c lw 31866
c lw 31946
c lw 32082
c lw 32108
c lw 32147
c lw 32151
c lw 32156
c lw 32515
c lw 32780
c lw 32987
c lw 33057
c lw 33179
c lw 33241
c lw 33324
c lw 33360
c lw 33366
c lw 33418
c lw 33648
c lw 33716
c lw 33722
c lw 33731
c lw 33737
c lw 33758
c lw 33809
c lw 33824
c lw 33855
c lw 33868
c lw 33908
c lw 33965
c lw 34021
c lw 34104
c lw 34126
c lw 34133
c lw 34195
c lw 34313
c lw 34317
c lw 34324
c lw 34334
c lw 34339
c lw 34343
c lw 34350
c lw 34356
c lw 34360
c lw 34365
c lw 34369
c lw 34372
c lw 34375
c lw 34376
c lw 34379
c lw 35002
c lw 35127
c lw 35247
c lw 36034
c lw 36083
c lw 36985
c lw 37294
c lw 37396
c lw 37407
c lw 37424
c lw 37479
c lw 37495
c lw 37514
c lw 37515
c lw 37530
c lw 37556
c lw 37564
c lw 37570
c lw 37584
c lw 37592
c lw 37601
c lw 37602
c lw 37636
c lw 37746
c lw 37926
c lw 38155
c lw 38275
c lw 38307
c lw 38356
c lw 38575
c lw 38585
c lw 38587
c lw 38607
c lw 38674
c lw 38690
c lw 38691
c lw 38696
c lw 38700
c lw 38708
c lw 38710
c lw 38716
c lw 38717
c lw 38723
c lw 38724
c lw 38729
c lw 38732
c lw 38734
c lw 38738
c lw 38741
c lw 38749
c lw 38751
c lw 38754
c lw 38758
c lw 38759
c lw 38772
c lw 38778
c lw 38785
c lw 38797
c lw 38801
c lw 38805
c lw 38815
c lw 38816
c lw 38820
c lw 38831
c lw 38833
c lw 38848
c lw 38864
c lw 38880
c lw 38882
c lw 38885
c lw 38897
c lw 38898
c lw 38908
c lw 38911
c lw 38931
c lw 38956
c lw 38969
c lw 38983
c lw 39143
c lw 39146
c lw 39147
c lw 39148
c lw 39161
c lw 39361
c lw 39439
c lw 39599
c lw 39816
c lw 39865
c lw 40230
c lw 40407
c lw 40431
c lw 40677
c lw 40798
c lw 40851
c lw 40966
c lw 41064
c lw 41085
c lw 41135
c lw 41568
c lw 41780
c lw 42919
c lw 43099
c lw 43112
c lw 43120
c lw 43653
c lw 43801
c lw 43913
c lw 44016
c lw 44065
c lw 44089
c lw 44206
c lw 44398
c lw 44579
c lw 44995
c lw 45249
c lw 45869
c lw 46340
c lw 46452
c lw 46620
c lw 46844
c lw 46847
c lw 46852
c lw 46857
c lw 46859
c lw 46861
c lw 46865
c lw 46881
c lw 47633
c lw 47693
c lw 47721
c lw 47738
c lw 47887
c lw 47951
c lw 47962
c lw 48007
c lw 48009
c lw 48023
c lw 48049
c lw 48106
c lw 48145
c lw 48698
c lw 48819
c lw 48907
c lw 48960
c lw 49166
c lw 49219
c lw 49223
c lw 50289
c lw 50326
c lw 50371
c lw 50373
c lw 50447
c lw 50478
c lw 50657
c lw 50659
c lw 50673
c lw 50682
c lw 50951
c lw 50999
c lw 51002
c lw 51134
c lw 51258
c lw 51263
c lw 51275
c lw 51277
c lw 51307
c lw 51344
c lw 51347
c lw 51354
c lw 51371
c lw 51457
c lw 51462
c lw 51515
c lw 51517
c lw 51519
c lw 51572
c lw 51608
c lw 51614
c lw 51626
c lw 51657
c lw 51661
c lw 51757
c lw 51778
c lw 51785
c lw 51794
c lw 51804
c lw 51805
c lw 51807
c lw 51813
c lw 51816
c lw 51841
c lw 51843
c lw 51851
c lw 51857
c lw 51860
c lw 51865
c lw 51866
c lw 51867
c lw 51901
c lw 51904
c lw 51930
c lw 51946
c lw 51948
c lw 51958
c lw 52026
c lw 52029
c lw 52072
c lw 52077
c lw 52085
c lw 52093
c lw 52094
c lw 52096
c lw 52098
c lw 52116
c lw 52126
c lw 52128
c lw 52140
c lw 52157
c lw 52311
c lw 52353
c lw 52392
c lw 52632
c lw 52680
c lw 53096
c lw 53101
c lw 53126
c lw 53370
c lw 53492
c lw 53718
c lw 53719
c lw 53720
c lw 53723
c lw 53728
c lw 53731
c lw 53735
c lw 53743
c lw 53745
c lw 53747
c lw 53749
c lw 53750
c lw 53752
c lw 53754
c lw 53755
c lw 53757
c lw 53760
c lw 53762
c lw 53763
c lw 53764
c lw 53765
c lw 53766
c lw 53767
c lw 53768
c lw 53769
c lw 53770
c lw 53771
c lw 53772
c lw 53773
c lw 53774
c lw 53973
c lw 54022
c lw 54149
c lw 54278
c lw 54362
c lw 54770
c lw 55148
c lw 55196
c lw 55254
c lw 55833
c lw 55857
c lw 56126
c lw 57055
c lw 57127
c lw 57253
c lw 57297
c lw 57347
c lw 57413
c lw 57477
c lw 57496
c lw 57536
c lw 57540
c lw 57910
c lw 58185
c lw 58205
c lw 58327
c lw 58358
c lw 58362
c lw 58656
c lw 59062
c lw 59142
c lw 59230
c lw 59363
c lw 59508
c lw 59520
c lw 60053
c lw 60071
c lw 60579
c lw 60641
c lw 60653
c lw 60745
c lw 60889
c lw 60907
c lw 60925
c lw 61059
c lw 61162
c lw 61212
c lw 61430
c lw 61433
c lw 61506
c lw 61523
c lw 61883
c lw 61960
c lw 62493
c lw 62621
c lw 62745
c lw 62786
c lw 62824
c lw 62828
c lw 62924
c lw 62935
c lw 63265
c lw 63348
c lw 63440
c lw 63470
c lw 63476
c lw 63477
c lw 63559
c lw 63563
c lw 63636
c lw 63642
c lw 63660
c lw 63698
c lw 63702
c lw 63798
c lw 63882
c lw 63958
c lw 64039
c lw 64093
c lw 64094
c lw 64100
c lw 64112
c lw 64118
c lw 64136
c lw 64174
c lw 64178
c lw 64274
c lw 64320
c lw 64404
c lw 64406
c lw 64444
c lw 64454
c lw 64498
c lw 64524
c lw 64528
c lw 64936
c lw 65093
c lw 65215
c lw 65282
c lw 65286
c lw 65312
c lw 65356
c lw 65366
c lw 65404
c lw 65406
c lw 65490
c lw 65533
c lw 65536
c lw 65632
c lw 65636
c lw 65674
c lw 65692
c lw 65698
c lw 65710
c lw 65716
c lw 65717
c lw 65745
c lw 65771
c lw 65953
c lw 66020
c lw 66235
c lw 66902
c lw 66968
c lw 67361
c lw 67605
c lw 67615
c lw 67637
c lw 68222
c lw 68238
c lw 68320
c lw 68722
c lw 68900
c lw 69033
c lw 69431
c lw 69557
c lw 69594
c lw 69682
c lw 69732
c lw 69778
c lw 69817
c lw 69976
c lw 69996
c lw 70010
c lw 70041
c lw 70087
c lw 70200
c lw 70210
c lw 70277
c lw 70304
c lw 70307
c lw 70308
c lw 70310
c lw 70321
c lw 70322
c lw 70328
c lw 70329
c lw 70334
c lw 70346
c lw 70357
c lw 70378
c lw 70383
c lw 70387
c lw 70388
c lw 70394
c lw 70402
c lw 70405
c lw 70406
c lw 70408
c lw 70409
c lw 70419
c lw 70421
c lw 70424
c lw 70427
c lw 70439
c lw 70441
c lw 70464
c lw 70465
c lw 70466
c lw 70467
c lw 70468
Killed
1804.588u 15.144s 30:21.78 99.8%	0+0k 0+0io 0pf+0w