Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2757422
o 241402
o 240231
o 238019
o 236449
o 234814
o 234753
o 233118
o 232333
o 231885
o 231100
o 230373
o 230149
o 229604
o 229156
o 228916
o 228371
o 228189
o 227644
o 226961
o 226444
o 226412
o 225867
o 225504
o 224959
o 224777
o 224232
o 223803
o 223638
o 223456
o 223432
o 222911
o 222749
o 222228
o 221711
o 221655
o 221134
o 221011
o 220747
o 220226
o 220044
o 220020
o 219499
o 219070
o 218996
o 218475
o 218176
o 218088
o 217567
o 217449
o 217361
o 216840
o 216411
o 216355
o 216130
o 215948
o 215832
o 215403
o 215385
o 214956
o 214601
o 214419
o 214303
o 213874
o 213782
o 213353
o 213289
o 213173
o 212744
o 212571
o 212142
o 212078
o 211962
o 211533
o 211170
o 210741
o 210386
o 210204
o 210088
o 209659
o 209567
o 209138
o 209074
o 208958
o 208529
o 208356
o 207927
o 207863
o 207747
o 207318
o 207104
o 206806
o 206377
o 206313
o 206197
o 205768
o 205405
o 204976
o 204621
o 204439
o 204323
o 203894
o 203802
o 203373
o 203309
o 203193
o 202764
o 202591
o 202162
o 202098
o 201982
o 201553
o 201368
o 201280
o 201211
o 201196
o 200759
o 200330
o 200249
o 200157
o 199728
o 199640
o 199548
o 199119
o 199073
o 198644
o 198289
o 198197
o 197768
o 197562
o 197470
o 197041
o 196977
o 196861
o 196432
o 196259
o 195830
o 195650
o 195221
o 194918
o 194733
o 194645
o 194576
o 194561
o 194124
o 193695
o 193614
o 193522
o 193093
o 193029
o 192913
o 192484
o 192438
o 192009
o 191809
o 191808
o 191793
o 191356
o 191287
o 191272
o 190835
o 190406
o 190342
o 190226
o 189797
o 189624
o 189195
o 189131
o 189015
o 188586
o 188540
o 188464
o 188400
o 188284
o 187855
o 187798
o 187734
o 187618
o 187189
o 187143
o 186714
o 186359
o 186177
o 186061
o 185632
o 185540
o 185111
o 185047
o 184931
o 184502
o 184329
o 183900
o 183836
o 183720
o 183291
o 183259
o 183235
o 183166
o 183151
o 182714
o 182359
o 182177
o 182084
o 182069
o 181632
o 181563
o 181548
o 181111
o 181047
o 181023
o 180954
o 180939
o 180502
o 180073
o 180014
o 179945
o 179930
o 179493
o 179429
o 179405
o 179336
o 179321
o 178884
o 178817
o 178611
o 178542
o 178527
o 178090
o 178026
o 178002
o 177933
o 177918
o 177481
o 177052
o 177020
o 176996
o 176927
o 176912
o 176475
o 176120
o 175938
o 175845
o 175830
o 175393
o 175324
o 175309
o 174872
o 174808
o 174784
o 174715
o 174700
o 174263
o 173834
o 173754
o 173690
o 173574
o 173145
o 173091
o 172793
o 172364
o 172184
o 171755
o 171675
o 171495
o 171066
o 170644
o 170580
o 170556
o 170487
o 170472
o 170035
o 169977
o 169968
o 169762
o 169693
o 169678
o 169241
o 169177
o 169153
o 169084
o 169069
o 168632
o 168203
o 168123
o 168059
o 167943
o 167514
o 167497
o 167199
o 166770
o 166590
o 166161
o 166081
o 165901
o 165472
o 165427
o 165032
o 164963
o 164948
o 164511
o 164082
o 164002
o 163822
o 163393
o 162971
o 162907
o 162883
o 162814
o 162799
o 162362
o 162304
o 162295
o 162089
o 162020
o 162005
o 161568
o 161504
o 161480
o 161411
o 161396
o 160959
o 160530
o 160450
o 160386
o 160270
o 159841
o 159668
o 159562
o 159389
o 159168
o 158995
o 158908
o 158735
o 158479
o 158306
o 157928
o 157874
o 157576
o 157147
o 156887
o 156458
o 156278
o 155849
o 155427
o 155363
o 155339
o 155270
o 155255
o 154818
o 154760
o 154751
o 154545
o 154476
o 154461
o 154024
o 153960
o 153936
o 153867
o 153852
o 153415
o 152986
o 152906
o 152842
o 152726
o 152297
o 152124
o 151779
o 151606
o 151269
o 151200
o 151185
o 150748
o 150690
o 150475
o 150411
o 150318
o 150303
o 149866
o 149797
o 149782
o 149345
o 148916
o 148743
o 148656
o 148227
o 148054
o 147948
o 147775
o 147730
o 147474
o 147301
o 147237
o 147121
o 146865
o 146692
o 146314
o 146260
o 145962
o 145533
o 145273
o 144844
o 144664
o 144235
o 143813
o 143749
o 143725
o 143656
o 143641
o 143204
o 143146
o 143137
o 142931
o 142862
o 142847
o 142410
o 142346
o 142322
o 142253
o 142238
o 141801
o 141372
o 141292
o 141228
o 141112
o 140683
o 140510
o 140447
o 140274
o 140210
o 140094
o 139838
o 139665
o 139418
o 139245
o 139238
o 139065
o 138809
o 138636
o 138549
o 138376
o 138120
o 137947
o 137884
o 137711
o 137704
o 137531
o 137275
o 137102
o 137082
o 136995
o 136822
o 136635
o 136386
o 136213
o 135946
o 135697
o 135524
o 135465
o 135292
o 135272
o 135234
o 135214
o 135196
o 135123
o 135108
o 134671
o 134651
o 134607
o 134587
o 134514
o 134499
o 134062
o 134042
o 133889
o 133869
o 133633
o 133613
o 133460
o 133440
o 133336
o 133163
o 133143
o 133083
o 133076
o 132903
o 132771
o 132647
o 132474
o 132454
o 132332
o 132312
o 132150
o 132075
o 131902
o 131778
o 131605
o 131585
o 131386
o 131366
o 131213
o 131193
o 131089
o 131069
o 130916
o 130896
o 130850
o 130830
o 130812
o 130792
o 130725
o 130552
o 130296
o 130123
o 130103
o 130096
o 129943
o 129923
o 129687
o 129667
o 129514
o 129494
o 129372
o 129352
o 129190
o 129067
o 128818
o 128645
o 128625
o 128378
o 128358
o 128129
o 128109
o 127956
o 127936
o 127776
o 127603
o 127583
o 127505
o 127429
o 127256
o 127199
o 127076
o 126827
o 126654
o 126590
o 126467
o 126218
o 126045
o 126025
o 125955
o 125782
o 125706
o 125533
o 125513
o 125457
o 125437
o 125277
o 125104
o 125084
o 124765
o 124592
o 124572
o 124484
o 124408
o 124235
o 124215
o 124155
o 124135
o 124091
o 123968
o 123719
o 123546
o 123526
o 123456
o 123207
o 123034
o 123014
o 123006
o 122804
o 122555
o 122535
o 122522
o 122478
o 122458
o 122355
o 122106
o 121933
o 121913
o 121843
o 121670
o 121650
o 121594
o 121574
o 121421
o 121401
o 121393
o 121191
o 120942
o 120922
o 120817
o 120797
o 120720
o 120700
o 120630
o 120457
o 120437
o 120381
o 120361
o 120208
o 120188
o 119978
o 119958
o 119729
o 119709
o 119385
o 119281
o 119261
o 118956
o 118936
o 118852
o 118832
o 118783
o 118679
o 118659
o 118592
o 118572
o 118523
o 118419
o 118399
o 118267
o 118247
o 118163
o 118143
o 118094
o 118074
o 117990
o 117970
o 117910
o 117737
o 117633
o 117613
o 117474
o 117370
o 117294
o 117225
o 117121
o 117101
o 117048
o 116944
o 116924
o 116785
o 116681
o 116661
o 116605
o 116585
o 116536
o 116432
o 116412
o 116306
o 116057
o 115953
o 115933
o 115898
o 115878
o 115876
o 115684
o 115580
o 115435
o 115331
o 115311
o 115172
o 114923
o 114819
o 114799
o 114693
o 114444
o 114340
o 114320
o 114291
o 114132
o 114028
o 113883
o 113779
o 113759
o 113710
o 113606
o 113586
o 113480
o 113231
o 113127
o 113107
o 113044
o 113024
o 112918
o 112814
o 112669
o 112565
o 112545
o 112510
o 112490
o 112459
o 112355
o 112335
o 112317
o 112213
o 112144
o 112040
o 112020
o 111976
o 111957
o 111708
o 111604
o 111535
o 111431
o 111411
o 111305
o 111056
o 110952
o 110932
o 110931
o 110827
o 110807
o 110744
o 110495
o 110391
o 110322
o 110218
o 110198
o 110092
o 109843
o 109823
o 109739
o 109719
o 109706
o 109643
o 109394
o 109290
o 109221
o 109117
o 109113
o 109097
o 108991
o 108887
o 108742
o 108638
o 108634
o 108618
o 108558
o 108454
o 108385
o 108281
o 108277
o 108261
o 108155
o 108051
o 107906
o 107802
o 107782
o 107705
o 107685
o 107438
o 107334
o 107330
o 107314
o 107276
o 107172
o 107152
o 107151
o 107047
o 107027
o 106964
o 106715
o 106611
o 106542
o 106438
o 106418
o 106312
o 106292
o 106063
o 106043
o 105959
o 105939
o 105926
o 105863
o 105759
o 105614
o 105510
o 105441
o 105337
o 105333
o 105317
o 105211
o 105107
o 104962
o 104858
o 104854
o 104838
o 104789
o 104769
o 104581
o 104477
o 104332
o 104228
o 104208
o 104159
o 104055
o 104035
o 103929
o 103825
o 103680
o 103576
o 103556
o 103496
o 103392
o 103247
o 103143
o 103123
o 103107
o 103074
o 102970
o 102954
o 102950
o 102934
o 102872
o 102844
o 102595
o 102491
o 102471
o 102455
o 102362
o 102293
o 102189
o 102169
o 102063
o 101959
o 101939
o 101814
o 101710
o 101690
o 101630
o 101526
o 101381
o 101277
o 101257
o 101241
o 101208
o 101104
o 101088
o 101084
o 101068
o 101006
o 100978
o 100729
o 100625
o 100605
o 100589
o 100582
o 100520
o 100492
o 100243
o 100139
o 100119
o 100103
o 100080
o 99976
o 99831
o 99727
o 99707
o 99691
o 99658
o 99554
o 99538
o 99534
o 99518
o 99456
o 99428
o 99179
o 99075
o 99055
o 99039
o 99032
o 98970
o 98942
o 98693
o 98589
o 98569
o 98553
o 98475
o 98371
o 98351
o 98335
o 98312
o 98220
o 98063
o 97959
o 97943
o 97939
o 97923
o 97907
o 97874
o 97770
o 97766
o 97750
o 97568
Killed
1979.651u 0.047s 33:10.35 99.4%	0+0k 0+0io 0pf+0w