Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-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/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 79 490 901993
WARNING: Ubcsat not found.
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 75586
o 75159
o 73898
o 73231
o 73091
o 72424
o 72423
o 72039
o 71372
o 71271
o 70844
o 69583
o 68916
o 68154
o 67487
o 67347
o 66680
o 66679
o 66295
o 65628
o 65535
o 64868
o 63839
o 63172
o 62857
o 62190
o 62173
o 61506
o 60477
o 59810
o 59703
o 59610
o 58943
o 57914
o 57247
o 57231
o 56863
o 56847
o 56722
o 56245
o 55216
o 54549
o 54159
o 54143
o 53734
o 53718
o 53430
o 53422
o 53227
o 52739
o 51734
o 51718
o 51350
o 51334
o 51209
o 50732
o 50724
o 50529
o 50041
o 49036
o 48646
o 48630
o 48221
o 48205
o 48181
o 48165
o 47952
o 47562
o 47546
o 47137
o 47121
o 46321
o 45846
o 45830
o 45137
o 45121
o 44753
o 44737
o 44403
o 44387
o 43623
o 43148
o 42758
o 42742
o 42439
o 42049
o 42033
o 41624
o 41608
o 41584
o 41568
o 41449
o 41433
o 41409
o 41393
o 41090
o 40085
o 40069
o 39660
o 39644
o 39620
o 39604
o 39281
o 39265
o 38974
o 38958
o 38934
o 38918
o 38088
o 37743
o 37727
o 37663
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 36271
o 36255
o 36010
o 35994
o 35964
o 35948
o 35703
o 35687
o 35663
o 35647
o 35406
o 35390
o 34981
o 34965
o 34941
o 34925
o 34602
o 34586
o 34295
o 34279
o 34255
o 34239
o 34052
o 34036
o 34012
o 33996
o 33985
o 33961
o 33945
o 33934
o 33918
o 33673
o 33657
o 33627
o 33611
o 33366
o 33350
o 33326
o 33310
o 33049
o 33033
o 32742
o 32726
o 32702
o 32686
o 32421
o 32405
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 30123
o 29816
o 29776
o 29573
o 29533
o 29522
o 29482
o 29455
o 29194
o 29148
o 28887
o 28847
o 28570
o 28263
o 28223
o 27942
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 25563
o 25334
o 25146
o 24797
o 24496
o 24355
o 23705
o 23648
o 23639
o 23397
o 23245
o 22747
c Learned clauses = 0
c NB_MONO= 200838, NB_BRANCHE= 738969, NB_BACK= 369637 
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 0
80.197u 0.013s 1:20.38 99.7%	0+0k 0+0io 0pf+0w