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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2076641
o 235808
o 235413
o 235100
o 234933
o 234620
o 234481
o 234168
o 234056
o 233743
o 233599
o 233286
o 233119
o 232806
o 232667
o 232354
o 232242
o 231929
o 231739
o 231595
o 231282
o 231115
o 230802
o 230663
o 230350
o 230238
o 229925
o 229924
o 229780
o 229467
o 229300
o 228987
o 228848
o 228535
o 228423
o 228110
o 227810
o 227671
o 227358
o 227246
o 226933
o 226932
o 226788
o 226475
o 226308
o 225995
o 225856
o 225543
o 225431
o 225118
o 224922
o 224866
o 224699
o 224386
o 224247
o 223934
o 223822
o 223509
o 223200
o 223061
o 222748
o 222636
o 222323
o 222306
o 222250
o 221937
o 221836
o 221527
o 221388
o 221075
o 220963
o 220650
o 220552
o 220479
o 220166
o 220065
o 219756
o 219617
o 219304
o 219192
o 218879
o 218705
o 218699
o 218501
o 218389
o 218076
o 217978
o 217905
o 217592
o 217491
o 217353
o 217241
o 216928
o 216730
o 216618
o 216305
o 216131
o 215981
o 215869
o 215556
o 215382
o 215214
o 215040
o 214797
o 214623
o 214582
o 214269
o 214168
o 214030
o 213918
o 213605
o 213407
o 213295
o 212982
o 212808
o 212640
o 212466
o 212298
o 212162
o 211849
o 211675
o 211525
o 211351
o 211100
o 210926
o 210758
o 210584
o 210341
o 210167
o 210126
o 209813
o 209712
o 209574
o 209462
o 209149
o 208951
o 208839
o 208526
o 208352
o 208184
o 208010
o 207923
o 207785
o 207673
o 207360
o 207162
o 207050
o 206737
o 206563
o 206395
o 206221
o 206131
o 205818
o 205644
o 205476
o 205302
o 205059
o 204885
o 204844
o 204531
o 204430
o 204292
o 204180
o 203867
o 203669
o 203557
o 203244
o 203070
o 202902
o 202728
o 202686
o 202685
o 202518
o 202517
o 202344
o 202343
o 202257
o 202256
o 202119
o 202007
o 201694
o 201496
o 201384
o 201071
o 201070
o 200897
o 200896
o 200729
o 200728
o 200555
o 200554
o 200465
o 200464
o 200152
o 200151
o 199978
o 199977
o 199810
o 199809
o 199636
o 199635
o 199393
o 199392
o 199219
o 199218
o 199178
o 198865
o 198764
o 198626
o 198514
o 198201
o 198003
o 197891
o 197578
o 197577
o 197404
o 197403
o 197236
o 197235
o 197062
o 197061
o 197007
o 197006
o 196833
o 196832
o 196652
o 196651
o 196478
o 196477
o 196388
o 196387
o 196075
o 196074
o 195901
o 195900
o 195733
o 195732
o 195559
o 195558
o 195316
o 195315
o 195142
o 195141
o 195101
o 194788
o 194687
o 194549
o 194437
o 194124
o 193926
o 193814
o 193501
o 193500
o 193327
o 193326
o 193159
o 193158
o 192985
o 192984
o 192706
o 192705
o 192396
o 192083
o 192082
o 191909
o 191908
o 191880
o 191879
o 191741
o 191740
o 191567
o 191566
o 191492
o 191491
o 191324
o 191323
o 191150
o 191149
o 190907
o 190906
o 190733
o 190732
o 190692
o 190691
o 190379
o 190378
o 190278
o 190277
o 190140
o 190139
o 190028
o 190027
o 189715
o 189714
o 189517
o 189516
o 189405
o 189404
o 189092
o 189091
o 188918
o 188917
o 188750
o 188749
o 188576
o 188575
o 188297
o 188296
o 188099
o 188098
o 187987
o 187986
o 187674
o 187673
o 187500
o 187499
o 187471
o 187470
o 187332
o 187158
o 187157
o 187131
o 186957
o 186956
o 186821
o 186820
o 186508
o 186507
o 186334
o 186333
o 186324
o 186323
o 186126
o 186014
o 185701
o 185700
o 185527
o 185526
o 185498
o 185497
o 185359
o 185185
o 185184
o 184931
o 184930
o 184757
o 184756
o 184728
o 184727
o 184589
o 184588
o 184415
o 184414
o 184136
o 184135
o 183938
o 183937
o 183826
o 183825
o 183513
o 183512
o 183339
o 183338
o 183310
o 183309
o 183171
o 182997
o 182996
o 182710
o 182709
o 182536
o 182535
o 182507
o 182506
o 182368
o 182367
o 182194
o 182193
o 181915
o 181914
o 181717
o 181716
o 181605
o 181604
o 181292
o 181291
o 181118
o 181117
o 181089
o 181088
o 180950
o 180776
o 180775
o 180749
o 180748
o 180468
o 180467
o 180439
o 180126
o 180125
o 179952
o 179951
o 179872
o 179871
o 179843
o 179842
o 179530
o 179529
o 179356
o 179355
o 179095
o 179094
o 178921
o 178920
o 178895
o 178894
o 178634
o 178633
o 178460
o 178459
o 178431
o 178430
o 178292
o 178291
o 178118
o 178117
o 177932
o 177931
o 177622
o 177309
o 177308
o 177135
o 177134
o 177013
o 177012
o 176874
o 176700
o 176699
o 176485
o 176484
o 176311
o 176310
o 176189
o 176188
o 176050
o 175876
o 175875
o 175834
o 175833
o 175660
o 175659
o 175594
o 175593
o 175567
o 175566
o 175399
o 175398
o 175225
o 175224
o 175092
o 175091
o 174779
o 174778
o 174605
o 174604
o 174344
o 174343
o 174170
o 174169
o 174141
o 174140
o 174002
o 173828
o 173827
o 173613
o 173612
o 173439
o 173438
o 173317
o 173316
o 173178
o 173177
o 173004
o 173003
o 172920
o 172919
o 172607
o 172606
o 172433
o 172432
o 172172
o 172171
o 171998
o 171997
o 171969
o 171968
o 171830
o 171656
o 171655
o 171441
o 171440
o 171267
o 171266
o 171145
o 171144
o 171006
o 171005
o 170832
o 170831
o 170768
o 170767
o 170692
o 170553
o 170379
o 170378
o 170118
o 170117
o 169944
o 169943
o 169811
o 169810
o 169498
o 169497
o 169324
o 169323
o 169063
o 169062
o 168889
o 168888
o 168860
o 168859
o 168721
o 168547
o 168546
o 168332
o 168331
o 168158
o 168157
o 168036
o 168035
o 167897
o 167896
o 167723
o 167722
o 167681
o 167680
o 167507
o 167506
o 167441
o 167440
o 167414
o 167413
o 167246
o 167245
o 167072
o 167071
o 166939
o 166938
o 166626
o 166625
o 166452
o 166451
o 166191
o 166190
o 166017
o 166016
o 165988
o 165987
o 165849
o 165675
o 165674
o 165460
o 165459
o 165286
o 165285
o 165164
o 165163
o 165025
o 165024
o 164851
o 164850
o 164767
o 164766
o 164454
o 164453
o 164280
o 164279
o 164019
o 164018
o 163845
o 163844
o 163816
o 163815
o 163677
o 163503
o 163502
o 163288
o 163287
o 163114
o 163113
o 162992
o 162991
o 162853
o 162852
o 162679
o 162678
o 162673
o 162672
o 162365
o 162364
o 162336
o 162335
o 162023
o 162022
o 161849
o 161848
o 161785
o 161784
o 161709
o 161570
o 161396
o 161395
o 161135
o 161134
o 160961
o 160960
o 160828
o 160827
o 160515
o 160514
o 160341
o 160340
o 160080
o 160079
o 159906
o 159905
o 159877
o 159876
o 159738
o 159564
o 159563
o 159349
o 159348
o 159175
o 159174
o 159053
o 159052
o 158914
o 158913
o 158740
o 158739
o 158626
o 158625
o 158452
o 158451
o 158405
o 158266
o 158092
o 158091
o 157956
o 157955
o 157643
o 157642
o 157469
o 157468
o 157347
o 157346
o 157208
o 157034
o 157033
o 156866
o 156865
o 156692
o 156691
o 156477
o 156476
o 156303
o 156302
o 156181
o 156180
o 156042
o 156041
o 155868
o 155867
o 155752
o 155751
o 155442
o 155129
o 155128
o 154955
o 154954
o 154833
o 154832
o 154694
o 154520
o 154519
o 154305
o 154304
o 154131
o 154130
o 154009
o 154008
o 153870
o 153869
o 153696
o 153695
o 153561
o 153560
o 153497
o 153496
o 153421
o 153420
o 153282
o 153281
o 153108
o 153107
o 152986
o 152985
o 152847
o 152846
o 152673
o 152672
o 152540
o 152539
o 152227
o 152226
o 152053
o 152052
o 151792
o 151791
o 151618
o 151617
o 151589
o 151588
o 151450
o 151276
o 151275
o 151061
o 151060
o 150887
o 150886
o 150765
o 150764
o 150626
o 150625
o 150452
o 150451
o 150326
o 150325
o 150236
o 150235
o 150143
o 150142
o 149975
o 149974
o 149801
o 149800
o 149668
o 149667
o 149355
o 149354
o 149181
o 149180
o 148920
o 148919
o 148746
o 148745
o 148717
o 148716
o 148578
o 148404
o 148403
o 148189
o 148188
o 148015
o 148014
o 147893
o 147892
o 147754
o 147753
o 147580
o 147579
o 147496
o 147495
o 147183
o 147182
o 147009
o 147008
o 146748
o 146747
o 146574
o 146573
o 146545
o 146544
o 146406
o 146232
o 146231
o 146185
o 146184
o 145924
o 145923
o 145750
o 145749
o 145721
o 145720
o 145582
o 145581
o 145408
o 145407
o 145363
o 145362
o 145195
o 145194
o 145021
o 145020
o 144905
o 144904
o 144595
o 144282
o 144281
o 144108
o 144107
o 143986
o 143985
o 143847
o 143673
o 143672
o 143458
o 143457
o 143284
o 143283
o 143162
o 143161
o 143023
o 143022
o 142849
o 142848
o 142714
o 142713
o 142650
o 142649
o 142456
o 142455
o 142282
o 142281
o 142160
o 142159
o 142021
o 142020
o 141847
o 141846
o 141661
o 141660
o 141351
o 141038
o 141037
o 140864
o 140863
o 140742
o 140741
o 140603
o 140429
o 140428
o 140214
o 140213
o 140040
o 140039
o 139918
o 139917
o 139779
o 139778
o 139605
o 139604
o 139560
o 139559
o 139438
o 139437
o 139125
o 139124
o 138951
o 138950
o 138821
o 138647
o 138646
o 138508
o 138507
o 138334
o 138333
o 138212
o 138211
o 138073
o 137899
o 137898
o 137731
o 137730
o 137557
o 137556
o 137342
o 137341
o 137168
o 137167
o 137046
o 137045
o 136907
o 136906
o 136733
o 136732
o 136564
o 136563
o 136554
o 136553
o 136498
o 136497
o 136442
o 136129
o 136128
o 135955
o 135954
o 135825
o 135651
o 135650
o 135512
o 135511
o 135338
o 135337
o 135216
o 135215
o 135077
o 134903
o 134902
o 134735
o 134734
o 134561
o 134560
o 134474
o 134473
o 134425
o 134286
o 134112
o 134111
o 134005
o 134004
o 133976
o 133975
o 133663
o 133662
o 133489
o 133488
o 133367
o 133366
o 133228
o 133054
o 133053
o 132868
o 132867
o 132587
o 132586
o 132558
o 132245
o 132244
o 132071
o 132070
o 131810
o 131809
o 131636
o 131635
o 131421
o 131420
o 131247
o 131246
o 131125
o 131124
o 130986
o 130812
o 130811
o 130606
o 130605
o 130513
o 130512
o 130484
o 130171
o 130170
o 129997
o 129996
o 129862
o 129861
o 129675
o 129674
o 129501
o 129500
o 129482
o 129481
o 129389
o 129388
o 129221
o 129220
o 129047
o 129046
o 128995
o 128994
o 128991
o 128990
o 128734
o 128733
o 128560
o 128559
o 128499
o 128498
o 128489
o 128476
o 128219
o 128218
o 128045
o 128044
o 128041
o 127784
o 127783
o 127610
o 127609
o 127584
o 127583
o 127523
o 127522
o 127243
o 127242
o 127069
o 127068
o 126808
o 126807
o 126634
o 126633
o 126470
o 126469
o 126296
o 126295
o 126035
o 126034
o 125861
o 125860
o 125852
o 125851
o 125740
o 125739
o 125427
o 125426
o 125398
o 125397
o 125085
o 125084
o 124911
o 124910
o 124907
o 124906
o 124733
o 124732
o 124729
o 124728
o 124472
o 124471
o 124298
o 124297
o 124251
o 124250
o 124247
o 123990
o 123816
o 123815
o 123648
o 123647
o 123474
o 123473
o 123449
o 123448
o 123420
o 123107
o 123106
o 123014
o 123013
o 122985
o 122672
o 122671
o 122498
o 122497
o 122455
o 122454
o 122450
o 122449
o 122388
o 122387
o 122324
o 122323
o 122282
o 122281
o 122150
o 122149
o 122108
o 122107
o 122088
o 122087
o 121956
o 121914
o 121913
o 121695
o 121694
o 121653
o 121652
o 121521
o 121520
o 121479
o 121478
o 121412
o 121411
o 121348
o 121347
o 121306
o 121305
o 121174
o 121173
o 121132
o 121131
o 121122
o 121121
o 120983
o 120809
o 120808
o 120636
o 120635
o 120462
o 120461
o 120446
o 120445
o 120278
o 120277
o 120104
o 120103
o 120082
o 120040
o 120039
o 119908
o 119866
o 119865
o 119862
o 119861
o 119647
o 119646
o 119605
o 119604
o 119473
o 119472
o 119431
o 119430
o 119386
o 119385
o 119344
o 119343
o 119106
o 119105
o 119064
o 119063
o 118932
o 118931
o 118890
o 118889
o 118671
o 118670
o 118629
o 118628
o 118497
o 118496
o 118455
o 118454
o 118440
o 118439
o 118301
o 118127
o 118126
o 117959
o 117958
o 117785
o 117784
o 117742
o 117741
o 117611
o 117610
o 117569
o 117568
o 117437
o 117436
o 117395
o 117394
o 117375
o 117243
o 117201
o 117200
o 117046
o 117045
o 116982
o 116981
o 116940
o 116939
o 116808
o 116807
o 116766
o 116765
o 116699
o 116698
o 116635
o 116634
o 116593
o 116592
o 116461
o 116460
o 116419
o 116418
o 116409
o 116408
o 116270
o 116096
o 116095
o 115923
o 115922
o 115749
o 115748
o 115733
o 115732
o 115704
o 115703
o 115565
o 115564
o 115391
o 115390
o 115296
o 115295
o 115185
o 115184
o 115043
o 115001
o 115000
o 114934
o 114933
o 114696
o 114695
o 114654
o 114653
o 114644
o 114643
o 114331
o 114330
o 114326
o 114325
o 114297
o 114296
o 113984
o 113983
o 113939
o 113938
o 113626
o 113625
o 113468
o 113467
o 113373
o 113372
o 113262
o 113261
o 113120
o 113078
o 113077
o 113011
o 113010
o 112773
o 112772
o 112731
o 112730
o 112721
o 112720
o 112408
o 112407
o 112403
o 112402
o 112374
o 112373
o 112061
o 112060
o 112016
o 112015
o 111703
o 111702
o 111641
o 111640
o 111599
o 111598
o 111565
o 111564
o 111532
o 111294
o 111252
o 111251
o 111193
o 111192
o 111003
o 111002
o 110846
o 110845
o 110645
o 110644
o 110488
o 110487
o 110486
o 110330
o 110329
o 110281
o 110280
o 110235
o 110234
o 110124
o 110123
o 110111
o 110110
o 109956
o 109955
o 109718
o 109717
o 109676
o 109675
o 109609
o 109608
o 109371
o 109370
o 109329
o 109328
o 109270
o 109269
o 109080
o 109079
o 108923
o 108922
o 108722
o 108721
o 108565
o 108564
o 108493
o 108492
o 108451
o 108450
o 108309
o 108308
o 108135
o 108093
o 108092
o 107951
o 107950
o 107897
o 107825
o 107783
o 1076Killed
1979.696u 0.002s 33:01.48 99.9%	0+0k 0+0io 0pf+0w