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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 895
c lw 2129
c lw 3122
c lw 3937
c lw 5256
c lw 6855
c lw 8190
c lw 8945
c lw 9546
c lw 10783
c lw 12392
c lw 13475
c lw 13729
c lw 14312
c lw 14413
c lw 15828
c lw 17164
c lw 18737
c lw 19627
c lw 19894
c lw 20454
c lw 22073
c lw 22988
c lw 23748
c lw 25053
c lw 25836
c lw 27231
c lw 29014
c lw 29801
c lw 30721
c lw 31641
c lw 33191
c lw 34638
c lw 35440
c lw 36691
c lw 37736
c lw 38040
c lw 39026
c lw 39591
c lw 39962
c lw 40085
c lw 40745
c lw 41478
c lw 42140
c lw 42467
c lw 43061
c lw 43200
c lw 43529
c lw 43689
c lw 44017
c lw 44135
c lw 45288
c lw 45718
c lw 46206
c lw 46665
c lw 46671
c lw 47995
c lw 48854
c lw 49611
c lw 49866
c lw 50778
c lw 50972
c lw 51683
c lw 52099
c lw 52584
c lw 52623
c lw 53139
c lw 53229
c lw 54493
c lw 54805
c lw 55219
c lw 55487
c lw 55913
c lw 56358
c lw 56465
c lw 56656
c lw 56799
c lw 56906
c lw 57775
c lw 58194
c lw 59016
c lw 59261
c lw 60090
c lw 60148
c lw 60261
c lw 60262
c lw 61544
c lw 61755
c lw 61893
c lw 62119
c lw 62278
c lw 62309
c lw 63189
c lw 63580
c lw 63698
c lw 64120
c lw 64266
c lw 64564
c lw 65153
c lw 65618
c lw 65708
c lw 65990
c lw 66229
c lw 66915
c lw 66951
c lw 68299
c lw 68361
c lw 68608
c lw 68633
c lw 69007
c lw 69246
c lw 69255
c lw 69349
c lw 70045
c lw 70379
c lw 70636
c lw 70754
c lw 71028
c lw 71066
c lw 71385
c lw 71935
c lw 72156
c lw 72429
c lw 72573
c lw 72758
c lw 72823
c lw 73013
c lw 73042
c lw 73067
c lw 73454
c lw 73855
c lw 73865
c lw 73970
c lw 74460
c lw 74739
c lw 74914
c lw 75209
c lw 75285
c lw 75497
c lw 75507
c lw 75936
c lw 76498
c lw 76614
c lw 76926
c lw 77340
c lw 77608
c lw 78034
c lw 78096
c lw 78726
c lw 79031
c lw 79933
c lw 79960
c lw 80165
c lw 80356
c lw 80499
c lw 80612
c lw 81620
c lw 81812
c lw 81854
c lw 82056
c lw 82825
c lw 83439
c lw 83764
c lw 85254
c lw 85506
c lw 85744
c lw 86206
c lw 86921
c lw 87244
c lw 87309
c lw 87995
c lw 88623
c lw 88796
c lw 88812
c lw 89178
c lw 89262
c lw 89498
c lw 89507
c lw 90117
c lw 90336
c lw 90394
c lw 90730
c lw 90819
c lw 90924
c lw 91046
c lw 91303
c lw 91936
c lw 92213
c lw 92269
c lw 92495
c lw 92654
c lw 92952
c lw 93105
c lw 93363
c lw 93664
c lw 93978
c lw 94129
c lw 94411
c lw 94650
c lw 95385
c lw 95661
c lw 95724
c lw 96357
c lw 96914
c lw 97165
c lw 97269
c lw 97506
c lw 97845
c lw 98033
c lw 98792
c lw 99206
c lw 99286
c lw 99536
c lw 99543
c lw 99807
c lw 99897
c lw 99907
c lw 100103
c lw 100138
c lw 100339
c lw 100593
c lw 100603
c lw 100614
c lw 100686
c lw 100708
c lw 101001
c lw 101313
c lw 101485
c lw 102147
c lw 102286
c lw 102384
c lw 102446
c lw 102638
c lw 102665
c lw 102690
c lw 103001
c lw 103230
c lw 103422
c lw 104002
c lw 104170
c lw 104629
c lw 105296
c lw 105310
c lw 105394
c lw 105543
c lw 105648
c lw 105930
c lw 106802
c lw 106974
c lw 107313
c lw 107394
c lw 108094
c lw 108503
c lw 108858
c lw 108888
c lw 109384
c lw 109601
c lw 110757
c lw 111900
c lw 113188
c lw 113607
c lw 113656
c lw 113710
c lw 114338
c lw 114440
c lw 114560
c lw 115204
c lw 115312
c lw 115343
c lw 115529
c lw 115560
c lw 115650
c lw 115746
c lw 115785
c lw 115834
c lw 116009
c lw 116508
c lw 117095
c lw 117155
c lw 117202
c lw 117287
c lw 117963
c lw 118095
c lw 118099
c lw 118466
c lw 118992
c lw 119057
c lw 119283
c lw 119381
c lw 119406
c lw 120160
c lw 120235
c lw 120400
c lw 120575
c lw 120660
c lw 120663
c lw 120838
c lw 121325
c lw 121790
c lw 121877
c lw 121886
c lw 122668
c lw 123144
c lw 123183
c lw 123186
c lw 123783
c lw 125121
c lw 125265
c lw 125267
c lw 125452
c lw 125702
c lw 125872
c lw 126119
c lw 126214
c lw 126641
c lw 126743
c lw 126908
c lw 127345
c lw 127507
c lw 128176
c lw 128314
c lw 128629
c lw 128905
c lw 128926
c lw 129137
c lw 129237
c lw 129669
c lw 129678
c lw 129679
c lw 129947
c lw 130237
c lw 130336
c lw 130787
c lw 131058
c lw 131234
c lw 131588
c lw 131701
c lw 131759
c lw 131842
c lw 132118
c lw 132123
c lw 132192
c lw 132225
c lw 132428
c lw 132758
c lw 132984
c lw 133050
c lw 133202
c lw 133432
c lw 133516
c lw 133749
c lw 134048
c lw 134135
c lw 134156
c lw 134253
c lw 135035
c lw 135276
c lw 135481
c lw 135719
c lw 135764
c lw 135823
c lw 135918
c lw 136151
c lw 136198
c lw 136493
c lw 136610
c lw 137004
c lw 137085
c lw 137200
c lw 137348
c lw 137372
c lw 137390
c lw 137531
c lw 137661
c lw 137935
c lw 138248
c lw 138653
c lw 138714
c lw 139077
c lw 139135
c lw 139324
c lw 139472
c lw 139902
c lw 140208
c lw 140321
c lw 140370
c lw 140492
c lw 140500
c lw 141261
c lw 141444
c lw 141849
c lw 142318
c lw 142549
c lw 142711
c lw 143046
c lw 143453
c lw 143553
c lw 143937
c lw 143959
c lw 143990
c lw 144708
c lw 144868
c lw 145782
c lw 146145
c lw 147785
c lw 147964
c lw 147982
c lw 148106
c lw 148179
c lw 148213
c lw 148292
c lw 148315
c lw 148417
c lw 148496
c lw 148776
c lw 148907
c lw 148913
c lw 148948
c lw 149010
c lw 149178
c lw 149389
c lw 149689
c lw 149975
c lw 150084
c lw 150196
c lw 150387
c lw 150907
c lw 151122
c lw 151125
c lw 151270
c lw 151842
c lw 151989
c lw 152028
c lw 152190
c lw 152744
c lw 153346
c lw 153387
c lw 153482
c lw 153665
c lw 154436
c lw 154947
c lw 155331
c lw 156277
c lw 156921
c lw 157129
c lw 157673
c lw 157704
c lw 157797
c lw 157852
c lw 158334
c lw 158382
c lw 158873
c lw 158887
c lw 158953
c lw 159230
c lw 159276
c lw 159304
c lw 159396
c lw 159900
c lw 160017
c lw 160021
c lw 160538
c lw 161033
c lw 161845
c lw 161849
c lw 161906
c lw 162933
c lw 162980
c lw 163695
c lw 163748
c lw 163750
c lw 163803
c lw 163813
c lw 163823
c lw 163847
c lw 163857
c lw 163910
c lw 164012
c lw 164064
c lw 164377
c lw 164701
c lw 164723
c lw 164774
c lw 164827
c lw 164829
c lw 164868
c lw 165138
c lw 165160
c lw 165179
c lw 165510
c lw 165587
c lw 166152
c lw 166369
c lw 166839
c lw 166847
c lw 166865
c lw 167193
c lw 167341
c lw 167474
c lw 167935
c lw 167979
c lw 168004
c lw 168005
c lw 168007
c lw 168035
c lw 168041
c lw 168045
c lw 168081
c lw 168083
c lw 168176
c lw 168239
c lw 168241
c lw 168244
c lw 168252
c lw 168263
c lw 168391
c lw 168601
c lw 168622
c lw 168821
c lw 168842
c lw 168852
c lw 169121
c lw 169140
c lw 169285
c lw 169504
c lw 169514
c lw 169869
c lw 169883
c lw 169904
c lw 169978
c lw 170116
c lw 170303
c lw 170622
c lw 171117
c lw 171195
c lw 171234
c lw 171250
c lw 171251
c lw 171390
c lw 171455
c lw 172120
c lw 172261
c lw 172446
c lw 172478
c lw 172487
c lw 172552
c lw 172573
c lw 172575
c lw 172615
c lw 172738
c lw 172789
c lw 172792
c lw 173020
c lw 173033
c lw 173059
c lw 173457
c lw 173730
c lw 173845
c lw 173960
c lw 175219
c lw 175448
c lw 175552
c lw 176046
c lw 176319
c lw 176558
c lw 176991
c lw 177247
c lw 177250
c lw 177332
c lw 177345
c lw 177878
c lw 178393
c lw 178670
c lw 178853
c lw 178880
c lw 178886
c lw 179756
c lw 179813
c lw 180015
c lw 180473
c lw 180671
c lw 181201
c lw 181327
c lw 181859
c lw 182204
c lw 182228
c lw 182293
c lw 182319
c lw 182329
c lw 182593
c lw 182618
c lw 182644
c lw 182655
c lw 182689
c lw 182692
c lw 182699
c lw 182700
c lw 182711
c lw 182715
c lw 182815
c lw 182886
c lw 183046
c lw 183198
c lw 183279
c lw 183306
c lw 183507
c lw 183542
c lw 183576
c lw 183998
c lw 184013
c lw 184038
c lw 184086
c lw 184109
c lw 184188
c lw 184222
c lw 184260
c lw 184280
c lw 184593
c lw 184615
c lw 184857
c lw 185378
c lw 185675
c lw 185689
c lw 185704
c lw 185759
c lw 185768
c lw 185828
c lw 186081
c lw 186282
c lw 186297
c lw 186498
c lw 186576
c lw 186782
c lw 186973
c lw 188065
c lw 188100
c lw 188134
c lw 188173
c lw 188202
c lw 188211
c lw 188217
c lw 188243
c lw 188252
c lw 188256
c lw 188268
c lw 188302
c lw 188303
c lw 188305
c lw 188306
c lw 188309
c lw 188325
c lw 188365
c lw 188368
c lw 188369
c lw 188461
c lw 188489
c lw 188622
c lw 188861
c lw 189270
c lw 189364
c lw 189451
c lw 189563
c lw 189684
c lw 189815
c lw 190683
c lw 190747
c lw 191154
c lw 191272
c lw 191424
c lw 191900
c lw 191911
c lw 192412
c lw 192630
c lw 192740
c lw 192818
c lw 192997
c lw 193050
c lw 193099
c lw 193207
c lw 193243
c lw 193607
c lw 194212
c lw 194324
c lw 194745
c lw 195287
c lw 195359
c lw 195469
c lw 195471
c lw 195489
c lw 195492
c lw 195498
c lw 195503
c lw 195507
c lw 195543
c lw 195925
c lw 196375
c lw 196548
c lw 196884
c lw 196906
c lw 196952
c lw 197125
c lw 197872
c lw 197974
c lw 198114
c lw 198801
c lw 198850
c lw 199185
c lw 199206
c lw 199242
c lw 199243
c lw 199292
c lw 199664
c lw 199947
c lw 200041
c lw 200387
c lw 201036
c lw 201182
c lw 201453
c lw 201514
c lw 202061
c lw 202063
c lw 202067
c lw 202068
c lw 202124
c lw 202337
c lw 202786
c lw 202971
c lw 203597
c lw 203816
c lw 204299
c lw 204812
c lw 204976
c lw 205715
c lw 205723
c lw 205817
c lw 206411
c lw 206579
c lw 206719
c lw 206753
c lw 206756
c lw 206770
c lw 206773
c lw 206835
c lw 206859
c lw 206860
c lw 206862
c lw 206864
c lw 207575
c lw 207649
c lw 207946
c lw 207990
c lw 208034
c lw 208609
c lw 208701
c lw 208786
c lw 208886
c lw 208889
c lw 208909
c lw 208911
c lw 208913
c lw 208920
c lw 209468
c lw 209590
c lw 210046
c lw 210700
c lw 210832
c lw 210893
c lw 210954
c lw 211316
c lw 211317
c lw 211318
c lw 211321
c lw 211338
c lw 211357
c lw 211361
c lw 211368
c lw 211407
c lw 211408
c lw 211456
c lw 211459
c lw 211476
c lw 212109
c lw 212470
c lw 212490
c lw 212627
c lw 212806
c lw 212808
c lw 212824
c lw 212825
c lw 212826
c lw 212827
c lw 212833
c lw 212836
c lw 212837
c lw 212838
c lw 212839
c lw 212840
c lw 212898
c lw 212923
c lw 212941
c lw 213052
c lw 213078
c lw 213290
c lw 213739
c lw 214793
c lw 214912
c lw 214928
c lw 215281
c lw 215401
c lw 215410
c lw 215414
c lw 215440
c lw 215538
c lw 215602
c lw 215802
c lw 216660
c lw 216671
c lw 217166
c lw 217177
c lw 217312
c lw 217451
c lw 217581
c lw 217586
c lw 218455
c lw 219306
c lw 219419
c lw 219794
c lw 220094
c lw 220219
c lw 220349
c lw 221645
c lw 221787
c lw 221827
c lw 221943
c lw 222027
c lw 222109
c lw 222183
c lw 222533
c lw 222607
c lw 223755
c lw 223842
c lw 224234
c lw 224241
c lw 224361
c lw 224763
c lw 225442
c lw 225497
c lw 225838
c lw 226104
c lw 226328
c lw 226592
c lw 226710
c lw 226772
c lw 228424
c lw 228522
c lw 228664
c lw 229113
c lw 229226
c lw 229481
c lw 229491
c lw 229499
c lw 229505
c lw 229572
c lw 229623
c lw 229744
c lw 229797
c lw 230076
c lw 230595
c lw 231435
c lw 231456
c lw 231474
c lw 231544
c lw 231810
c lw 231866
c lw 231875
c lw 232363
c lw 232555
c lw 232556
c lw 232558
c lw 232559
c lw 232560
c lw 232572
c lw 232573
c lw 232597
c lw 233022
c lw 233208
c lw 233211
c lw 233214
c lw 233215
c lw 233216
c lw 233217
c lw 233363
c lw 233480
c lw 233481
c lw 233748
c lw 234224
c lw 234425
c lw 234426
c lw 234625
c lw 235544
c lw 235687
c lw 235710
c lw 235957
c lw 236423
c lw 236424
c lw 237428
c lw 237617
c lw 237684
c lw 238112
c lw 238156
c lw 238157
c lw 238159
c lw 238165
c lw 238212
c lw 238213
c lw 238214
c lw 238217
c lw 238219
c lw 238220
c lw 238232
c lw 238241
c lw 238266
c lw 238340
c lw 238412
c lw 238413
c lw 238414
c lw 238415
c lw 238416
c lw 238417
c lw 238418
c lw 238419
c lw 238420
c lw 238423
c lw 238424
c lw 238491
c lw 238493
c lw 238494
c lw 238495
c lw 238496
c lw 238497
c lw 238499
c lw 238500
c lw 238501
c lw 238502
c lw 238503
c lw 238505
c lw 238506
c lw 238511
c lw 238512
c lw 238513
c lw 238514
c lw 238518
c lw 238524
c lw 238525
c lw 238526
c lw 238527
c lw 238528
c lw 238530
c lw 238532
c lw 238533
c lw 238534
c lw 238535
c lw 238536
c lw 238537
c lw 238538
c lw 238539
c lw 238540
c lw 238541
c lw 238663
c lw 238664
c lw 238665
c lw 238712
c lw 238747
c lw 238928
c lw 238929
c lw 239070
c lw 239141
c lw 239627
c lw 239981
c lw 240245
c lw 240556
c lw 240568
c lw 240999
c lw 241899
c lw 242126
c lw 242185
c lw 242244
c lw 242267
c lw 242585
c lw 242651
c lw 242666
c lw 242790
c lw 242842
c lw 243203
c lw 244548
c lw 245876
c lw 245981
c lw 246636
c lw 246682
c lw 246920
c lw 247898
c lw 248252
c lw 248310
c lw 248369
c lw 248636
c lw 248682
c lw 249332
c lw 249360
c lw 249483
c lw 249738
c lw 249863
c lw 249903
c lw 250336
c lw 250437
c lw 250702
c lw 250806
c lw 251282
c lw 251421
c lw 251449
c lw 251546
c lw 251578
c lw 251650
c lw 251654
c lw 251728
c lw 251770
c lw 252002
c lw 252560
c lw 252814
c lw 252998
c lw 253060
c lw 253120
c lw 253192
c lw 253216
c lw 253224
c lw 253228
c lw 253256
c lw 253317
c lw 253353
c lw 254012
c lw 254036
c lw 254044
c lw 254278
c lw 254660
c lw 255340
c lw 255980
c lw 256320
c lw 256678
c lw 257187
c lw 257344
c lw 258363
c lw 259680
c lw 260005
c lw 260104
c lw 260149
c lw 260508
c lw 261028
c lw 261177
c lw 261947
c lw 262978
c lw 263224
c lw 263843
c lw 263868
c lw 264000
c lw 264917
c lw 265273
c lw 265416
c lw 265430
c lw 265436
c lw 265450
c lw 265452
c lw 265501
c lw 265510
c lw 265524
c lw 266773
c lw 266850
c lw 266930
c lw 266995
c lw 267025
c lw 267037
c lw 267122
c lw 267124
c lw 267128
c lw 267173
c lw 267284
c lw 267420
c lw 267654
c lw 267846
c lw 267907
c lw 268332
c lw 268377
c lw 268451
c lw 268514
c lw 268599
c lw 268616
c lw 268646
c lw 268650
c lw 268695
c lw 268705
c lw 268736
c lw 268740
c lw 268813
c lw 268841
c lw 268873
c lw 268936
c lw 268938
c lw 268939
c lw 268940
c lw 268941
c lw 268942
c lw 268943
c lw 268944
c lw 268945
c lw 268946
c lw 268947
c lw 268948
c lw 268949
c lw 268950
c lw 268951