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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3364035
o 273541
o 272936
o 270667
o 269647
o 268879
o 268715
o 268536
o 267768
o 267067
o 266903
o 266724
o 265956
o 265610
o 264938
o 264774
o 264595
o 263827
o 263481
o 263348
o 263237
o 262536
o 262372
o 262193
o 261425
o 261079
o 260739
o 260376
o 260030
o 259897
o 259786
o 259448
o 259085
o 258921
o 258742
o 258337
o 257974
o 257628
o 257421
o 257326
o 257159
o 256813
o 256680
o 256569
o 256231
o 255868
o 255704
o 255525
o 255120
o 254757
o 254411
o 254316
o 253970
o 253758
o 253551
o 253456
o 253289
o 252943
o 252810
o 252699
o 252361
o 251998
o 251834
o 251648
o 251250
o 250887
o 250541
o 250446
o 250100
o 249933
o 249570
o 249533
o 249128
o 248765
o 248687
o 248324
o 247978
o 247766
o 247756
o 247661
o 247315
o 247174
o 246811
o 246647
o 246461
o 246063
o 245700
o 245354
o 245259
o 244913
o 244817
o 244454
o 244108
o 244103
o 243705
o 243342
o 242996
o 242967
o 242569
o 242206
o 242162
o 241764
o 241401
o 241055
o 240960
o 240614
o 240528
o 240165
o 240087
o 239724
o 239378
o 239232
o 238869
o 238523
o 238494
o 238096
o 237733
o 237689
o 237291
o 236928
o 236582
o 236487
o 236141
o 235857
o 235710
o 235494
o 235347
o 235148
o 235001
o 234915
o 234699
o 234552
o 234258
o 234111
o 233912
o 233765
o 233639
o 233423
o 233276
o 233077
o 232930
o 232910
o 232630
o 232267
o 232223
o 231825
o 231462
o 231315
o 231116
o 230969
o 230874
o 230675
o 230528
o 230444
o 230245
o 230098
o 230075
o 230012
o 229796
o 229649
o 229355
o 229208
o 229009
o 228862
o 228799
o 228736
o 228520
o 228373
o 228174
o 228027
o 228007
o 227790
o 227727
o 227364
o 227348
o 226985
o 226922
o 226559
o 226412
o 226213
o 226066
o 225971
o 225772
o 225625
o 225533
o 225316
o 225272
o 224874
o 224511
o 224448
o 224085
o 223739
o 223592
o 223298
o 223151
o 222993
o 222595
o 222232
o 222169
o 221806
o 221460
o 221313
o 221019
o 220872
o 220495
o 220132
o 219985
o 219706
o 219559
o 219265
o 219118
o 218919
o 218772
o 218614
o 218216
o 217853
o 217790
o 217427
o 217081
o 216934
o 216640
o 216493
o 216457
o 216258
o 216111
o 215909
o 215762
o 215546
o 215399
o 215120
o 214973
o 214679
o 214532
o 214333
o 214186
o 214028
o 213630
o 213267
o 213204
o 212841
o 212495
o 212348
o 212054
o 211907
o 211871
o 211672
o 211525
o 211332
o 211185
o 210986
o 210839
o 210803
o 210604
o 210457
o 210401
o 210185
o 210038
o 209744
o 209597
o 209534
o 209318
o 209171
o 208972
o 208825
o 208789
o 208590
o 208443
o 208250
o 208103
o 207904
o 207757
o 207721
o 207522
o 207375
o 207362
o 207152
o 207005
o 206998
o 206747
o 206600
o 206384
o 206237
o 206174
o 205958
o 205811
o 205612
o 205465
o 205429
o 205230
o 205083
o 204890
o 204743
o 204544
o 204397
o 204361
o 204162
o 204015
o 203945
o 203729
o 203582
o 203519
o 203303
o 203156
o 202957
o 202810
o 202774
o 202575
o 202428
o 202226
o 202079
o 201880
o 201733
o 201697
o 201498
o 201351
o 201347
o 201290
o 201227
o 201011
o 200864
o 200665
o 200518
o 200482
o 200283
o 200136
o 199943
o 199796
o 199597
o 199450
o 199414
o 199215
o 199068
o 199042
o 199006
o 198807
o 198660
o 198507
o 198360
o 198337
o 198301
o 198102
o 197955
o 197938
o 197739
o 197592
o 197578
o 197542
o 197343
o 197196
o 197044
o 196897
o 196861
o 196662
o 196515
o 196511
o 196474
o 196327
o 196128
o 195981
o 195829
o 195682
o 195646
o 195447
o 195300
o 195259
o 195060
o 194913
o 194761
o 194614
o 194578
o 194379
o 194232
o 194207
o 193991
o 193844
o 193645
o 193498
o 193444
o 193297
o 193234
o 193217
o 193018
o 192871
o 192577
o 192430
o 192195
o 192048
o 192034
o 191835
o 191688
o 191652
o 191453
o 191306
o 191282
o 191265
o 191066
o 190919
o 190811
o 190664
o 190601
o 190584
o 190385
o 190238
o 190176
o 190024
o 189877
o 189841
o 189642
o 189495
o 189491
o 189454
o 189307
o 189108
o 188961
o 188809
o 188662
o 188626
o 188427
o 188280
o 188239
o 188040
o 187893
o 187741
o 187594
o 187558
o 187359
o 187212
o 187096
o 187060
o 186861
o 186714
o 186625
o 186473
o 186326
o 186290
o 186091
o 185944
o 185650
o 185503
o 185462
o 185263
o 185116
o 184964
o 184817
o 184781
o 184582
o 184435
o 184286
o 184139
o 184115
o 184098
o 183899
o 183752
o 183600
o 183453
o 183417
o 183218
o 183071
o 183068
o 183005
o 182789
o 182642
o 182534
o 182387
o 182108
o 181961
o 181762
o 181615
o 181321
o 181174
o 180939
o 180792
o 180698
o 180662
o 180463
o 180316
o 180227
o 180075
o 179928
o 179892
o 179693
o 179546
o 179252
o 179105
o 179064
o 178865
o 178718
o 178566
o 178419
o 178383
o 178184
o 178037
o 177925
o 177889
o 177690
o 177543
o 177539
o 177482
o 177419
o 177203
o 177056
o 176857
o 176710
o 176686
o 176669
o 176470
o 176323
o 176135
o 175988
o 175789
o 175642
o 175606
o 175407
o 175260
o 175111
o 174964
o 174940
o 174923
o 174724
o 174577
o 174425
o 174278
o 174242
o 174043
o 173896
o 173893
o 173830
o 173614
o 173467
o 173359
o 173212
o 172933
o 172786
o 172587
o 172440
o 172146
o 171999
o 171764
o 171617
o 171552
o 171400
o 171253
o 171217
o 171018
o 170871
o 170737
o 170701
o 170502
o 170355
o 170352
o 170289
o 170073
o 169926
o 169818
o 169671
o 169392
o 169245
o 169046
o 168899
o 168605
o 168458
o 168223
o 168076
o 167986
o 167950
o 167751
o 167604
o 167600
o 167543
o 167480
o 167264
o 167117
o 166918
o 166771
o 166747
o 166730
o 166531
o 166384
o 166196
o 166049
o 165850
o 165703
o 165667
o 165468
o 165321
o 165209
o 165173
o 164974
o 164827
o 164823
o 164766
o 164703
o 164487
o 164340
o 164141
o 163994
o 163970
o 163953
o 163754
o 163607
o 163419
o 163272
o 163073
o 162926
o 162890
o 162691
o 162544
o 162395
o 162248
o 162224
o 162207
o 162008
o 161861
o 161709
o 161562
o 161526
o 161327
o 161180
o 161177
o 161006
o 160859
o 160643
o 160496
o 160217
o 160070
o 159776
o 159629
o 159430
o 159283
o 159048
o 158901
o 158836
o 158684
o 158537
o 158501
o 158302
o 158155
o 158100
o 157884
o 157737
o 157538
o 157391
o 157337
o 157190
o 157127
o 157110
o 156911
o 156764
o 156470
o 156323
o 156088
o 155941
o 155851
o 155815
o 155616
o 155469
o 155465
o 155408
o 155345
o 155129
o 154982
o 154783
o 154636
o 154612
o 154595
o 154396
o 154249
o 154061
o 153914
o 153715
o 153568
o 153532
o 153333
o 153186
o 153074
o 153038
o 152839
o 152692
o 152688
o 152631
o 152568
o 152352
o 152205
o 152006
o 151859
o 151835
o 151818
o 151619
o 151472
o 151284
o 151137
o 150938
o 150791
o 150755
o 150556
o 150409
o 150260
o 150113
o 150089
o 150072
o 149873
o 149726
o 149574
o 149427
o 149391
o 149192
o 149045
o 149042
o 148871
o 148724
o 148508
o 148361
o 148082
o 147935
o 147641
o 147494
o 147295
o 147148
o 146913
o 146766
o 146701
o 146549
o 146402
o 146366
o 146167
o 146020
o 145999
o 145958
o 145806
o 145659
o 145623
o 145424
o 145277
o 145211
o 145064
o 145028
o 145024
o 144829
o 144682
o 144617
o 144465
o 144318
o 144282
o 144278
o 144083
o 143936
o 143933
o 143870
o 143849
o 143654
o 143507
o 143399
o 143252
o 143168
o 142973
o 142826
o 142822
o 142627
o 142480
o 142186
o 142039
o 141804
o 141657
o 141636
o 141493
o 141341
o 141194
o 141158
o 140959
o 140812
o 140626
o 140479
o 140458
o 140409
o 140373
o 140313
o 140174
o 140166
o 140027
o 140006
o 139895
o 139748
o 139727
o 139590
o 139443
o 139384
o 139348
o 139335
o 139149
o 139002
o 138981
o 138932
o 138836
o 138697
o 138689
o 138550
o 138529
o 138361
o 138214
o 138193
o 137929
o 137782
o 137761
o 137624
o 137477
o 137183
o 137036
o 137015
o 136966
o 136870
o 136731
o 136723
o 136584
o 136563
o 136548
o 136401
o 136365
o 136166
o 136019
o 135998
o 135979
o 135853
o 135832
o 135636
o 135489
o 135453
o 135254
o 135107
o 135086
o 135071
o 134924
o 134888
o 134689
o 134542
o 134521
o 134380
o 134233
o 134212
o 134131
o 133984
o 133963
o 133871
o 133850
o 133844
o 133808
o 133609
o 133462
o 133441
o 133341
o 133305
o 133106
o 132959
o 132938
o 132923
o 132776
o 132740
o 132541
o 132394
o 132373
o 132232
o 132085
o 132064
o 131983
o 131836
o 131815
o 131711
o 131697
o 131550
o 131530
o 131494
o 131347
o 131112
o 130965
o 130803
o 130656
o 130554
o 130407
o 130371
o 130313
o 130202
o 130166
o 130124
o 130013
o 129875
o 129764
o 129728
o 129701
o 129554
o 129533
o 129452
o 129305
o 129284
o 129166
o 129019
o 128999
o 128963
o 128816
o 128581
o 128434
o 128Killed
1979.696u 0.002s 33:00.86 99.9%	0+0k 0+0io 0pf+0w