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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3606035
o 324933
o 323713
o 322881
o 322202
o 321528
o 320961
o 320634
o 320292
o 319965
o 319755
o 319428
o 319081
o 318754
o 318498
o 318171
o 317887
o 317560
o 317213
o 316886
o 316544
o 316217
o 316007
o 315680
o 315333
o 315006
o 314820
o 314564
o 314237
o 313953
o 313626
o 313279
o 312952
o 312610
o 312283
o 312073
o 311746
o 311399
o 311072
o 310918
o 310662
o 310335
o 310051
o 309724
o 309377
o 309050
o 308708
o 308381
o 308171
o 307844
o 307497
o 307170
o 306801
o 306474
o 306408
o 305870
o 305543
o 305035
o 304708
o 304503
o 304437
o 304268
o 304063
o 303899
o 303572
o 303555
o 303228
o 303064
o 302737
o 302622
o 302387
o 301879
o 301552
o 301183
o 300856
o 300651
o 300416
o 300399
o 300072
o 299908
o 299581
o 299376
o 299212
o 298885
o 298562
o 298215
o 297888
o 297824
o 297772
o 297445
o 297431
o 297104
o 296940
o 296613
o 296408
o 296244
o 295917
o 295722
o 295558
o 295231
o 294969
o 294786
o 294622
o 294295
o 294100
o 293936
o 293609
o 293505
o 293178
o 292973
o 292809
o 292482
o 292159
o 291812
o 291485
o 291421
o 291369
o 291042
o 291028
o 290701
o 290537
o 290210
o 290005
o 289841
o 289514
o 289319
o 289155
o 288828
o 288682
o 288355
o 288150
o 287986
o 287659
o 287464
o 287300
o 286973
o 286695
o 286531
o 286204
o 285881
o 285534
o 285207
o 285143
o 285091
o 284764
o 284750
o 284423
o 284259
o 283932
o 283727
o 283563
o 283236
o 283041
o 282877
o 282550
o 282542
o 282233
o 282211
o 282028
o 281864
o 281537
o 281342
o 281178
o 280851
o 280573
o 280409
o 280082
o 279759
o 279412
o 279085
o 278815
o 278610
o 278446
o 278119
o 277810
o 277605
o 277441
o 277114
o 276919
o 276755
o 276428
o 276355
o 276329
o 276002
o 275807
o 275669
o 275643
o 275316
o 275038
o 274874
o 274547
o 274230
o 273903
o 273633
o 273428
o 273264
o 272937
o 272628
o 272423
o 272259
o 271932
o 271906
o 271579
o 271384
o 271220
o 270893
o 270816
o 270743
o 270717
o 270390
o 270195
o 270057
o 270031
o 269704
o 269426
o 269262
o 268935
o 268856
o 268839
o 268512
o 268348
o 268021
o 267816
o 267652
o 267325
o 267299
o 266972
o 266968
o 266641
o 266458
o 266320
o 266294
o 265967
o 265772
o 265608
o 265281
o 265186
o 265090
o 265022
o 264926
o 264695
o 264599
o 264573
o 264342
o 264246
o 264147
o 264051
o 263983
o 263887
o 263656
o 263560
o 263483
o 263410
o 263384
o 263153
o 263057
o 262958
o 262862
o 262794
o 262698
o 262467
o 262371
o 262189
o 262093
o 262025
o 261929
o 261698
o 261602
o 261523
o 261506
o 261275
o 261179
o 261111
o 261015
o 260784
o 260688
o 260579
o 260483
o 260415
o 260319
o 260088
o 259992
o 259966
o 259735
o 259639
o 259635
o 259404
o 259308
o 259221
o 259125
o 259057
o 258961
o 258730
o 258634
o 258535
o 258439
o 258371
o 258275
o 258044
o 257948
o 257780
o 257684
o 257616
o 257520
o 257289
o 257193
o 257137
o 257114
o 257097
o 256866
o 256770
o 256702
o 256375
o 256279
o 256253
o 256022
o 255926
o 255817
o 255721
o 255653
o 255557
o 255326
o 255230
o 255226
o 254995
o 254899
o 254674
o 254578
o 254552
o 254321
o 254225
o 254126
o 254030
o 253962
o 253866
o 253635
o 253539
o 253476
o 253380
o 253336
o 253240
o 253212
o 253116
o 253048
o 252952
o 252721
o 252625
o 252569
o 252546
o 252529
o 252298
o 252202
o 252134
o 252038
o 251807
o 251711
o 251685
o 251454
o 251358
o 251277
o 251249
o 251153
o 251085
o 250989
o 250758
o 250662
o 250658
o 250427
o 250331
o 250106
o 250010
o 249984
o 249753
o 249657
o 249586
o 249558
o 249462
o 249394
o 249298
o 249067
o 248971
o 248934
o 248908
o 248677
o 248581
o 248368
o 248272
o 248191
o 248025
o 247929
o 247903
o 247672
o 247576
o 247505
o 247477
o 247381
o 247313
o 247217
o 246986
o 246890
o 246822
o 246796
o 246565
o 246469
o 246388
o 246222
o 246126
o 246100
o 245869
o 245773
o 245769
o 245538
o 245442
o 245217
o 245121
o 245095
o 244864
o 244768
o 244697
o 244669
o 244573
o 244505
o 244409
o 244178
o 244082
o 244019
o 243923
o 243879
o 243783
o 243755
o 243659
o 243591
o 243495
o 243264
o 243168
o 243112
o 243089
o 243072
o 242841
o 242745
o 242677
o 242581
o 242350
o 242254
o 242228
o 241997
o 241901
o 241820
o 241792
o 241696
o 241628
o 241532
o 241301
o 241205
o 241201
o 240970
o 240874
o 240649
o 240553
o 240527
o 240296
o 240200
o 240129
o 240101
o 240005
o 239937
o 239841
o 239610
o 239514
o 239477
o 239451
o 239220
o 239124
o 238911
o 238815
o 238734
o 238568
o 238472
o 238446
o 238215
o 238119
o 238048
o 238020
o 237924
o 237856
o 237760
o 237529
o 237433
o 237427
o 237356
o 237328
o 237232
o 237164
o 237068
o 236837
o 236741
o 236692
o 236596
o 236582
o 236417
o 236321
o 236292
o 236196
o 236168
o 236072
o 236004
o 235908
o 235677
o 235581
o 235528
o 235500
o 235404
o 235336
o 235240
o 235009
o 234913
o 234832
o 234804
o 234708
o 234640
o 234544
o 234313
o 234217
o 234191
o 233960
o 233864
o 233860
o 233629
o 233533
o 233308
o 233212
o 233186
o 232955
o 232859
o 232788
o 232760
o 232664
o 232596
o 232500
o 232269
o 232173
o 232136
o 231923
o 231827
o 231746
o 231718
o 231622
o 231554
o 231458
o 231227
o 231131
o 231105
o 230874
o 230778
o 230707
o 230679
o 230583
o 230515
o 230419
o 230188
o 230092
o 230082
o 230059
o 230042
o 229811
o 229715
o 229647
o 229551
o 229320
o 229224
o 229198
o 228967
o 228871
o 228790
o 228762
o 228666
o 228598
o 228502
o 228271
o 228175
o 228171
o 227940
o 227844
o 227619
o 227523
o 227497
o 227266
o 227170
o 227099
o 227071
o 226975
o 226907
o 226811
o 226580
o 226484
o 226447
o 226421
o 226190
o 226094
o 225881
o 225785
o 225704
o 225538
o 225442
o 225416
o 225185
o 225089
o 225018
o 224990
o 224894
o 224826
o 224730
o 224499
o 224403
o 224400
o 224304
o 224276
o 224180
o 224112
o 224016
o 223785
o 223689
o 223663
o 223432
o 223336
o 223330
o 223099
o 223003
o 222977
o 222746
o 222650
o 222613
o 222587
o 222356
o 222260
o 222047
o 221951
o 221870
o 221704
o 221608
o 221582
o 221351
o 221255
o 221184
o 221156
o 221060
o 220992
o 220896
o 220665
o 220569
o 220421
o 220325
o 220299
o 220068
o 219972
o 219759
o 219663
o 219582
o 219416
o 219320
o 219294
o 219063
o 218967
o 218896
o 218868
o 218772
o 218704
o 218608
o 218377
o 218281
o 218244
o 218218
o 217987
o 217891
o 217678
o 217582
o 217501
o 217335
o 217239
o 217213
o 216982
o 216886
o 216815
o 216787
o 216691
o 216623
o 216527
o 216296
o 216200
o 216197
o 216101
o 216073
o 215977
o 215909
o 215813
o 215582
o 215486
o 215460
o 215229
o 215133
o 215127
o 214896
o 214800
o 214774
o 214543
o 214447
o 214410
o 214384
o 214153
o 214057
o 213844
o 213748
o 213667
o 213501
o 213405
o 213379
o 213148
o 213052
o 212981
o 212953
o 212857
o 212789
o 212693
o 212462
o 212366
o 212320
o 212292
o 212196
o 212128
o 212032
o 211801
o 211705
o 211491
o 211395
o 211349
o 211321
o 211225
o 211157
o 211061
o 210830
o 210734
o 210678
o 210582
o 210506
o 210410
o 210384
o 210153
o 210057
o 210051
o 209820
o 209724
o 209698
o 209467
o 209371
o 209368
o 209272
o 209244
o 209148
o 209080
o 208984
o 208753
o 208657
o 208631
o 208400
o 208304
o 208298
o 208067
o 207971
o 207945
o 207714
o 207618
o 207581
o 207555
o 207324
o 207228
o 207015
o 206919
o 206838
o 206672
o 206576
o 206550
o 206319
o 206223
o 206152
o 206124
o 206028
o 205960
o 205864
o 205633
o 205537
o 205491
o 205463
o 205367
o 205299
o 205203
o 204972
o 204876
o 204793
o 204697
o 204466
o 204370
o 204344
o 204113
o 204017
o 204011
o 203780
o 203684
o 203658
o 203427
o 203331
o 203285
o 203257
o 203161
o 203093
o 202997
o 202766
o 202670
o 202469
o 202373
o 202148
o 202052
o 202026
o 201795
o 201699
o 201643
o 201547
o 201471
o 201375
o 201349
o 201118
o 201022
o 201016
o 200785
o 200689
o 200663
o 200432
o 200336
o 200333
o 200102
o 200006
o 199994
o 199769
o 199673
o 199647
o 199416
o 199320
o 199269
o 199198
o 199170
o 199074
o 199006
o 198910
o 198679
o 198583
o 198546
o 198333
o 198237
o 198156
o 198128
o 198032
o 197964
o 197868
o 197637
o 197541
o 197515
o 197284
o 197188
o 197117
o 197089
o 196993
o 196925
o 196829
o 196598
o 196502
o 196456
o 196428
o 196332
o 196264
o 196168
o 195937
o 195841
o 195787
o 195691
o 195454
o 195358
o 195332
o 195101
o 195005
o 194959
o 194793
o 194697
o 194671
o 194440
o 194344
o 194261
o 194165
o 193934
o 193838
o 193812
o 193581
o 193485
o 193479
o 193248
o 193152
o 193126
o 192895
o 192799
o 192753
o 192725
o 192629
o 192561
o 192465
o 192234
o 192138
o 191949
o 191853
o 191782
o 191616
o 191520
o 191494
o 191263
o 191167
o 191111
o 191015
o 190939
o 190843
o 190817
o 190586
o 190490
o 190484
o 190253
o 190157
o 190131
o 189900
o 189804
o 189801
o 189570
o 189474
o 189468
o 189237
o 189141
o 189115
o 188884
o 188788
o 188737
o 188666
o 188638
o 188542
o 188474
o 188378
o 188147
o 188051
o 188014
o 187801
o 187705
o 187624
o 187596
o 187500
o 187432
o 187336
o 187105
o 187009
o 186983
o 186752
o 186656
o 186585
o 186557
o 186461
o 186393
o 186297
o 186066
o 185970
o 185924
o 185896
o 185800
o 185732
o 185636
o 185405
o 185309
o 185281
o 185252
o 185156
o 185068
o 184972
o 184871
o 184775
o 184729
o 184537
o 184441
o 184210
o 184114
o 184088
o 183857
o 183761
o 183736
o 183690
o 183662
o 183566
o 183498
o 183402
o 183171
o 183075
o 182886
o 182790
o 182784
o 182553
o 182457
o 182431
o 182200
o 182104
o 182048
o 181952
o 181876
o 181780
o 181754
o 181523
o 181427
o 181421
o 181190
o 181094
o 181068
o 180837
o 180741
o 180738
o 180507
o 180411
o 180405
o 180174
o 180078
o 180052
o 179821
o 179725
o 179674
o 179603
o 179575
o 179479
o 179411
o 179315
o 179084
o 178988
o 178900
o 178804
o 178781
o 178764
o 178533
o 178437
o 178369
o 178273
o 178042
o 177946
o 177920
o 177689
o 177593
o 177522
o 177494
o 177398
o 177330
o 177234
o 177003
o 176907
o 176861
o 176833
o 176737
o 176669
o 176573
o 176342
o 176246
o 176226
o 176201
o 176155
o 176124
o 176031
o 175960
o 175867
o 175729
o 175633
o 175540
o 175512
o 175480
o 175387
o 175296
o 175203
o 175195
o 175099
o 175006
o 174960
o 174861
o 174765
o 174672
o 174534
o 174438
o 174345
o 174319
o 174181
o 174085
o 173992
o 173967
o 173921
o 173890
o 173797
o 173726
o 173633
o 173495
o 173399
o 173306
o 173210
o 173114
o 173021
o 173015
o 172919
o 172851
o 172755
o 172524
o 172428
o 172335
o 172276
o 172183
o 172104
o 172011
o 171985
o 171847
o 171751
o 171658
o 171652
o 171514
o 171418
o 171325
o 171299
o 171161
o 171065
o 170972
o 170831
o 170735
o 170642
o 170636
o 170540
o 170472
o 170376
o 170145
o 170049
o 169956
o 169905
o 169834
o 169803
o 169710
o 169639
o 169546
o 169408
o 169312
o 169219
o 169128
o 169035
o 169012
o 168995
o 168857
o 168761
o 168668
o 168600
o 168597
o 168504
o 168366
o 168270
o 168177
o 168151
o 168013
o 167917
o 167824
o 167753
o 167722
o 167629
o 167558
o 167465
o 167327
o 167231
o 167138
o 167092
o 167061
o 166968
o 166897
o 166804
o 166666
o 166570
o 166477
o 166469
o 166383
o 166345
o 166315
o 166219
o 166181
o 165988
o 165892
o 165854
o 165846
o 165808
o 165722
o 165684
o 165654
o 165558
o 165520
o 165327
o 165289
o 165231
o 165193
o 165173
o 165148
o 165140
o 165102
o 165071
o 165016
o 164978
o 164945
o 164907
o 164852
o 164814
o 164714
o 164618
o 164580
o 164525
o 164487
o 164459
o 164372
o 164334
o 164281
o 164188
o 164150
o 164084
o 164046
o 163991
o 163953
o 163945
o 163907
o 163821
o 163750
o 163657
o 163519
o 163423
o 163330
o 163292
o 163166
o 163070
o 162977
o 162939
o 162914
o 162906
o 162868
o 162782
o 162711
o 162618
o 162480
o 162384
o 162291
o 162253
o 162195
o 162099
o 162061
o 162006
o 161968
o 161904
o 161866
o 161836
o 161740
o 161702
o 161509
o 161413
o 161375
o 161320
o 161282
o 161261
o 161168
o 161130
o 161089
o 161051
o 160996
o 160958
o 160832
o 160736
o 160643
o 160605
o 160599
o 160499
o 160403
o 160365
o 160310
o 160272
o 160146
o 160050
o 159957
o 159919
o 159816
o 159720
o 159682
o 159627
o 159589
o 159525
o 159487
o 159457
o 159361
o 159323
o 159130
o 159034
o 158996
o 158941
o 158903
o 158890
o 158852
o 158819
o 158781
o 158750
o 158695
o 158657
o 158624
o 158586
o 158531
o 158493
o 158393
o 158297
o 158259
o 158204
o 158166
o 158113
o 158020
o 157982
o 157959
o 157842
o 157749
o 157746
o 157653
o 157615
o 157582
o 157544
o 157489
o 157451
o 157351
o 157255
o 157217
o 157162
o 157124
o 156998
o 156902
o 156809
o 156771
o 156738
o 156700
o 156669
o 156614
o 156576
o 156543
o 156505
o 156450
o 156412
o 156312
o 156216
o 156178
o 156123
o 156085
o 156077
o 156039
o 156008
o 155953
o 155915
o 155882
o 155844
o 155789
o 155751
o 155651
o 155555
o 155517
o 155462
o 155424
o 155380
o 155342
o 155287
o 155249
o 155216
o 155178
o 155092
o 155021
o 154928
o 154790
o 154694
o 154601
o 154563
o 154555
o 154517
o 154486
o 154431
o 154393
o 154360
o 154322
o 154267
o 154229
o 154129
o 154033
o 153995
o 153940
o 153902
o 153885
o 153785
o 153689
o 153651
o 153596
o 153558
o 153474
o 153436
o 153378
o 153340
o 153285
o 153247
o 153213
o 153206
o 153113
o 153075
o 152949
o 152853
o 152815
o 152760
o 152722
o 152697
o 152656
o 152616
o 152520
o 152427
o 152389
o 152358
o 152263
o 152167
o 152129
o 152074
o 152036
o 151934
o 151838
o 151800
o 151745
o 151707
o 151670
o 151575
o 151479
o 151441
o 151248
o 151152
o 151114
o 151059
o 151021
o 151005
o 150967
o 150822
o 150784
o 150726
o 150688
o 150593
o 150555
o 150497
o 150459
o 150457
o 150399
o 150361
o 150266
o 150170
o 150132
o 150077
o 150039
o 150031
o 149993
o 149932
o 149894
o 149836
o 149798
o 149743
o 149705
o 149605
o 149567
o 149509
o 149471
o 149416
o 149378
o 149315
o 149219
o 149181
o 149126
o 149088
o 149075
o 148979
o 148941
o 148886
o 148848
o 148843
o 148748
o 148652
o 148614
o 148559
o 148521
o 148458
o 148362
o 148324
o 148269
o 148231
o 148190
o 148152
o 148097
o 148059
o 148026
o 147971
o 147933
o 147900
o 147862
o 147807
o 147769
o 147736
o 147681
o 147643
o 147622
o 147567
o 147529
o 147524
o 147429
o 147333
o 147295
o 147240
o 147202
o 147169
o 147114
o 147076
o 147043
o 147005
o 146950
o 146912
o 146879
o 146824
o 146786
o 146783
o 146745
o 146712
o 146657
o 146619
o 146586
o 146548
o 146493
o 146455
o 146422
o 146367
o 146329
o 146308
o 146253
o 146215
o 146210
o 146115
o 146019
o 145981
o 145926
o 145888
o 145855
o 145800
o 145762
o 145729
o 145691
o 145636
o 145598
o 145565
o 145510
o 145472
o 145389
o 145293
o 145255
o 145200
o 145162
o 145098
o 145060
o 145005
o 144967
o 144962
o 144867
o 144771
o 144733
o 144678
o 144640
o 144577
o 144481
o 144443
o 144388
o 144350
o 144342
o 144337
o 144242
o 144146
o 144108
o 144053
o 144015
o 143951
o 143913
o 143858
o 143820
o 143815
o 143720
o 143624
o 143586
o 143531
o 143493
o 143452
o 143414
o 143359
o 143321
o 143288
o 143233
o 143195
o 143162
o 143124
o 143069
o 143031
o 142998
o 142943
o 142905
o 142898
o 142860
o 142829
o 142791
o 142786
o 142691
o 142595
o 142557
o 142502
o 142464
o 142431
o 142376
o 142338
o 142305
o 142267
o 142212
o 142174
o 142141
o 142086
o 142048
o 142045
o 142007
o 141974
o 141919
o 141881
o 141848
o 141810
o 141755
o 141717
o 141684
o 141629
o 141591
o 141584
o 141546
o 141535
o 141480
o 141442
o 141377
o 141339
o 141281
o 141243
o 141188
o 141150
o 141117
o 141062
o 141024
o 140991
o 140953
o 140898
o 140860
o 140827
o 140772
o 140734
o 140705
o 140617
o 140579
o 140504
o 140466
o 140378
o 140340
o 140310
o 140214
o 140176
o 140088
o 140050
o 140021
o 139933
o 139895
o 139813
o 139783
o 139687
o 139619
o 139523
o 139493
o 139397
o 139368
o 139338
o 139242
o 139173
o 139144
o 139114
o 139018
o 138984
o 138946
o 138922
o 138826
o 138779
o 138670
o 138574
o 138544
o 138448
o 138419
o 138389
o 138293
o 138224
o 138195
o 138165
o 138069
o 137983
o 137953
o 137857
o 137828
o 137798
o 137702
o 137633
o 137604
o 137574
o 137478
o 137402
o 137397
o 137368
o 137338
o 137242
o 137173
o 137144
o 137114
o 137018
o 137005
o 136986
o 136956
o 136860
o 136729
o 136633
o 136603
o 136507
o 136478
o 136448
o 136352
o 136283
o 136254
o 136224
o 136128
o 136110
o 136072
o 136047
o 136009
o 135914
o 135818
o 135780
o 135692
o 135654
o 135625
o 135537
o 135499
o 135480
o 135450
o 135354
o 135223
o 135127
o 135097
o 135001
o 134972
o 134942
o 134846
o 134777
o 134748
o 134718
o 134622
o 134532
o 134510
o 134401
o 134305
o 134275
o 134179
o 134150
o 134120
o 134024
o 133955
o 133926
o 133896
o 133800
o 133763
o 133725
o 133650
o 133612
o 133524
o 133486
o 133456
o 133360
o 133322
o 133234
o 133196
o 133167
o 133079
o 133041
o 132959
o 132929
o 132833
o 132765
o 132669
o 132639
o 132543
o 132514
o 132484
o 132388
o 132319
o 132290
o 132260
o 13216Killed
1979.696u 0.002s 32:59.98 99.9%	0+0k 0+0io 0pf+0w