Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-40-2_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1582390
o 128536
o 126695
o 126443
o 125982
o 125730
o 125507
o 125121
o 124869
o 124815
o 124563
o 124065
o 123813
o 123352
o 123129
o 122491
o 122239
o 122141
o 121918
o 121280
o 121028
o 120944
o 120744
o 120358
o 120106
o 120030
o 119747
o 119495
o 119314
o 118676
o 118424
o 118326
o 118103
o 117465
o 117213
o 116885
o 116633
o 116549
o 116543
o 116291
o 115963
o 115711
o 115635
o 115550
o 115474
o 115252
o 115000
o 114672
o 114420
o 114330
o 114078
o 114002
o 113750
o 113498
o 113422
o 113417
o 112779
o 112527
o 112429
o 112206
o 111568
o 111316
o 110988
o 110736
o 110646
o 110394
o 110318
o 110066
o 109814
o 109738
o 109707
o 109622
o 109546
o 109324
o 109072
o 109023
o 108744
o 108492
o 108402
o 108150
o 108074
o 107822
o 107570
o 107494
o 107382
o 107130
o 106851
o 106599
o 106171
o 105919
o 105640
o 105388
o 105339
o 105060
o 104808
o 104718
o 104466
o 104390
o 104138
o 103886
o 103810
o 103605
o 103529
o 103498
o 103413
o 103337
o 103218
o 103142
o 102890
o 102638
o 102562
o 102472
o 102193
o 101941
o 101865
o 101613
o 101361
o 101285
o 101276
o 101200
o 100997
o 100745
o 100669
o 100317
o 100065
o 99989
o 99786
o 99534
o 99458
o 99206
o 98954
o 98878
o 98788
o 98712
o 98509
o 98257
o 98181
o 97929
o 97677
o 97601
o 97600
o 97524
o 97319
o 97243
o 97212
o 97127
o 97051
o 96932
o 96856
o 96604
o 96352
o 96276
o 96186
o 96110
o 95907
o 95655
o 95579
o 95327
o 95075
o 94999
o 94990
o 94914
o 94711
o 94459
o 94383
o 94031
o 93779
o 93703
o 93500
o 93248
o 93172
o 92920
o 92668
o 92592
o 92502
o 92426
o 92223
o 91971
o 91895
o 91643
o 91391
o 91315
o 91310
o 91220
o 90941
o 90689
o 90613
o 90564
o 90361
o 90109
o 90033
o 90024
o 89745
o 89493
o 89417
o 89065
o 88813
o 88737
o 88534
o 88282
o 88206
o 87954
o 87702
o 87626
o 87536
o 87460
o 87257
o 87005
o 86929
o 86677
o 86425
o 86349
o 86248
o 85996
o 85920
o 85668
o 85416
o 85340
o 85250
o 85174
o 84971
o 84719
o 84643
o 84391
o 84139
o 84063
o 84055
o 83965
o 83686
o 83434
o 83358
o 83106
o 82854
o 82778
o 82773
o 82683
o 82404
o 82152
o 82076
o 82027
o 81824
o 81572
o 81496
o 81487
o 81208
o 80956
o 80880
o 80528
o 80276
o 80200
o 79997
o 79745
o 79669
o 79417
o 79165
o 79089
o 78999
o 78923
o 78720
o 78468
o 78392
o 78140
o 77888
o 77812
o 77711
o 77459
o 77383
o 77131
o 76879
o 76803
o 76713
o 76637
o 76434
o 76182
o 76106
o 75854
o 75602
o 75526
o 75516
o 75264
o 75188
o 75087
o 74835
o 74759
o 74507
o 74255
o 74179
o 74089
o 74013
o 73810
o 73558
o 73482
o 73230
o 72978
o 72902
o 72894
o 72804
o 72525
o 72273
o 72197
o 71945
o 71693
o 71617
o 71575
o 71451
o 71375
o 71338
o 71223
o 70692
o 70616
o 70440
o 70364
o 70112
o 69860
o 69784
o 69694
o 69618
o 69415
o 69163
o 69087
o 68835
o 68583
o 68507
o 68256
o 68004
o 67928
o 67838
o 67762
o 67559
o 67307
o 67231
o 66979
o 66727
o 66651
o 66550
o 66298
o 66222
o 65970
o 65718
o 65642
o 65552
o 65476
o 65273
o 65021
o 64945
o 64693
o 64441
o 64365
o 64336
o 64084
o 64008
o 63756
o 63504
o 63428
o 63275
o 63199
o 62997
o 62745
o 62669
o 62417
o 62165
o 62089
o 61909
o 61657
o 61581
o 61480
o 61228
o 61152
o 60972
o 60720
o 60644
o 60580
o 60400
o 60148
o 60072
o 59941
o 59865
o 59848
o 59772
o 59640
o 59621
o 59369
o 59293
o 59276
o 59200
o 59005
o 58929
o 58802
o 58749
o 58497
o 58421
o 58357
o 58230
o 58177
o 57925
o 57849
o 57616
o 57360
o 57108
o 57044
o 56788
o 56536
o 56385
o 56133
o 56050
o 55977
o 55798
o 55725
o 55647
o 55574
o 55395
o 55322
o 55266
o 55014
o 54858
o 54606
o 54455
o 54203
o 54137
o 54009
o 53757
o 53693
o 53437
o 53185
o 53076
o 52824
o 52592
o 52340
o 52246
o 52150
o 51994
o 51760
o 51666
o 51591
o 51357
o 51263
o 51256
o 51183
o 51022
o 50949
o 50928
o 50855
o 50853
o 50780
o 50619
o 50546
o 50525
o 50452
o 50408
o 50335
o 50314
o 50241
o 50239
o 50166
o 50080
o 50005
o 49932
o 49911
o 49838
o 49831
o 49745
o 49670
o 49597
o 49576
o 49503
o 49454
o 49433
o 49360
o 49358
o 49285
o 49199
o 49124
o 49051
o 49030
o 48957
o 48950
o 48864
o 48789
o 48716
o 48695
o 48622
o 48619
o 48575
o 48502
o 48481
o 48408
o 48406
o 48333
o 48247
o 48172
o 48099
o 48078
o 48005
o 47998
o 47912
o 47837
o 47764
o 47743
o 47670
o 47595
o 47475
o 47223
o 47129
o 47033
o 46877
o 46643
o 46549
o 46474
o 46240
o 46146
o 46104
o 46029
o 46010
o 45935
o 45860
o 45701
o 45626
o 45607
o 45532
o 45525
o 45366
o 45291
o 45272
o 45197
o 45148
o 45129
o 45054
o 44979
o 44820
o 44745
o 44726
o 44651
o 44644
o 44485
o 44410
o 44391
o 44316
o 44313
o 44271
o 44196
o 44177
o 44102
o 44027
o 43868
o 43793
o 43774
o 43699
o 43692
o 43533
o 43458
o 43439
o 43364
o 43163
o 43088
o 43080
o 42828
o 42753
o 42724
o 42547
o 42472
o 42464
o 42212
o 42137
o 42111
o 42036
o 42028
o 41776
o 41701
o 41495
o 41420
o 41412
o 41160
o 41085
o 40969
o 40894
o 40886
o 40634
o 40559
o 40439
o 40364
o 40338
o 40263
o 40255
o 40003
o 39928
o 39722
o 39647
o 39639
o 39387
o 39312
o 39196
o 39121
o 39113
o 38861
o 38786
o 38737
o 38729
o 38477
o 38402
o 38376
o 38301
o 38293
o 38041
o 37966
o 37760
o 37685
o 37677
o 37425
o 37350
o 37234
o 37159
o 37151
o 36899
o 36824
o 36814
o 36806
o 36554
o 36479
o 36298
o 36145
o 36094
o 36018
o 35907
o 35660
o 35549
o 35310
o 35199
s OPTIMUM FOUND
c Optimal Solution = 35199
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
c Program terminated in 253.880 seconds.
253.842u 0.034s 4:14.37 99.8%	0+0k 0+0io 0pf+0w