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-30-2_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1490402
o 102695
o 101868
o 101750
o 99377
o 99200
o 98465
o 96850
o 96453
o 94838
o 93645
o 93036
o 92400
o 92073
o 91437
o 90926
o 90290
o 89584
o 89464
o 88391
o 88271
o 87782
o 87662
o 87146
o 87026
o 86819
o 86699
o 86183
o 86063
o 85672
o 85552
o 85036
o 84916
o 84778
o 84658
o 84142
o 84022
o 83985
o 83865
o 83428
o 82792
o 82672
o 82182
o 82062
o 81855
o 81735
o 81709
o 81219
o 81099
o 80708
o 80588
o 80562
o 80072
o 79952
o 79917
o 79797
o 78724
o 78604
o 78115
o 77995
o 77479
o 77359
o 77152
o 77032
o 76516
o 76396
o 76005
o 75885
o 75369
o 75249
o 75111
o 74991
o 74475
o 74355
o 74318
o 74198
o 73761
o 73125
o 73005
o 72515
o 72395
o 72162
o 72042
o 71552
o 71432
o 71041
o 70921
o 70895
o 70405
o 70285
o 70101
o 69491
o 69371
o 68980
o 68860
o 68834
o 68344
o 68224
o 68189
o 68069
o 66996
o 66876
o 66387
o 66267
o 65751
o 65631
o 65424
o 65304
o 64788
o 64668
o 64277
o 64157
o 63641
o 63521
o 63383
o 63263
o 62747
o 62627
o 62590
o 62470
o 62033
o 61397
o 61277
o 60787
o 60667
o 60434
o 60314
o 59824
o 59704
o 59313
o 59193
o 59167
o 58677
o 58557
o 58511
o 58391
o 58035
o 57915
o 57425
o 57305
o 57249
o 57129
o 57103
o 56613
o 56493
o 56260
o 56140
o 55650
o 55530
o 55139
o 55019
o 54993
o 54503
o 54383
o 54337
o 54217
o 54182
o 54016
o 53896
o 53572
o 53452
o 53406
o 53286
o 53198
o 53078
o 53043
o 52877
o 52757
o 52433
o 52313
o 52267
o 52147
o 52045
o 51925
o 51601
o 51435
o 51315
o 51280
o 51114
o 50994
o 50670
o 50550
o 50504
o 50384
o 50015
o 49849
o 49694
o 49528
o 49084
o 48918
o 48494
o 48328
o 48249
o 48083
o 47765
o 47599
o 47318
o 47152
o 47123
o 46841
o 46675
o 46533
o 46451
o 46309
o 46200
o 46058
o 45946
o 45804
o 45665
o 45499
o 45357
o 45290
o 45246
o 45148
o 44724
o 44558
o 44500
o 44334
o 44249
o 44083
o 43995
o 43829
o 43548
o 43382
o 43235
o 43069
o 42914
o 42748
o 42594
o 42506
o 42340
o 42059
o 41893
o 41823
o 41657
o 41569
o 41403
o 41122
o 40956
o 40950
o 40700
o 40534
o 40520
o 40372
o 40287
o 40121
o 40033
o 39867
o 39837
o 39586
o 39420
o 39087
o 38921
o 38849
o 38497
o 38331
o 38273
o 38107
o 38022
o 37856
o 37768
o 37602
o 37507
o 37321
o 37155
o 37069
o 36903
o 36814
o 36794
o 36729
o 36510
o 36093
o 35996
o 35644
o 35491
o 35139
o 34901
o 34549
o 34529
o 34180
o 33828
o 33576
o 33215
o 33195
o 33015
o 32494
o 32414
o 32402
o 32303
o 32204
o 32176
o 32148
o 31924
o 31896
o 31845
o 31817
o 31693
o 31681
o 31665
o 31653
o 31583
o 31575
o 31555
o 31323
o 31244
o 31092
o 31080
o 30943
o 30833
o 30667
o 30584
o 30477
o 30447
o 30217
o 30138
o 29986
o 29974
o 29947
o 29781
o 29698
o 29591
o 29516
o 29286
o 29252
o 29100
o 29088
o 29015
o 28849
o 28827
o 28619
o 28597
s OPTIMUM FOUND
c Optimal Solution = 28597
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
c Program terminated in 133.260 seconds.
133.240u 0.006s 2:13.31 99.9%	0+0k 0+0io 0pf+0w