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-60-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2448086
o 201096
o 200952
o 200844
o 200625
o 200034
o 199890
o 199782
o 199563
o 198804
o 198660
o 198552
o 198333
o 198138
o 197379
o 197235
o 197127
o 196908
o 196853
o 196745
o 196526
o 195935
o 195791
o 195683
o 195464
o 194705
o 194561
o 194453
o 194234
o 194039
o 193280
o 193136
o 193028
o 192809
o 192702
o 191943
o 191799
o 191691
o 191472
o 191158
o 191014
o 190906
o 190687
o 190492
o 189733
o 189589
o 189481
o 189262
o 189155
o 188396
o 188252
o 188144
o 187925
o 187714
o 187406
o 187262
o 187154
o 186935
o 186896
o 186533
o 186389
o 186281
o 186062
o 186030
o 185886
o 185778
o 185559
o 185452
o 184693
o 184549
o 184441
o 184222
o 183859
o 183715
o 183607
o 183388
o 183177
o 183118
o 182899
o 182688
o 182380
o 182236
o 182128
o 181909
o 181823
o 181507
o 181363
o 181255
o 181036
o 181004
o 180860
o 180752
o 180533
o 180426
o 180310
o 180202
o 179983
o 179667
o 179523
o 179415
o 179196
o 179149
o 178833
o 178689
o 178581
o 178362
o 178151
o 178097
o 177949
o 177886
o 177738
o 177594
o 177383
o 177235
o 177044
o 176728
o 176584
o 176476
o 176257
o 176109
o 176046
o 175898
o 175894
o 175750
o 175642
o 175423
o 175212
o 175064
o 175061
o 174954
o 174941
o 174722
o 174511
o 174406
o 174262
o 174154
o 173935
o 173724
o 173651
o 173432
o 173325
o 173209
o 173101
o 172882
o 172566
o 172422
o 172314
o 172095
o 171884
o 171837
o 171732
o 171588
o 171480
o 171261
o 171050
o 170996
o 170848
o 170785
o 170637
o 170493
o 170282
o 170134
o 169943
o 169627
o 169483
o 169375
o 169156
o 169008
o 168945
o 168797
o 168793
o 168649
o 168541
o 168322
o 168111
o 167963
o 167885
o 167822
o 167674
o 167555
o 167407
o 167319
o 167171
o 166980
o 166769
o 166664
o 166520
o 166412
o 166193
o 165982
o 165834
o 165830
o 165686
o 165578
o 165359
o 165211
o 165148
o 165000
o 164946
o 164883
o 164735
o 164616
o 164468
o 164380
o 164232
o 164041
o 163830
o 163725
o 163581
o 163473
o 163254
o 163043
o 162895
o 162891
o 162747
o 162639
o 162420
o 162272
o 162209
o 162061
o 162058
o 161995
o 161847
o 161641
o 161493
o 161489
o 161345
o 161237
o 161018
o 160807
o 160659
o 160614
o 160538
o 160319
o 160171
o 160003
o 159859
o 159751
o 159532
o 159384
o 159321
o 159173
o 159119
o 159056
o 158908
o 158702
o 158554
o 158550
o 158406
o 158298
o 158079
o 157868
o 157720
o 157675
o 157599
o 157380
o 157232
o 157064
o 156920
o 156812
o 156593
o 156445
o 156382
o 156234
o 156232
o 156013
o 155802
o 155654
o 155651
o 155588
o 155440
o 155234
o 155086
o 155082
o 154938
o 154830
o 154611
o 154400
o 154252
o 154207
o 154131
o 153912
o 153764
o 153596
o 153452
o 153344
o 153125
o 152977
o 152914
o 152766
o 152712
o 152649
o 152501
o 152295
o 152147
o 152143
o 151999
o 151891
o 151672
o 151461
o 151313
o 151268
o 151192
o 150973
o 150825
o 150657
o 150513
o 150405
o 150186
o 150038
o 149975
o 149827
o 149733
o 149626
o 149542
o 149394
o 149331
o 149183
o 149082
o 148974
o 148755
o 148607
o 148544
o 148396
o 148394
o 148175
o 147964
o 147816
o 147813
o 147750
o 147602
o 147483
o 147335
o 147247
o 147099
o 146992
o 146908
o 146760
o 146697
o 146549
o 146448
o 146340
o 146121
o 145973
o 145910
o 145762
o 145758
o 145614
o 145506
o 145287
o 145076
o 144928
o 144874
o 144811
o 144663
o 144544
o 144396
o 144308
o 144160
o 144053
o 143969
o 143821
o 143758
o 143610
o 143509
o 143401
o 143182
o 143034
o 142971
o 142823
o 142819
o 142675
o 142567
o 142348
o 142137
o 141989
o 141964
o 141816
o 141753
o 141605
o 141551
o 141488
o 141340
o 141196
o 141048
o 140941
o 140865
o 140646
o 140498
o 140330
o 140186
o 140078
o 139859
o 139711
o 139496
o 139352
o 139244
o 139025
o 138877
o 138814
o 138666
o 138610
o 138526
o 138378
o 138315
o 138167
o 138066
o 137958
o 137739
o 137591
o 137528
o 137380
o 137326
o 137263
o 137115
o 136996
o 136848
o 136760
o 136612
o 136505
o 136421
o 136273
o 136210
o 136062
o 135961
o 135853
o 135634
o 135486
o 135423
o 135275
o 135271
o 135127
o 135019
o 134800
o 134589
o 134441
o 134315
o 134167
o 134142
o 133994
o 133931
o 133783
o 133729
o 133666
o 133518
o 133475
o 133327
o 133159
o 133015
o 132907
o 132688
o 132540
o 132508
o 132364
o 132256
o 132037
o 131889
o 131854
o 131674
o 131530
o 131422
o 131203
o 131055
o 130992
o 130844
o 130787
o 130568
o 130357
o 130209
o 130136
o 129917
o 129706
o 129558
o 129504
o 129441
o 129293
o 129174
o 129026
o 128974
o 128966
o 128755
o 128607
o 128416
o 128268
o 128100
o 127956
o 127848
o 127629
o 127481
o 127418
o 127270
o 127197
o 126978
o 126767
o 126619
o 126452
o 126304
o 126250
o 126177
o 125958
o 125810
o 125747
o 125599
o 125596
o 125377
o 125166
o 125018
o 124964
o 124901
o 124753
o 124634
o 124486
o 124465
o 124457
o 124246
o 124098
o 123997
o 123889
o 123670
o 123522
o 123459
o 123311
o 123238
o 123019
o 122808
o 122660
o 122657
o 122438
o 122290
o 122227
o 122079
o 122068
o 121857
o 121709
o 121652
o 121433
o 121222
o 121074
o 121001
o 120782
o 120571
o 120423
o 120369
o 120306
o 120158
o 120124
o 120115
o 119967
o 119904
o 119756
o 119655
o 119547
o 119328
o 119180
o 119117
o 118969
o 118965
o 118821
o 118713
o 118494
o 118283
o 118135
o 118062
o 117843
o 117695
o 117632
o 117484
o 117317
o 117169
o 117115
o 117042
o 116823
o 116675
o 116612
o 116464
o 116461
o 116242
o 116031
o 115883
o 115829
o 115766
o 115618
o 115513
o 115479
o 115331
o 115322
o 115174
o 115111
o 114963
o 114862
o 114754
o 114535
o 114387
o 114324
o 114176
o 114173
o 113954
o 113743
o 113595
o 113525
o 113522
o 113303
o 113155
o 113092
o 112944
o 112886
o 112769
o 112621
o 112587
o 112578
o 112430
o 112367
o 112219
o 112180
o 112118
o 112010
o 111791
o 111643
o 111580
o 111432
o 111354
o 111346
o 111135
o 110957
o 110746
o 110598
o 110547
o 110525
o 110306
o 110158
o 110095
o 109947
o 109780
o 109632
o 109578
o 109527
o 109505
o 109286
o 109138
o 109075
o 108927
o 108883
o 108735
o 108713
o 108705
o 108494
o 108346
o 108292
o 108229
o 108081
o 107976
o 107942
o 107794
o 107785
o 107637
o 107574
o 107426
o 107387
o 107325
o 107217
o 106998
o 106850
o 106787
o 106639
o 106595
o 106447
o 106425
o 106417
o 106206
o 106058
o 105988
o 105985
o 105766
o 105618
o 105555
o 105407
o 105227
o 105016
o 104868
o 104810
o 104693
o 104545
o 104511
o 104502
o 104354
o 104291
o 104143
o 104104
o 104042
o 103934
o 103715
o 103567
o 103504
o 103356
o 103278
o 103270
o 103059
o 102881
o 102670
o 102522
o 102471
o 102449
o 102230
o 102082
o 102019
o 101871
o 101704
o 101556
o 101502
o 101451
o 101429
o 101210
o 101062
o 100999
o 100851
o 100807
o 100659
o 100637
o 100629
o 100418
o 100270
o 100216
o 100153
o 100005
o 99900
o 99866
o 99718
o 99709
o 99561
o 99498
o 99350
o 99311
o 99249
o 99141
o 98922
o 98774
o 98711
o 98563
o 98519
o 98371
o 98349
o 98341
o 98130
o 97982
o 97912
o 97909
o 97690
o 97542
o 97479
o 97331
o 97314
o 97178
o 97105
o 96886
o 96675
o 96527
o 96483
o 96335
o 96313
o 96305
o 96094
o 95946
o 95899
o 95836
o 95688
o 95644
o 95496
o 95474
o 95466
o 95255
o 95107
o 94997
o 94942
o 94912
o 94701
o 94553
o 94416
o 94326
o 94282
o 94104
o 93893
o 93745
o 93635
o 93580
o 93550
o 93339
o 93191
o 93054
o 92957
o 92943
o 92724
o 92587
o 92513
o 92376
o 92305
o 92291
o 92072
o 91935
o 91861
o 91724
o 91702
o 91694
o 91483
o 91346
o 91335
o 91198
o 91124
o 91083
o 90946
o 90872
o 90735
o 90724
o 90587
o 90520
o 90509
o 90476
o 90257
o 90120
o 90046
o 89909
o 89868
o 89824
o 89605
o 89468
o 89394
o 89257
o 89232
o 89200
o 89095
o 89062
o 89054
o 88948
o 88843
o 88811
o 88706
o 88642
o 88557
o 88420
o 88409
o 88272
o 88209
o 88198
o 88061
o 88028
o 88007
o 87995
o 87776
o 87639
o 87565
o 87428
o 87417
o 87280
o 87236
o 87215
o 87203
o 87195
o 86984
o 86847
o 86836
o 86699
o 86672
o 86602
o 86588
o 86369
o 86232
o 86158
o 86021
o 85950
o 85895
o 85758
o 85717
o 85580
o 85506
o 85369
o 85339
o 85202
o 85191
o 85054
o 84991
o 84980
o 84843
o 84769
o 84728
o 84591
o 84517
o 84380
o 84369
o 84232
o 84165
o 84154
o 84121
o 83902
o 83765
o 83691
o 83554
o 83513
o 83469
o 83250
o 83113
o 83039
o 82902
o 82877
o 82845
o 82740
o 82707
o 82699
o 82593
o 82488
o 82456
o 82351
o 82284
o 82179
o 82147
o 82042
o 81994
o 81889
o 81857
o 81752
o 81650
o 81513
o 81439
o 81Killed
1979.684u 0.014s 33:10.99 99.4%	0+0k 0+0io 0pf+0w