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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1091900
o 129394
o 129321
o 129060
o 128795
o 128651
o 128578
o 128317
o 128052
o 127316
o 127243
o 126982
o 126717
o 125510
o 125437
o 125176
o 124911
o 124845
o 124580
o 124383
o 123827
o 123754
o 123493
o 123228
o 123039
o 122774
o 122542
o 122442
o 122369
o 122108
o 121843
o 121654
o 121389
o 121214
o 121017
o 120943
o 120461
o 120344
o 120127
o 119862
o 119673
o 119408
o 119176
o 118959
o 118742
o 118477
o 118288
o 118023
o 117829
o 117640
o 117375
o 117200
o 116939
o 116804
o 116447
o 116330
o 116113
o 115848
o 115659
o 115394
o 115162
o 114945
o 114728
o 114463
o 114274
o 114009
o 113845
o 113656
o 113391
o 113155
o 112890
o 112701
o 112436
o 112204
o 112006
o 111770
o 111505
o 111316
o 111051
o 110857
o 110668
o 110403
o 110228
o 110096
o 109831
o 109642
o 109377
o 109141
o 108876
o 108687
o 108422
o 108190
o 107992
o 107756
o 107491
o 107302
o 107037
o 106923
o 106658
o 106464
o 106275
o 106010
o 105835
o 105703
o 105438
o 105249
o 104984
o 104748
o 104483
o 104294
o 104029
o 103797
o 103599
o 103363
o 103098
o 102909
o 102644
o 102510
o 102245
o 102187
o 101922
o 101904
o 101639
o 101450
o 101185
o 101169
o 101052
o 100835
o 100570
o 100381
o 100116
o 100002
o 99737
o 99543
o 99354
o 99089
o 98914
o 98896
o 98631
o 98442
o 98177
o 98161
o 98044
o 97827
o 97562
o 97373
o 97108
o 96876
o 96792
o 96776
o 96659
o 96442
o 96177
o 95988
o 95723
o 95589
o 95324
o 95320
o 95055
o 94866
o 94601
o 94467
o 94202
o 93937
o 93803
o 93538
o 93280
o 93015
o 92826
o 92561
o 92427
o 92162
o 92073
o 91959
o 91694
o 91500
o 91311
o 91046
o 90871
o 90853
o 90588
o 90399
o 90134
o 90118
o 90001
o 89784
o 89519
o 89330
o 89065
o 88833
o 88749
o 88733
o 88616
o 88399
o 88134
o 87945
o 87680
o 87546
o 87281
o 87016
o 86882
o 86617
o 86473
o 86208
o 86074
o 85809
o 85736
o 85471
o 85455
o 85338
o 85121
o 84856
o 84667
o 84402
o 84268
o 84003
o 83738
o 83604
o 83339
o 83292
o 83027
o 82769
o 82504
o 82315
o 82050
o 81916
o 81651
o 81562
o 81448
o 81183
o 80989
o 80800
o 80535
o 80360
o 80342
o 80077
o 79888
o 79623
o 79607
o 79490
o 79273
o 79008
o 78819
o 78554
o 78322
o 78238
o 78222
o 78105
o 77888
o 77623
o 77434
o 77169
o 77035
o 76770
o 76505
o 76371
o 76106
o 75998
o 75864
o 75599
o 75334
o 75200
o 74935
o 74864
o 74730
o 74465
o 74442
o 74382
o 74117
o 74094
o 73852
o 73829
o 73718
o 73453
o 73430
o 73345
o 73322
o 73211
o 72946
o 72923
o 72681
o 72658
o 72547
o 72282
o 72259
o 72142
o 71877
o 71819
o 71554
o 71420
o 71155
o 71008
o 70950
o 70685
o 70662
o 70420
o 70397
o 70286
o 70021
o 69998
o 69913
o 69890
o 69779
o 69514
o 69491
o 69249
o 69226
o 69115
o 68850
o 68827
o 68825
o 68802
o 68767
o 68502
o 68479
o 68237
o 68214
o 68103
o 67838
o 67815
o 67730
o 67707
o 67596
o 67331
o 67308
o 67066
o 67043
o 66932
o 66667
o 66644
o 66606
o 66499
o 66476
o 66472
o 66365
o 66207
o 66100
o 66077
o 65992
o 65969
o 65965
o 65858
o 65700
o 65593
o 65570
o 65435
o 65328
o 65305
o 65301
o 65194
o 65036
o 64929
o 64906
o 64884
o 64861
o 64776
o 64753
o 64711
o 64594
o 64377
o 64112
o 64089
o 63978
o 63713
o 63690
o 63548
o 63192
o 63075
o 62858
o 62593
o 62570
o 62459
o 62194
o 62171
o 61929
o 61906
o 61795
o 61772
o 61530
o 61507
o 61401
o 61378
o 61287
o 61254
o 61181
o 60920
o 60655
o 60597
o 60332
o 60309
o 60198
o 60175
o 59933
o 59910
o 59668
o 59645
o 59534
o 59511
o 59269
o 59246
o 59161
o 59138
o 59085
o 58820
o 58797
o 58762
o 58497
o 58474
o 58363
o 58098
o 58075
o 58073
o 58050
o 58015
o 57750
o 57727
o 57485
o 57462
o 57351
o 57328
o 57086
o 57063
o 56978
o 56955
o 56902
o 56879
o 56844
o 56579
o 56556
o 56314
o 56291
o 56180
o 56157
o 55915
o 55892
o 55854
o 55747
o 55724
o 55720
o 55613
o 55455
o 55348
o 55325
o 55240
o 55217
o 55175
o 55102
o 54948
o 54841
o 54683
o 54576
o 54553
o 54549
o 54442
o 54284
o 54177
o 54154
o 54141
o 54057
o 54034
o 53949
o 53926
o 53884
o 53811
o 53657
o 53550
o 53392
o 53285
o 53262
o 53258
o 53151
o 52993
o 52886
o 52863
o 52853
o 52728
o 52705
o 52675
o 52652
o 52568
o 52545
o 52523
o 52500
o 52467
o 52444
o 52414
o 52391
o 52307
o 52284
o 52262
o 52239
o 52133
o 52110
o 52026
o 52003
o 51868
o 51845
o 51761
o 51738
o 51734
o 51711
o 51627
o 51604
o 51469
o 51446
o 51362
o 51339
o 51329
o 51204
o 51181
o 51151
o 51128
o 51044
o 51021
o 50999
o 50976
o 50952
o 50929
o 50925
o 50818
o 50660
o 50553
o 50530
o 50517
o 50433
o 50410
o 50319
o 50296
o 50212
o 50189
o 50168
o 50033
o 49926
o 49903
o 49768
o 49745
o 49661
o 49638
o 49634
o 49611
o 49527
o 49504
o 49369
o 49346
o 49262
o 49239
o 49229
o 49104
o 49081
o 49051
o 49028
o 48944
o 48921
o 48899
o 48876
o 48843
o 48820
o 48790
o 48767
o 48683
o 48660
o 48638
o 48615
o 48509
o 48486
o 48402
o 48379
o 48244
o 48221
o 48137
o 48114
o 48110
o 48087
o 48003
o 47980
o 47845
o 47822
o 47738
o 47715
o 47705
o 47580
o 47557
o 47527
o 47504
o 47420
o 47397
o 47375
o 47352
o 47345
o 47261
o 47238
o 47234
o 47127
o 46969
o 46862
o 46839
o 46808
o 46785
o 46704
o 46681
o 46650
o 46627
o 46544
o 46521
o 46499
o 46476
o 46467
o 46445
o 46422
o 46417
o 46336
o 46313
o 46282
o 46259
o 46176
o 46153
o 46131
o 46108
o 46099
o 46077
o 46054
o 46044
o 46022
o 45999
o 45947
o 45924
o 45833
o 45810
o 45726
o 45703
o 45547
o 45440
o 45417
o 45168
o 45061
o 44883
o 44776
o 44753
o 44671
o 44564
o 44541
o 44292
o 44185
o 44007
o 43900
o 43877
o 43846
o 43823
o 43639
o 43532
o 43509
o 43478
o 43455
o 43423
o 43400
o 43393
o 43370
o 43344
o 43186
o 43079
o 43056
o 43025
o 43002
o 42970
o 42947
o 42938
o 42780
o 42673
o 42650
o 42619
o 42596
o 42570
o 42412
o 42305
o 42282
o 42251
o 42228
o 42196
o 42173
o 42147
o 42124
o 42093
o 42070
o 42038
o 42015
o 42005
o 41898
o 41875
o 41653
o 41546
o 41368
o 41261
o 41238
o 41207
o 41184
o 41000
o 40893
o 40870
o 40839
o 40816
o 40784
o 40761
o 40532
o 40425
o 40371
o 40164
o 40057
o 40003
o 39948
o 39922
o 39915
o 39867
o 39860
o 39855
o 39848
o 39801
o 39794
o 39746
o 39739
o 39709
o 39702
o 39697
o 39690
o 39643
o 39636
o 39588
o 39581
o 39465
o 39458
o 39358
o 39351
o 39314
o 39035
o 39012
o 38928
o 38905
o 38853
o 38846
o 38589
o 38582
o 38482
o 38475
o 38438
o 38159
o 38136
o 38052
o 38029
o 37977
o 37970
o 37923
o 37916
o 37791
o 37768
o 37684
o 37661
o 37609
o 37602
o 37555
o 37548
o 37500
o 37493
o 37459
o 37403
o 37296
o 37227
o 37145
o 37091
o 37036
s OPTIMUM FOUND
c Optimal Solution = 37036
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
c Program terminated in 49.040 seconds.
49.040u 0.006s 0:49.15 99.7%	0+0k 0+0io 0pf+0w