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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 901993
o 90335
o 90188
o 89232
o 87971
o 87544
o 86283
o 85638
o 84377
o 83253
o 82608
o 81347
o 80680
o 79861
o 79194
o 78666
o 77405
o 76738
o 76354
o 75687
o 75137
o 73898
o 73231
o 73091
o 72424
o 72423
o 72039
o 71489
o 71271
o 70844
o 69583
o 68916
o 68154
o 67487
o 67347
o 66680
o 66295
o 65745
o 65535
o 65100
o 63839
o 63172
o 62857
o 62190
o 61716
o 60477
o 59810
o 59610
o 59594
o 59175
o 59159
o 57914
o 57898
o 57247
o 57231
o 56863
o 56847
o 56722
o 56615
o 56599
o 56477
o 56461
o 55216
o 55200
o 54549
o 54533
o 54159
o 54143
o 53734
o 53718
o 53295
o 53287
o 53092
o 52604
o 51599
o 51209
o 50732
o 50716
o 50529
o 50041
o 49036
o 49020
o 48646
o 48630
o 48221
o 48205
o 48181
o 48165
o 47952
o 47936
o 47562
o 47546
o 47137
o 47121
o 46874
o 46690
o 46495
o 46007
o 45002
o 44612
o 44311
o 44295
o 44127
o 43932
o 43444
o 42439
o 42423
o 42049
o 42033
o 41624
o 41608
o 41584
o 41568
o 41567
o 41551
o 41449
o 41433
o 41409
o 41393
o 40475
o 40459
o 40085
o 40069
o 39660
o 39644
o 39620
o 39604
o 39418
o 39402
o 38974
o 38958
o 38934
o 38918
o 38478
o 38462
o 38088
o 38072
o 37743
o 37727
o 37663
o 37647
o 37318
o 37302
o 37278
o 37262
o 36939
o 36923
o 36632
o 36616
o 36592
o 36576
o 36389
o 36373
o 36349
o 36333
o 36322
o 36298
o 36282
o 36147
o 36131
o 36048
o 36032
o 35703
o 35687
o 35663
o 35647
o 35406
o 35390
o 34981
o 34965
o 34941
o 34925
o 34739
o 34723
o 34295
o 34279
o 34255
o 34239
o 34052
o 34036
o 34012
o 33996
o 33985
o 33961
o 33945
o 33810
o 33794
o 33366
o 33350
o 33326
o 33310
o 33186
o 33170
o 32742
o 32726
o 32702
o 32686
o 32558
o 32542
o 32114
o 32098
o 32074
o 32058
o 31813
o 31797
o 31773
o 31757
o 31607
o 31591
o 31567
o 31551
o 31402
o 31386
o 31081
o 31065
o 30774
o 30758
o 30473
o 30457
o 30267
o 30251
o 29816
o 29776
o 29573
o 29533
o 29522
o 29482
o 29331
o 28887
o 28847
o 28570
o 28263
o 28223
o 28079
o 27635
o 27595
o 27334
o 27294
o 27128
o 27088
o 26923
o 26602
o 26295
o 25994
o 25788
o 25635
o 25334
o 25226
o 25146
o 24797
o 24496
o 24355
o 23705
o 23648
o 23540
o 23397
o 23245
o 22747
s OPTIMUM FOUND
c Optimal Solution = 22747
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
c Program terminated in 2.750 seconds.
2.753u 0.000s 0:02.75 100.0%	0+0k 0+0io 0pf+0w