Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-30-2_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 88 704 1448491
WARNING: Ubcsat not found.
o 1448491
o 89713
o 89439
o 88398
o 88290
o 87449
o 87262
o 86988
o 85947
o 85830
o 85807
o 84766
o 84590
o 84375
o 83334
o 83217
o 83194
o 82153
o 82094
o 81977
o 81954
o 80913
o 80254
o 80137
o 80114
o 79073
o 78835
o 78700
o 78044
o 77868
o 77653
o 76612
o 76495
o 76472
o 75431
o 75117
o 74191
o 73877
o 73532
o 73415
o 73392
o 72351
o 72037
o 71799
o 71432
o 71118
o 70880
o 70745
o 70431
o 69505
o 69191
o 68846
o 68729
o 68706
o 67665
o 67351
o 67113
o 67045
o 67013
o 66896
o 66873
o 65832
o 65518
o 65280
o 65273
o 65035
o 64913
o 64599
o 64361
o 64354
o 64116
o 63945
o 63912
o 62986
o 62672
o 62327
o 62210
o 62187
o 61146
o 60832
o 60594
o 60587
o 60349
o 60281
o 60251
o 59899
o 59585
o 59012
o 58698
o 58059
o 57745
o 57507
o 57500
o 57262
o 57194
o 57100
o 56537
o 56223
o 55985
o 55978
o 55740
o 55672
o 55642
o 55036
o 54798
o 54791
o 54553
o 54485
o 54077
o 53514
o 53276
o 53269
o 53031
o 52963
o 52882
o 52749
o 52644
o 52637
o 52504
o 52399
o 52331
o 52162
o 52155
o 51917
o 51849
o 51736
o 51208
o 50894
o 50656
o 50588
o 50558
o 50235
o 49707
o 49469
o 49401
o 49328
o 49276
o 48713
o 48185
o 47947
o 47879
o 47658
o 47553
o 47420
o 47315
o 47247
o 47071
o 46833
o 46765
o 46679
o 46574
o 46330
o 46092
o 46090
o 45985
o 45741
o 45503
o 45294
o 45056
o 44951
o 44713
o 44459
o 44391
o 44305
o 44200
o 43718
o 43716
o 43611
o 43129
o 42682
o 42339
o 42252
o 41807
o 41360
o 41017
o 40944
o 40839
o 40601
o 40347
o 40279
o 40193
o 40088
o 39606
o 39604
o 39499
o 39017
o 38570
o 38227
o 38140
o 37695
o 37248
o 36905
o 36829
o 36761
o 36675
o 36570
o 36088
o 36001
o 35989
o 35921
o 35507
o 35439
o 35353
o 35248
o 34766
o 34653
o 34508
o 34462
o 34134
o 34056
o 33873
o 33731
o 33661
o 33615
o 33287
o 33209
o 32984
o 32784
o 32526
o 32480
o 32152
o 32074
o 31849
o 31661
o 31403
o 31357
o 31029
o 30951
o 30726
o 30698
o 30652
o 30324
o 30246
o 30021
o 29993
o 29576
o 29458
o 29353
o 28871
c Learned clauses = 0
c NB_MONO= 1930713, NB_BRANCHE= 7905850, NB_BACK= 3953011 
s OPTIMUM FOUND
c Optimal Solution = 28871
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 0
1262.030u 0.009s 21:01.97 100.0%	0+0k 0+0io 0pf+0w