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-300-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1062
c lw 2806
c lw 4246
c lw 5956
c lw 6889
c lw 8283
c lw 8483
c lw 9496
c lw 11377
c lw 12756
c lw 13217
c lw 14932
c lw 16254
c lw 17532
c lw 18318
c lw 18367
c lw 18727
c lw 20226
c lw 21552
c lw 23084
c lw 23659
c lw 24441
c lw 25552
c lw 26688
c lw 28853
c lw 30325
c lw 31291
c lw 32431
c lw 32790
c lw 34073
c lw 35356
c lw 35395
c lw 36551
c lw 37380
c lw 39006
c lw 39889
c lw 42504
c lw 44194
c lw 45256
c lw 47267
c lw 47516
c lw 47805
c lw 48213
c lw 48666
c lw 48986
c lw 49058
c lw 49737
c lw 49890
c lw 49978
c lw 50836
c lw 50930
c lw 51604
c lw 51698
c lw 52941
c lw 53084
c lw 53108
c lw 53297
c lw 53777
c lw 53808
c lw 55183
c lw 55215
c lw 55297
c lw 55760
c lw 56302
c lw 56348
c lw 57356
c lw 57563
c lw 57799
c lw 58788
c lw 58880
c lw 58959
c lw 59186
c lw 59817
c lw 60325
c lw 60598
c lw 60663
c lw 61344
c lw 61355
c lw 62199
c lw 62669
c lw 62950
c lw 63062
c lw 63104
c lw 63935
c lw 64357
c lw 64564
c lw 64953
c lw 65549
c lw 65685
c lw 65910
c lw 66366
c lw 66680
c lw 66945
c lw 67479
c lw 68304
c lw 68415
c lw 68833
c lw 68878
c lw 69360
c lw 69497
c lw 69594
c lw 69703
c lw 69763
c lw 70004
c lw 70203
c lw 70529
c lw 71729
c lw 71929
c lw 71956
c lw 72007
c lw 72044
c lw 72071
c lw 72362
c lw 72880
c lw 73862
c lw 74081
c lw 74753
c lw 75605
c lw 75869
c lw 76365
c lw 77136
c lw 77440
c lw 78433
c lw 78517
c lw 79368
c lw 79501
c lw 79733
c lw 80023
c lw 80272
c lw 80342
c lw 80364
c lw 80492
c lw 80922
c lw 81064
c lw 81092
c lw 81174
c lw 81422
c lw 81861
c lw 81890
c lw 82717
c lw 83439
c lw 83789
c lw 84143
c lw 85126
c lw 85137
c lw 85191
c lw 85270
c lw 85497
c lw 85655
c lw 86003
c lw 86378
c lw 86794
c lw 87243
c lw 87376
c lw 88016
c lw 88418
c lw 88627
c lw 88870
c lw 89168
c lw 89699
c lw 89700
c lw 90091
c lw 90167
c lw 90309
c lw 90351
c lw 90387
c lw 90737
c lw 90769
c lw 90982
c lw 90993
c lw 91017
c lw 91153
c lw 91252
c lw 91287
c lw 91427
c lw 91844
c lw 92239
c lw 92300
c lw 92543
c lw 92647
c lw 92970
c lw 93133
c lw 93596
c lw 93726
c lw 93874
c lw 93888
c lw 94505
c lw 94797
c lw 95279
c lw 95339
c lw 95580
c lw 95779
c lw 95960
c lw 96025
c lw 96150
c lw 96245
c lw 96256
c lw 96456
c lw 96483
c lw 96773
c lw 96801
c lw 96859
c lw 96860
c lw 97065
c lw 97456
c lw 97491
c lw 97575
c lw 97814
c lw 97948
c lw 98066
c lw 98304
c lw 98648
c lw 99485
c lw 100235
c lw 100311
c lw 100565
c lw 100882
c lw 100936
c lw 100995
c lw 101069
c lw 101344
c lw 101420
c lw 101505
c lw 101541
c lw 101612
c lw 101924
c lw 102232
c lw 102416
c lw 103042
c lw 103210
c lw 103212
c lw 103268
c lw 103389
c lw 103475
c lw 104013
c lw 104516
c lw 104656
c lw 104979
c lw 105547
c lw 105557
c lw 105583
c lw 105665
c lw 105783
c lw 105951
c lw 106105
c lw 106193
c lw 106511
c lw 106520
c lw 106939
c lw 106961
c lw 107123
c lw 107161
c lw 107292
c lw 107361
c lw 108106
c lw 108341
c lw 108432
c lw 108627
c lw 108981
c lw 109248
c lw 109347
c lw 110376
c lw 110738
c lw 110907
c lw 110908
c lw 110966
c lw 110967
c lw 111064
c lw 111143
c lw 111209
c lw 111338
c lw 111658
c lw 111784
c lw 111951
c lw 112486
c lw 112805
c lw 113355
c lw 113585
c lw 113963
c lw 114040
c lw 115197
c lw 115610
c lw 115786
c lw 115919
c lw 116234
c lw 116820
c lw 117038
c lw 117364
c lw 117426
c lw 117944
c lw 118336
c lw 118388
c lw 118499
c lw 118721
c lw 119275
c lw 119563
c lw 119683
c lw 120057
c lw 120439
c lw 120510
c lw 120830
c lw 120902
c lw 121146
c lw 121287
c lw 121299
c lw 121333
c lw 121456
c lw 121481
c lw 121507
c lw 122096
c lw 122349
c lw 122655
c lw 123584
c lw 123627
c lw 123913
c lw 124138
c lw 124424
c lw 124532
c lw 124649
c lw 124681
c lw 125182
c lw 125212
c lw 125225
c lw 125481
c lw 125590
c lw 126239
c lw 126486
c lw 126859
c lw 126863
c lw 127090
c lw 127160
c lw 127656
c lw 127919
c lw 128143
c lw 128343
c lw 128691
c lw 128880
c lw 128938
c lw 129100
c lw 129304
c lw 129328
c lw 129447
c lw 129761
c lw 129879
c lw 130391
c lw 130586
c lw 131099
c lw 131394
c lw 131738
c lw 132038
c lw 132355
c lw 132498
c lw 132606
c lw 132899
c lw 133183
c lw 133528
c lw 133688
c lw 133810
c lw 133973
c lw 134045
c lw 134210
c lw 134868
c lw 134995
c lw 135265
c lw 136161
c lw 136348
c lw 136596
c lw 136679
c lw 136730
c lw 136751
c lw 136873
c lw 137811
c lw 138151
c lw 138191
c lw 138608
c lw 138971
c lw 139588
c lw 140212
c lw 140359
c lw 140400
c lw 140539
c lw 140546
c lw 140625
c lw 140769
c lw 140771
c lw 140776
c lw 141192
c lw 141397
c lw 141542
c lw 141799
c lw 142036
c lw 142399
c lw 142969
c lw 143124
c lw 143221
c lw 143508
c lw 144564
c lw 144688
c lw 144723
c lw 144817
c lw 144865
c lw 145322
c lw 145430
c lw 145441
c lw 145547
c lw 145786
c lw 145961
c lw 146879
c lw 147138
c lw 147273
c lw 147657
c lw 147662
c lw 147980
c lw 148652
c lw 149235
c lw 149453
c lw 149466
c lw 149538
c lw 149569
c lw 149686
c lw 149842
c lw 150016
c lw 150750
c lw 150991
c lw 151178
c lw 152014
c lw 152153
c lw 152163
c lw 153044
c lw 153054
c lw 153122
c lw 153994
c lw 154433
c lw 154453
c lw 154574
c lw 154847
c lw 155315
c lw 155361
c lw 155393
c lw 155826
c lw 155867
c lw 156555
c lw 156571
c lw 156708
c lw 157345
c lw 157821
c lw 157841
c lw 158069
c lw 158732
c lw 159246
c lw 159429
c lw 159698
c lw 159817
c lw 160210
c lw 160342
c lw 160681
c lw 160756
c lw 160796
c lw 160871
c lw 161230
c lw 161731
c lw 162250
c lw 162420
c lw 162826
c lw 162932
c lw 162948
c lw 163242
c lw 163646
c lw 164207
c lw 164767
c lw 165458
c lw 166143
c lw 166220
c lw 166406
c lw 166470
c lw 166566
c lw 167549
c lw 167655
c lw 167894
c lw 168009
c lw 168200
c lw 168280
c lw 168359
c lw 168826
c lw 169362
c lw 169688
c lw 170116
c lw 170501
c lw 170560
c lw 170830
c lw 170838
c lw 170909
c lw 171021
c lw 171128
c lw 171136
c lw 171215
c lw 171348
c lw 171401
c lw 171459
c lw 171606
c lw 171816
c lw 172050
c lw 172055
c lw 172120
c lw 172122
c lw 172176
c lw 172233
c lw 172241
c lw 172377
c lw 172889
c lw 173438
c lw 173454
c lw 173772
c lw 174036
c lw 174055
c lw 174070
c lw 174089
c lw 174099
c lw 174183
c lw 174252
c lw 174307
c lw 174482
c lw 174496
c lw 174532
c lw 174545
c lw 174675
c lw 174787
c lw 175311
c lw 175513
c lw 175528
c lw 175618
c lw 175654
c lw 176826
c lw 176834
c lw 177246
c lw 177612
c lw 177721
c lw 177905
c lw 177960
c lw 178218
c lw 178373
c lw 179100
c lw 179545
c lw 179741
c lw 180089
c lw 180782
c lw 181003
c lw 181250
c lw 181953
c lw 182032
c lw 182685
c lw 182749
c lw 182761
c lw 182795
c lw 182872
c lw 182937
c lw 183004
c lw 183239
c lw 183315
c lw 183502
c lw 183865
c lw 183982
c lw 184699
c lw 184765
c lw 184828
c lw 185374
c lw 185512
c lw 185674
c lw 185782
c lw 185993
c lw 186490
c lw 187194
c lw 187362
c lw 187815
c lw 188179
c lw 188225
c lw 188318
c lw 188666
c lw 189100
c lw 189703
c lw 190262
c lw 190356
c lw 190819
c lw 190884
c lw 190885
c lw 190921
c lw 191041
c lw 191694
c lw 191831
c lw 191873
c lw 192698
c lw 192854
c lw 192947
c lw 193924
c lw 194107
c lw 194352
c lw 194780
c lw 194951
c lw 194993
c lw 195088
c lw 195109
c lw 195887
c lw 196159
c lw 196297
c lw 196380
c lw 197037
c lw 197146
c lw 197182
c lw 197419
c lw 197442
c lw 198013
c lw 198203
c lw 198636
c lw 198909
c lw 198921
c lw 198943
c lw 199005
c lw 199094
c lw 199106
c lw 199128
c lw 199190
c lw 199381
c lw 199434
c lw 199477
c lw 199478
c lw 199479
c lw 199500
c lw 200371
c lw 200782
c lw 201298
c lw 201951
c lw 201985
c lw 201997
c lw 202570
c lw 202807
c lw 202831
c lw 202938
c lw 203208
c lw 203328
c lw 203719
c lw 204118
c lw 204148
c lw 204198
c lw 204240
c lw 204241
c lw 204355
c lw 204539
c lw 204668
c lw 204673
c lw 204675
c lw 204691
c lw 204729
c lw 204747
c lw 204748
c lw 204782
c lw 204912
c lw 205480
c lw 205856
c lw 206232
c lw 206397
c lw 206512
c lw 206627
c lw 207366
c lw 207437
c lw 207748
c lw 208076
c lw 208176
c lw 208942
c lw 208980
c lw 209246
c lw 209478
c lw 209588
c lw 210092
c lw 210446
c lw 210621
c lw 210829
c lw 210985
c lw 210991
c lw 211067
c lw 211492
c lw 211546
c lw 211554
c lw 211603
c lw 211656
c lw 211661
c lw 211672
c lw 211817
c lw 211830
c lw 211880
c lw 211913
c lw 211956
c lw 211973
c lw 212217
c lw 212678
c lw 213014
c lw 213554
c lw 213642
c lw 214384
c lw 214413
c lw 214620
c lw 215051
c lw 215071
c lw 215075
c lw 215081
c lw 215224
c lw 215274
c lw 216179
c lw 216269
c lw 216404
c lw 216494
c lw 216652
c lw 216671
c lw 216760
c lw 216940
c lw 217015
c lw 217042
c lw 217181
c lw 217260
c lw 217312
c lw 217518
c lw 218279
c lw 218322
c lw 218349
c lw 218851
c lw 219317
c lw 219622
c lw 219684
c lw 220236
c lw 220273
c lw 220313
c lw 220335
c lw 220344
c lw 220380
c lw 220412
c lw 220785
c lw 221337
c lw 221844
c lw 221845
c lw 221877
c lw 221914
c lw 221920
c lw 221926
c lw 221931
c lw 221957
c lw 221966
c lw 221967
c lw 221990
c lw 222001
c lw 222094
c lw 222109
c lw 222117
c lw 222118
c lw 222130
c lw 222131
c lw 222133
c lw 222144
c lw 222154
c lw 222323
c lw 222359
c lw 222363
c lw 222471
c lw 223140
c lw 223512
c lw 223557
c lw 223580
c lw 224090
c lw 224853
c lw 224918
c lw 224951
c lw 225022
c lw 225617
c lw 225646
c lw 225650
c lw 225684
c lw 226317
c lw 226390
c lw 226426
c lw 226507
c lw 227525
c lw 227618
c lw 227717
c lw 227776
c lw 227786
c lw 228784
c lw 228815
c lw 228860
c lw 228892
c lw 229017
c lw 229146
c lw 229179
c lw 229316
c lw 229317
c lw 229318
c lw 229321
c lw 229327
c lw 229329
c lw 229333
c lw 229342
c lw 229363
c lw 229368
c lw 229369
c lw 229371
c lw 229379
c lw 229387
c lw 229395
c lw 229412
c lw 229426
c lw 229427
c lw 229433
c lw 229446
c lw 229473
c lw 229844
c lw 230141
c lw 230867
c lw 230896
c lw 231352
c lw 231462
c lw 231638
c lw 231947
c lw 231957
c lw 232472
c lw 232899
c lw 232960
c lw 233499
c lw 233563
c lw 235075
c lw 235087
c lw 235148
c lw 235935
c lw 236086
c lw 236097
c lw 236201
c lw 236217
c lw 236274
c lw 237218
c lw 237606
c lw 238012
c lw 238076
c lw 238113
c lw 238168
c lw 238368
c lw 238498
c lw 238732
c lw 239051
c lw 239558
c lw 239603
c lw 240158
c lw 240186
c lw 240241
c lw 240278
c lw 240342
c lw 240383
c lw 240391
c lw 241144
c lw 241267
c lw 241397
c lw 241450
c lw 241879
c lw 242432
c lw 243050
c lw 243485
c lw 244009
c lw 244083
c lw 244099
c lw 244105
c lw 244113
c lw 244116
c lw 244117
c lw 244122
c lw 244126
c lw 244128
c lw 244658
c lw 244659
c lw 244660
c lw 244662
c lw 244663
c lw 244664
c lw 244668
c lw 244669
c lw 244699
c lw 244759
c lw 244761
c lw 244796
c lw 244801
c lw 244802
c lw 244804
c lw 244805
c lw 244811
c lw 244813
c lw 244814
c lw 244817
c lw 244826
c lw 244827
c lw 244829
c lw 244832
c lw 244839
c lw 244846
c lw 244847
c lw 244850
c lw 244852
c lw 244853
c lw 244854
c lw 244855
c lw 244857
c lw 244859
c lw 244865
c lw 244868
c lw 244870
c lw 244871
c lw 244872
c lw 244873
c lw 244874
c lw 244876
c lw 244877
c lw 244879
c lw 244886
c lw 244887
c lw 244888
c lw 244889
c lw 244890
c lw 244891
c lw 244894
c lw 244895
c lw 244896
c lw 244897
c lw 244898
c lw 244899
c lw 244900
c lw 244901
c lw 244994
c lw 245109
c lw 245218
c lw 245248
c lw 245289
c lw 245355
c lw 245388
c lw 245720
c lw 245776
c lw 245784
c lw 245882
c lw 246475
c lw 246767
c lw 246939
c lw 246953
c lw 247404
c lw 247784
c lw 248801
c lw 249462
c lw 249639
c lw 250092
c lw 250106
c lw 250132
c lw 250152
c lw 250162
c lw 250217
c lw 250219
c lw 250220
c lw 250222
c lw 250226
c lw 250228
c lw 250235
c lw 250240
c lw 250248
c lw 250255
c lw 250259
c lw 250279
c lw 250366
c lw 250689
c lw 251428
c lw 251544
c lw 251645
c lw 251652
c lw 251662
c lw 251664
c lw 251667
c lw 251682
c lw 251696
c lw 251785
c lw 252603
c lw 252635
c lw 253034
c lw 253040
c lw 253136
c lw 253242
c lw 254159
c lw 254278
c lw 254282
c lw 254283
c lw 254286
c lw 254292
c lw 254293
c lw 254301
c lw 254306
c lw 254313
c lw 254315
c lw 254316
c lw 254319
c lw 254321
c lw 254322
c lw 254324
c lw 254329
c lw 254844
c lw 255731
c lw 255900
c lw 256001
c lw 256449
c lw 256877
c lw 257823
c lw 258052
c lw 258448
c lw 258910
c lw 258937
c lw 258994
c lw 259063
c lw 259175
c lw 259223
c lw 259231
c lw 259359
c lw 259487
c lw 259507
c lw 259586
c lw 259598
c lw 259606
c lw 259612
c lw 259616
c lw 259668
c lw 259684
c lw 259704
c lw 259712
c lw 259735
c lw 259739
c lw 259748
c lw 259757
c lw 259769
c lw 259784
c lw 259794
c lw 259797
c lw 259808
c lw 259814
c lw 259820
c lw 259823
c lw 259850
c lw 259891
c lw 259959
c lw 259975
c lw 259990
c lw 260045
c lw 260081
c lw 260082
c lw 260151
c lw 260199
c lw 260256
c lw 260356
c lw 260428
c lw 260429
c lw 260501
c lw 260511
c lw 260529
c lw 260586
c lw 260634
c lw 260657
c lw 260665
c lw 260722
c lw 260868
c lw 260906
c lw 260924
c lw 260957
c lw 261017
c lw 261058
c lw 261060
c lw 261108
c lw 261156
c lw 261158
c lw 261162
c lw 261164
c lw 261166
c lw 261168
c lw 261170
c lw 261172
c lw 261178
c lw 261181
c lw 261184
c lw 261190
c lw 261192
c lw 261194
c lw 261196
c lw 261198
c lw 261200
c lw 261219
c lw 261222
c lw 261227
c lw 261233
c lw 261245
c lw 261246
c lw 261249
c lw 261251
c lw 261256
c lw 261262
c lw 261269
c lw 261272
c lw 261277
c lw 261278
c lw 261282
c lw 261284
c lw 261287
c lw 261291
c lw 261298
c lw 261301
c lw 261306
c lw 261308
c lw 261313
c lw 261314
c lw 261315
c lw 261316
c lw 261317
c lw 261319
c lw 261320
c lw 261321
c lw 261323
c lw 261325
c lw 261326
c lw 261327
c lw 261328
c lw 261329
c lw 261330
c lw 261331
c lw 261332
c lw 262215
c lw 262613
c lw 263029
c lw 263263
c lw 263322
c lw 263343
c lw 263409
c lw 263527
c lw 264330
c lw 264465
c lw 264965
c lw 265881
c lw 265994
c lw 266941
c lw 267040
c lw 267656
c lw 267692
c lw 268511
c lw 268593
c lw 268743
c lw 268940
c lw 268971
c lw 268975
c lw 269624
c lw 269636
c lw 269647
c lw 269655
c lw 269680
c lw 270351
c lw 270455
c lw 270599
c lw 270668
c lw 271764
c lw 272215
c lw 272239
c lw 272672
c lw 272950
c lw 273114
c lw 273234
c lw 273253
c lw 273938
c lw 274274
c lw 274531
c lw 274715
c lw 274924
c lw 274986
c lw 275174
c lw 275431
c lw 275437
c lw 275658
c lw 275659
c lw 275694
c lw 275741
c lw 275752
c lw 275764
c lw 275789
c lw 275893
c lw 275979
c lw 276901
c lw 276917
c lw 277008
c lw 277033
c lw 277061
c lw 277086
c lw 277089
c lw 277102
c lw 277110
c lw 277114
c lw 277119
c lw 277123
c lw 277125
c lw 277127
c lw 278419
c lw 278528
c lw 278575
c lw 278985
c lw 279635
c lw 280164
c lw 280330
c lw 280688
c lw 280848
c lw 280859
c lw 281046
c lw 281059
c lw 281071
c lw 281813
c lw 281910
c lw 282152
c lw 282446
c lw 282535
c lw 282826
c lw 283147
c lw 283518
c lw 283740
c lw 283788
c lw 283827
c lw 283913
c lw 283988
c lw 284036
c lw 284184
c lw 284258
c lw 284347
c lw 284355
c lw 284356
c lw 284462
c lw 284516
c lw 284551
c lw 284570
c lw 284571
c lw 284719
c lw 284732
c lw 284744
c lw 284767
c lw 284780
c lw 284793
c lw 284828
c lw 284830
c lw 284842
c lw 284869
c lw 284877
c lw 284878
c lw 284880
c lw 284886
c lw 284897
c lw 284945
c lw 284964
c lw 284967
c lw 286261
c lw 286666
c lw 286840
c lw 287583
c lw 287682
c lw 287757
c lw 287957
c lw 287958
c lw 287961
c lw 287962
c lw 287963
c lw 287964
c lw 287965
c lw 287966
c lw 287967
c lw 287968
c lw 287969
c lw 287970
c lw 287971
c lw 287972
c lw 287973
c lw 287974
c lw 287975
c lw 287976
c lw 287977
c lw 287978
c lw 287979
c lw 287980
c lw 287981
c lw 287982
c lw 287983
c lw 287984
c lw 287985
c lw 287986
c lw 287987
c lw 287988
c lw 287989
c lw 287990
c lw 287991
c lw 287992
c lw 287993
c lw 287994
c lw 287995
c lw 287996
c lw 287997
Killed
1809.779u 9.991s 30:21.41 99.9%	0+0k 0+0io 0pf+0w