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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3670388
o 315947
o 314385
o 314160
o 313497
o 313276
o 313051
o 312388
o 311734
o 311509
o 310846
o 310666
o 310650
o 310425
o 309762
o 309651
o 309426
o 308763
o 308693
o 308162
o 308079
o 307854
o 307191
o 306561
o 306507
o 306450
o 306225
o 305562
o 305508
o 305492
o 305438
o 304961
o 304907
o 304878
o 304653
o 303990
o 303936
o 303737
o 303683
o 303654
o 303429
o 302766
o 302712
o 302711
o 302682
o 302457
o 301794
o 301740
o 301724
o 301493
o 301439
o 301268
o 301214
o 300732
o 300500
o 300269
o 300215
o 299760
o 299528
o 299297
o 299243
o 299224
o 299170
o 298993
o 298939
o 298841
o 298787
o 298616
o 298562
o 298080
o 297848
o 297617
o 297563
o 297108
o 296876
o 296645
o 296591
o 296504
o 296333
o 296159
o 295927
o 295696
o 295642
o 295532
o 295361
o 295187
o 294955
o 294724
o 294670
o 294630
o 294398
o 294167
o 294113
o 294026
o 293855
o 293681
o 293449
o 293218
o 293164
o 293054
o 292883
o 292709
o 292477
o 292246
o 292192
o 291973
o 291919
o 291809
o 291638
o 291464
o 291232
o 291001
o 290947
o 290924
o 290750
o 290518
o 290287
o 290233
o 290123
o 289952
o 289778
o 289546
o 289315
o 289261
o 289221
o 288989
o 288758
o 288704
o 288617
o 288446
o 288272
o 288040
o 287809
o 287755
o 287645
o 287474
o 287300
o 287068
o 286837
o 286783
o 286564
o 286510
o 286400
o 286229
o 286055
o 285823
o 285592
o 285538
o 285418
o 285364
o 285329
o 285158
o 284984
o 284752
o 284521
o 284467
o 284248
o 284194
o 284084
o 283913
o 283739
o 283507
o 283276
o 283222
o 283141
o 283087
o 282977
o 282806
o 282632
o 282400
o 282169
o 282115
o 282002
o 281770
o 281539
o 281485
o 281443
o 281266
o 281212
o 281189
o 281135
o 280958
o 280904
o 280877
o 280757
o 280525
o 280294
o 280240
o 280120
o 280066
o 279887
o 279833
o 279806
o 279686
o 279454
o 279223
o 279169
o 278950
o 278896
o 278873
o 278819
o 278642
o 278588
o 278561
o 278441
o 278209
o 277978
o 277924
o 277843
o 277789
o 277766
o 277535
o 277481
o 277454
o 277334
o 277102
o 276871
o 276817
o 276743
o 276511
o 276280
o 276226
o 276181
o 276127
o 275969
o 275915
o 275738
o 275684
o 275657
o 275537
o 275305
o 275074
o 275020
o 274997
o 274766
o 274712
o 274685
o 274565
o 274333
o 274102
o 274048
o 273964
o 273910
o 273752
o 273698
o 273521
o 273467
o 273440
o 273320
o 273088
o 272857
o 272803
o 272789
o 272558
o 272504
o 272477
o 272357
o 272125
o 271894
o 271840
o 271817
o 271763
o 271586
o 271532
o 271505
o 271385
o 271153
o 270922
o 270868
o 270784
o 270730
o 270572
o 270518
o 270341
o 270287
o 270260
o 270140
o 269908
o 269677
o 269623
o 269577
o 269427
o 269373
o 269196
o 269142
o 269115
o 268995
o 268763
o 268532
o 268478
o 268455
o 268224
o 268170
o 268143
o 268023
o 267791
o 267560
o 267506
o 267422
o 267368
o 267210
o 267156
o 266979
o 266925
o 266898
o 266778
o 266546
o 266315
o 266261
o 266247
o 266016
o 265962
o 265935
o 265815
o 265583
o 265352
o 265298
o 265275
o 265221
o 265044
o 264990
o 264963
o 264843
o 264611
o 264380
o 264326
o 264242
o 264188
o 264030
o 263976
o 263799
o 263745
o 263718
o 263598
o 263366
o 263135
o 263081
o 262974
o 262920
o 262893
o 262773
o 262541
o 262310
o 262256
o 262039
o 261808
o 261754
o 261596
o 261542
o 261365
o 261311
o 261284
o 261164
o 260932
o 260701
o 260647
o 260547
o 260493
o 260466
o 260346
o 260114
o 259883
o 259829
o 259803
o 259683
o 259451
o 259220
o 259166
o 259150
o 258919
o 258865
o 258838
o 258718
o 258486
o 258255
o 258201
o 258038
o 257984
o 257961
o 257907
o 257730
o 257676
o 257649
o 257529
o 257297
o 257066
o 257012
o 256912
o 256858
o 256831
o 256711
o 256479
o 256248
o 256194
o 256052
o 255998
o 255821
o 255767
o 255667
o 255613
o 255586
o 255466
o 255234
o 255003
o 254949
o 254850
o 254618
o 254387
o 254333
o 254307
o 254187
o 253955
o 253724
o 253670
o 253654
o 253423
o 253369
o 253342
o 253222
o 252990
o 252759
o 252705
o 252542
o 252488
o 252465
o 252411
o 252234
o 252180
o 252153
o 252033
o 251801
o 251570
o 251516
o 251416
o 251362
o 251335
o 251215
o 250983
o 250752
o 250698
o 250556
o 250502
o 250325
o 250271
o 250171
o 250117
o 250090
o 249970
o 249738
o 249507
o 249453
o 249430
o 249376
o 249277
o 249045
o 248814
o 248760
o 248734
o 248614
o 248382
o 248151
o 248097
o 248081
o 247850
o 247796
o 247769
o 247649
o 247417
o 247186
o 247132
o 247104
o 247050
o 246892
o 246838
o 246661
o 246607
o 246580
o 246460
o 246228
o 245997
o 245943
o 245843
o 245789
o 245762
o 245642
o 245410
o 245179
o 245125
o 244983
o 244929
o 244752
o 244698
o 244598
o 244544
o 244517
o 244397
o 244165
o 243934
o 243880
o 243828
o 243651
o 243597
o 243397
o 243343
o 243323
o 243269
o 243149
o 242917
o 242686
o 242632
o 242439
o 242208
o 242154
o 242107
o 242080
o 241960
o 241728
o 241497
o 241443
o 241390
o 241336
o 241316
o 241262
o 241142
o 240910
o 240679
o 240625
o 240483
o 240429
o 240252
o 240198
o 240145
o 240091
o 240071
o 240017
o 239897
o 239665
o 239434
o 239380
o 239162
o 238931
o 238877
o 238714
o 238660
o 238637
o 238583
o 238406
o 238352
o 238325
o 238205
o 237973
o 237742
o 237688
o 237588
o 237534
o 237507
o 237387
o 237155
o 236924
o 236870
o 236728
o 236674
o 236497
o 236443
o 236343
o 236289
o 236262
o 236142
o 235910
o 235679
o 235625
o 235573
o 235396
o 235342
o 235142
o 235088
o 235068
o 235014
o 234894
o 234662
o 234431
o 234377
o 234214
o 234160
o 234130
o 233953
o 233899
o 233879
o 233825
o 233705
o 233473
o 233242
o 233188
o 233135
o 233081
o 233061
o 233007
o 232887
o 232655
o 232424
o 232370
o 232228
o 232174
o 231997
o 231943
o 231890
o 231836
o 231816
o 231762
o 231642
o 231410
o 231179
o 231125
o 230917
o 230863
o 230771
o 230717
o 230567
o 230513
o 230336
o 230282
o 230255
o 230135
o 229903
o 229672
o 229618
o 229518
o 229464
o 229437
o 229317
o 229085
o 228854
o 228800
o 228748
o 228571
o 228517
o 228501
o 228270
o 228216
o 228189
o 228069
o 227837
o 227606
o 227552
o 227389
o 227335
o 227315
o 227138
o 227084
o 227074
o 227027
o 227000
o 226880
o 226648
o 226417
o 226363
o 226320
o 226266
o 226256
o 226209
o 226182
o 226062
o 225830
o 225599
o 225545
o 225403
o 225349
o 225172
o 225118
o 225065
o 225011
o 224991
o 224937
o 224817
o 224585
o 224354
o 224300
o 224296
o 224089
o 224035
o 223954
o 223900
o 223703
o 223649
o 223646
o 223592
o 223565
o 223445
o 223213
o 222982
o 222928
o 222828
o 222774
o 222747
o 222627
o 222395
o 222164
o 222110
o 222058
o 221881
o 221827
o 221627
o 221573
o 221553
o 221499
o 221379
o 221147
o 220916
o 220862
o 220677
o 220623
o 220570
o 220516
o 220469
o 220442
o 220322
o 220090
o 219859
o 219805
o 219796
o 219685
o 219631
o 219454
o 219400
o 219370
o 219193
o 219139
o 219092
o 219065
o 218945
o 218713
o 218482
o 218428
o 218385
o 218331
o 218321
o 218274
o 218247
o 218127
o 217895
o 217664
o 217610
o 217522
o 217291
o 217237
o 217194
o 217140
o 217130
o 217083
o 217056
o 216936
o 216704
o 216473
o 216419
o 216415
o 216304
o 216250
o 216073
o 216019
o 215996
o 215942
o 215765
o 215711
o 215684
o 215564
o 215332
o 215101
o 215047
o 214947
o 214893
o 214866
o 214746
o 214514
o 214283
o 214229
o 214177
o 214000
o 213946
o 213746
o 213692
o 213672
o 213618
o 213498
o 213266
o 213035
o 212981
o 212796
o 212742
o 212689
o 212635
o 212588
o 212561
o 212441
o 212209
o 211978
o 211924
o 211915
o 211804
o 211750
o 211573
o 211519
o 211489
o 211312
o 211258
o 211211
o 211184
o 211064
o 210832
o 210601
o 210547
o 210504
o 210450
o 210440
o 210393
o 210366
o 210246
o 210014
o 209783
o 209729
o 209703
o 209471
o 209240
o 209186
o 209139
o 209085
o 209059
o 209005
o 208885
o 208653
o 208422
o 208368
o 208316
o 208139
o 208085
o 207885
o 207831
o 207811
o 207757
o 207637
o 207405
o 207174
o 207120
o 206935
o 206881
o 206828
o 206774
o 206754
o 206700
o 206580
o 206348
o 206117
o 206063
o 206040
o 205920
o 205688
o 205457
o 205403
o 205397
o 205350
o 205323
o 205203
o 204971
o 204740
o 204686
o 204639
o 204585
o 204579
o 204532
o 204505
o 204385
o 204153
o 203922
o 203868
o 203674
o 203620
o 203567
o 203513
o 203493
o 203439
o 203319
o 203087
o 202856
o 202802
o 202776
o 202544
o 202313
o 202259
o 202212
o 202158
o 202132
o 202078
o 201958
o 201726
o 201495
o 201441
o 201389
o 201212
o 201158
o 200958
o 200904
o 200884
o 200830
o 200710
o 200478
o 200247
o 200193
o 200008
o 199954
o 199901
o 199847
o 199827
o 199773
o 199653
o 199421
o 199190
o 199136
o 199113
o 198993
o 198761
o 198530
o 198476
o 198470
o 198423
o 198396
o 198276
o 198044
o 197813
o 197759
o 197712
o 197658
o 197652
o 197605
o 197578
o 197458
o 197226
o 196995
o 196941
o 196826
o 196772
o 196595
o 196541
o 196347
o 196293
o 196240
o 196186
o 196166
o 196112
o 195992
o 195760
o 195529
o 195475
o 195449
o 195217
o 194986
o 194932
o 194885
o 194831
o 194805
o 194751
o 194631
o 194399
o 194168
o 194114
o 194062
o 193885
o 193831
o 193631
o 193577
o 193557
o 193503
o 193383
o 193151
o 192920
o 192866
o 192681
o 192627
o 192574
o 192520
o 192500
o 192446
o 192326
o 192094
o 191863
o 191809
o 191786
o 191666
o 191434
o 191203
o 191149
o 191143
o 191096
o 191069
o 190949
o 190717
o 190486
o 190432
o 190385
o 190331
o 190325
o 190278
o 190251
o 190131
o 189899
o 189668
o 189614
o 189588
o 189356
o 189125
o 189071
o 189065
o 189045
o 188991
o 188871
o 188639
o 188408
o 188354
o 188301
o 188247
o 188227
o 188173
o 188053
o 187821
o 187590
o 187536
o 187375
o 187321
o 187268
o 187214
o 187194
o 187140
o 187020
o 186788
o 186557
o 186503
o 186401
o 186347
o 186170
o 186116
o 186092
o 185915
o 185861
o 185852
o 185838
o 185718
o 185486
o 185255
o 185201
o 185195
o 185175
o 185121
o 185001
o 184769
o 184538
o 184484
o 184431
o 184377
o 184357
o 184303
o 184183
o 183951
o 183720
o 183666
o 183640
o 183408
o 183177
o 183123
o 183117
o 183097
o 183043
o 182923
o 182691
o 182460
o 182406
o 182359
o 182305
o 182279
o 182225
o 182105
o 181873
o 181642
o 181588
o 181501
o 181270
o 181216
o 181206
o 181152
o 181146
o 181099
o 181072
o 180952
o 180720
o 180489
o 180435
o 180388
o 180334
o 180328
o 180281
o 180254
o 180134
o 179902
o 179671
o 179617
o 179475
o 179421
o 179244
o 179190
o 179137
o 179083
o 179063
o 179009
o 178889
o 178657
o 178426
o 178372
o 178211
o 178157
o 178104
o 178050
o 178030
o 177976
o 177856
o 177624
o 177393
o 177339
o 177209
o 177155
o 176978
o 176924
o 176904
o 176735
o 176681
o 176552
o 176321
o 176267
o 176220
o 176166
o 176140
o 176086
o 175917
o 175734
o 175503
o 175449
o 175374
o 175320
o 175191
o 175137
o 174960
o 174906
o 174900
o 174880
o 174826
o 174657
o 174603
o 174474
o 174243
o 174189
o 174142
o 174088
o 174062
o 174008
o 173839
o 173785
o 173656
o 173602
o 173425
o 173371
o 173210
o 173156
o 173109
o 173055
o 173029
o 172975
o 172806
o 172623
o 172392
o 172338
o 172208
o 172154
o 171977
o 171923
o 171708
o 171654
o 171628
o 171574
o 171454
o 171222
o 170991
o 170937
o 170884
o 170830
o 170810
o 170756
o 170636
o 170404
o 170173
o 170119
o 169989
o 169935
o 169758
o 169704
o 169570
o 169516
o 169490
o 169436
o 169316
o 169084
o 168853
o 168799
o 168746
o 168692
o 168672
o 168618
o 168498
o 168266
o 168035
o 167981
o 167851
o 167797
o 167620
o 167566
o 167558
o 167504
o 167374
o 167320
o 167143
o 167089
o 166955
o 166901
o 166875
o 166821
o 166817
o 166763
o 166701
o 166469
o 166238
o 166184
o 166137
o 166083
o 166057
o 166003
o 165999
o 165945
o 165883
o 165651
o 165420
o 165366
o 165236
o 165182
o 165005
o 164951
o 164947
o 164893
o 164887
o 164833
o 164656
o 164602
o 164452
o 164398
o 164351
o 164324
o 164204
o 163972
o 163741
o 163687
o 163634
o 163580
o 163533
o 163506
o 163386
o 163154
o 162923
o 162869
o 162863
o 162843
o 162789
o 162669
o 162437
o 162206
o 162152
o 162022
o 161968
o 161791
o 161737
o 161712
o 161481
o 161427
o 161401
o 161347
o 161178
o 160995
o 160764
o 160710
o 160663
o 160609
o 160583
o 160529
o 160360
o 160177
o 159946
o 159892
o 159886
o 159832
o 159655
o 159601
o 159451
o 159397
o 159350
o 159154
o 159100
o 158971
o 158917
o 158740
o 158686
o 158633
o 158579
o 158532
o 158336
o 158282
o 158153
o 158099
o 157922
o 157868
o 157862
o 157842
o 157788
o 157619
o 157565
o 157436
o 157205
o 157151
o 157021
o 156967
o 156790
o 156736
o 156521
o 156467
o 156337
o 156283
o 156106
o 156052
o 156009
o 155955
o 155934
o 155703
o 155649
o 155519
o 155465
o 155288
o 155234
o 155217
o 155163
o 154986
o 154932
o 154802
o 154748
o 154571
o 154517
o 154383
o 154329
o 154199
o 154145
o 153968
o 153914
o 153871
o 153817
o 153796
o 153565
o 153511
o 153381
o 153327
o 153150
o 153096
o 153079
o 153025
o 152848
o 152794
o 152664
o 152610
o 152433
o 152379
o 152371
o 152317
o 152187
o 152133
o 151956
o 151902
o 151878
o 151768
o 151714
o 151584
o 151530
o 151353
o 151299
o 151256
o 151202
o 151114
o 151060
o 150950
o 150896
o 150766
o 150712
o 150535
o 150481
o 150464
o 150410
o 150233
o 150179
o 150049
o 149995
o 149818
o 149764
o 149745
o 149615
o 149384
o 149330
o 149242
o 149188
o 149078
o 149024
o 148894
o 148840
o 148663
o 148609
o 148556
o 148502
o 148424
o 148370
o 148260
o 148206
o 148076
o 148022
o 147845
o 147791
o 147770
o 147672
o 147618
o 147593
o 147539
o 147441
o 147387
o 147299
o 147245
o 147233
o 147135
o 147081
o 147049
o 146951
o 146897
o 146872
o 146818
o 146720
o 146666
o 146613
o 146559
o 146481
o 146427
o 146415
o 146317
o 146263
o 146231
o 146133
o 146079
o 146054
o 146000
o 145902
o 145848
o 145821
o 145820
o 145795
o 145741
o 145727
o 145673
o 145667
o 145436
o 145382
o 145371
o 145365
o 145134
o 145080
o 145010
o 144956
o 144950
o 144896
o 144719
o 144665
o 144480
o 144426
o 144316
o 144262
o 144192
o 144138
o 144132
o 144078
o 143901
o 143847
o 143822
o 143768
o 143730
o 143645
o 143591
o 143493
o 143439
o 143428
o 143343
o 143289
o 143191
o 143137
o 143067
o 143013
o 142928
o 142874
o 142776
o 142722
o 142689
o 142537
o 142483
o 142471
o 142373
o 142319
o 142249
o 142195
o 142110
o 142056
o 141958
o 141904
o 141879
o 141825
o 141798
o 141769
o 141763
o 141532
o 141478
o 141467
o 141461
o 141230
o 141176
o 141106
o 141052
o 141046
o 140992
o 140815
o 140761
o 140714
o 140660
o 140576
o 140522
o 140412
o 140358
o 140288
o 140234
o 140228
o 140174
o 139997
o 139943
o 139918
o 139864
o 139826
o 139741
o 139687
o 139589
o 139535
o 139524
o 139439
o 139385
o 139287
o 139233
o 139163
o 139109
o 139024
o 138970
o 138872
o 138818
o 138771
o 138717
o 138633
o 138579
o 138567
o 138469
o 138415
o 138345
o 138291
o 138285
o 138231
o 138206
o 138152
o 138054
o 138000
o 137975
o 137921
o 137894
o 137893
o 137883
o 137856
o 137832
o 137829
o 137807
o 137804
o 137753
o 137750
o 137726
o 137723
o 137722
o 137715
o 137712
o 137688
o 137685
o 137665
o 137646
o 137592
o 137567
o 137513
o 137486
o 137485
o 137475
o 137448
o 137323
o 137269
o 137244
o 137190
o 137171
o 137117
o 137092
o 137038
o 137011
o 137010
o 137000
o 136973
o 136937
o 136912
o 136858
o 136839
o 136785
o 136760
o 136706
o 136679
o 136678
o 136668
o 136641
o 136605
o 136578
o 136577
o 136567
o 136540
o 136494
o 136467
o 136466
o 136456
o 136429
o 136304
o 136250
o 136225
o 136171
o 136152
o 136098
o 136073
o 136019
o 135992
o 135991
o 135981
o 135954
o 135953
o 135928
o 135874
o 135855
o 135801
o 135776
o 135722
o 135695
o 135694
o 135684
o 135657
o 135634
o 135607
o 135606
o 135596
o 135569
o 135444
o 135390
o 135365
o 135311
o 135292
o 135238
o 135213
o 135159
o 135132
o 135131
o 135121
o 135094
o 135093
o 135068
o 135014
o 134995
o 134941
o 134916
o 134862
o 134835
o 134834
o 134824
o 134797
o 134767
o 134740
o 134739
o 134729
o 134702
o 134649
o 134624
o 134570
o 134543
o 134542
o 134532
o 134505
o 134475
o 134450
o 134396
o 134377
o 134323
o 134298
o 134244
o 134217
o 134216
o 134206
o 134179
o 134178
o 134153
o 134099
o 134080
o 134026
o 134001
o 133947
o 133920
o 133919
o 133909
o 133882
o 133859
o 133832
o 133831
o 133821
o 133794
o 133669
o 133615
o 133590
o 133536
o 133517
o 133463
o 133438
o 133384
o 133357
o 133356
o 133346
o 133319
o 133318
o 133293
o 133239
o 133220
o 133166
o 133141
o 133087
o 133060
o 133059
o 133049
o 133022
o 132995
o 132970
o 132916
o 132897
o 132843
o 132818
o 132764
o 132763
o 132726
o 132698
o 132673
o 132619
o 132600
o 132546
o 132521
o 132467
o 132466
o 132429
o 132404
o 132403
o 132366
o 132349
o 132324
o 132270
o 132243
o 132242
o 132232
o 132205
o 132175
o 132150
o 132096
o 132077
o 132023
o 131998
o 131944
o 131917
o 131916
o 131906
o 131879
o 131878
o 131853
o 131799
o 131780
o 131726
o 131701
o 131647
o 131620
o 131619
o 13160Killed
1979.611u 0.087s 33:11.77 99.3%	0+0k 0+0io 0pf+0w