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-280-1_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 791
c lw 1865
c lw 2766
c lw 3365
c lw 4349
c lw 5931
c lw 7411
c lw 7474
c lw 7712
c lw 9635
c lw 10751
c lw 10994
c lw 12130
c lw 13574
c lw 13766
c lw 14147
c lw 15215
c lw 15925
c lw 17487
c lw 17870
c lw 18888
c lw 19425
c lw 20118
c lw 20655
c lw 21632
c lw 22131
c lw 23064
c lw 24065
c lw 25416
c lw 25833
c lw 27132
c lw 28154
c lw 28664
c lw 30042
c lw 30977
c lw 31453
c lw 32936
c lw 34026
c lw 34174
c lw 34511
c lw 34577
c lw 34769
c lw 35000
c lw 35592
c lw 35929
c lw 36057
c lw 36533
c lw 36763
c lw 37237
c lw 37695
c lw 38237
c lw 38672
c lw 38687
c lw 39578
c lw 39673
c lw 39825
c lw 40033
c lw 40133
c lw 40178
c lw 40189
c lw 40377
c lw 40472
c lw 41363
c lw 42253
c lw 42255
c lw 43244
c lw 43442
c lw 43742
c lw 43779
c lw 44301
c lw 44595
c lw 44703
c lw 45676
c lw 45785
c lw 46029
c lw 46528
c lw 46773
c lw 47140
c lw 47356
c lw 48088
c lw 48136
c lw 48612
c lw 48622
c lw 48750
c lw 48898
c lw 49497
c lw 50235
c lw 50648
c lw 51720
c lw 52166
c lw 52273
c lw 52498
c lw 52849
c lw 53064
c lw 53558
c lw 53615
c lw 53737
c lw 54137
c lw 54329
c lw 54659
c lw 54901
c lw 55259
c lw 55893
c lw 55909
c lw 57144
c lw 57314
c lw 57425
c lw 57863
c lw 58699
c lw 59687
c lw 59760
c lw 59854
c lw 59897
c lw 60029
c lw 60181
c lw 60506
c lw 60725
c lw 60857
c lw 60923
c lw 61213
c lw 61494
c lw 61623
c lw 61814
c lw 62605
c lw 62639
c lw 62831
c lw 64303
c lw 65711
c lw 65777
c lw 66222
c lw 66299
c lw 66333
c lw 66407
c lw 66631
c lw 66838
c lw 67954
c lw 68209
c lw 68572
c lw 68631
c lw 68770
c lw 68887
c lw 69133
c lw 69344
c lw 69735
c lw 69910
c lw 69915
c lw 70005
c lw 70251
c lw 70288
c lw 71420
c lw 72031
c lw 72208
c lw 72917
c lw 73735
c lw 74060
c lw 74377
c lw 74544
c lw 74960
c lw 74989
c lw 75199
c lw 75362
c lw 75541
c lw 75801
c lw 75967
c lw 76271
c lw 77631
c lw 77735
c lw 77738
c lw 77825
c lw 77827
c lw 78461
c lw 78816
c lw 79014
c lw 79314
c lw 79351
c lw 79661
c lw 79764
c lw 80594
c lw 80776
c lw 81091
c lw 81412
c lw 81612
c lw 81956
c lw 82466
c lw 82595
c lw 83333
c lw 83442
c lw 83686
c lw 84084
c lw 84202
c lw 84462
c lw 84467
c lw 84471
c lw 84538
c lw 84687
c lw 84865
c lw 84917
c lw 85801
c lw 86312
c lw 86345
c lw 86667
c lw 87019
c lw 87435
c lw 87486
c lw 87652
c lw 87790
c lw 88595
c lw 88657
c lw 88704
c lw 89019
c lw 89076
c lw 89345
c lw 89359
c lw 89660
c lw 89898
c lw 90605
c lw 91107
c lw 91271
c lw 91278
c lw 91559
c lw 91736
c lw 91834
c lw 91960
c lw 91964
c lw 92491
c lw 92519
c lw 92578
c lw 93170
c lw 93286
c lw 93562
c lw 93622
c lw 94072
c lw 94099
c lw 94545
c lw 95123
c lw 95489
c lw 95617
c lw 95808
c lw 95983
c lw 96111
c lw 96213
c lw 96290
c lw 96393
c lw 96441
c lw 96932
c lw 96987
c lw 97545
c lw 97923
c lw 98036
c lw 98233
c lw 99179
c lw 99216
c lw 99976
c lw 100109
c lw 100135
c lw 100249
c lw 100523
c lw 100761
c lw 100792
c lw 100892
c lw 100895
c lw 101192
c lw 101316
c lw 101367
c lw 101416
c lw 101479
c lw 101493
c lw 101506
c lw 101546
c lw 101752
c lw 102090
c lw 102657
c lw 103204
c lw 103488
c lw 103573
c lw 103791
c lw 104249
c lw 104410
c lw 104806
c lw 104849
c lw 105124
c lw 105451
c lw 105627
c lw 105667
c lw 105949
c lw 106053
c lw 106711
c lw 106852
c lw 106990
c lw 107656
c lw 107774
c lw 108613
c lw 108867
c lw 109032
c lw 109428
c lw 109535
c lw 109561
c lw 109647
c lw 109748
c lw 109844
c lw 109910
c lw 109962
c lw 110363
c lw 110552
c lw 110713
c lw 110813
c lw 110937
c lw 111309
c lw 112165
c lw 112832
c lw 112847
c lw 112870
c lw 113048
c lw 113161
c lw 113289
c lw 113397
c lw 113440
c lw 113648
c lw 113776
c lw 113884
c lw 114092
c lw 114220
c lw 114289
c lw 114571
c lw 114614
c lw 115124
c lw 115218
c lw 115506
c lw 115969
c lw 116167
c lw 117084
c lw 117248
c lw 117573
c lw 118096
c lw 118790
c lw 119160
c lw 119316
c lw 119368
c lw 119920
c lw 119984
c lw 120098
c lw 120234
c lw 120264
c lw 120485
c lw 121411
c lw 121449
c lw 121562
c lw 121667
c lw 121704
c lw 121832
c lw 122101
c lw 123151
c lw 123162
c lw 123324
c lw 123690
c lw 124141
c lw 124276
c lw 124309
c lw 124733
c lw 125183
c lw 125311
c lw 125369
c lw 125379
c lw 125462
c lw 125674
c lw 125719
c lw 126139
c lw 126227
c lw 126859
c lw 127239
c lw 127279
c lw 127324
c lw 127917
c lw 128022
c lw 128691
c lw 128778
c lw 129211
c lw 129215
c lw 130031
c lw 130288
c lw 130442
c lw 130467
c lw 130803
c lw 131158
c lw 131189
c lw 131222
c lw 131428
c lw 131603
c lw 131734
c lw 132021
c lw 132585
c lw 132602
c lw 132640
c lw 133025
c lw 133052
c lw 133521
c lw 133549
c lw 133564
c lw 133578
c lw 133602
c lw 133644
c lw 133716
c lw 134961
c lw 134965
c lw 136426
c lw 136477
c lw 136493
c lw 136676
c lw 136689
c lw 136755
c lw 136775
c lw 137618
c lw 137698
c lw 137758
c lw 137809
c lw 137819
c lw 137823
c lw 137835
c lw 138044
c lw 138251
c lw 138302
c lw 138409
c lw 138753
c lw 138844
c lw 138943
c lw 138946
c lw 138985
c lw 139191
c lw 140081
c lw 140162
c lw 140170
c lw 140238
c lw 140439
c lw 140687
c lw 140765
c lw 140872
c lw 141239
c lw 141312
c lw 142282
c lw 142477
c lw 142523
c lw 142565
c lw 142805
c lw 142809
c lw 142820
c lw 143130
c lw 143197
c lw 143719
c lw 143893
c lw 143930
c lw 144984
c lw 144996
c lw 145066
c lw 145620
c lw 145708
c lw 145716
c lw 145729
c lw 145889
c lw 146462
c lw 146700
c lw 147191
c lw 147339
c lw 147837
c lw 147922
c lw 148026
c lw 148054
c lw 148083
c lw 148218
c lw 148245
c lw 148376
c lw 148607
c lw 149344
c lw 149358
c lw 149809
c lw 149887
c lw 150537
c lw 150591
c lw 150602
c lw 151164
c lw 151331
c lw 151342
c lw 151363
c lw 151371
c lw 151738
c lw 151892
c lw 152237
c lw 152277
c lw 152290
c lw 152310
c lw 152316
c lw 152319
c lw 152355
c lw 152398
c lw 152422
c lw 152484
c lw 152497
c lw 152517
c lw 152520
c lw 152526
c lw 152782
c lw 152914
c lw 152964
c lw 153138
c lw 153833
c lw 153911
c lw 153915
c lw 154072
c lw 154081
c lw 154278
c lw 154282
c lw 154300
c lw 154357
c lw 154373
c lw 154557
c lw 155216
c lw 155218
c lw 155277
c lw 155332
c lw 155339
c lw 155590
c lw 155697
c lw 156663
c lw 156984
c lw 157294
c lw 157298
c lw 157308
c lw 157311
c lw 157334
c lw 157336
c lw 157345
c lw 157624
c lw 157637
c lw 157759
c lw 158093
c lw 158151
c lw 158832
c lw 159052
c lw 159165
c lw 159730
c lw 159861
c lw 159896
c lw 159967
c lw 160165
c lw 160689
c lw 160891
c lw 161209
c lw 161282
c lw 161527
c lw 161628
c lw 161635
c lw 161661
c lw 161677
c lw 161811
c lw 161951
c lw 162287
c lw 162371
c lw 163058
c lw 163070
c lw 163323
c lw 164210
c lw 164441
c lw 164448
c lw 164451
c lw 164491
c lw 164510
c lw 164514
c lw 164531
c lw 164532
c lw 164537
c lw 164567
c lw 164571
c lw 164575
c lw 164593
c lw 164600
c lw 164609
c lw 164713
c lw 165046
c lw 165053
c lw 165134
c lw 165135
c lw 165287
c lw 165290
c lw 165291
c lw 165294
c lw 165569
c lw 165577
c lw 165578
c lw 165582
c lw 166610
c lw 166668
c lw 166677
c lw 166684
c lw 166704
c lw 166906
c lw 168138
c lw 168447
c lw 168454
c lw 168456
c lw 168544
c lw 168545
c lw 168546
c lw 168547
c lw 168548
c lw 168549
c lw 168553
c lw 168554
c lw 168572
c lw 168590
c lw 168637
c lw 168988
c lw 169152
c lw 169612
c lw 170019
c lw 170267
c lw 170283
c lw 170380
c lw 170675
c lw 170791
c lw 170806
c lw 170876
c lw 171006
c lw 171019
c lw 171026
c lw 171029
c lw 171040
c lw 171059
c lw 171065
c lw 171078
c lw 171097
c lw 171098
c lw 171108
c lw 171116
c lw 171121
c lw 171131
c lw 171155
c lw 171158
c lw 171164
c lw 171166
c lw 171171
c lw 171174
c lw 171180
c lw 171193
c lw 171195
c lw 171200
c lw 171377
c lw 171463
c lw 171675
c lw 171676
c lw 171758
c lw 171993
c lw 172135
c lw 172195
c lw 172383
c lw 172794
c lw 173149
c lw 173330
c lw 174275
c lw 174351
c lw 175182
c lw 175228
c lw 175280
c lw 175739
c lw 176028
c lw 176471
c lw 176582
c lw 176650
c lw 177450
c lw 177732
c lw 177872
c lw 178184
c lw 178591
c lw 178892
c lw 178950
c lw 179104
c lw 179209
c lw 179278
c lw 180094
c lw 180147
c lw 180194
c lw 180279
c lw 180288
c lw 180322
c lw 180461
c lw 180976
c lw 181021
c lw 181171
c lw 181319
c lw 181411
c lw 181443
c lw 181866
c lw 182616
c lw 182802
c lw 183041
c lw 183660
c lw 184344
c lw 184407
c lw 184836
c lw 185216
c lw 185560
c lw 185978
c lw 186140
c lw 186578
c lw 187137
c lw 187353
c lw 187385
c lw 187662
c lw 187741
c lw 188685
c lw 188922
c lw 189078
c lw 189725
c lw 190082
c lw 190759
c lw 191037
c lw 191252
c lw 192004
c lw 192131
c lw 192324
c lw 192547
c lw 192569
c lw 192581
c lw 192585
c lw 192599
c lw 192627
c lw 192635
c lw 192642
c lw 193674
c lw 193762
c lw 193845
c lw 194110
c lw 194122
c lw 194225
c lw 194246
c lw 194369
c lw 194611
c lw 194747
c lw 194780
c lw 194825
c lw 195704
c lw 195762
c lw 195848
c lw 195956
c lw 196042
c lw 196386
c lw 196477
c lw 196493
c lw 196494
c lw 196498
c lw 196499
c lw 196500
c lw 196501
c lw 196502
c lw 196503
c lw 196504
c lw 196505
c lw 196507
c lw 196510
c lw 196511
c lw 196512
c lw 196513
c lw 196516
c lw 196517
c lw 196518
c lw 196519
c lw 196520
c lw 196652
c lw 196654
c lw 196655
c lw 196656
c lw 196657
c lw 196658
c lw 196661
c lw 196662
c lw 196665
c lw 196667
c lw 196668
c lw 196796
c lw 196930
c lw 197659
c lw 197980
c lw 197981
c lw 197982
c lw 197983
c lw 197984
c lw 197986
c lw 197987
c lw 197988
c lw 197991
c lw 198031
c lw 198051
c lw 198109
c lw 198118
c lw 198158
c lw 198161
c lw 198162
c lw 198163
c lw 198165
c lw 198166
c lw 198167
c lw 198168
c lw 198169
c lw 198170
c lw 198172
c lw 198339
c lw 198420
c lw 198529
c lw 198564
c lw 198588
c lw 198930
c lw 199451
c lw 199473
c lw 199528
c lw 200423
c lw 200935
c lw 200963
c lw 201093
c lw 201302
c lw 201428
c lw 202233
c lw 202318
c lw 202342
c lw 202391
c lw 202512
c lw 203169
c lw 203444
c lw 203836
c lw 204051
c lw 204182
c lw 204817
c lw 205015
c lw 205178
c lw 205196
c lw 205240
c lw 206105
c lw 206152
c lw 206460
c lw 206461
c lw 206525
c lw 206527
c lw 206921
c lw 207454
c lw 207743
c lw 207805
c lw 207971
c lw 208263
c lw 209017
c lw 209165
c lw 209384
c lw 209388
c lw 209396
c lw 209424
c lw 209438
c lw 209442
c lw 209454
c lw 209476
c lw 209529
c lw 209534
c lw 209535
c lw 209539
c lw 209551
c lw 209555
c lw 209565
c lw 209578
c lw 209610
c lw 209939
c lw 210855
c lw 210909
c lw 211135
c lw 211918
c lw 211990
c lw 211999
c lw 212000
c lw 212021
c lw 212033
c lw 212037
c lw 212051
c lw 212055
c lw 212063
c lw 213071
c lw 213246
c lw 213848
c lw 213930
c lw 214023
c lw 214645
c lw 214718
c lw 214950
c lw 214957
c lw 215009
c lw 215290
c lw 215357
c lw 215970
c lw 216043
c lw 216095
c lw 216100
c lw 216110
c lw 216123
c lw 216182
c lw 216234
c lw 216239
c lw 216391
c lw 216470
c lw 216474
c lw 216477
c lw 216478
c lw 216480
c lw 216481
c lw 216487
c lw 216489
c lw 216496
c lw 216507
c lw 216509
c lw 216527
c lw 216528
c lw 216529
c lw 216530
c lw 216533
c lw 216534
c lw 216544
c lw 216546
c lw 216548
c lw 216549
c lw 216550
c lw 216551
c lw 216552
c lw 217220
c lw 217663
c lw 218183
c lw 219012
c lw 219067
c lw 219620
c lw 220095
c lw 220104
c lw 220293
c lw 220671
c lw 220681
c lw 220686
c lw 220723
c lw 220991
c lw 221011
c lw 221083
c lw 221103
c lw 221112
c lw 221127
c lw 222132
c lw 222236
c lw 222275
c lw 222764
c lw 223272
c lw 224170
c lw 224205
c lw 224345
c lw 224614
c lw 224658
c lw 224659
c lw 224660
c lw 224661
c lw 224714
c lw 224805
c lw 224896
c lw 224911
c lw 224920
c lw 224941
c lw 225013
c lw 225038
c lw 225417
c lw 225456
c lw 225616
c lw 226431
c lw 226727
c lw 226746
c lw 227062
c lw 227132
c lw 227963
c lw 228036
c lw 228109
c lw 228163
c lw 228222
c lw 228659
c lw 229025
c lw 229803
c lw 230498
c lw 230734
c lw 231120
c lw 231216
c lw 231300
c lw 231322
c lw 231670
c lw 232562
c lw 232628
c lw 232924
c lw 233655
c lw 233775
c lw 234456
c lw 234690
c lw 235315
c lw 235811
c lw 236125
c lw 236249
c lw 236301
c lw 236454
c lw 236466
c lw 236602
c lw 237118
c lw 237180
c lw 237221
c lw 237356
c lw 238349
c lw 239205
c lw 239227
c lw 239914
c lw 240391
c lw 240412
c lw 240415
c lw 241024
c lw 241317
c lw 241469
c lw 241875
c lw 242065
c lw 242284
c lw 242374
c lw 242396
c lw 242437
c lw 242492
c lw 243289
c lw 244005
c lw 244075
c lw 244236
c lw 244344
c lw 244608
c lw 245382
c lw 246399
c lw 246444
c lw 247534
c lw 247752
c lw 247774
c lw 247844
c lw 247864
c lw 247897
c lw 247946
c lw 248540
c lw 248562
c lw 248585
c lw 248624
c lw 248640
c lw 248643
c lw 248681
c lw 248720
c lw 248865
c lw 249234
c lw 249329
c lw 250430
c lw 250563
c lw 251130
c lw 251976
c lw 252066
c lw 252155
c lw 252168
c lw 252268
c lw 252306
c lw 252326
c lw 252339
c lw 252362
c lw 252376
c lw 252384
c lw 252425
c lw 252464
c lw 252558
c lw 252619
c lw 252992
c lw 253006
c lw 253166
c lw 253570
c lw 253688
c lw 253730
c lw 253744
c lw 253764
c lw 253776
c lw 253777
c lw 253799
c lw 253893
c lw 253932
c lw 253936
c lw 253937
c lw 253938
c lw 253953
c lw 253954
c lw 253957
c lw 253958
c lw 253959
c lw 253961
c lw 253962
c lw 253971
c lw 253974
c lw 253975
c lw 253978
c lw 253985
c lw 253986
c lw 253987
c lw 253988
c lw 253989
c lw 253993
c lw 253994
c lw 253996
c lw 253998
c lw 253999
c lw 254000
c lw 254005
c lw 254016
c lw 254019
c lw 254020
c lw 254022
c lw 254030
c lw 254032
c lw 254036
c lw 254037
c lw 254038
c lw 254039
c lw 254040
c lw 254041
c lw 254042
c lw 254043
c lw 254044
c lw 254045
c lw 254047
c lw 254049
c lw 254051
c lw 254052
c lw 254053
c lw 254054
c lw 254055
c lw 254056
c lw 254057
c lw 254058
c lw 254059
c lw 254060
c lw 254061
c lw 254062
c lw 254063
c lw 254064
c lw 254075
c lw 254077
c lw 254078
c lw 254079
c lw 254081
c lw 254082
c lw 254083
c lw 254084
c lw 254085
c lw 254086
c lw 254087
c lw 254088
c lw 254089
c lw 254090
c lw 254091
c lw 254092
Killed
1810.372u 9.410s 30:19.97 99.9%	0+0k 0+0io 0pf+0w