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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 81 560 1005707
WARNING: Ubcsat not found.
o 1005707
o 86270
o 85830
o 85802
o 84723
o 83957
o 83939
o 83710
o 83517
o 83499
o 83270
o 83242
o 82410
o 82392
o 82163
o 82144
o 82126
o 81897
o 81869
o 81037
o 81019
o 80790
o 80194
o 80176
o 79947
o 79837
o 79809
o 78977
o 78959
o 78730
o 78134
o 78116
o 77887
o 77682
o 77086
o 77068
o 76839
o 76407
o 76389
o 76160
o 75564
o 75546
o 75317
o 75252
o 75178
o 74746
o 74728
o 74499
o 73903
o 73885
o 73656
o 73234
o 73216
o 72987
o 72782
o 72186
o 72168
o 71939
o 71507
o 71489
o 71260
o 70664
o 70646
o 70417
o 70254
o 70236
o 70007
o 69411
o 69393
o 69164
o 69099
o 69025
o 68593
o 68575
o 68346
o 67750
o 67732
o 67503
o 67081
o 67063
o 66834
o 66629
o 66033
o 66015
o 65786
o 65354
o 65336
o 65107
o 64511
o 64493
o 64264
o 64260
o 64054
o 64036
o 63807
o 63742
o 63668
o 63236
o 63218
o 62989
o 62393
o 62375
o 62146
o 61724
o 61706
o 61477
o 61272
o 60676
o 60658
o 60429
o 59997
o 59979
o 59750
o 59154
o 59136
o 58907
o 58903
o 58674
o 58469
o 57873
o 57855
o 57626
o 57194
o 57176
o 56947
o 56351
o 56333
o 56104
o 56052
o 56034
o 55805
o 55600
o 55004
o 54986
o 54757
o 54325
o 54307
o 54078
o 53482
o 53464
o 53235
o 53231
o 53025
o 53007
o 52778
o 52713
o 52639
o 52207
o 52189
o 51960
o 51364
o 51346
o 51117
o 50695
o 50677
o 50448
o 50243
o 49647
o 49629
o 49400
o 48968
o 48950
o 48721
o 48125
o 48107
o 47878
o 47793
o 47124
o 46919
o 46076
o 45397
o 44554
o 43964
o 43759
o 42916
o 42237
o 41394
o 41162
o 41100
o 40633
o 40440
o 39585
o 38918
o 38063
o 37673
o 37441
o 37379
o 36843
o 35988
o 35197
o 34342
o 33767
o 33543
o 33251
o 32911
o 32056
o 31481
o 31257
o 30965
o 30819
o 30595
o 30303
o 30253
o 29961
o 29815
o 29591
o 29299
o 29143
o 28851
o 28755
o 28591
o 28307
o 28281
o 28021
o 27737
o 27340
o 27211
o 26770
o 26337
o 26164
o 26040
o 25880
o 25594
o 25542
o 25418
o 25258
o 25195
o 24972
o 24938
o 24864
o 24423
o 24357
o 24195
o 24024
o 23801
o 23796
o 23735
o 23573
c Learned clauses = 0
c NB_MONO= 709608, NB_BRANCHE= 2719487, NB_BACK= 1363692 
s OPTIMUM FOUND
c Optimal Solution = 23573
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 0
288.574u 0.047s 4:49.21 99.7%	0+0k 0+0io 0pf+0w