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-100-2_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 946
c lw 1904
c lw 2065
c lw 2872
c lw 3381
c lw 3444
c lw 4703
c lw 5515
c lw 7011
c lw 7501
c lw 8849
c lw 10352
c lw 11232
c lw 13424
c lw 13632
c lw 14048
c lw 15289
c lw 15360
c lw 16125
c lw 16194
c lw 16473
c lw 16821
c lw 17427
c lw 17857
c lw 17875
c lw 18009
c lw 19038
c lw 19057
c lw 19738
c lw 20017
c lw 20117
c lw 20243
c lw 20261
c lw 20331
c lw 20502
c lw 20609
c lw 20927
c lw 20941
c lw 21123
c lw 21324
c lw 21413
c lw 21829
c lw 21908
c lw 21977
c lw 22316
c lw 22480
c lw 22551
c lw 22561
c lw 22610
c lw 22678
c lw 22802
c lw 23010
c lw 23037
c lw 23628
c lw 23832
c lw 23923
c lw 23956
c lw 24040
c lw 24042
c lw 24192
c lw 24207
c lw 24382
c lw 24586
c lw 24762
c lw 24818
c lw 24860
c lw 24968
c lw 25020
c lw 25055
c lw 25061
c lw 25066
c lw 25072
c lw 25230
c lw 25258
c lw 25433
c lw 25450
c lw 25822
c lw 25829
c lw 25898
c lw 26011
c lw 26017
c lw 26023
c lw 26028
c lw 26053
c lw 26058
c lw 26157
c lw 26884
c lw 26892
c lw 26898
c lw 26903
c lw 26905
c lw 26916
c lw 26970
c lw 27104
c lw 27115
c lw 27361
c lw 27737
c lw 27793
c lw 27870
c lw 27901
c lw 27977
c lw 28167
c lw 28243
c lw 28284
c lw 28679
c lw 29116
c lw 29160
c lw 29416
c lw 29425
c lw 29427
c lw 29671
c lw 29838
c lw 30161
c lw 30518
c lw 30547
c lw 30555
c lw 31487
c lw 31535
c lw 31564
c lw 31680
c lw 31687
c lw 31688
c lw 31717
c lw 31811
c lw 31828
c lw 31854
c lw 32334
c lw 32427
c lw 32515
c lw 32739
c lw 32937
c lw 33049
c lw 33097
c lw 33402
c lw 33410
c lw 33415
c lw 33421
c lw 33427
c lw 33432
c lw 33441
c lw 33457
c lw 33462
c lw 33499
c lw 33500
c lw 33505
c lw 33511
c lw 33512
c lw 33570
c lw 33683
c lw 33693
c lw 33723
c lw 33860
c lw 33933
c lw 33988
c lw 34013
c lw 34016
c lw 35137
c lw 35309
c lw 35442
c lw 35474
c lw 35514
c lw 35515
c lw 35516
c lw 35525
c lw 35600
c lw 35652
c lw 35671
c lw 35730
c lw 35743
c lw 35763
c lw 35971
c lw 35995
c lw 35999
c lw 36025
c lw 36162
c lw 36235
c lw 36260
c lw 36284
c lw 36290
c lw 36315
c lw 36318
c lw 36358
c lw 36359
c lw 36360
c lw 36369
c lw 36372
c lw 36400
c lw 36410
c lw 36442
c lw 36468
c lw 36567
c lw 36620
c lw 36721
c lw 36846
c lw 36862
c lw 36900
c lw 37024
c lw 37050
c lw 37063
c lw 37149
c lw 37202
c lw 37247
c lw 37287
c lw 37298
c lw 37314
c lw 37320
c lw 37323
c lw 37362
c lw 37371
c lw 37428
c lw 37703
c lw 37734
c lw 37760
c lw 37894
c lw 37932
c lw 37958
c lw 37966
c lw 37995
c lw 38011
c lw 38330
c lw 38492
c lw 38539
c lw 38556
c lw 38600
c lw 38660
c lw 38719
c lw 38722
c lw 38731
c lw 38751
c lw 38756
c lw 38759
c lw 38785
c lw 38816
c lw 38853
c lw 38856
c lw 38865
c lw 38871
c lw 38884
c lw 38887
c lw 38892
c lw 38895
c lw 38900
c lw 38901
c lw 38909
c lw 38917
c lw 38928
c lw 38929
c lw 38934
c lw 38937
c lw 38953
c lw 38964
c lw 38982
c lw 38995
c lw 39004
c lw 39010
c lw 39020
c lw 39030
c lw 39031
c lw 39033
c lw 39036
c lw 39037
c lw 39040
c lw 39045
c lw 39083
c lw 39109
c lw 39148
c lw 39162
c lw 39165
c lw 39174
c lw 39186
c lw 39201
c lw 39276
c lw 39302
c lw 39307
c lw 39333
c lw 39370
c lw 39373
c lw 39379
c lw 39438
c lw 39498
c lw 39507
c lw 39510
c lw 39511
c lw 39516
c lw 39519
c lw 39524
c lw 39527
c lw 39531
c lw 39540
c lw 39546
c lw 39549
c lw 39550
c lw 39554
c lw 39555
c lw 39562
c lw 39563
c lw 39565
c lw 39568
c lw 39575
c lw 39581
c lw 39586
c lw 39590
c lw 39603
c lw 39607
c lw 39621
c lw 39632
c lw 39633
c lw 39648
c lw 39651
c lw 39656
c lw 39657
c lw 39668
c lw 39671
c lw 39676
c lw 39679
c lw 39680
c lw 39683
c lw 39684
c lw 39685
c lw 39691
c lw 39694
c lw 39731
c lw 39757
c lw 39762
c lw 39788
c lw 39863
c lw 39878
c lw 39890
c lw 39899
c lw 39902
c lw 39914
c lw 39961
c lw 40030
c lw 40031
c lw 40034
c lw 40035
c lw 40038
c lw 40040
c lw 40041
c lw 40043
c lw 40046
c lw 40049
c lw 40051
c lw 40053
c lw 40056
c lw 40057
c lw 40059
c lw 40061
c lw 40064
c lw 40065
c lw 40066
c lw 40076
c lw 40079
c lw 40081
c lw 40083
c lw 40084
c lw 40085
c lw 40088
c lw 40090
c lw 40091
c lw 40092
c lw 40097
c lw 40101
c lw 40103
c lw 40108
c lw 40109
c lw 40111
c lw 40112
c lw 40115
c lw 40117
c lw 40119
c lw 40121
c lw 40122
c lw 40124
c lw 40126
c lw 40127
c lw 40196
c lw 40202
c lw 40228
c lw 40233
c lw 40243
c lw 40255
c lw 40258
c lw 40259
c lw 40267
c lw 40279
c lw 40291
c lw 40294
c lw 40296
c lw 40297
c lw 40308
c lw 40311
c lw 40316
c lw 40319
c lw 40320
c lw 40323
c lw 40324
c lw 40325
c lw 40326
c lw 40329
c lw 40330
c lw 40333
c lw 40335
c lw 40336
c lw 40338
c lw 40341
c lw 40344
c lw 40346
c lw 40348
c lw 40351
c lw 40352
c lw 40354
c lw 40356
c lw 40359
c lw 40360
c lw 40369
c lw 40395
c lw 40400
c lw 40403
c lw 40411
c lw 40413
c lw 40416
c lw 40423
c lw 40426
c lw 40429
c lw 40434
c lw 40438
c lw 40445
c lw 40451
c lw 40455
c lw 40463
c lw 40466
c lw 40469
c lw 40472
c lw 40476
c lw 40480
c lw 40481
c lw 40486
c lw 40493
c lw 40494
c lw 40495
c lw 40496
c lw 40498
c lw 40499
c lw 40500
c lw 40501
c lw 40502
c lw 40504
c lw 40505
c lw 40506
c lw 40507
c lw 40511
c lw 40512
c lw 40515
c lw 40516
c lw 40519
c lw 40521
c lw 40524
c lw 40526
c lw 40606
c lw 40607
c lw 40608
c lw 40611
c lw 40612
c lw 40613
c lw 40619
c lw 40622
c lw 40631
c lw 40636
c lw 40638
c lw 40641
c lw 40648
c lw 40654
c lw 40659
c lw 40663
c lw 40664
c lw 40676
c lw 40680
c lw 40685
c lw 40690
c lw 40694
c lw 40705
c lw 40706
c lw 40716
c lw 40721
c lw 40723
c lw 40724
c lw 40729
c lw 40730
c lw 40741
c lw 40744
c lw 40749
c lw 40752
c lw 40753
c lw 40756
c lw 40757
c lw 40758
c lw 40764
c lw 40767
c lw 40785
c lw 40948
c lw 41641
c lw 41899
c lw 41958
c lw 42247
c lw 42259
c lw 42276
c lw 42277
c lw 42315
c lw 42894
c lw 43362
c lw 43425
c lw 43463
c lw 43501
c lw 43502
c lw 43519
c lw 43531
c lw 43533
c lw 43547
c lw 43872
c lw 43949
c lw 44139
c lw 44146
c lw 44435
c lw 44436
c lw 44444
c lw 44447
c lw 44452
c lw 44454
c lw 44754
c lw 44760
c lw 44775
c lw 44782
c lw 44787
c lw 44796
c lw 44799
c lw 44811
c lw 44836
c lw 44838
c lw 44887
c lw 45301
c lw 45348
c lw 45417
c lw 45436
c lw 45462
c lw 45467
c lw 45493
c lw 45539
c lw 45568
c lw 45583
c lw 45586
c lw 45595
c lw 45604
c lw 45607
c lw 45619
c lw 45656
c lw 45661
c lw 45672
c lw 45897
c lw 45938
c lw 45988
c lw 46114
c lw 46137
c lw 46202
c lw 46277
c lw 46342
c lw 46361
c lw 46368
c lw 46421
c lw 46443
c lw 46462
c lw 46527
c lw 46529
c lw 46541
c lw 46542
c lw 46543
c lw 46544
c lw 46545
c lw 46546
c lw 46547
c lw 46548
c lw 46550
c lw 46551
c lw 46553
c lw 46554
c lw 46556
c lw 46559
c lw 46560
c lw 46562
c lw 46563
c lw 46564
c lw 46565
c lw 46567
c lw 46568
c lw 46569
c lw 46570
c lw 46571
c lw 46574
c lw 46575
c lw 46576
c lw 46578
c lw 46579
c lw 46581
c lw 46582
c lw 46583
c lw 46584
c lw 46585
c lw 46586
c lw 46587
c lw 46588
c lw 46590
c lw 46595
c lw 46597
c lw 46599
c lw 46600
c lw 46603
c lw 46606
c lw 46610
c lw 46611
c lw 46612
c lw 46615
c lw 46617
c lw 46623
c lw 46626
c lw 46629
c lw 46630
c lw 46631
c lw 46639
c lw 46734
c lw 46750
c lw 46895
c lw 46983
c lw 47802
c lw 47881
c lw 47908
c lw 48480
c lw 48510
c lw 48541
c lw 48542
c lw 48545
c lw 48546
c lw 48547
c lw 48548
c lw 48553
c lw 48557
c lw 48558
c lw 48569
c lw 48570
c lw 48571
c lw 48572
c lw 48573
c lw 49656
c lw 49872
c lw 50101
c lw 50177
c lw 50260
c lw 50432
c lw 50470
c lw 50651
c lw 50722
c lw 50771
c lw 50804
c lw 50908
c lw 50926
c lw 50975
c lw 51013
c lw 51030
c lw 51042
c lw 51072
c lw 51080
c lw 51081
c lw 51116
c lw 51126
c lw 51127
c lw 51139
c lw 51152
c lw 51156
c lw 51157
c lw 51165
c lw 51189
c lw 51195
c lw 51201
c lw 51249
c lw 51313
c lw 51347
c lw 51941
c lw 52068
c lw 52185
c lw 52315
c lw 52478
c lw 52525
c lw 52533
c lw 53545
c lw 53807
c lw 53872
c lw 54040
c lw 54046
c lw 54065
c lw 54266
c lw 54375
c lw 54483
c lw 54484
c lw 54485
c lw 54486
c lw 54487
c lw 54488
c lw 54489
c lw 54510
c lw 54511
c lw 54523
c lw 54537
c lw 54540
c lw 54599
c lw 54627
c lw 54690
c lw 54754
c lw 54836
c lw 55321
c lw 55345
c lw 55356
c lw 55361
c lw 55396
c lw 55458
c lw 55522
c lw 55918
c lw 56003
c lw 56079
c lw 56129
c lw 56215
c lw 56274
c lw 56284
c lw 56285
c lw 56291
c lw 56296
c lw 56320
c lw 56328
c lw 56329
c lw 56333
c lw 56346
c lw 56353
c lw 56360
c lw 56394
c lw 56403
c lw 56433
c lw 56439
c lw 56443
c lw 56444
c lw 56445
c lw 56449
c lw 56450
c lw 56458
c lw 56459
c lw 56460
c lw 56463
c lw 56464
c lw 56466
c lw 56467
c lw 56471
c lw 56472
c lw 56476
c lw 56478
c lw 56479
c lw 56480
c lw 56483
c lw 56496
c lw 56520
c lw 56528
c lw 56529
c lw 56533
c lw 56534
c lw 56538
c lw 56545
c lw 56553
c lw 56587
c lw 56595
c lw 56598
c lw 56605
c lw 56615
c lw 56657
c lw 56671
c lw 56703
c lw 56908
c lw 57755
c lw 57844
c lw 58218
c lw 58879
c lw 59006
c lw 59045
c lw 59053
c lw 59069
c lw 59086
c lw 59114
c lw 59985
c lw 60007
c lw 60070
c lw 60079
c lw 60089
c lw 60172
c lw 60186
c lw 60512
c lw 60565
c lw 60696
c lw 60733
c lw 60988
c lw 61098
c lw 61217
c lw 61435
c lw 61465
c lw 61530
c lw 61791
c lw 62035
c lw 62136
c lw 62146
c lw 62502
c lw 62561
c lw 62884
c lw 63116
c lw 63161
c lw 63171
c lw 63581
c lw 63658
c lw 63754
c lw 63862
c lw 63938
c lw 63974
c lw 64030
c lw 64054
c lw 64620
c lw 64734
c lw 64740
c lw 64757
c lw 64768
c lw 64769
c lw 64770
c lw 64771
c lw 64772
c lw 64773
c lw 64774
c lw 64862
c lw 65164
c lw 65445
c lw 65553
c lw 65636
c lw 65766
c lw 65832
c lw 65891
c lw 65983
c lw 65986
c lw 66078
c lw 66247
c lw 66348
c lw 66370
c lw 66471
c lw 66528
c lw 66702
c lw 66796
c lw 66891
c lw 67051
c lw 68237
c lw 68306
c lw 68395
c lw 68398
c lw 68495
c lw 68680
c lw 68970
c lw 68989
c lw 69046
c lw 69074
c lw 69588
c lw 69942
c lw 69977
c lw 70047
c lw 70053
c lw 70162
c lw 70327
c lw 70368
c lw 70391
c lw 70577
c lw 70586
c lw 70616
c lw 70798
c lw 70887
c lw 70899
c lw 70952
c lw 70959
c lw 71037
c lw 71057
c lw 71077
c lw 71122
c lw 71134
c lw 71162
c lw 71182
c lw 71406
c lw 71881
c lw 72010
c lw 72012
c lw 72061
c lw 72071
c lw 72081
c lw 72112
c lw 72124
c lw 72316
c lw 72924
c lw 74042
c lw 74293
c lw 74315
c lw 74328
c lw 74367
c lw 74412
c lw 74424
c lw 74485
c lw 74486
c lw 74487
c lw 74499
c lw 74527
c lw 74529
c lw 74536
c lw 74544
c lw 74566
c lw 74576
c lw 74638
c lw 74661
c lw 74678
c lw 74722
c lw 74812
c lw 74822
c lw 74838
c lw 74857
c lw 74896
c lw 74899
c lw 74902
c lw 74905
c lw 74908
c lw 74909
c lw 74911
c lw 74912
c lw 74913
c lw 74940
c lw 74998
c lw 75033
c lw 75145
c lw 75148
c lw 75154
c lw 75156
c lw 75162
c lw 75172
c lw 75173
c lw 75174
c lw 75175
c lw 75182
c lw 75184
c lw 75187
c lw 75188
c lw 75214
c lw 75274
c lw 75277
c lw 75283
c lw 75291
c lw 75294
c lw 75297
c lw 75300
c lw 75306
c lw 75309
c lw 75310
c lw 75316
c lw 75321
c lw 75322
c lw 75323
c lw 75326
c lw 75329
c lw 75331
c lw 75335
c lw 75336
c lw 75337
c lw 75338
c lw 75339
c lw 75340
c lw 75342
c lw 75343
c lw 75344
c lw 75347
c lw 75353
c lw 75354
c lw 75355
c lw 75361
c lw 75369
c lw 75370
c lw 75372
c lw 75382
c lw 75390
c lw 75392
c lw 75421
c lw 75422
c lw 75424
c lw 75426
c lw 75428
c lw 75432
c lw 75438
c lw 75501
c lw 75770
c lw 76092
c lw 76144
c lw 76197
c lw 76297
c lw 76411
c lw 76609
c lw 76625
c lw 76662
c lw 76717
c lw 76758
c lw 76762
c lw 76980
c lw 76996
c lw 77033
c lw 77037
c lw 77077
c lw 77127
c lw 77130
c lw 77194
c lw 77206
c lw 77230
c lw 77298
c lw 77320
c lw 77324
c lw 77344
c lw 77360
c lw 77373
c lw 77378
c lw 77481
c lw 77500
c lw 77529
c lw 77555
c lw 77557
c lw 77558
c lw 77574
c lw 77585
c lw 77589
c lw 77595
c lw 77596
c lw 77600
c lw 77606
c lw 77611
c lw 77650
c lw 77659
c lw 77684
c lw 77687
c lw 77770
c lw 77805
c lw 78262
c lw 78440
c lw 78486
c lw 78542
c lw 78830
c lw 78955
c lw 79106
c lw 79125
c lw 79154
c lw 79159
c lw 79162
c lw 79180
c lw 79182
c lw 79183
c lw 79199
c lw 79210
c lw 79214
c lw 79220
c lw 79221
c lw 79225
c lw 79231
c lw 79236
c lw 79242
c lw 79243
c lw 79275
c lw 79284
c lw 79298
c lw 79309
c lw 79310
c lw 79312
c lw 79357
c lw 79395
c lw 79432
c lw 79471
c lw 79712
c lw 80053
c lw 80061
c lw 80062
c lw 80066
c lw 80078
c lw 80085
c lw 80094
c lw 80108
c lw 80112
c lw 80119
c lw 80120
c lw 80133
c lw 80137
c lw 80152
c lw 80155
c lw 80158
c lw 80160
c lw 80167
c lw 80176
c lw 80178
c lw 80179
c lw 80190
c lw 80194
c lw 80195
c lw 80206
c lw 80210
c lw 80216
c lw 80217
c lw 80220
c lw 80221
c lw 80227
c lw 80232
c lw 80238
c lw 80266
c lw 80269
c lw 80293
c lw 80298
c lw 80306
c lw 80521
c lw 80563
c lw 80565
c lw 80571
c lw 80578
c lw 80582
c lw 80583
c lw 80588
c lw 80590
c lw 80610
c lw 80648
c lw 80651
c lw 80680
c lw 80685
c lw 80692
c lw 80698
c lw 80700
c lw 80701
c lw 80715
c lw 80717
c lw 80719
c lw 80728
c lw 80732
c lw 80736
c lw 80737
c lw 80738
c lw 80739
c lw 80740
c lw 80742
c lw 80743
Killed
1801.364u 18.368s 30:20.27 99.9%	0+0k 0+0io 0pf+0w