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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 671
c lw 1377
c lw 3208
c lw 5893
c lw 6902
c lw 8105
c lw 9687
c lw 10023
c lw 11133
c lw 13184
c lw 13684
c lw 15216
c lw 15695
c lw 16227
c lw 17656
c lw 18395
c lw 19073
c lw 20146
c lw 21265
c lw 22199
c lw 23443
c lw 23699
c lw 24381
c lw 25987
c lw 26123
c lw 26759
c lw 28081
c lw 29484
c lw 30424
c lw 30543
c lw 31675
c lw 31711
c lw 33348
c lw 34302
c lw 35146
c lw 35740
c lw 35921
c lw 37435
c lw 37700
c lw 38187
c lw 39720
c lw 41214
c lw 42530
c lw 43060
c lw 43572
c lw 43573
c lw 43649
c lw 44192
c lw 44400
c lw 44869
c lw 45529
c lw 45589
c lw 46265
c lw 46631
c lw 46788
c lw 46878
c lw 47047
c lw 47093
c lw 47751
c lw 47861
c lw 47907
c lw 48302
c lw 48540
c lw 48928
c lw 49890
c lw 50286
c lw 50663
c lw 51007
c lw 51358
c lw 51405
c lw 51515
c lw 52377
c lw 52959
c lw 54554
c lw 54983
c lw 55454
c lw 56363
c lw 57365
c lw 57722
c lw 58013
c lw 58638
c lw 58661
c lw 58761
c lw 58796
c lw 59265
c lw 59896
c lw 60530
c lw 61235
c lw 61633
c lw 61702
c lw 62101
c lw 62433
c lw 62966
c lw 63078
c lw 63562
c lw 63634
c lw 63911
c lw 64830
c lw 65328
c lw 65598
c lw 65823
c lw 66239
c lw 66387
c lw 67124
c lw 67392
c lw 67424
c lw 67626
c lw 68526
c lw 68759
c lw 68879
c lw 69378
c lw 70180
c lw 70358
c lw 70746
c lw 71474
c lw 71543
c lw 72426
c lw 73295
c lw 73427
c lw 74909
c lw 74977
c lw 75401
c lw 75825
c lw 76621
c lw 77232
c lw 77571
c lw 77865
c lw 78049
c lw 78050
c lw 78200
c lw 78234
c lw 78846
c lw 79102
c lw 79653
c lw 80883
c lw 80997
c lw 81017
c lw 81226
c lw 81227
c lw 81748
c lw 82130
c lw 82357
c lw 82480
c lw 82640
c lw 82851
c lw 82939
c lw 83142
c lw 83836
c lw 83847
c lw 84413
c lw 85010
c lw 85555
c lw 85642
c lw 85805
c lw 86463
c lw 87148
c lw 87270
c lw 87546
c lw 87802
c lw 87814
c lw 87900
c lw 87918
c lw 88466
c lw 88629
c lw 88651
c lw 88933
c lw 89596
c lw 89943
c lw 89983
c lw 90393
c lw 90477
c lw 90652
c lw 91141
c lw 91243
c lw 92185
c lw 92300
c lw 92773
c lw 92797
c lw 93066
c lw 93156
c lw 93379
c lw 93712
c lw 94109
c lw 94961
c lw 95050
c lw 95163
c lw 95652
c lw 95730
c lw 95747
c lw 96176
c lw 96312
c lw 96318
c lw 97034
c lw 97056
c lw 97249
c lw 97466
c lw 97677
c lw 98569
c lw 98652
c lw 98791
c lw 98843
c lw 99088
c lw 99157
c lw 100842
c lw 100913
c lw 101690
c lw 102045
c lw 102445
c lw 102720
c lw 102771
c lw 103138
c lw 103345
c lw 103380
c lw 103849
c lw 104483
c lw 104669
c lw 104679
c lw 104698
c lw 104771
c lw 104964
c lw 105806
c lw 106354
c lw 106467
c lw 106919
c lw 106941
c lw 106976
c lw 107445
c lw 107514
c lw 107542
c lw 107710
c lw 108500
c lw 108545
c lw 108664
c lw 108899
c lw 108994
c lw 109057
c lw 109097
c lw 109121
c lw 109165
c lw 110314
c lw 110891
c lw 110960
c lw 111062
c lw 111370
c lw 111508
c lw 112090
c lw 112349
c lw 112539
c lw 112834
c lw 113033
c lw 113082
c lw 113230
c lw 113349
c lw 113666
c lw 113787
c lw 114765
c lw 114802
c lw 115161
c lw 115286
c lw 115619
c lw 115852
c lw 115972
c lw 116581
c lw 116745
c lw 116890
c lw 116907
c lw 117362
c lw 117377
c lw 117552
c lw 117910
c lw 118536
c lw 118811
c lw 119068
c lw 119616
c lw 120032
c lw 120130
c lw 120155
c lw 120161
c lw 120718
c lw 120961
c lw 120984
c lw 121214
c lw 121314
c lw 121559
c lw 121565
c lw 121791
c lw 121837
c lw 121854
c lw 121965
c lw 122156
c lw 122223
c lw 122873
c lw 122942
c lw 122952
c lw 123291
c lw 123440
c lw 123519
c lw 123808
c lw 123892
c lw 123989
c lw 124575
c lw 124897
c lw 125499
c lw 126180
c lw 126296
c lw 126395
c lw 126572
c lw 126645
c lw 126768
c lw 126840
c lw 126927
c lw 126962
c lw 127366
c lw 128098
c lw 128138
c lw 128198
c lw 128213
c lw 128229
c lw 129328
c lw 129562
c lw 129656
c lw 129658
c lw 130427
c lw 130548
c lw 130606
c lw 131301
c lw 131533
c lw 133022
c lw 133074
c lw 133120
c lw 133357
c lw 133368
c lw 133945
c lw 134629
c lw 134677
c lw 134813
c lw 134861
c lw 134924
c lw 135232
c lw 135262
c lw 135329
c lw 135414
c lw 135875
c lw 136105
c lw 136507
c lw 136519
c lw 137380
c lw 137480
c lw 137757
c lw 137975
c lw 138088
c lw 138167
c lw 138268
c lw 138804
c lw 139163
c lw 139419
c lw 139736
c lw 140263
c lw 140519
c lw 140672
c lw 141107
c lw 141175
c lw 141255
c lw 141370
c lw 141905
c lw 141968
c lw 142904
c lw 143135
c lw 143163
c lw 143237
c lw 143253
c lw 143261
c lw 143304
c lw 143589
c lw 143817
c lw 143917
c lw 144251
c lw 144488
c lw 144489
c lw 144774
c lw 145384
c lw 145817
c lw 146178
c lw 146199
c lw 146733
c lw 147355
c lw 147420
c lw 148025
c lw 148701
c lw 148874
c lw 149082
c lw 149313
c lw 149647
c lw 150375
c lw 150782
c lw 151205
c lw 151742
c lw 151854
c lw 152066
c lw 152137
c lw 152213
c lw 152755
c lw 153895
c lw 154069
c lw 154076
c lw 154227
c lw 154421
c lw 154570
c lw 154573
c lw 154629
c lw 154981
c lw 155219
c lw 155335
c lw 155616
c lw 155630
c lw 155791
c lw 156072
c lw 156808
c lw 157227
c lw 157246
c lw 157288
c lw 157592
c lw 158153
c lw 158711
c lw 158750
c lw 158942
c lw 159030
c lw 159144
c lw 159704
c lw 159964
c lw 160202
c lw 160233
c lw 160377
c lw 160378
c lw 160505
c lw 160616
c lw 160647
c lw 161365
c lw 161391
c lw 161599
c lw 161676
c lw 161894
c lw 162007
c lw 162158
c lw 162433
c lw 162539
c lw 162679
c lw 163027
c lw 163077
c lw 163309
c lw 163851
c lw 163996
c lw 164443
c lw 164620
c lw 165130
c lw 165479
c lw 165569
c lw 165872
c lw 166148
c lw 166203
c lw 166457
c lw 166899
c lw 167037
c lw 167366
c lw 167475
c lw 167760
c lw 168016
c lw 168711
c lw 168789
c lw 168855
c lw 169091
c lw 169438
c lw 170539
c lw 170634
c lw 170678
c lw 170682
c lw 170748
c lw 170919
c lw 171292
c lw 171317
c lw 171523
c lw 171540
c lw 171558
c lw 171772
c lw 172144
c lw 172150
c lw 172442
c lw 172478
c lw 172670
c lw 172742
c lw 173348
c lw 173562
c lw 173646
c lw 173783
c lw 174260
c lw 174410
c lw 174553
c lw 174810
c lw 174912
c lw 175083
c lw 175386
c lw 175444
c lw 175582
c lw 175988
c lw 176026
c lw 176032
c lw 176116
c lw 176143
c lw 176706
c lw 177137
c lw 177249
c lw 177340
c lw 177351
c lw 177386
c lw 177757
c lw 177813
c lw 177888
c lw 177906
c lw 178421
c lw 178701
c lw 178791
c lw 178870
c lw 178948
c lw 179089
c lw 179093
c lw 179122
c lw 179148
c lw 180386
c lw 180388
c lw 180422
c lw 180601
c lw 181271
c lw 181275
c lw 181281
c lw 181306
c lw 181432
c lw 181520
c lw 181582
c lw 182165
c lw 182213
c lw 182216
c lw 182527
c lw 182578
c lw 182610
c lw 183057
c lw 183229
c lw 183410
c lw 183842
c lw 184218
c lw 184236
c lw 184734
c lw 184828
c lw 184829
c lw 184969
c lw 185254
c lw 185343
c lw 185385
c lw 185474
c lw 185514
c lw 185745
c lw 185775
c lw 186500
c lw 186796
c lw 186979
c lw 187064
c lw 187426
c lw 187543
c lw 187705
c lw 187734
c lw 187772
c lw 187973
c lw 188046
c lw 188242
c lw 188666
c lw 188733
c lw 188741
c lw 188822
c lw 188840
c lw 188926
c lw 188995
c lw 189003
c lw 189017
c lw 189057
c lw 189074
c lw 189422
c lw 189813
c lw 189867
c lw 189921
c lw 190404
c lw 190704
c lw 191251
c lw 191288
c lw 191581
c lw 191594
c lw 191759
c lw 192115
c lw 192449
c lw 192615
c lw 192663
c lw 192673
c lw 192721
c lw 192745
c lw 192749
c lw 192780
c lw 192786
c lw 193003
c lw 193005
c lw 193250
c lw 193566
c lw 193619
c lw 194068
c lw 194229
c lw 194457
c lw 195390
c lw 195603
c lw 195913
c lw 195919
c lw 196023
c lw 196050
c lw 196096
c lw 196107
c lw 196138
c lw 196150
c lw 196177
c lw 196234
c lw 196240
c lw 196280
c lw 196304
c lw 196340
c lw 196356
c lw 196479
c lw 196486
c lw 196659
c lw 196932
c lw 197429
c lw 197489
c lw 197495
c lw 197496
c lw 197572
c lw 198403
c lw 198556
c lw 198663
c lw 199202
c lw 199425
c lw 199452
c lw 199457
c lw 200104
c lw 200118
c lw 200181
c lw 200201
c lw 200359
c lw 200408
c lw 200424
c lw 200460
c lw 200565
c lw 200811
c lw 200929
c lw 201003
c lw 201117
c lw 201330
c lw 201965
c lw 202575
c lw 202636
c lw 204115
c lw 204136
c lw 204280
c lw 204446
c lw 204532
c lw 204545
c lw 204582
c lw 204660
c lw 205344
c lw 205616
c lw 205649
c lw 205753
c lw 205771
c lw 205783
c lw 205792
c lw 205801
c lw 205813
c lw 205831
c lw 205840
c lw 205850
c lw 205900
c lw 205987
c lw 206050
c lw 206100
c lw 206106
c lw 206405
c lw 206559
c lw 206561
c lw 207594
c lw 207974
c lw 208121
c lw 208415
c lw 209058
c lw 209198
c lw 209747
c lw 209798
c lw 210492
c lw 210626
c lw 211305
c lw 211404
c lw 211410
c lw 211575
c lw 211737
c lw 211741
c lw 211744
c lw 211750
c lw 211773
c lw 211777
c lw 211842
c lw 211904
c lw 212177
c lw 212270
c lw 213242
c lw 213522
c lw 213563
c lw 214170
c lw 214275
c lw 214366
c lw 214553
c lw 215380
c lw 215415
c lw 215419
c lw 215608
c lw 215803
c lw 215932
c lw 215981
c lw 215989
c lw 216261
c lw 216311
c lw 216325
c lw 216328
c lw 216334
c lw 216383
c lw 216388
c lw 216399
c lw 216402
c lw 216454
c lw 216860
c lw 216905
c lw 217088
c lw 217454
c lw 217562
c lw 217611
c lw 218081
c lw 218084
c lw 218101
c lw 218124
c lw 218265
c lw 218304
c lw 218343
c lw 218418
c lw 218470
c lw 218484
c lw 218507
c lw 218524
c lw 218527
c lw 218533
c lw 218541
c lw 218599
c lw 218611
c lw 218619
c lw 218651
c lw 218685
c lw 218712
c lw 218815
c lw 218874
c lw 218902
c lw 218930
c lw 218933
c lw 218934
c lw 218938
c lw 218942
c lw 218946
c lw 218948
c lw 218950
c lw 218955
c lw 218957
c lw 218982
c lw 218987
c lw 218991
c lw 218993
c lw 219268
c lw 219276
c lw 219479
c lw 219793
c lw 219879
c lw 220094
c lw 220187
c lw 220224
c lw 220297
c lw 220699
c lw 220752
c lw 221884
c lw 222013
c lw 222026
c lw 222103
c lw 222160
c lw 222313
c lw 222780
c lw 222993
c lw 223055
c lw 223327
c lw 223420
c lw 223426
c lw 223430
c lw 223432
c lw 223447
c lw 223594
c lw 223748
c lw 224759
c lw 224805
c lw 224870
c lw 225270
c lw 225409
c lw 225605
c lw 226309
c lw 227152
c lw 227192
c lw 227196
c lw 227264
c lw 228043
c lw 228098
c lw 228447
c lw 228726
c lw 229173
c lw 229191
c lw 229223
c lw 229564
c lw 229657
c lw 229690
c lw 229729
c lw 229739
c lw 229747
c lw 229750
c lw 229759
c lw 229909
c lw 231140
c lw 231245
c lw 231446
c lw 231449
c lw 231462
c lw 231682
c lw 231707
c lw 231776
c lw 231826
c lw 232276
c lw 232395
c lw 232410
c lw 232441
c lw 232635
c lw 232641
c lw 232645
c lw 232647
c lw 232650
c lw 232652
c lw 232654
c lw 232656
c lw 232671
c lw 232676
c lw 232688
c lw 232700
c lw 232726
c lw 232732
c lw 232741
c lw 232772
c lw 232775
c lw 232780
c lw 232781
c lw 232787
c lw 232788
c lw 232791
c lw 232796
c lw 233316
c lw 233660
c lw 233946
c lw 234020
c lw 234151
c lw 235016
c lw 235395
c lw 235447
c lw 235469
c lw 235504
c lw 235506
c lw 235508
c lw 235510
c lw 235511
c lw 235804
c lw 235823
c lw 236091
c lw 236927
c lw 236955
c lw 237029
c lw 237279
c lw 237327
c lw 237458
c lw 237623
c lw 237962
c lw 238737
c lw 238880
c lw 239846
c lw 240241
c lw 240674
c lw 241001
c lw 241035
c lw 241239
c lw 241460
c lw 241465
c lw 241534
c lw 241559
c lw 241839
c lw 242065
c lw 242188
c lw 242201
c lw 242601
c lw 242885
c lw 243085
c lw 243794
c lw 243833
c lw 244539
c lw 244612
c lw 244692
c lw 245123
c lw 245126
c lw 245213
c lw 245226
c lw 245227
c lw 245231
c lw 245235
c lw 245237
c lw 245241
c lw 245244
c lw 245245
c lw 245247
c lw 245718
c lw 246295
c lw 246297
c lw 246946
c lw 246958
c lw 247477
c lw 247530
c lw 247758
c lw 248116
c lw 248177
c lw 248301
c lw 248316
c lw 248317
c lw 248326
c lw 248455
c lw 249158
c lw 249511
c lw 249574
c lw 250196
c lw 250265
c lw 250928
c lw 251598
c lw 251714
c lw 251716
c lw 251722
c lw 251730
c lw 251736
c lw 251737
c lw 251738
c lw 251755
c lw 251758
c lw 251773
c lw 251775
c lw 251779
c lw 251780
c lw 251925
c lw 252019
c lw 252036
c lw 252112
c lw 252197
c lw 252994
c lw 253357
c lw 253927
c lw 254014
c lw 254045
c lw 254054
c lw 254164
c lw 254527
c lw 254619
c lw 255515
c lw 255681
c lw 255735
c lw 256350
c lw 256381
c lw 256447
c lw 256466
c lw 256489
c lw 256516
c lw 256564
c lw 256603
c lw 256670
c lw 256678
c lw 256681
c lw 256693
c lw 256712
c lw 256727
c lw 256793
c lw 256812
c lw 256846
c lw 256876
c lw 256882
c lw 256886
c lw 256891
c lw 256892
c lw 256898
c lw 256905
c lw 256909
c lw 256924
c lw 256928
c lw 256930
c lw 256934
c lw 256953
c lw 257000
c lw 257962
c lw 258247
c lw 258559
c lw 258565
c lw 258579
c lw 258595
c lw 258802
c lw 259243
c lw 259291
c lw 259299
c lw 259339
c lw 259642
c lw 259658
c lw 259679
c lw 260102
c lw 260123
c lw 260224
c lw 260623
c lw 260639
c lw 260679
c lw 260682
c lw 261221
c lw 261699
c lw 261744
c lw 261933
c lw 261938
c lw 263031
c lw 263047
c lw 263050
c lw 263082
c lw 263090
c lw 263111
c lw 263887
c lw 263903
c lw 263908
c lw 263930
c lw 264132
c lw 264173
c lw 264389
c lw 264701
c lw 264809
c lw 264874
c lw 264902
c lw 265761
c lw 266058
c lw 266384
c lw 266879
c lw 266895
c lw 267175
c lw 267302
c lw 267417
c lw 267423
c lw 267425
c lw 267426
c lw 267427
c lw 267428
c lw 267429
c lw 267430
c lw 267431
c lw 267436
c lw 267437
c lw 267460
c lw 267473
c lw 267487
c lw 267508
c lw 267514
c lw 267547
c lw 267555
c lw 267568
c lw 267569
c lw 267578
c lw 267579
v -1 -2 3 -4 5 -6 7 -8 -9 -10 -11 12 -13 -14 -15 16 17 -18 -19 -20 -21 22 -23 24 -25 26 27 -28 -29 -30 -31 -32 33 -34 -35 -36 37 -38 -39 -40 41 42 -43 -44 45 -46 -47 -48 -49 50 51 -52 -53 -54 55 56 -57 -58 -59 60 -61 62 -63 64 -65 -66 -67 68 -69 -70 -71 72 73 -74 -75 -76 -77 78 79 -80 81 -82 83 -84 -85 -86 87 -88 89 -90 91 -92 -93 -94 95 -96 97 -98 99 -100 -101 -102 -103 104 -105 -106 -107 -108 -109 110 -111 112 -113 114 115 -116 117 -118 -119 -120 121 -122 123 -124 -125 -126 127 -128 129 130 -131 132 -133 134 -135 -136 -137 138 -139 -140 141 -142 -143 144 -145 -146 147 -148 149 -150 -151 -152 -153 154 155 -156 -157 158 -159 160 -161 162 -163 -164 -165 -166 -167 168 -169 170 -171 -172 -173 174 -175 176 -177 -178 -179 180 -181 -182 183 -184 185 -186 -187 -188 189 -190 -191 192 -193 194 195 -196 -197 -198 199 -200 201 -202 203 -204 205 -206 -207 208 -209 210 -211 -212 213 214 -215 -216 217 -218 -219 -220 -221 222 -223 -224 225 -226 -227 228 -229 -230 231 -232 -233 234 235 -236 -237 -238 239 -240 -241 -242 -243 -244 245 -246 -247 248 249 -250 -251 252 -253 -254 255 -256 257 -258 259 -260 -261 -262 263 -264 265 -266 267 -268 -269 270 -271 272 -273 -274 -275 -276 -277 278 -279 280 281 -282 283 -284 -285 286 287 -288 -289 290 -291 -292 -293 -294 -295 296 297 -298 -299 300 -301 302 -303 -304 305 -306 -307 308 -309 -310 311 -312 -313 314 -315 -316 317 -318 -319 -320 -321 322 -323 -324 -325 326 -327 328 -329 -330 331 -332 -333 -334 -335 336 -337 -338 -339 340 -341 342 -343 -344 345 -346 -347 -348 -349 -350 351 -352 353 -354 -355 -356 -357 -358 359 -360 361 -362 -363 -364 365 366 -367 -368 -369 -370 371 372 -373 -374 -375 376 377 -378 -379 -380 -381 382 -383 -384 385 386 -387 388 -389 -390 -391 392 -393 -394 395 -396 -397 -398 -399 400 -401 -402 -403 404 -405 406 -407 -408 -409 410 411 -412 413 -414 -415 -416 417 418 -419 -420 -421 422 -423 424 -425 -426 -427 428 -429 430 -431 432 -433 434 -435 -436 -437 -438 -439 440 -441 -442 443 -444 -445 -446 -447 448 -449 -450 451 -452 -453 454 -455 456 -457 458 -459 -460 461 -462 -463 464 465 -466 -467 -468 469 -470 -471 472 -473 -474 475 -476 -477 -478 -479 480 -481 -482 -483 484 -485 -486 487 -488 -489 490 491 -492 -493 -494 -495 -496 -497 498 -499 500 -501 -502 -503 -504 -505 506 507 -508 -509 -510 511 -512 513 -514 -515 516 -517 -518 -519 -520 521 -522 523 -524 -525 -526 -527 -528 529 530 -531 -532 533 -534 -535 -536 537 -538 -539 540 -541 542 -543 -544 -545 546 -547 -548 -549 -550 551 -552 553 -554 -555 556 -557 -558 -559 560 -561 562 -563 -564 -565 566 -567 568 569 -570 -571 -572 -573 574 -575 -576 577 -578 -579 -580 581 -582 583 -584 -585 586 -587 588 -589 590 -591 -592 -593 594 -595 -596 -597 598 -599 600 -601 -602 603 -604 -605 606 -607 -608 -609 -610 611 612 -613 614 -615 -616 617 -618 -619 -620 -621 622 623 -624 -625 626 -627 -628 629 -630 631 -632 -633 -634 635 636 -637 638 -639 -640 641 -642 -643 644 -645 -646 -647 648 -649 650 -651 -652 653 -654 -655 -656 657 -658 659 -660 661 -662 -663 -664 665 -666 667 -668 -669 -670 671 -672 -673 674 -675 676 -677 -678 679 -680 -681 -682 -683 684 685 -686 -687 -688 -689 -690 691 -692 693 -694 -695 696 -697 698 -699 -700 -701 -702 703 704 -705 -706 -707 -708 709 -710 -711 712 713 -714 -715 716 -717 -718 -719 720 -721 722 -723 -724 -725 726 -727 -728 729 -730 -731 -732 -733 734 -735 736 -737 -738 739 -740 741 -742 -743 -744 745 -746 -747 748 -749 750 -751 -752 753 -754 -755 756 757 -758 -759 760 -761 -762 
o 267579
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-10.net.wcnf 267579
429.124u 4.141s 12:35.48 57.3%	0+0k 0+0io 0pf+0w