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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1198742
o 120582
o 119915
o 118998
o 118754
o 118113
o 117849
o 117605
o 116964
o 116765
o 116124
o 116073
o 115968
o 115829
o 115327
o 115188
o 115128
o 114989
o 114487
o 114348
o 114329
o 113827
o 113688
o 113347
o 113148
o 112507
o 112456
o 112351
o 112212
o 111710
o 111571
o 111511
o 111372
o 110870
o 110731
o 110666
o 110332
o 110193
o 110137
o 110003
o 109501
o 109362
o 109297
o 109192
o 108993
o 108352
o 108301
o 108196
o 108057
o 107555
o 107416
o 107356
o 107217
o 106715
o 106576
o 106511
o 106271
o 106206
o 106132
o 106067
o 105934
o 105869
o 105809
o 105735
o 105670
o 105233
o 105094
o 105029
o 104819
o 104680
o 104615
o 104555
o 104481
o 104416
o 103979
o 103840
o 103775
o 103770
o 103705
o 103268
o 103129
o 103064
o 102854
o 102715
o 102650
o 102590
o 102516
o 102451
o 102014
o 101875
o 101810
o 101770
o 101705
o 101645
o 101571
o 101506
o 101069
o 100930
o 100865
o 100859
o 100394
o 100255
o 100190
o 100025
o 99960
o 99886
o 99821
o 99776
o 99642
o 99140
o 99001
o 98936
o 98771
o 98706
o 98632
o 98567
o 98429
o 98290
o 98225
o 98060
o 97995
o 97921
o 97856
o 97811
o 97677
o 97175
o 97036
o 96971
o 96806
o 96741
o 96667
o 96602
o 96230
o 96091
o 96026
o 95861
o 95796
o 95722
o 95657
o 95593
o 95454
o 95389
o 95342
o 95277
o 95224
o 95150
o 95085
o 94648
o 94509
o 94444
o 94437
o 94298
o 94233
o 94188
o 94054
o 93552
o 93413
o 93348
o 93183
o 93118
o 93044
o 92979
o 92852
o 92787
o 92719
o 92654
o 92580
o 92515
o 92350
o 92285
o 92211
o 92146
o 92008
o 91869
o 91804
o 91639
o 91574
o 91500
o 91435
o 91390
o 91383
o 91256
o 91191
o 90754
o 90615
o 90550
o 90385
o 90320
o 90246
o 90181
o 89809
o 89744
o 89670
o 89605
o 89440
o 89375
o 89301
o 89236
o 89098
o 88959
o 88894
o 88729
o 88664
o 88590
o 88525
o 88420
o 88281
o 88216
o 87844
o 87779
o 87705
o 87640
o 87475
o 87410
o 87336
o 87271
o 87207
o 87068
o 87003
o 86956
o 86891
o 86838
o 86764
o 86699
o 86262
o 86123
o 86058
o 86051
o 85912
o 85847
o 85831
o 85757
o 85692
o 85668
o 85603
o 85166
o 85027
o 84962
o 84797
o 84732
o 84658
o 84593
o 84466
o 84401
o 84333
o 84268
o 84194
o 84129
o 83964
o 83899
o 83825
o 83760
o 83622
o 83483
o 83418
o 83253
o 83188
o 83114
o 83049
o 82959
o 82894
o 82870
o 82805
o 82368
o 82229
o 82164
o 81999
o 81934
o 81860
o 81795
o 81423
o 81358
o 81284
o 81219
o 81054
o 80989
o 80915
o 80850
o 80838
o 80764
o 80699
o 80561
o 80422
o 80357
o 80192
o 80127
o 80053
o 79988
o 79943
o 79936
o 79307
o 79168
o 79103
o 78938
o 78873
o 78799
o 78734
o 78362
o 78223
o 78158
o 77993
o 77854
o 77789
o 77188
o 77049
o 76984
o 76819
o 76680
o 76615
o 76550
o 76485
o 76268
o 76129
o 76064
o 75435
o 75296
o 75231
o 75066
o 75001
o 74927
o 74862
o 74853
o 74714
o 74649
o 74621
o 74547
o 74482
o 74317
o 74178
o 74113
o 74073
o 73741
o 73602
o 73537
o 73372
o 73233
o 73168
o 73103
o 72964
o 72567
o 72428
o 72363
o 72198
o 72059
o 71994
o 71929
o 71864
o 71699
o 71560
o 71495
o 71436
o 71371
o 71297
o 71232
o 71211
o 71146
o 70814
o 70749
o 70675
o 70610
o 70445
o 70380
o 70306
o 70241
o 70200
o 70135
o 70100
o 69961
o 69896
o 69731
o 69666
o 69592
o 69527
o 69456
o 69391
o 68755
o 68616
o 68551
o 67922
o 67783
o 67718
o 67553
o 67488
o 67414
o 67349
o 66931
o 66792
o 66727
o 66562
o 66423
o 66358
o 66352
o 66278
o 66213
o 66192
o 66127
o 65795
o 65730
o 65656
o 65591
o 65426
o 65361
o 65287
o 65222
o 65186
o 65047
o 64982
o 64817
o 64752
o 64678
o 64613
o 64573
o 64508
o 64437
o 64372
o 63736
o 63597
o 63532
o 63367
o 63302
o 63228
o 63163
o 62903
o 62764
o 62699
o 62534
o 62469
o 62395
o 62330
o 61912
o 61773
o 61708
o 61543
o 61404
o 61339
o 61330
o 61070
o 60931
o 60866
o 60701
o 60562
o 60497
o 60471
o 60406
o 60332
o 60267
o 60202
o 60102
o 60037
o 59963
o 59898
o 59857
o 59783
o 59718
o 59693
o 59554
o 59489
o 59444
o 59279
o 59140
o 59075
o 58726
o 58587
o 58522
o 58357
o 58218
o 58153
o 58047
o 57982
o 57908
o 57843
o 57678
o 57613
o 57539
o 57474
o 57399
o 57334
o 57260
o 57195
o 57147
o 57073
o 57008
o 56950
o 56885
o 56820
o 56720
o 56655
o 56581
o 56516
o 56468
o 56394
o 56329
o 56287
o 56122
o 55983
o 55569
o 55430
o 55200
o 55061
o 54890
o 54751
o 54521
o 54382
o 54242
o 54103
o 54055
o 53916
o 53793
o 53728
o 53563
o 53424
o 53376
o 53237
o 53090
o 52951
o 52903
o 52764
o 52709
o 52430
o 52243
o 52120
o 52094
o 52055
o 51751
o 51564
o 51497
o 51432
o 51367
o 51267
o 51202
o 51128
o 51063
o 51015
o 50941
o 50876
o 50808
o 50743
o 50578
o 50439
o 50345
o 50322
o 50183
o 50138
o 50060
o 49921
o 49437
o 49298
o 49068
o 48929
o 48841
o 48611
o 48472
o 48340
o 48110
o 47971
o 47923
o 47784
o 47637
o 47498
o 47450
o 47311
o 47256
o 47168
o 47142
o 46799
o 46667
o 46641
o 46298
o 46111
o 46106
o 45763
o 45646
o 45605
o 45262
o 45075
o 44983
o 44965
o 44622
o 44331
o 44290
o 43947
o 43832
o 43793
o 43489
o 43295
o 43217
o 43195
o 43117
o 42956
o 42878
o 42613
o 42535
o 42530
o 42458
o 42231
o 42228
o 41885
o 41553
o 41210
o 40936
o 40849
o 40704
o 40622
o 40506
o 40361
o 40328
o 40232
o 40087
o 40054
o 40038
o 39908
o 39885
o 39803
o 39687
o 39542
o 39478
o 39333
o 39300
o 39268
o 39204
o 39059
o 39026
o 39010
o 38881
o 38848
o 38679
o 38336
o 38127
o 38094
o 38062
o 37853
o 37820
s OPTIMUM FOUND
c Optimal Solution = 37820
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
c Program terminated in 737.840 seconds.
737.728u 0.013s 12:19.15 99.8%	0+0k 0+0io 0pf+0w