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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3000653
o 321543
o 320205
o 319951
o 319368
o 319124
o 318870
o 318287
o 317711
o 317545
o 316962
o 316386
o 316186
o 316151
o 315568
o 314992
o 314826
o 314243
o 313667
o 313467
o 313048
o 312882
o 312299
o 311723
o 311523
o 311488
o 310905
o 310329
o 310163
o 309580
o 309004
o 308804
o 308718
o 308518
o 308142
o 307942
o 307620
o 307420
o 307324
o 306748
o 306582
o 305999
o 305423
o 305223
o 304978
o 304778
o 304758
o 304382
o 304182
o 303988
o 303788
o 303412
o 303212
o 303113
o 302737
o 302537
o 302496
o 302296
o 301920
o 301720
o 301475
o 301275
o 301255
o 300879
o 300679
o 300485
o 300285
o 299909
o 299709
o 299479
o 299279
o 298804
o 298604
o 298173
o 297973
o 297787
o 297542
o 297342
o 297322
o 296946
o 296746
o 296552
o 296352
o 295976
o 295776
o 295577
o 295377
o 295001
o 294801
o 294643
o 294212
o 294012
o 293826
o 293581
o 293381
o 293361
o 292985
o 292785
o 292591
o 292391
o 292015
o 291815
o 291810
o 291616
o 291416
o 291040
o 290840
o 290750
o 290374
o 290174
o 290127
o 290120
o 289544
o 289344
o 289200
o 288950
o 288750
o 288554
o 288374
o 288178
o 288174
o 287978
o 287973
o 287779
o 287775
o 287579
o 287399
o 287203
o 287199
o 287003
o 286913
o 286733
o 286537
o 286533
o 286337
o 285903
o 285707
o 285703
o 285507
o 285308
o 285293
o 284932
o 284732
o 284588
o 284338
o 284138
o 283942
o 283927
o 283762
o 283566
o 283562
o 283366
o 283361
o 283167
o 283163
o 282967
o 282952
o 282787
o 282591
o 282587
o 282391
o 282301
o 282254
o 282228
o 281867
o 281671
o 281667
o 281471
o 281456
o 281291
o 281095
o 281091
o 280895
o 280540
o 280340
o 280144
o 279964
o 279764
o 279568
o 279369
o 279354
o 278993
o 278793
o 278649
o 278399
o 278199
o 278003
o 277988
o 277823
o 277627
o 277623
o 277427
o 277422
o 277228
o 277224
o 277028
o 277013
o 276848
o 276652
o 276648
o 276452
o 276362
o 276315
o 276289
o 275928
o 275732
o 275728
o 275532
o 275517
o 275352
o 275156
o 275152
o 274956
o 274922
o 274726
o 274679
o 274672
o 274292
o 274096
o 274092
o 273896
o 273682
o 273321
o 273121
o 273019
o 272823
o 272643
o 272443
o 272247
o 272112
o 272042
o 271877
o 271681
o 271677
o 271481
o 271341
o 271176
o 270980
o 270976
o 270780
o 270655
o 270459
o 270455
o 270259
o 270254
o 270060
o 270056
o 269860
o 269845
o 269680
o 269484
o 269480
o 269284
o 269192
o 269188
o 268992
o 268904
o 268900
o 268704
o 268634
o 268469
o 268273
o 268269
o 268073
o 267823
o 267623
o 267427
o 267412
o 267247
o 267051
o 267047
o 266851
o 266846
o 266652
o 266648
o 266452
o 266437
o 266272
o 266076
o 266072
o 265876
o 265786
o 265739
o 265713
o 265352
o 265156
o 265152
o 264956
o 264941
o 264776
o 264580
o 264576
o 264380
o 264365
o 264004
o 263804
o 263608
o 263428
o 263228
o 263032
o 262940
o 262936
o 262740
o 262652
o 262648
o 262452
o 262382
o 262217
o 262021
o 262017
o 261821
o 261571
o 261371
o 261175
o 261160
o 260995
o 260799
o 260795
o 260599
o 260594
o 260400
o 260396
o 260200
o 260185
o 260020
o 259824
o 259820
o 259624
o 259534
o 259487
o 259461
o 259100
o 258904
o 258900
o 258704
o 258689
o 258524
o 258328
o 258324
o 258128
o 258114
o 257918
o 257753
o 257557
o 257553
o 257357
o 257303
o 257284
o 256923
o 256727
o 256723
o 256527
o 256512
o 256151
o 255951
o 255755
o 255575
o 255375
o 255179
o 255160
o 254995
o 254799
o 254795
o 254599
o 254529
o 254364
o 254168
o 254164
o 253968
o 253854
o 253718
o 253518
o 253322
o 253307
o 253142
o 252946
o 252942
o 252746
o 252741
o 252547
o 252543
o 252347
o 252332
o 252167
o 251971
o 251967
o 251771
o 251681
o 251634
o 251608
o 251247
o 251051
o 251047
o 250851
o 250836
o 250671
o 250475
o 250471
o 250275
o 250202
o 250037
o 249841
o 249837
o 249641
o 249622
o 249457
o 249261
o 249257
o 249061
o 248973
o 248859
o 248723
o 248523
o 248327
o 248312
o 248147
o 247951
o 247947
o 247751
o 247746
o 247552
o 247548
o 247352
o 247337
o 247172
o 246976
o 246972
o 246776
o 246629
o 246433
o 246429
o 246233
o 246052
o 245856
o 245709
o 245513
o 245509
o 245313
o 245280
o 245133
o 244937
o 244933
o 244737
o 244615
o 244600
o 244435
o 244239
o 244235
o 244039
o 243954
o 243939
o 243774
o 243578
o 243574
o 243378
o 243305
o 243140
o 242944
o 242940
o 242744
o 242725
o 242560
o 242364
o 242360
o 242164
o 242076
o 241962
o 241826
o 241626
o 241430
o 241415
o 241250
o 241054
o 241050
o 240854
o 240849
o 240655
o 240651
o 240455
o 240440
o 240275
o 240079
o 240075
o 239879
o 239732
o 239536
o 239532
o 239336
o 239155
o 238959
o 238812
o 238616
o 238612
o 238416
o 238383
o 238236
o 238040
o 238036
o 237840
o 237752
o 237556
o 237552
o 237356
o 237256
o 237091
o 236895
o 236891
o 236695
o 236622
o 236457
o 236261
o 236257
o 236061
o 236042
o 235877
o 235681
o 235677
o 235481
o 235393
o 235279
o 235154
o 234989
o 234793
o 234789
o 234593
o 234567
o 234371
o 234367
o 234171
o 234166
o 233968
o 233772
o 233592
o 233392
o 233196
o 233049
o 232853
o 232849
o 232653
o 232472
o 232276
o 232129
o 231933
o 231929
o 231733
o 231700
o 231553
o 231357
o 231353
o 231157
o 231108
o 230912
o 230908
o 230712
o 230639
o 230474
o 230278
o 230274
o 230078
o 230059
o 229894
o 229698
o 229694
o 229498
o 229410
o 229296
o 229171
o 229006
o 228810
o 228806
o 228610
o 228584
o 228388
o 228384
o 228188
o 228183
o 227985
o 227789
o 227609
o 227409
o 227213
o 227066
o 226870
o 226866
o 226670
o 226489
o 226293
o 226146
o 225950
o 225946
o 225750
o 225717
o 225570
o 225374
o 225370
o 225174
o 225054
o 225018
o 224858
o 224822
o 224678
o 224642
o 224478
o 224442
o 224282
o 224246
o 224135
o 223939
o 223935
o 223739
o 223703
o 223690
o 223654
o 223494
o 223458
o 223454
o 223294
o 223258
o 223221
o 223185
o 223056
o 223020
o 222860
o 222824
o 222820
o 222660
o 222624
o 222605
o 222476
o 222440
o 222280
o 222244
o 222240
o 222080
o 222044
o 221992
o 221956
o 221878
o 221742
o 221542
o 221346
o 221331
o 221166
o 220970
o 220966
o 220770
o 220765
o 220571
o 220567
o 220371
o 220356
o 220191
o 219995
o 219991
o 219795
o 219759
o 219648
o 219452
o 219448
o 219252
o 219216
o 219071
o 219035
o 218875
o 218839
o 218728
o 218532
o 218528
o 218332
o 218296
o 218263
o 218152
o 217956
o 217952
o 217756
o 217720
o 217588
o 217541
o 217515
o 217451
o 217154
o 216958
o 216954
o 216758
o 216743
o 216578
o 216382
o 216378
o 216182
o 216035
o 215839
o 215835
o 215639
o 215519
o 215483
o 215323
o 215287
o 215143
o 215107
o 214943
o 214907
o 214747
o 214711
o 214701
o 214600
o 214404
o 214400
o 214204
o 214168
o 214155
o 214119
o 213959
o 213923
o 213919
o 213759
o 213723
o 213686
o 213650
o 213521
o 213485
o 213325
o 213289
o 213285
o 213125
o 213089
o 213070
o 212941
o 212905
o 212745
o 212709
o 212705
o 212545
o 212509
o 212457
o 212421
o 212343
o 212207
o 212007
o 211811
o 211796
o 211631
o 211435
o 211431
o 211235
o 211230
o 211036
o 211032
o 210836
o 210821
o 210656
o 210460
o 210456
o 210260
o 210224
o 210113
o 209917
o 209913
o 209717
o 209681
o 209536
o 209500
o 209340
o 209304
o 209294
o 209193
o 208997
o 208993
o 208797
o 208761
o 208728
o 208718
o 208617
o 208421
o 208417
o 208221
o 208185
o 207997
o 207832
o 207636
o 207632
o 207436
o 207290
o 207254
o 207138
o 207102
o 206973
o 206937
o 206777
o 206741
o 206737
o 206577
o 206541
o 206526
o 206397
o 206361
o 206201
o 206165
o 206161
o 206001
o 205965
o 205952
o 205916
o 205756
o 205720
o 205716
o 205556
o 205520
o 205483
o 205447
o 205318
o 205282
o 205122
o 205086
o 205082
o 204922
o 204886
o 204867
o 204738
o 204702
o 204542
o 204506
o 204502
o 204342
o 204306
o 204254
o 204218
o 204140
o 204004
o 203804
o 203608
o 203593
o 203428
o 203232
o 203228
o 203032
o 203027
o 202833
o 202829
o 202633
o 202618
o 202453
o 202257
o 202253
o 202057
o 202021
o 201910
o 201714
o 201710
o 201514
o 201478
o 201307
o 201271
o 200990
o 200954
o 200790
o 200754
o 200739
o 200711
o 200414
o 200378
o 200214
o 200178
o 200018
o 199982
o 199824
o 199678
o 199642
o 199526
o 199490
o 199462
o 199426
o 199361
o 199325
o 199165
o 199129
o 199125
o 198965
o 198929
o 198914
o 198785
o 198749
o 198589
o 198553
o 198549
o 198389
o 198353
o 198340
o 198304
o 198144
o 198108
o 198104
o 197944
o 197908
o 197871
o 197835
o 197706
o 197670
o 197510
o 197474
o 197470
o 197310
o 197274
o 197255
o 197126
o 197090
o 196930
o 196894
o 196890
o 196730
o 196694
o 196642
o 196606
o 196528
o 196392
o 196192
o 195996
o 195981
o 195816
o 195620
o 195616
o 195420
o 195415
o 195221
o 195217
o 195021
o 195006
o 194841
o 194645
o 194641
o 194445
o 194409
o 194298
o 194102
o 194098
o 193902
o 193866
o 193695
o 193659
o 193639
o 193378
o 193342
o 193178
o 193142
o 193127
o 193099
o 192802
o 192766
o 192602
o 192566
o 192406
o 192370
o 192312
o 192276
o 192224
o 192188
o 192110
o 192084
o 191919
o 191723
o 191719
o 191523
o 191516
o 191512
o 191316
o 191198
o 191002
o 190997
o 190799
o 190603
o 190423
o 190223
o 190027
o 189991
o 189880
o 189844
o 189684
o 189648
o 189644
o 189484
o 189448
o 189306
o 189270
o 189110
o 189074
o 188930
o 188894
o 188730
o 188694
o 188534
o 188498
o 188488
o 188387
o 188191
o 188187
o 187991
o 187955
o 187797
o 187651
o 187615
o 187499
o 187463
o 187435
o 187399
o 187334
o 187298
o 187138
o 187102
o 187098
o 186938
o 186902
o 186887
o 186758
o 186722
o 186562
o 186526
o 186522
o 186362
o 186326
o 186313
o 186277
o 186117
o 186081
o 186077
o 185917
o 185881
o 185844
o 185808
o 185679
o 185643
o 185483
o 185447
o 185443
o 185283
o 185247
o 185228
o 185099
o 185063
o 184903
o 184867
o 184863
o 184703
o 184667
o 184615
o 184579
o 184501
o 184365
o 184165
o 183969
o 183954
o 183789
o 183593
o 183589
o 183393
o 183388
o 183194
o 183190
o 182994
o 182979
o 182814
o 182618
o 182614
o 182418
o 182382
o 182271
o 182075
o 182071
o 181875
o 181839
o 181668
o 181632
o 181612
o 181351
o 181315
o 181151
o 181115
o 181100
o 181072
o 180775
o 180739
o 180575
o 180539
o 180379
o 180343
o 180285
o 180249
o 180197
o 180161
o 180057
o 179892
o 179696
o 179692
o 179496
o 179489
o 179485
o 179289
o 179171
o 178975
o 178970
o 178772
o 178576
o 178396
o 178196
o 178000
o 177964
o 177853
o 177817
o 177657
o 177621
o 177617
o 177457
o 177421
o 177403
o 177367
o 177207
o 177171
o 177155
o 177012
o 176976
o 176960
o 176936
o 176900
o 176771
o 176735
o 176575
o 176539
o 176491
o 176455
o 176326
o 176290
o 176130
o 176094
o 176072
o 176036
o 176003
o 175857
o 175821
o 175692
o 175656
o 175496
o 175460
o 175456
o 175423
o 175277
o 175241
o 175112
o 175076
o 174916
o 174880
o 174828
o 174714
o 174675
o 174378
o 174182
o 174163
o 173967
o 173802
o 173606
o 173601
o 173568
o 173403
o 173207
o 173188
o 172992
o 172827
o 172631
o 172595
o 172449
o 172284
o 172088
o 172052
o 171881
o 171845
o 171711
o 171675
o 171661
o 171364
o 171328
o 171168
o 171132
o 171099
o 171085
o 170788
o 170752
o 170592
o 170556
o 170498
o 170462
o 170410
o 170285
o 170266
o 170202
o 169905
o 169709
o 169698
o 169502
o 169346
o 169282
o 168985
o 168789
o 168770
o 168574
o 168409
o 168213
o 168177
o 168031
o 167995
o 167866
o 167830
o 167670
o 167634
o 167616
o 167580
o 167420
o 167384
o 167371
o 167335
o 167315
o 167186
o 167150
o 166990
o 166954
o 166860
o 166824
o 166791
o 166777
o 166480
o 166444
o 166284
o 166248
o 166242
o 166082
o 166046
o 165912
o 165876
o 165730
o 165694
o 165565
o 165529
o 165369
o 165333
o 165300
o 165286
o 164989
o 164953
o 164793
o 164757
o 164739
o 164703
o 164543
o 164507
o 164491
o 164348
o 164312
o 164296
o 164285
o 164237
o 163940
o 163745
o 163709
o 163549
o 163513
o 163497
o 163397
o 163202
o 163166
o 163006
o 162970
o 162954
o 162952
o 162916
o 162756
o 162720
o 162704
o 162629
o 162593
o 162575
o 162539
o 162379
o 162343
o 162327
o 162281
o 162280
o 162085
o 162069
o 162049
o 162033
o 161933
o 161738
o 161737
o 161542
o 161526
o 161506
o 161490
o 161488
o 161487
o 161292
o 161276
o 161256
o 161240
o 161212
o 161176
o 161120
o 161081
o 161016
o 160980
o 160964
o 160884
o 160689
o 160688
o 160493
o 160477
o 160457
o 160441
o 160341
o 160146
o 160145
o 159950
o 159934
o 159914
o 159898
o 159896
o 159895
o 159700
o 159684
o 159664
o 159648
o 159573
o 159519
o 159518
o 159323
o 159307
o 159287
o 159271
o 159160
o 159112
o 159096
o 159076
o 159060
o 159034
o 158998
o 158839
o 158803
o 158802
o 158643
o 158607
o 158591
o 158557
o 158491
o 158296
o 158260
o 158259
o 158100
o 158064
o 158048
o 157919
o 157918
o 157723
o 157707
o 157687
o 157671
o 157669
o 157668
o 157473
o 157457
o 157437
o 157421
o 157310
o 157262
o 157246
o 157226
o 157210
o 157025
o 157009
o 156993
o 156862
o 156814
o 156798
o 156683
o 156629
o 156628
o 156433
o 156417
o 156400
o 156353
o 156298
o 156207
o 156168
o 156103
o 156102
o 156011
o 155972
o 155907
o 155891
o 155877
o 155830
o 155775
o 155580
o 155579
o 155384
o 155368
o 155334
o 155287
o 155232
o 155037
o 155036
o 154841
o 154825
o 154714
o 154660
o 154659
o 154464
o 154448
o 154394
o 154378
o 154242
o 154046
o 154030
o 153851
o 153835
o 153669
o 153653
o 153474
o 153458
o 153419
o 153403
o 153224
o 153208
o 153192
o 153061
o 153013
o 152997
o 152991
o 152975
o 152864
o 152810
o 152809
o 152614
o 152598
o 152544
o 152528
o 152392
o 152196
o 152180
o 152001
o 151985
o 151819
o 151803
o 151624
o 151608
o 151569
o 151553
o 151374
o 151358
o 151342
o 151211
o 151163
o 151147
o 151143
o 150964
o 150948
o 150909
o 150893
o 150714
o 150698
o 150682
o 150551
o 150503
o 150487
o 150354
o 150338
o 150262
o 150235
o 150124
o 150047
o 149882
o 149686
o 149670
o 149491
o 149475
o 149309
o 149293
o 149114
o 149098
o 149059
o 149043
o 148864
o 148848
o 148832
o 148701
o 148653
o 148637
o 148493
o 148477
o 148312
o 148311
o 148116
o 148100
o 147991
o 147975
o 147796
o 147780
o 147644
o 147448
o 147432
o 147253
o 147237
o 147071
o 147055
o 146876
o 146860
o 146844
o 146713
o 146665
o 146649
o 146626
o 146610
o 146594
o 146463
o 146415
o 146399
o 146393
o 146377
o 146266
o 146212
o 146211
o 146016
o 146000
o 145891
o 145875
o 145696
o 145680
o 145544
o 145348
o 145332
o 145153
o 145137
o 145026
o 145010
o 144971
o 144955
o 144776
o 144760
o 144744
o 144613
o 144565
o 144549
o 144493
o 144477
o 144366
o 144350
o 144311
o 144295
o 144116
o 144100
o 144084
o 143953
o 143905
o 143889
o 143883
o 143867
o 143756
o 143702
o 143701
o 143506
o 143490
o 143414
o 143387
o 143284
o 143088
o 143034
o 142838
o 142822
o 142643
o 142627
o 142516
o 142500
o 142461
o 142445
o 142266
o 142250
o 142234
o 142103
o 142055
o 142039
o 141999
o 141983
o 141960
o 141944
o 141928
o 141797
o 141749
o 141733
o 141677
o 141661
o 141550
o 141534
o 141495
o 141479
o 141300
o 141284
o 141268
o 141137
o 141089
o 141073
o 141067
o 141051
o 140940
o 140886
o 140885
o 140690
o 140674
o 140598
o 140571
o 140468
o 140272
o 140218
o 140022
o 140006
o 139827
o 139811
o 139700
o 139684
o 139645
o 139629
o 139450
o 139434
o 139418
o 139287
o 139239
o 139223
o 139100
o 139052
o 139036
o 138980
o 138964
o 138853
o 138837
o 138798
o 138782
o 138603
o 138587
o 138571
o 138440
o 138392
o 138376
o 138370
o 138354
o 138243
o 138189
o 138188
o 137993
o 137977
o 137771
o 137575
o 137521
o 137325
o 137309
o 137130
o 137114
o 137003
o 136987
o 136948
o 136932
o 136753
o 136737
o 136721
o 136590
o 136542
o 136526
o 136430
o 136414
o 136375
o 136359
o 136180
o 136164
o 136053
o 136037
o 135998
o 135982
o 135803
o 135787
o 135771
o 135640
o 135592
o 135576
o 135403
o 135387
o 135371
o 135240
o 135192
o 135176
o 135170
o 135154
o 134989
o 134988
o 134793
o 134777
o 134701
o 134674
o 134571
o 134375
o 134321
o 134125
o 134109
o 133930
o 133914
o 133803
o 133787
o 133748
o 133732
o 133553
o 133537
o 133521
o 133390
o 133342
o 133326
o 133230
o 133214
o 133048
o 133032
o 132853
o 132837
o 132821
o 132690
o 132642
o 132626
o 132603
o 132587
o 132571
o 132440
o 132392
o 132376
o 132368
o 132352
o 132186
o 132170
o 131991
o 131975
o 131959
o 131828
o 131780
o 131764
o 131591
o 131575
o 131559
o 131428
o 131380
o 131364
o 131358
o 131342
o 131177
o 131176
o 130981
o 130965
o 130889
o 130862
o 130751
o 130674
o 130509
o 130313
o 130297
o 130118
o 130102
o 129936
o 129920
o 129741
o 129725
o 129709
o 129578
o 129530
o 129514
o 129363
o 129347
o 129168
o 129152
o 128986
o 128970
o 128791
o 128775
o 128759
o 128628
o 128580
o 128564
o 128398
o 128382
o 128216
o 128200
o 128021
o 128005
o 127989
o 127858
o 127810
o 127794
o 127637
o 127621
o 127442
o 127426
o 127383
o 127367
o 127249
o 127053
o 127037
o 126858
o 126842
o 126676
o 126660
o 126481
o 126465
o 126458
o 12644Killed
1979.687u 0.011s 33:01.97 99.8%	0+0k 0+0io 0pf+0w