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-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 860
c lw 1860
c lw 3800
c lw 4766
c lw 6352
c lw 7318
c lw 9553
c lw 11314
c lw 13555
c lw 14211
c lw 14754
c lw 15720
c lw 16619
c lw 17195
c lw 17250
c lw 18680
c lw 19752
c lw 20084
c lw 21068
c lw 21218
c lw 22059
c lw 23760
c lw 23766
c lw 24227
c lw 24526
c lw 24878
c lw 26294
c lw 27463
c lw 28436
c lw 28852
c lw 30166
c lw 30361
c lw 31351
c lw 32700
c lw 32729
c lw 34443
c lw 35347
c lw 35795
c lw 36187
c lw 37476
c lw 38722
c lw 39638
c lw 41099
c lw 42227
c lw 43256
c lw 44007
c lw 44737
c lw 44902
c lw 45134
c lw 45230
c lw 45270
c lw 45272
c lw 45361
c lw 46425
c lw 47492
c lw 48205
c lw 48457
c lw 48626
c lw 49306
c lw 50712
c lw 51458
c lw 51536
c lw 51870
c lw 51953
c lw 52166
c lw 52249
c lw 52569
c lw 53339
c lw 53647
c lw 54063
c lw 55150
c lw 55407
c lw 55516
c lw 55542
c lw 55975
c lw 56918
c lw 57631
c lw 58449
c lw 58539
c lw 58548
c lw 58843
c lw 58943
c lw 59752
c lw 60168
c lw 61275
c lw 61423
c lw 61456
c lw 62036
c lw 62470
c lw 62684
c lw 62790
c lw 63429
c lw 63699
c lw 63751
c lw 63823
c lw 64441
c lw 64559
c lw 64589
c lw 64767
c lw 64787
c lw 65004
c lw 65146
c lw 65330
c lw 65545
c lw 65596
c lw 65682
c lw 66187
c lw 66754
c lw 66755
c lw 67173
c lw 67978
c lw 68118
c lw 68415
c lw 68769
c lw 69085
c lw 69381
c lw 69455
c lw 70199
c lw 70619
c lw 71111
c lw 71755
c lw 71842
c lw 72560
c lw 73014
c lw 73132
c lw 73215
c lw 73500
c lw 74400
c lw 74466
c lw 75272
c lw 75581
c lw 76410
c lw 76466
c lw 76751
c lw 76929
c lw 76953
c lw 77139
c lw 77235
c lw 77245
c lw 77268
c lw 77900
c lw 77914
c lw 78481
c lw 78580
c lw 79373
c lw 80047
c lw 80397
c lw 81095
c lw 81223
c lw 81448
c lw 81824
c lw 81847
c lw 81910
c lw 82475
c lw 82560
c lw 82919
c lw 83041
c lw 83052
c lw 83074
c lw 83408
c lw 83578
c lw 83579
c lw 83870
c lw 84977
c lw 85086
c lw 85093
c lw 85687
c lw 85830
c lw 86184
c lw 86543
c lw 86927
c lw 87022
c lw 87027
c lw 87050
c lw 87097
c lw 87140
c lw 87149
c lw 87663
c lw 87978
c lw 88079
c lw 88475
c lw 88519
c lw 88665
c lw 89032
c lw 89551
c lw 90102
c lw 90455
c lw 90700
c lw 90914
c lw 91020
c lw 91467
c lw 91595
c lw 91597
c lw 91768
c lw 91865
c lw 92420
c lw 92492
c lw 92957
c lw 93109
c lw 93227
c lw 93229
c lw 93257
c lw 93435
c lw 93577
c lw 93857
c lw 94444
c lw 94865
c lw 94960
c lw 95011
c lw 95516
c lw 95881
c lw 96294
c lw 97047
c lw 97159
c lw 97325
c lw 97902
c lw 97914
c lw 98418
c lw 98545
c lw 98565
c lw 98692
c lw 98893
c lw 99184
c lw 99324
c lw 99621
c lw 99941
c lw 99951
c lw 100303
c lw 100664
c lw 100806
c lw 100924
c lw 101036
c lw 101339
c lw 101440
c lw 101621
c lw 101906
c lw 101972
c lw 102578
c lw 103074
c lw 103444
c lw 103530
c lw 103626
c lw 103739
c lw 104244
c lw 104662
c lw 105169
c lw 105295
c lw 106039
c lw 106153
c lw 106224
c lw 106412
c lw 107512
c lw 107525
c lw 107642
c lw 107644
c lw 107857
c lw 107863
c lw 107864
c lw 108036
c lw 108426
c lw 108706
c lw 108845
c lw 109652
c lw 109813
c lw 109937
c lw 110150
c lw 110917
c lw 111230
c lw 111861
c lw 112682
c lw 112809
c lw 112829
c lw 113129
c lw 113171
c lw 113254
c lw 113403
c lw 113524
c lw 113536
c lw 113666
c lw 113674
c lw 114055
c lw 114683
c lw 114916
c lw 115446
c lw 115733
c lw 116060
c lw 116128
c lw 116551
c lw 116678
c lw 116863
c lw 116896
c lw 116941
c lw 116990
c lw 117869
c lw 118001
c lw 118267
c lw 118630
c lw 119932
c lw 120217
c lw 120602
c lw 120635
c lw 121017
c lw 121194
c lw 121398
c lw 121969
c lw 121999
c lw 122287
c lw 122357
c lw 122487
c lw 122930
c lw 123299
c lw 123394
c lw 123475
c lw 123580
c lw 124090
c lw 125356
c lw 125781
c lw 125934
c lw 126119
c lw 126228
c lw 126284
c lw 126518
c lw 126651
c lw 126795
c lw 127010
c lw 127347
c lw 127563
c lw 127681
c lw 127772
c lw 127912
c lw 128051
c lw 128238
c lw 128280
c lw 128296
c lw 128409
c lw 128423
c lw 129090
c lw 129112
c lw 129263
c lw 129556
c lw 129825
c lw 129851
c lw 129875
c lw 130192
c lw 130301
c lw 131046
c lw 132070
c lw 132202
c lw 132966
c lw 132989
c lw 133913
c lw 133932
c lw 134260
c lw 134371
c lw 135145
c lw 135248
c lw 135511
c lw 135857
c lw 136187
c lw 136331
c lw 136546
c lw 136643
c lw 136954
c lw 137418
c lw 137747
c lw 137982
c lw 137984
c lw 138013
c lw 138083
c lw 138999
c lw 139035
c lw 139281
c lw 139386
c lw 139486
c lw 139509
c lw 139863
c lw 140016
c lw 140281
c lw 141280
c lw 141583
c lw 141616
c lw 141935
c lw 141970
c lw 142321
c lw 142742
c lw 142800
c lw 142904
c lw 143002
c lw 143107
c lw 143339
c lw 143435
c lw 143769
c lw 143973
c lw 144536
c lw 144715
c lw 144761
c lw 144853
c lw 145307
c lw 146356
c lw 146452
c lw 146813
c lw 146849
c lw 146897
c lw 147025
c lw 147061
c lw 147378
c lw 147938
c lw 147940
c lw 148545
c lw 148600
c lw 148742
c lw 148876
c lw 148908
c lw 148965
c lw 149107
c lw 149211
c lw 149212
c lw 149318
c lw 149491
c lw 150157
c lw 150440
c lw 151684
c lw 151865
c lw 151962
c lw 152054
c lw 152076
c lw 152093
c lw 152181
c lw 152261
c lw 152421
c lw 152784
c lw 152898
c lw 152995
c lw 153386
c lw 153397
c lw 153944
c lw 154527
c lw 155133
c lw 155173
c lw 155193
c lw 155410
c lw 155531
c lw 155786
c lw 156366
c lw 156605
c lw 156756
c lw 157112
c lw 157271
c lw 157922
c lw 158459
c lw 158610
c lw 158701
c lw 158822
c lw 158914
c lw 159005
c lw 159029
c lw 160126
c lw 160233
c lw 160252
c lw 161029
c lw 161270
c lw 161315
c lw 161510
c lw 161525
c lw 161808
c lw 162091
c lw 162177
c lw 162190
c lw 162281
c lw 162328
c lw 162528
c lw 162629
c lw 162793
c lw 162816
c lw 163520
c lw 163718
c lw 164234
c lw 164290
c lw 164370
c lw 164501
c lw 164619
c lw 165010
c lw 165503
c lw 165583
c lw 165614
c lw 165870
c lw 165881
c lw 165892
c lw 165998
c lw 166287
c lw 166674
c lw 166764
c lw 166987
c lw 167256
c lw 167304
c lw 167324
c lw 167454
c lw 167624
c lw 167666
c lw 167714
c lw 168102
c lw 168174
c lw 168888
c lw 168954
c lw 169143
c lw 169167
c lw 169466
c lw 169646
c lw 170146
c lw 170344
c lw 170576
c lw 170723
c lw 170900
c lw 171054
c lw 171561
c lw 171643
c lw 171822
c lw 173288
c lw 173298
c lw 173526
c lw 173781
c lw 173805
c lw 173905
c lw 174173
c lw 174426
c lw 174681
c lw 174850
c lw 174863
c lw 174868
c lw 175326
c lw 175566
c lw 176157
c lw 176247
c lw 176288
c lw 176864
c lw 177206
c lw 177481
c lw 177537
c lw 177634
c lw 177803
c lw 177805
c lw 177822
c lw 178733
c lw 178829
c lw 179017
c lw 179191
c lw 179198
c lw 179658
c lw 179747
c lw 179857
c lw 179919
c lw 180064
c lw 180334
c lw 180539
c lw 180547
c lw 180559
c lw 181258
c lw 182098
c lw 182342
c lw 182657
c lw 184073
c lw 184315
c lw 184366
c lw 184498
c lw 184572
c lw 184767
c lw 185335
c lw 185902
c lw 186455
c lw 186614
c lw 186616
c lw 186669
c lw 186691
c lw 186770
c lw 186823
c lw 186825
c lw 186993
c lw 187118
c lw 187191
c lw 187235
c lw 187604
c lw 187732
c lw 187761
c lw 187865
c lw 188018
c lw 188432
c lw 188624
c lw 188950
c lw 189045
c lw 189121
c lw 189201
c lw 189265
c lw 189290
c lw 189300
c lw 189388
c lw 189873
c lw 189884
c lw 190633
c lw 191331
c lw 191364
c lw 191471
c lw 191487
c lw 191543
c lw 191627
c lw 191749
c lw 191805
c lw 191821
c lw 192116
c lw 192570
c lw 192846
c lw 193035
c lw 193041
c lw 193237
c lw 194253
c lw 194315
c lw 194408
c lw 194427
c lw 194498
c lw 195207
c lw 195444
c lw 195768
c lw 195841
c lw 196344
c lw 196354
c lw 196417
c lw 196469
c lw 197003
c lw 197105
c lw 197111
c lw 197971
c lw 197977
c lw 198451
c lw 198462
c lw 198475
c lw 198478
c lw 198670
c lw 199081
c lw 199174
c lw 199369
c lw 199439
c lw 199441
c lw 199487
c lw 199491
c lw 199516
c lw 199546
c lw 199576
c lw 199586
c lw 199618
c lw 199833
c lw 199856
c lw 200211
c lw 200661
c lw 200791
c lw 200818
c lw 200825
c lw 200850
c lw 201242
c lw 201267
c lw 201405
c lw 201537
c lw 201623
c lw 202314
c lw 202445
c lw 202510
c lw 202631
c lw 203393
c lw 203420
c lw 203596
c lw 203878
c lw 204394
c lw 204528
c lw 204654
c lw 204732
c lw 204931
c lw 205001
c lw 205102
c lw 205119
c lw 205136
c lw 205215
c lw 205338
c lw 205360
c lw 205371
c lw 205473
c lw 205485
c lw 205496
c lw 205502
c lw 205508
c lw 205517
c lw 205519
c lw 205524
c lw 205525
c lw 205527
c lw 205753
c lw 205756
c lw 205922
c lw 206165
c lw 206279
c lw 206723
c lw 207625
c lw 207791
c lw 207883
c lw 207950
c lw 207958
c lw 208184
c lw 208653
c lw 208670
c lw 210198
c lw 210275
c lw 210278
c lw 210279
c lw 210286
c lw 210290
c lw 210291
c lw 210298
c lw 210312
c lw 210320
c lw 210342
c lw 210362
c lw 210364
c lw 210365
c lw 210369
c lw 210388
c lw 210412
c lw 210426
c lw 210440
c lw 210445
c lw 210449
c lw 210450
c lw 210452
c lw 210459
c lw 210467
c lw 210503
c lw 210559
c lw 210680
c lw 210708
c lw 210714
c lw 210738
c lw 210745
c lw 210805
c lw 211059
c lw 211251
c lw 211656
c lw 211680
c lw 211748
c lw 211757
c lw 212648
c lw 212664
c lw 212669
c lw 212671
c lw 212719
c lw 212729
c lw 213312
c lw 213393
c lw 213428
c lw 213683
c lw 213714
c lw 213819
c lw 213876
c lw 213915
c lw 213924
c lw 213936
c lw 213955
c lw 214014
c lw 214282
c lw 214284
c lw 214380
c lw 214943
c lw 214995
c lw 216285
c lw 216299
c lw 216483
c lw 216510
c lw 216521
c lw 216528
c lw 216535
c lw 216562
c lw 216576
c lw 216598
c lw 216608
c lw 216618
c lw 216628
c lw 216635
c lw 216638
c lw 216640
c lw 216649
c lw 216656
c lw 216794
c lw 216946
c lw 217010
c lw 217102
c lw 217260
c lw 217358
c lw 217469
c lw 217754
c lw 217785
c lw 217789
c lw 218335
c lw 218539
c lw 218636
c lw 218698
c lw 218814
c lw 219342
c lw 219519
c lw 220042
c lw 220958
c lw 221864
c lw 221895
c lw 221981
c lw 223020
c lw 223096
c lw 223636
c lw 223649
c lw 223683
c lw 223713
c lw 223730
c lw 224589
c lw 224614
c lw 225061
c lw 225062
c lw 225406
c lw 225420
c lw 225460
c lw 225678
c lw 225901
c lw 226492
c lw 227329
c lw 227866
c lw 227952
c lw 228010
c lw 228108
c lw 228147
c lw 228248
c lw 228259
c lw 228261
c lw 228266
c lw 228282
c lw 228333
c lw 228380
c lw 228386
c lw 228799
c lw 228835
c lw 229023
c lw 229644
c lw 229945
c lw 230020
c lw 230618
c lw 231049
c lw 231129
c lw 231443
c lw 231456
c lw 231976
c lw 232065
c lw 232128
c lw 232390
c lw 232418
c lw 232420
c lw 232447
c lw 232448
c lw 232450
c lw 232598
c lw 233106
c lw 233275
c lw 233532
c lw 233719
c lw 234518
c lw 234535
c lw 234558
c lw 234593
c lw 234848
c lw 234851
c lw 235118
c lw 235300
c lw 235319
c lw 235414
c lw 236142
c lw 236203
c lw 236209
c lw 236350
c lw 236703
c lw 237206
c lw 237410
c lw 237415
c lw 237536
c lw 237658
c lw 238624
c lw 238664
c lw 239058
c lw 239110
c lw 239192
c lw 239199
c lw 239201
c lw 239202
c lw 239213
c lw 239221
c lw 239222
c lw 239299
c lw 239313
c lw 239330
c lw 239356
c lw 239369
c lw 239614
c lw 239758
c lw 240126
c lw 241024
c lw 241287
c lw 241330
c lw 241353
c lw 241550
c lw 241773
c lw 242155
c lw 242160
c lw 242165
c lw 242172
c lw 242174
c lw 242179
c lw 242285
c lw 242364
c lw 242395
c lw 242431
c lw 243312
c lw 243506
c lw 243546
c lw 244577
c lw 244584
c lw 244687
c lw 244701
c lw 245024
c lw 245064
c lw 245194
c lw 245730
c lw 245942
c lw 246278
c lw 246447
c lw 246857
c lw 246881
c lw 246935
c lw 246941
c lw 247137
c lw 247143
c lw 247322
c lw 247582
c lw 247802
c lw 248065
c lw 248311
c lw 248867
c lw 249382
c lw 250166
c lw 250642
c lw 251173
c lw 251329
c lw 251331
c lw 251356
c lw 251357
c lw 251358
c lw 251359
c lw 251472
c lw 251505
c lw 251518
c lw 251968
c lw 251974
c lw 252415
c lw 252695
c lw 252975
c lw 253143
c lw 253414
c lw 254258
c lw 254727
c lw 254732
c lw 254754
c lw 255043
c lw 255190
c lw 255281
c lw 255282
c lw 255283
c lw 255995
c lw 256666
c lw 256992
c lw 257139
c lw 257172
c lw 257185
c lw 257705
c lw 257921
c lw 258029
c lw 258164
c lw 258267
c lw 258486
c lw 258514
c lw 258574
c lw 258910
c lw 258958
c lw 259063
c lw 259064
c lw 259088
c lw 259090
c lw 259091
c lw 259256
c lw 259357
c lw 259447
c lw 259454
c lw 259464
c lw 259470
c lw 259503
c lw 260082
c lw 260776
c lw 260792
c lw 260802
c lw 260817
c lw 260936
c lw 260937
c lw 260941
c lw 260943
c lw 260945
c lw 260950
c lw 260952
c lw 260954
c lw 260958
c lw 260959
c lw 260962
c lw 260968
c lw 260969
c lw 260970
c lw 260971
c lw 260974
c lw 260976
c lw 260990
c lw 260999
c lw 261000
c lw 261002
c lw 261004
c lw 261006
c lw 261007
c lw 261008
c lw 261009
c lw 261010
c lw 261015
c lw 261017
c lw 261018
c lw 261019
c lw 261022
c lw 261023
c lw 261024
c lw 261182
c lw 262354
c lw 262355
c lw 262499
c lw 262525
c lw 262526
c lw 262533
c lw 262534
c lw 262535
c lw 262536
c lw 262537
c lw 262538
c lw 262539
c lw 262540
c lw 262542
c lw 262543
c lw 262561
c lw 262563
c lw 262564
c lw 262566
c lw 262568
c lw 262569
c lw 262570
c lw 262571
c lw 262572
c lw 262573
c lw 262574
c lw 262575
c lw 262576
c lw 262577
c lw 262578
c lw 262579
c lw 262580
c lw 262581
c lw 262582
c lw 262583
c lw 262591
c lw 262592
c lw 263360
c lw 263362
c lw 263368
c lw 263369
c lw 263370
c lw 263371
c lw 263372
c lw 263373
c lw 263374
c lw 263376
c lw 263377
c lw 263379
c lw 263380
c lw 263381
c lw 263383
c lw 263384
c lw 263385
c lw 263386
c lw 263387
c lw 263388
c lw 263389
c lw 263390
c lw 263391
c lw 263392
c lw 263393
c lw 263394
c lw 263395
c lw 263397
c lw 263398
c lw 263399
c lw 263400
c lw 263401
c lw 263402
c lw 263403
c lw 263404
c lw 263405
c lw 263406
c lw 263409
c lw 263410
c lw 263734
c lw 263740
c lw 263741
c lw 263742
c lw 263743
c lw 263752
c lw 263776
c lw 263854
c lw 263855
c lw 263872
c lw 263875
c lw 263878
c lw 263889
c lw 263890
c lw 263891
c lw 263895
c lw 263896
c lw 263902
c lw 263906
c lw 263923
c lw 263924
c lw 263925
c lw 263926
c lw 263934
c lw 263943
c lw 263947
c lw 263949
c lw 263950
c lw 263952
c lw 263953
c lw 263954
c lw 263959
c lw 263961
c lw 263962
c lw 263964
c lw 263980
c lw 263999
c lw 264003
c lw 264004
c lw 264006
c lw 264008
c lw 264009
c lw 264010
c lw 264011
c lw 264012
c lw 264013
c lw 264014
c lw 264016
c lw 264017
c lw 264018
c lw 264266
c lw 264885
c lw 264946
c lw 265173
c lw 265335
c lw 265618
c lw 266252
c lw 266310
c lw 267395
c lw 267977
c lw 268270
c lw 268365
c lw 268427
c lw 268660
c lw 268661
c lw 268863
c lw 269156
c lw 269575
c lw 269606
c lw 270124
c lw 270143
c lw 270230
c lw 270318
c lw 270349
c lw 270391
c lw 270562
c lw 271578
c lw 271672
c lw 271737
c lw 272067
c lw 272574
c lw 272685
c lw 273126
c lw 273367
c lw 273681
c lw 273916
c lw 273992
c lw 274703
c lw 274718
c lw 274788
c lw 274914
c lw 275054
c lw 275165
c lw 275193
c lw 275196
c lw 275505
c lw 275506
c lw 275507
c lw 275508
c lw 275509
c lw 275510
c lw 275511
c lw 275512
c lw 275513
c lw 275514
c lw 275515
c lw 275516
c lw 275517
c lw 275520
c lw 275522
c lw 275525
c lw 275526
c lw 275527
c lw 275528
c lw 275529
c lw 275530
c lw 275531
c lw 275532
c lw 275533
c lw 275534
c lw 275535
c lw 275536
c lw 275537
c lw 275538
c lw 275539
c lw 275540
c lw 275541
c lw 275542
c lw 275543
c lw 275544
c lw 275545
c lw 275546
c lw 275547
c lw 275548
c lw 275549
c lw 275550
c lw 275551
c lw 275552
c lw 275553
c lw 275554
c lw 275555
c lw 275556
c lw 275557
c lw 275558
c lw 275559
c lw 275560
c lw 275561
c lw 275562
c lw 275563
c lw 275564
c lw 275565
c lw 275566
c lw 275567
c lw 275568
c lw 275569
c lw 275570
c lw 275571
c lw 275572
c lw 275573
c lw 275574
c lw 275575
c lw 275576
c lw 275577
c lw 275579
c lw 275580
c lw 275581
c lw 275582
c lw 275583
c lw 275584
c lw 275585
c lw 275586
c lw 275587
c lw 275588
c lw 275589
c lw 275590
c lw 275591
c lw 275592
c lw 275593
c lw 275594
c lw 275595
c lw 275596
c lw 275597
c lw 275598
c lw 275599
c lw 275600
c lw 275601
c lw 275602
c lw 275603
c lw 275604
c lw 275605
c lw 275606
c lw 275607
c lw 275608
c lw 275609
c lw 275610
c lw 275611
c lw 275612
c lw 275613
c lw 275614
c lw 275615
c lw 275616
c lw 275617
c lw 275618
c lw 275619
c lw 275620
c lw 275621
c lw 275622
c lw 275623
c lw 275624
c lw 275625
Killed
1809.573u 10.206s 30:19.79 99.9%	0+0k 0+0io 0pf+0w