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-40-2_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1459118
o 126714
o 126359
o 125301
o 125137
o 124821
o 124466
o 123408
o 123360
o 123044
o 122689
o 121631
o 121304
o 120246
o 120242
o 119184
o 118288
o 117961
o 116903
o 116576
o 116249
o 115191
o 114490
o 114163
o 113836
o 112778
o 112761
o 112707
o 112363
o 112036
o 110978
o 110277
o 109950
o 109623
o 108565
o 108548
o 108314
o 108297
o 108150
o 108066
o 107449
o 107365
o 107122
o 107038
o 106795
o 105737
o 105653
o 105636
o 105582
o 105322
o 105238
o 104995
o 103937
o 103853
o 103236
o 103152
o 102909
o 102825
o 102582
o 101524
o 101440
o 101423
o 101273
o 101189
o 101172
o 100199
o 100115
o 100098
o 99937
o 99853
o 99836
o 99788
o 99610
o 99526
o 98487
o 98403
o 98225
o 98141
o 98124
o 97974
o 97890
o 97873
o 97780
o 96722
o 96638
o 96194
o 96110
o 95943
o 95859
o 95842
o 95397
o 95313
o 95296
o 94869
o 94785
o 94768
o 94607
o 94523
o 94506
o 93685
o 93601
o 93423
o 93339
o 93322
o 93157
o 93140
o 93073
o 93056
o 92895
o 92811
o 92794
o 92644
o 92560
o 92543
o 92485
o 92401
o 92234
o 92150
o 92133
o 91160
o 91076
o 91059
o 90898
o 90814
o 90797
o 90749
o 90571
o 90487
o 89448
o 89364
o 89186
o 89102
o 89085
o 88935
o 88851
o 88834
o 88798
o 88741
o 87683
o 87599
o 87155
o 87071
o 86904
o 86820
o 86803
o 86784
o 86700
o 85845
o 85761
o 85583
o 85499
o 85317
o 85233
o 85055
o 84971
o 84804
o 84720
o 84703
o 84646
o 84562
o 84395
o 84311
o 84294
o 84118
o 84034
o 83867
o 83783
o 83766
o 83605
o 83521
o 83504
o 83394
o 83310
o 83293
o 82472
o 82455
o 82388
o 82371
o 82210
o 82126
o 82109
o 81944
o 81927
o 81860
o 81843
o 81682
o 81598
o 81581
o 81431
o 81347
o 81330
o 80467
o 80383
o 80205
o 80121
o 80104
o 79939
o 79922
o 79855
o 79838
o 79677
o 79593
o 79576
o 78755
o 78671
o 78493
o 78409
o 78392
o 78227
o 78210
o 78143
o 78126
o 77965
o 77881
o 77864
o 77714
o 77630
o 77613
o 77556
o 77472
o 77305
o 77221
o 77204
o 77028
o 76944
o 76777
o 76693
o 76676
o 76515
o 76431
o 76414
o 76318
o 76234
o 75790
o 75706
o 75528
o 75444
o 74933
o 74849
o 74405
o 74321
o 74143
o 74059
o 73892
o 73808
o 73734
o 73650
o 73483
o 73399
o 73206
o 73122
o 72955
o 72871
o 72860
o 72693
o 72609
o 72587
o 72254
o 72170
o 71992
o 71908
o 71876
o 71792
o 71726
o 71642
o 71464
o 71380
o 71348
o 71264
o 71055
o 70971
o 70939
o 70855
o 70527
o 70443
o 70411
o 70327
o 70265
o 70181
o 70149
o 70065
o 70043
o 69716
o 69694
o 69632
o 69610
o 69443
o 69381
o 69359
o 69166
o 69104
o 69082
o 68915
o 68853
o 68831
o 68749
o 68665
o 68221
o 68137
o 68095
o 67037
o 66953
o 66509
o 66425
o 66403
o 66393
o 66309
o 66287
o 66282
o 66260
o 65804
o 65782
o 65435
o 65413
o 65384
o 65028
o 64500
o 63766
o 63238
o 63216
o 63122
o 63100
o 62749
o 62584
o 62562
o 62468
o 62446
o 62357
o 62335
o 61950
o 61422
o 60688
o 60160
o 60138
o 60044
o 60022
o 60012
o 59918
o 59896
o 59484
o 59390
o 59368
o 59017
o 58852
o 58830
o 58489
o 58324
o 58302
o 58208
o 58186
o 58176
o 58082
o 58060
o 57648
o 57554
o 57532
o 57333
o 57168
o 57066
o 57044
o 56805
o 56703
o 56640
o 56538
o 56516
o 56422
o 56400
o 56390
o 56296
o 56274
o 55862
o 55768
o 55746
o 55270
o 55248
o 55154
o 55132
o 54742
o 54720
o 54626
o 54604
o 54415
o 54393
o 53887
o 53865
o 53771
o 53749
o 53739
o 53398
o 53233
o 53211
o 53117
o 53095
o 52706
o 52612
o 52590
o 52170
o 52076
o 52054
o 51642
o 51548
o 51526
o 51337
o 51315
o 50809
o 50787
o 50693
o 50671
o 50661
o 50567
o 50545
o 50133
o 50039
o 50017
o 49971
o 49806
o 49690
o 49501
o 49479
o 48973
o 48951
o 48857
o 48835
o 48825
o 48731
o 48709
o 48297
o 48203
o 48181
o 48020
o 47926
o 47904
o 47858
o 47817
o 47715
o 47693
o 47454
o 47352
o 47289
o 47187
o 47165
o 47071
o 47049
o 47039
o 46945
o 46923
o 46511
o 46417
o 46395
o 46379
o 46214
o 46120
o 46098
o 46093
o 46071
o 45984
o 45882
o 45860
o 45456
o 45354
o 45332
o 45238
o 45216
o 45206
o 45112
o 45090
o 44678
o 44584
o 44562
o 44488
o 44478
o 44384
o 44362
o 44303
o 43950
o 43856
o 43834
o 43546
o 43430
o 43163
o 43047
o 42635
o 42613
o 42260
o 41907
o 41885
o 41481
o 41241
o 41219
o 40904
o 40882
o 40837
o 40815
o 40500
o 40478
o 40473
o 40462
o 40219
o 40197
o 39957
o 39935
o 39620
o 39598
o 39553
o 39531
o 39216
o 39194
o 39189
o 39178
o 39017
o 38995
o 38990
o 38979
o 38830
o 38808
o 38736
o 38714
o 38482
o 38070
o 38048
o 37733
o 37711
o 37706
o 37695
o 37694
o 37570
o 37548
o 37379
o 37357
o 37285
o 37263
o 37147
o 37031
o 36619
o 36597
o 36282
o 36260
o 36255
o 36244
o 36176
o 36089
o 36052
o 35839
o 35834
o 35823
o 35662
o 35611
o 35589
o 35517
o 35495
o 35263
o 34851
o 34829
o 34514
o 34492
o 34487
o 34476
o 34408
o 34321
o 34284
o 34071
o 34066
o 34055
o 33894
o 33843
o 33756
o 33719
o 33506
o 33501
o 33490
o 33329
s OPTIMUM FOUND
c Optimal Solution = 33329
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 -89 90 -91 -92 -93 94 95 -96 -97 98 -99 100 -101 -102 103 -104 -105 106 -107 108 -109 -110 -111 112
c Program terminated in 389.550 seconds.
389.492u 0.010s 6:29.72 99.9%	0+0k 0+0io 0pf+0w