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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2618995
o 186518
o 185434
o 184818
o 184805
o 183915
o 183299
o 182973
o 182532
o 181916
o 181590
o 181569
o 180953
o 180627
o 180397
o 180071
o 179943
o 179617
o 179176
o 178560
o 178234
o 178213
o 177597
o 177271
o 177042
o 176716
o 176569
o 176548
o 175932
o 175606
o 175384
o 175363
o 174747
o 174421
o 173946
o 173599
o 173591
o 172983
o 172657
o 172428
o 172102
o 171955
o 171934
o 171926
o 171318
o 170992
o 170770
o 170749
o 170741
o 170133
o 169807
o 169429
o 169103
o 168874
o 168548
o 168401
o 168380
o 168372
o 167764
o 167438
o 167216
o 167195
o 167187
o 166579
o 166253
o 165725
o 165399
o 165378
o 165370
o 164762
o 164436
o 164264
o 164125
o 163799
o 163192
o 162866
o 162845
o 162837
o 162229
o 161903
o 161375
o 161028
o 161020
o 160412
o 160086
o 159770
o 159516
o 159294
o 159273
o 159265
o 158657
o 158331
o 158150
o 158129
o 158121
o 157513
o 157187
o 156962
o 156428
o 156102
o 155755
o 155429
o 155248
o 155227
o 155219
o 154611
o 154285
o 154123
o 153921
o 153913
o 153305
o 152979
o 152799
o 152597
o 152589
o 151981
o 151655
o 151514
o 151188
o 150963
o 150860
o 150839
o 150831
o 150223
o 149897
o 149716
o 149695
o 149687
o 149079
o 148753
o 148612
o 148286
o 148124
o 147943
o 147773
o 147306
o 146980
o 146810
o 146648
o 146467
o 146446
o 146438
o 145830
o 145504
o 145324
o 145122
o 145114
o 144506
o 144180
o 144039
o 143713
o 143488
o 143385
o 143364
o 143356
o 142748
o 142422
o 142241
o 142220
o 142212
o 141604
o 141278
o 141137
o 140811
o 140649
o 140468
o 140298
o 139831
o 139505
o 139370
o 139337
o 139329
o 138721
o 138395
o 138254
o 137928
o 137766
o 137415
o 137089
o 136948
o 136622
o 136606
o 136139
o 135813
o 135611
o 135462
o 134995
o 134669
o 134469
o 134143
o 133961
o 133635
o 133494
o 133168
o 133033
o 132730
o 132404
o 132222
o 131896
o 131694
o 131586
o 131078
o 130752
o 130611
o 130285
o 129984
o 129802
o 129476
o 129274
o 129166
o 129125
o 128658
o 128332
o 128290
o 128090
o 127764
o 127582
o 127256
o 127115
o 126789
o 126654
o 126351
o 126025
o 125843
o 125517
o 125207
o 124881
o 124699
o 124373
o 124232
o 123906
o 123605
o 123423
o 123097
o 122787
o 122461
o 122279
o 121953
o 121592
o 121266
o 121224
o 121193
o 120867
o 120677
o 120557
o 120231
o 120049
o 119723
o 119588
o 119405
o 119285
o 118959
o 118777
o 118451
o 118261
o 118141
o 117815
o 117633
o 117307
o 117166
o 116840
o 116539
o 116357
o 116031
o 115841
o 115721
o 115395
o 115213
o 114887
o 114839
o 114529
o 114203
o 114021
o 113695
o 113554
o 113228
o 112867
o 112541
o 112499
o 112468
o 112142
o 111952
o 111832
o 111506
o 111324
o 110998
o 110863
o 110680
o 110560
o 110234
o 110052
o 109726
o 109524
o 109416
o 108908
o 108582
o 108441
o 108115
o 107814
o 107632
o 107306
o 107104
o 106996
o 106955
o 106488
o 106162
o 106122
o 105940
o 105614
o 105473
o 105147
o 104943
o 104460
o 104134
o 103932
o 103924
o 103316
o 102990
o 102808
o 102482
o 102341
o 102015
o 101954
o 101834
o 101508
o 101326
o 101000
o 100994
o 100668
o 100486
o 100160
o 99938
o 99471
o 99145
o 98894
o 98712
o 98386
o 98256
o 98155
o 98079
o 97978
o 97897
o 97571
o 97470
o 97293
o 97192
o 97173
o 96961
o 96860
o 96779
o 96453
o 96352
o 96259
o 96158
o 95764
o 95663
o 95438
o 95337
o 95187
o 95086
o 95005
o 94679
o 94578
o 94433
o 94414
o 94265
o 94101
o 94083
o 93919
o 93757
o 93593
o 93563
o 93399
o 93371
o 93068
o 92904
o 92742
o 92578
o 92491
o 92327
o 92309
o 92145
o 91983
o 91819
o 91728
o 91564
o 91484
o 91424
o 91260
o 91098
o 90934
o 90916
o 90752
o 90590
o 90426
o 90335
o 90171
o 89986
o 89822
o 89731
o 89567
o 89516
o 89331
o 89167
o 89076
o 88912
o 88890
o 88839
o 88825
o 88810
o 88654
o 88490
o 88399
o 88235
o 88222
o 88058
o 87967
o 87803
o 87618
o 87454
o 87363
o 87199
o 87148
o 86963
o 86799
o 86708
o 86544
o 86492
o 86378
o 86307
o 86214
o 86143
o 86123
o 86052
o 85959
o 85888
o 85837
o 85723
o 85652
o 85559
o 85488
o 85468
o 85397
o 85304
o 85233
o 85182
o 85111
o 85060
o 84904
o 84691
o 84620
o 84527
o 84456
o 84437
o 84344
o 84273
o 84224
o 84153
o 841Killed
1979.581u 0.117s 33:03.81 99.7%	0+0k 0+0io 0pf+0w