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-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 874826
o 105773
o 105392
o 105102
o 103887
o 103506
o 103216
o 102934
o 102644
o 102368
o 102086
o 101796
o 101772
o 101482
o 101460
o 101184
o 100902
o 100612
o 100588
o 100298
o 99825
o 99444
o 99154
o 98872
o 98582
o 98306
o 98024
o 97734
o 97710
o 97420
o 97270
o 97129
o 96839
o 96815
o 96525
o 96052
o 95671
o 95381
o 95099
o 94809
o 94533
o 94251
o 93961
o 93937
o 93647
o 93394
o 93112
o 92822
o 92546
o 92264
o 91974
o 91950
o 91660
o 91642
o 91501
o 91211
o 91187
o 90897
o 90641
o 90424
o 90043
o 89753
o 89471
o 89181
o 88905
o 88623
o 88333
o 88309
o 88019
o 87766
o 87484
o 87194
o 86918
o 86636
o 86346
o 86322
o 86032
o 85948
o 85658
o 85376
o 85086
o 84810
o 84528
o 84238
o 84214
o 83924
o 83671
o 83389
o 83099
o 82823
o 82541
o 82251
o 82227
o 81937
o 81820
o 81815
o 81533
o 81243
o 81219
o 80929
o 80676
o 80394
o 80104
o 79828
o 79546
o 79256
o 79232
o 78942
o 78858
o 78568
o 78286
o 77996
o 77720
o 77438
o 77148
o 77124
o 76834
o 76581
o 76299
o 76009
o 75733
o 75451
o 75161
o 75137
o 74847
o 74622
o 74332
o 74308
o 74018
o 73772
o 73682
o 73482
o 73392
o 73368
o 73168
o 73078
o 72910
o 72820
o 72796
o 72596
o 72506
o 72479
o 72389
o 72384
o 72192
o 72102
o 71902
o 71812
o 71788
o 71588
o 71498
o 71335
o 71245
o 71053
o 70963
o 70763
o 70673
o 70487
o 70397
o 70205
o 70115
o 69915
o 69825
o 69801
o 69601
o 69511
o 69427
o 69227
o 69137
o 68945
o 68855
o 68655
o 68565
o 68379
o 68289
o 68097
o 68007
o 67807
o 67717
o 67693
o 67493
o 67403
o 67240
o 67150
o 66958
o 66868
o 66668
o 66578
o 66392
o 66302
o 66110
o 66020
o 65820
o 65730
o 65706
o 65506
o 65416
o 65281
o 65191
o 64991
o 64901
o 64877
o 64677
o 64587
o 64431
o 64141
o 63921
o 63865
o 63583
o 63293
o 63073
o 62979
o 62759
o 62754
o 62464
o 62244
o 62150
o 61930
o 61904
o 61814
o 61614
o 61524
o 61394
o 61304
o 61300
o 61210
o 61080
o 60990
o 60952
o 60822
o 60732
o 60728
o 60638
o 60508
o 60418
o 60391
o 60301
o 60234
o 60034
o 59944
o 59814
o 59724
o 59720
o 59630
o 59500
o 59410
o 59377
o 59185
o 59095
o 58895
o 58805
o 58675
o 58585
o 58529
o 58337
o 58247
o 58047
o 57957
o 57827
o 57737
o 57733
o 57643
o 57513
o 57423
o 57359
o 57269
o 57077
o 56987
o 56787
o 56697
o 56567
o 56477
o 56421
o 56229
o 56139
o 55939
o 55849
o 55719
o 55629
o 55625
o 55535
o 55405
o 55315
o 55282
o 55090
o 55000
o 54800
o 54710
o 54580
o 54490
o 54434
o 54242
o 54152
o 53952
o 53862
o 53732
o 53642
o 53638
o 53548
o 53418
o 53328
o 53323
o 53123
o 53033
o 52903
o 52813
o 52809
o 52719
o 52589
o 52499
o 52415
o 52348
o 52148
o 52058
o 51928
o 51838
o 51834
o 51744
o 51614
o 51524
o 51487
o 51397
o 51342
o 51252
o 51248
o 51158
o 51028
o 50938
o 50900
o 50770
o 50680
o 50676
o 50586
o 50456
o 50366
o 50361
o 50161
o 50071
o 49941
o 49851
o 49847
o 49757
o 49627
o 49537
o 49495
o 49405
o 49293
o 49203
o 49198
o 48998
o 48908
o 48778
o 48688
o 48684
o 48594
o 48464
o 48374
o 48249
o 48159
o 48029
o 47939
o 47935
o 47845
o 47715
o 47625
o 47586
o 47496
o 47384
o 47294
o 47257
o 47065
o 46975
o 46775
o 46685
o 46555
o 46465
o 46381
o 46319
o 46282
o 46090
o 46000
o 45800
o 45710
o 45580
o 45490
o 45453
o 45363
o 45214
o 45124
o 44994
o 44904
o 44842
o 44642
o 44552
o 44422
o 44332
o 44295
o 44103
o 44013
o 43813
o 43723
o 43593
o 43503
o 43461
o 43371
o 43259
o 43169
o 43132
o 43014
o 42924
o 42850
o 42650
o 42560
o 42430
o 42340
o 42253
o 42163
o 42033
o 41943
o 41901
o 41811
o 41681
o 41591
o 41509
o 41419
o 41332
o 41242
o 41112
o 41022
o 40980
o 40890
o 40760
o 40670
o 40576
o 40486
o 40374
o 40284
o 40247
o 40217
o 40055
o 39965
o 39765
o 39675
o 39545
o 39455
o 39413
o 39323
o 39211
o 39121
o 39084
o 38892
o 38802
o 38602
o 38512
o 38382
o 38292
o 38205
o 38115
o 37985
o 37895
o 37853
o 37763
o 37633
o 37543
o 37513
o 37423
o 37223
o 37133
o 37003
o 36913
o 36842
o 36712
o 36622
o 36604
o 36547
o 36531
o 36441
o 36440
o 36240
o 36150
o 36137
o 36136
o 35936
o 35846
o 35789
o 35645
o 35555
o 35498
o 35354
o 35264
o 35207
o 35028
o 34938
o 34937
o 34737
o 34647
o 34634
o 34633
o 34433
o 34343
o 34286
o 34170
o 34080
o 34025
o 33935
o 33805
o 33715
o 33644
o 33514
o 33424
o 33357
o 33306
o 33300
o 33249
o 33143
o 33092
o 33053
o 33002
o 32992
o 32941
o 32940
o 32926
o 32791
o 32740
o 32701
o 32650
o 32644
o 32593
o 32585
o 32495
o 32294
o 32204
o 32088
o 31998
o 31990
o 31723
o 31633
o 31432
o 31342
o 31308
o 31218
o 31167
o 31159
o 31078
o 30943
o 30892
o 30853
o 30802
o 30787
o 30652
o 30601
o 30562
o 30511
o 30461
o 30410
o 30372
o 30321
o 30305
o 30170
o 30119
o 30093
o 30042
o 30027
o 30021
o 29970
o 29926
o 29875
o 29770
o 29635
o 29584
o 29138
o 28847
o 28723
o 28672
o 28493
o 28358
o 28307
o 28202
o 28067
o 28016
o 27945
o 27810
o 27759
o 27720
o 27669
o 27665
o 27530
o 27479
o 27463
o 27328
o 27277
o 27251
o 27200
o 27185
o 27179
o 27128
o 26928
o 26793
o 26742
o 26005
o 25881
o 25830
o 25360
o 25225
o 25174
o 24891
o 24445
s OPTIMUM FOUND
c Optimal Solution = 24445
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
c Program terminated in 1.170 seconds.
1.176u 0.001s 0:01.18 99.1%	0+0k 0+0io 0pf+0w