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-100-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 5588504
o 336123
o 334621
o 333339
o 332214
o 330107
o 329019
o 328853
o 328775
o 327650
o 326562
o 325504
o 325022
o 324527
o 323469
o 323301
o 323285
o 322867
o 322243
o 322227
o 321956
o 321474
o 320979
o 319921
o 319783
o 319767
o 319753
o 319737
o 319319
o 318695
o 318679
o 318648
o 318221
o 318053
o 318037
o 317718
o 317702
o 317422
o 317406
o 316995
o 316979
o 316866
o 316540
o 316264
o 315640
o 315624
o 315314
o 315298
o 315166
o 314840
o 314663
o 314647
o 314367
o 314351
o 313940
o 313924
o 313614
o 313598
o 313458
o 313442
o 313426
o 313410
o 313130
o 313114
o 312703
o 312687
o 312575
o 312559
o 312311
o 312295
o 312103
o 312087
o 311972
o 311348
o 311332
o 311022
o 311006
o 310875
o 310859
o 310611
o 310595
o 310403
o 310387
o 310371
o 310355
o 310075
o 310059
o 309648
o 309632
o 309322
o 309306
o 309106
o 309090
o 308918
o 308902
o 308622
o 308606
o 308195
o 308179
o 308067
o 308051
o 307803
o 307787
o 307572
o 307556
o 307464
o 306840
o 306824
o 306514
o 306498
o 306367
o 306351
o 306103
o 306087
o 305872
o 305856
o 305847
o 305567
o 305551
o 305140
o 305124
o 304814
o 304798
o 304732
o 304716
o 304707
o 304427
o 304411
o 304000
o 303984
o 303674
o 303658
o 303577
o 303561
o 303546
o 303461
o 303135
o 303119
o 303076
o 303060
o 303044
o 303028
o 302748
o 302732
o 302321
o 302305
o 301995
o 301979
o 301850
o 301834
o 301554
o 301538
o 301127
o 301111
o 300801
o 300785
o 300742
o 300726
o 300710
o 300694
o 300414
o 300398
o 299987
o 299971
o 299661
o 299645
o 299347
o 299331
o 299321
o 299305
o 298894
o 298878
o 298568
o 298552
o 298471
o 298455
o 298442
o 298426
o 298178
o 298162
o 297994
o 297978
o 297970
o 297954
o 297938
o 297922
o 297642
o 297626
o 297215
o 297199
o 296889
o 296873
o 296800
o 296474
o 296458
o 296415
o 296399
o 296383
o 296367
o 296087
o 296071
o 295660
o 295644
o 295334
o 295318
o 295308
o 295292
o 294881
o 294865
o 294555
o 294539
o 294529
o 294249
o 294233
o 293822
o 293806
o 293496
o 293480
o 293468
o 293452
o 293436
o 293156
o 293140
o 292729
o 292713
o 292403
o 292387
o 292306
o 292290
o 292190
o 292174
o 291864
o 291848
o 291805
o 291789
o 291773
o 291757
o 291477
o 291461
o 291050
o 291034
o 290724
o 290708
o 290706
o 290635
o 290309
o 290293
o 290250
o 290234
o 290218
o 290202
o 289922
o 289906
o 289495
o 289479
o 289169
o 289153
o 289143
o 289127
o 288716
o 288700
o 288390
o 288374
o 287985
o 287969
o 287659
o 287643
o 287398
o 287382
o 287319
o 287303
o 286892
o 286876
o 286566
o 286550
o 286514
o 286498
o 286454
o 286438
o 286353
o 286027
o 286011
o 286009
o 285761
o 285745
o 285731
o 285715
o 285304
o 285288
o 285225
o 285209
o 284798
o 284782
o 284472
o 284456
o 284446
o 284430
o 284019
o 284003
o 283693
o 283677
o 283658
o 283642
o 283385
o 283369
o 283306
o 283290
o 282879
o 282863
o 282553
o 282537
o 282464
o 282448
o 282363
o 282037
o 282021
o 281977
o 281961
o 281876
o 281550
o 281534
o 281532
o 281284
o 281268
o 281254
o 281238
o 280827
o 280811
o 280748
o 280732
o 280321
o 280305
o 279995
o 279979
o 279898
o 279882
o 279643
o 279627
o 279542
o 279216
o 279200
o 279181
o 279165
o 278908
o 278892
o 278829
o 278813
o 278402
o 278386
o 278076
o 278060
o 277758
o 277742
o 277723
o 277707
o 277450
o 277434
o 277371
o 277355
o 276944
o 276928
o 276618
o 276602
o 276507
o 276491
o 276252
o 276236
o 276151
o 275825
o 275809
o 275774
o 275758
o 275448
o 275432
o 275193
o 275177
o 275092
o 274766
o 274750
o 274655
o 274639
o 274400
o 274384
o 274299
o 273973
o 273957
o 273835
o 273819
o 273724
o 273708
o 273469
o 273453
o 273368
o 273042
o 273026
o 272969
o 272953
o 272858
o 272842
o 272603
o 272587
o 272502
o 272176
o 272160
o 271847
o 271831
o 271685
o 271669
o 271547
o 271531
o 271436
o 271420
o 271181
o 271165
o 271080
o 270754
o 270738
o 270531
o 270515
o 270205
o 270189
o 270108
o 270092
o 269853
o 269837
o 269752
o 269426
o 269410
o 269315
o 269299
o 269060
o 269044
o 268959
o 268633
o 268617
o 268582
o 268566
o 268327
o 268311
o 267900
o 267884
o 267574
o 267558
o 267463
o 267447
o 267208
o 267192
o 267107
o 266781
o 266765
o 266643
o 266627
o 266532
o 266516
o 266277
o 266261
o 266176
o 265850
o 265834
o 265777
o 265761
o 265666
o 265650
o 265411
o 265395
o 265310
o 264984
o 264968
o 264655
o 264639
o 264355
o 264339
o 264244
o 264228
o 263989
o 263973
o 263888
o 263562
o 263546
o 263438
o 263422
o 263337
o 263011
o 262995
o 262960
o 262944
o 262705
o 262689
o 262278
o 262262
o 261952
o 261936
o 261841
o 261825
o 261586
o 261570
o 261485
o 261159
o 261143
o 261021
o 261005
o 260910
o 260894
o 260655
o 260639
o 260554
o 260228
o 260212
o 260155
o 260139
o 260044
o 260028
o 259789
o 259773
o 259688
o 259362
o 259346
o 259033
o 259017
o 258733
o 258717
o 258622
o 258606
o 258367
o 258351
o 258266
o 257940
o 257924
o 257601
o 257585
o 257408
o 257392
o 257275
o 257259
o 257082
o 257066
o 256971
o 256955
o 256909
o 256893
o 256808
o 256482
o 256466
o 256289
o 256273
o 256265
o 256249
o 256072
o 256056
o 255934
o 255918
o 255823
o 255807
o 255761
o 255745
o 255660
o 255334
o 255318
o 255141
o 255125
o 255109
o 254932
o 254916
o 254794
o 254778
o 254683
o 254667
o 254621
o 254605
o 254520
o 254194
o 254178
o 254001
o 253985
o 253795
o 253779
o 253439
o 253423
o 253113
o 253097
o 253002
o 252986
o 252747
o 252731
o 252646
o 252320
o 252304
o 252144
o 252128
o 251981
o 251965
o 251788
o 251772
o 251655
o 251639
o 251462
o 251446
o 251351
o 251335
o 251289
o 251273
o 251188
o 250862
o 250846
o 250669
o 250653
o 250598
o 250582
o 250405
o 250389
o 250298
o 250282
o 250105
o 250089
o 250075
o 249994
o 249978
o 249831
o 249815
o 249638
o 249622
o 249505
o 249489
o 249312
o 249296
o 249174
o 249158
o 249063
o 249047
o 249001
o 248985
o 248900
o 248574
o 248558
o 248381
o 248365
o 248222
o 248121
o 247795
o 247779
o 247477
o 247461
o 247284
o 247268
o 247213
o 247197
o 247020
o 247004
o 246913
o 246897
o 246720
o 246704
o 246690
o 246609
o 246593
o 246446
o 246430
o 246253
o 246237
o 246120
o 246104
o 245927
o 245911
o 245789
o 245773
o 245678
o 245662
o 245616
o 245600
o 245515
o 245189
o 245173
o 244996
o 244980
o 244949
o 244933
o 244842
o 244826
o 244649
o 244633
o 244538
o 244522
o 244476
o 244460
o 244375
o 244049
o 244033
o 243856
o 243840
o 243834
o 243657
o 243641
o 243524
o 243508
o 243331
o 243315
o 243179
o 243163
o 243082
o 243066
o 243020
o 243004
o 242919
o 242593
o 242577
o 242400
o 242384
o 242289
o 242273
o 242227
o 242211
o 242126
o 241800
o 241784
o 241607
o 241591
o 241560
o 241544
o 241453
o 241437
o 241260
o 241244
o 241149
o 241133
o 241087
o 241071
o 240986
o 240660
o 240644
o 240467
o 240451
o 240403
o 240387
o 240341
o 240325
o 240240
o 239914
o 239898
o 239721
o 239705
o 239699
o 239522
o 239506
o 239389
o 239373
o 239196
o 239180
o 239044
o 239028
o 238947
o 238931
o 238885
o 238869
o 238784
o 238458
o 238442
o 238265
o 238249
o 238154
o 238138
o 238092
o 238076
o 237991
o 237665
o 237649
o 237472
o 237456
o 237425
o 237409
o 237318
o 237302
o 237125
o 237109
o 237014
o 236998
o 236952
o 236936
o 236851
o 236525
o 236509
o 236332
o 236316
o 236152
o 236136
o 236014
o 235998
o 235903
o 235887
o 235841
o 235825
o 235740
o 235414
o 235398
o 235221
o 235205
o 235100
o 235084
o 234967
o 234951
o 234774
o 234758
o 234622
o 234606
o 234525
o 234509
o 234463
o 234447
o 234362
o 234036
o 234020
o 233843
o 233827
o 233732
o 233716
o 233670
o 233654
o 233569
o 233243
o 233227
o 233050
o 233034
o 232986
o 232970
o 232924
o 232908
o 232823
o 232497
o 232481
o 232304
o 232288
o 232282
o 232105
o 232089
o 231972
o 231956
o 231779
o 231763
o 231627
o 231611
o 231530
o 231514
o 231468
o 231452
o 231367
o 231041
o 231025
o 230848
o 230832
o 230737
o 230721
o 230675
o 230659
o 230574
o 230248
o 230232
o 230055
o 230039
o 230008
o 229992
o 229901
o 229885
o 229708
o 229692
o 229597
o 229581
o 229535
o 229519
o 229434
o 229108
o 229092
o 228915
o 228899
o 228735
o 228719
o 228597
o 228581
o 228486
o 228470
o 228424
o 228408
o 228323
o 227997
o 227981
o 227804
o 227788
o 227686
o 227670
o 227575
o 227559
o 227513
o 227497
o 227412
o 227086
o 227070
o 226893
o 226877
o 226713
o 226697
o 226575
o 226559
o 226464
o 226448
o 226402
o 226386
o 226301
o 225975
o 225959
o 225782
o 225766
o 225661
o 225645
o 225528
o 225512
o 225335
o 225319
o 225183
o 225167
o 225086
o 225070
o 225024
o 225008
o 224923
o 224597
o 224581
o 224404
o 224388
o 224293
o 224277
o 224231
o 224215
o 224130
o 223804
o 223788
o 223611
o 223595
o 223547
o 223531
o 223485
o 223469
o 223384
o 223058
o 223042
o 222865
o 222849
o 222843
o 222666
o 222650
o 222533
o 222517
o 222340
o 222324
o 222188
o 222172
o 222091
o 222075
o 222029
o 222013
o 221928
o 221602
o 221586
o 221409
o 221393
o 221298
o 221282
o 221236
o 221220
o 221135
o 220809
o 220793
o 220616
o 220600
o 220569
o 220553
o 220462
o 220446
o 220269
o 220253
o 220158
o 220142
o 220096
o 220080
o 219995
o 219669
o 219653
o 219476
o 219460
o 219296
o 219280
o 219158
o 219142
o 219047
o 219031
o 218985
o 218969
o 218884
o 218558
o 218542
o 218365
o 218349
o 218335
o 218240
o 218224
o 218178
o 218162
o 218077
o 217751
o 217735
o 217558
o 217542
o 217440
o 217424
o 217329
o 217313
o 217267
o 217251
o 217166
o 216840
o 216824
o 216647
o 216631
o 216467
o 216451
o 216329
o 216313
o 216218
o 216202
o 216156
o 216140
o 216055
o 215729
o 215713
o 215536
o 215520
o 215415
o 215399
o 215282
o 215266
o 215089
o 215073
o 214937
o 214921
o 214840
o 214824
o 214778
o 214762
o 214677
o 214351
o 214335
o 214158
o 214142
o 214047
o 214031
o 213985
o 213969
o 213884
o 213558
o 213542
o 213365
o 213349
o 213301
o 213285
o 213239
o 213223
o 213138
o 212812
o 212796
o 212619
o 212603
o 212597
o 212420
o 212404
o 212287
o 212271
o 212094
o 212078
o 211942
o 211926
o 211845
o 211829
o 211783
o 211767
o 211682
o 211356
o 211340
o 211163
o 211147
o 211052
o 211036
o 210990
o 210974
o 210889
o 210563
o 210547
o 210370
o 210354
o 210323
o 210307
o 210216
o 210200
o 210023
o 210007
o 209912
o 209896
o 209850
o 209834
o 209749
o 209423
o 209407
o 209230
o 209214
o 209050
o 209034
o 208912
o 208896
o 208801
o 208785
o 208739
o 208723
o 208638
o 208312
o 208296
o 208119
o 208103
o 207917
o 207901
o 207796
o 207780
o 207663
o 207647
o 207470
o 207454
o 207318
o 207302
o 207221
o 207205
o 207159
o 207143
o 207058
o 206732
o 206716
o 206539
o 206523
o 206428
o 206412
o 206366
o 206350
o 206265
o 205939
o 205923
o 205746
o 205730
o 205682
o 205666
o 205620
o 205604
o 205519
o 205193
o 205177
o 205000
o 204984
o 204884
o 204868
o 204691
o 204675
o 204558
o 204542
o 204365
o 204349
o 204254
o 204238
o 204192
o 204176
o 204091
o 203765
o 203749
o 203572
o 203556
o 203528
o 203512
o 203335
o 203319
o 203183
o 203167
o 203086
o 203070
o 203024
o 203008
o 202923
o 202597
o 202581
o 202404
o 202388
o 202293
o 202277
o 202231
o 202215
o 202130
o 201804
o 201788
o 201611
o 201595
o 201593
o 201577
o 201486
o 201470
o 201293
o 201277
o 201182
o 201166
o 201120
o 201104
o 201019
o 200693
o 200677
o 200500
o 200484
o 200477
o 200314
o 200151
o 200121
o 199958
o 199942
o 199869
o 199846
o 199683
o 199520
o 199490
o 199327
o 199173
o 199010
o 198817
o 198684
o 198491
o 198380
o 198217
o 198024
o 197891
o 197698
o 197692
o 197499
o 197366
o 197173
o 197021
o 196761
o 196568
o 196435
o 196242
o 196228
o 196131
o 195968
o 195775
o 195642
o 195449
o 195402
o 195295
o 195102
o 194991
o 194828
o 194635
o 194502
o 194309
o 194286
o 194123
o 193960
o 193930
o 193767
o 193743
o 193580
o 193522
o 193329
o 193306
o 193143
o 192980
o 192950
o 192787
o 192786
o 192745
o 192582
o 192552
o 192389
o 192356
o 192163
o 191989
o 191796
o 191663
o 191470
o 191459
o 191266
o 191196
o 191003
o 190992
o 190799
o 190666
o 190473
o 190335
o 190297
o 190265
o 190072
o 189939
o 189746
o 189735
o 189542
o 189519
o 189397
o 189356
o 189193
o 189163
o 189000
o 188952
o 188922
o 188759
o 188626
o 188596
o 188433
o 188322
o 188159
o 188129
o 187966
o 187833
o 187803
o 187640
o 187502
o 187391
o 187228
o 187198
o 187035
o 186902
o 186872
o 186709
o 186560
o 186530
o 186367
o 186332
o 186169
o 186139
o 185976
o 185843
o 185813
o 185650
o 185592
o 185399
o 185376
o 185254
o 185213
o 185050
o 185020
o 184857
o 184732
o 184702
o 184539
o 184481
o 184288
o 184265
o 184143
o 1841Killed
1979.662u 0.036s 33:12.76 99.3%	0+0k 0+0io 0pf+0w