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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3990576
o 303155
o 302870
o 302723
o 302132
o 302001
o 301993
o 301490
o 301205
o 301058
o 300978
o 300970
o 300467
o 300323
o 300243
o 300235
o 299732
o 299515
o 299230
o 299083
o 299003
o 298995
o 298492
o 298275
o 298128
o 298048
o 298040
o 297537
o 297368
o 297083
o 296936
o 296856
o 296848
o 296345
o 295967
o 295750
o 295603
o 295523
o 295515
o 295012
o 294843
o 294558
o 294411
o 294331
o 294323
o 293820
o 293590
o 293443
o 293363
o 293355
o 292852
o 292487
o 292270
o 292123
o 292043
o 292035
o 291532
o 291443
o 291363
o 291078
o 290931
o 290851
o 290843
o 290340
o 290110
o 289963
o 289883
o 289875
o 289372
o 289281
o 289201
o 289193
o 288690
o 288325
o 288108
o 287961
o 287881
o 287873
o 287370
o 287281
o 287201
o 286916
o 286769
o 286689
o 286681
o 286178
o 285948
o 285801
o 285721
o 285713
o 285210
o 285075
o 284928
o 284848
o 284840
o 284337
o 284202
o 283972
o 283825
o 283745
o 283737
o 283234
o 282908
o 282543
o 282326
o 282179
o 282099
o 282091
o 281588
o 281499
o 281419
o 281134
o 280987
o 280907
o 280899
o 280396
o 280166
o 280019
o 279939
o 279931
o 279428
o 279366
o 279136
o 278989
o 278909
o 278901
o 278398
o 278276
o 278129
o 278049
o 278041
o 277538
o 277212
o 276847
o 276630
o 276483
o 276403
o 276395
o 275892
o 275803
o 275723
o 275438
o 275291
o 275211
o 275203
o 274700
o 274470
o 274323
o 274243
o 274235
o 273732
o 273519
o 273397
o 273378
o 273231
o 273151
o 273143
o 272640
o 272428
o 272294
o 272275
o 272128
o 272048
o 272040
o 271537
o 271460
o 271326
o 271307
o 271160
o 271080
o 271072
o 270569
o 270559
o 270551
o 270048
o 270000
o 269911
o 269776
o 269546
o 269399
o 269319
o 269311
o 268808
o 268595
o 268473
o 268454
o 268307
o 268227
o 268219
o 267716
o 267504
o 267370
o 267351
o 267204
o 267124
o 267116
o 266613
o 266536
o 266402
o 266383
o 266236
o 266156
o 266148
o 265645
o 265597
o 265578
o 265431
o 265351
o 265343
o 264840
o 264491
o 264369
o 264350
o 264203
o 264123
o 264115
o 263612
o 263400
o 263266
o 263247
o 263100
o 263020
o 263012
o 262509
o 262432
o 262298
o 262279
o 262132
o 262052
o 262044
o 261541
o 261366
o 261277
o 261248
o 261065
o 260931
o 260912
o 260765
o 260685
o 260677
o 260174
o 260097
o 259963
o 259944
o 259797
o 259717
o 259709
o 259206
o 259158
o 259139
o 258992
o 258912
o 258904
o 258401
o 258052
o 257930
o 257911
o 257764
o 257684
o 257676
o 257173
o 257144
o 256961
o 256827
o 256808
o 256661
o 256581
o 256573
o 256070
o 255993
o 255859
o 255840
o 255693
o 255613
o 255605
o 255102
o 254907
o 254828
o 254693
o 254616
o 254482
o 254463
o 254316
o 254236
o 254228
o 253725
o 253690
o 253682
o 253179
o 253090
o 252955
o 252878
o 252744
o 252725
o 252578
o 252498
o 252490
o 251987
o 251939
o 251920
o 251773
o 251693
o 251685
o 251182
o 250833
o 250711
o 250692
o 250545
o 250465
o 250457
o 249954
o 249925
o 249742
o 249608
o 249589
o 249442
o 249362
o 249354
o 248851
o 248774
o 248640
o 248621
o 248474
o 248394
o 248386
o 247883
o 247688
o 247609
o 247474
o 247397
o 247263
o 247244
o 247097
o 247017
o 247009
o 246506
o 246270
o 246235
o 246227
o 245724
o 245635
o 245500
o 245423
o 245289
o 245270
o 245123
o 245043
o 245035
o 244532
o 244484
o 244465
o 244318
o 244238
o 244230
o 243727
o 243378
o 243256
o 243237
o 243090
o 243010
o 243002
o 242499
o 242470
o 242287
o 242153
o 242134
o 241987
o 241907
o 241899
o 241396
o 241319
o 241185
o 241166
o 241019
o 240939
o 240931
o 240428
o 240233
o 240154
o 240019
o 239942
o 239808
o 239789
o 239642
o 239562
o 239554
o 239051
o 239010
o 238933
o 238799
o 238780
o 238633
o 238553
o 238545
o 238042
o 238002
o 237922
o 237914
o 237411
o 237135
o 237090
o 237082
o 236579
o 236282
o 236193
o 236164
o 235981
o 235847
o 235828
o 235681
o 235601
o 235593
o 235090
o 235013
o 234879
o 234860
o 234713
o 234633
o 234625
o 234122
o 233927
o 233848
o 233713
o 233636
o 233502
o 233483
o 233336
o 233256
o 233248
o 232745
o 232646
o 232601
o 232539
o 232459
o 232451
o 231948
o 231870
o 231790
o 231782
o 231279
o 230993
o 230948
o 230940
o 230437
o 230140
o 230051
o 230022
o 229839
o 229705
o 229686
o 229539
o 229459
o 229451
o 228948
o 228871
o 228737
o 228718
o 228571
o 228491
o 228483
o 227980
o 227935
o 227918
o 227771
o 227691
o 227683
o 227180
o 227081
o 227036
o 226974
o 226894
o 226886
o 226383
o 226305
o 226225
o 226217
o 225714
o 225428
o 225383
o 225375
o 224872
o 224575
o 224486
o 224457
o 224274
o 224140
o 224121
o 223974
o 223894
o 223886
o 223383
o 223306
o 223172
o 223153
o 223006
o 222926
o 222918
o 222415
o 222370
o 221898
o 221763
o 221686
o 221552
o 221533
o 221386
o 221306
o 221298
o 220795
o 220750
o 220642
o 220597
o 220589
o 220086
o 220041
o 219789
o 219700
o 219671
o 219488
o 219354
o 219335
o 219188
o 219108
o 219100
o 218597
o 218552
o 218520
o 218386
o 218367
o 218220
o 218140
o 218132
o 217629
o 217584
o 217201
o 217112
o 216977
o 216900
o 216766
o 216747
o 216600
o 216520
o 216512
o 216009
o 215964
o 215862
o 215840
o 215817
o 215795
o 215434
o 215412
o 215345
o 215323
o 215210
o 215188
o 215133
o 214999
o 214980
o 214833
o 214753
o 214745
o 214242
o 214220
o 214197
o 214175
o 214089
o 214067
o 214044
o 214022
o 213533
o 213511
o 213236
o 213214
o 213147
o 213118
o 212935
o 212801
o 212782
o 212635
o 212555
o 212547
o 212044
o 212022
o 211967
o 211833
o 211814
o 211667
o 211587
o 211579
o 211076
o 211054
o 211031
o 211009
o 210648
o 210559
o 210424
o 210347
o 210213
o 210194
o 210047
o 209967
o 209959
o 209456
o 209434
o 209411
o 209389
o 209132
o 209110
o 208835
o 208571
o 208534
o 208400
o 208381
o 208234
o 208154
o 208146
o 207643
o 207621
o 207603
o 207581
o 207566
o 207432
o 207413
o 207266
o 207186
o 207178
o 206675
o 206653
o 206630
o 206608
o 206247
o 205983
o 205946
o 205812
o 205793
o 205646
o 205566
o 205558
o 205055
o 205033
o 205010
o 204988
o 204949
o 204927
o 204652
o 204630
o 204563
o 204534
o 204351
o 204217
o 204198
o 204051
o 203971
o 203963
o 203460
o 203438
o 203383
o 203249
o 203230
o 203083
o 203003
o 202995
o 202492
o 202470
o 202447
o 202425
o 202064
o 202042
o 201975
o 201953
o 201840
o 201818
o 201763
o 201629
o 201610
o 201463
o 201383
o 201375
o 200872
o 200850
o 200827
o 200805
o 200799
o 200777
o 200754
o 200732
o 200548
o 200526
o 200251
o 200229
o 199987
o 199965
o 199950
o 199816
o 199797
o 199650
o 199570
o 199562
o 199059
o 199037
o 199019
o 198997
o 198982
o 198848
o 198829
o 198682
o 198602
o 198594
o 198091
o 198069
o 198046
o 198024
o 197663
o 197641
o 197399
o 197377
o 197362
o 197228
o 197209
o 197062
o 196982
o 196974
o 196471
o 196449
o 196426
o 196404
o 196194
o 196172
o 196149
o 196127
o 196033
o 196014
o 195867
o 195787
o 195779
o 195276
o 195254
o 195190
o 195110
o 195102
o 194599
o 194577
o 194522
o 194388
o 194369
o 194222
o 194142
o 194134
o 193631
o 193609
o 193586
o 193564
o 193203
o 193114
o 192979
o 192902
o 192768
o 192749
o 192602
o 192522
o 192514
o 192011
o 191989
o 191966
o 191944
o 191803
o 191781
o 191758
o 191736
o 191632
o 191613
o 191466
o 191386
o 191378
o 190875
o 190853
o 190830
o 190808
o 190789
o 190709
o 190701
o 190198
o 190176
o 190153
o 190131
o 190113
o 190091
o 189987
o 189968
o 189821
o 189741
o 189733
o 189230
o 189208
o 189185
o 189163
o 188802
o 188538
o 188501
o 188367
o 188348
o 188201
o 188121
o 188113
o 187610
o 187588
o 187565
o 187543
o 187244
o 187222
o 187207
o 187073
o 187054
o 186907
o 186827
o 186819
o 186316
o 186294
o 186271
o 186249
o 185832
o 185568
o 185531
o 185397
o 185378
o 185231
o 185151
o 185143
o 184640
o 184618
o 184595
o 184573
o 184274
o 184252
o 184237
o 184103
o 184084
o 183937
o 183857
o 183849
o 183346
o 183324
o 183301
o 183279
o 183166
o 183086
o 183078
o 182575
o 182553
o 182530
o 182508
o 182507
o 182484
o 182462
o 182409
o 182317
o 181818
o 181796
o 181758
o 181736
o 181713
o 181691
o 181605
o 181583
o 181546
o 181524
o 181521
o 181499
o 181063
o 181041
o 181004
o 180982
o 180888
o 180866
o 180851
o 180717
o 180551
o 180471
o 180463
o 179960
o 179938
o 179901
o 179879
o 179856
o 179834
o 179780
o 179700
o 179692
o 179189
o 179167
o 179130
o 179108
o 179085
o 179063
o 179020
o 178928
o 178429
o 178407
o 178369
o 178347
o 178324
o 178302
o 177888
o 177866
o 177843
o 177821
o 177807
o 177784
o 177762
o 177539
o 177517
o 177480
o 177458
o 177181
o 177162
o 177082
o 177074
o 176571
o 176549
o 176512
o 176490
o 176467
o 176445
o 176391
o 176311
o 176303
o 175800
o 175778
o 175755
o 175733
o 175719
o 175696
o 175674
o 175673
o 175636
o 175614
o 175591
o 175569
o 175252
o 175230
o 175207
o 175185
o 175171
o 175148
o 175126
o 174799
o 174777
o 174535
o 174513
o 174378
o 174198
o 174118
o 174110
o 173607
o 173585
o 173548
o 173526
o 173503
o 173481
o 173438
o 173346
o 172847
o 172825
o 172787
o 172765
o 172742
o 172720
o 172306
o 172284
o 172261
o 172239
o 172225
o 172202
o 172180
o 171957
o 171935
o 171898
o 171876
o 171853
o 171831
o 171819
o 171599
o 171580
o 171500
o 171492
o 170989
o 170930
o 170908
o 170885
o 170863
o 170809
o 170787
o 170729
o 170721
o 170218
o 170196
o 170159
o 170137
o 170114
o 170092
o 170081
o 170059
o 170022
o 170000
o 169977
o 169955
o 169638
o 169616
o 169579
o 169557
o 169534
o 169512
o 169185
o 169163
o 168921
o 168899
o 168603
o 168584
o 168504
o 168496
o 167993
o 167971
o 167934
o 167912
o 167889
o 167867
o 167853
o 167732
o 167652
o 167644
o 167141
o 167082
o 167037
o 167015
o 166518
o 166473
o 166451
o 166437
o 166414
o 166392
o 166196
o 166174
o 166093
o 166071
o 166048
o 166026
o 166012
o 165989
o 165967
o 165666
o 165621
o 165607
o 165562
o 165540
o 165344
o 165322
o 165241
o 165219
o 165182
o 165160
o 165137
o 165115
o 165096
o 165074
o 165037
o 165015
o 165001
o 164880
o 164800
o 164792
o 164289
o 164230
o 164208
o 164185
o 164163
o 163969
o 163947
o 163910
o 163888
o 163647
o 163625
o 163544
o 163522
o 163485
o 163463
o 163440
o 163418
o 163363
o 163341
o 163304
o 163282
o 163183
o 163103
o 163095
o 162592
o 162533
o 162511
o 162488
o 162466
o 162351
o 162329
o 162306
o 162284
o 162270
o 162247
o 162225
o 162067
o 162045
o 162008
o 161986
o 161887
o 161518
o 161296
o 161237
o 161215
o 161192
o 161170
o 161084
o 161062
o 161025
o 161003
o 160980
o 160958
o 160762
o 160740
o 160717
o 160695
o 160681
o 160658
o 160636
o 160559
o 160514
o 160492
o 160478
o 160455
o 160433
o 160298
o 160218
o 160210
o 159707
o 159648
o 159626
o 159603
o 159581
o 159575
o 159561
o 159538
o 159516
o 159439
o 159394
o 159372
o 159358
o 159335
o 159313
o 159178
o 158587
o 158528
o 158506
o 158483
o 158461
o 158346
o 158324
o 158301
o 158279
o 158265
o 158242
o 158220
o 158143
o 158098
o 158076
o 158062
o 158039
o 158017
o 157513
o 157454
o 157291
o 157232
o 157210
o 157187
o 157165
o 157079
o 157057
o 157020
o 156998
o 156975
o 156953
o 156757
o 156735
o 156712
o 156690
o 156676
o 156653
o 156631
o 156554
o 156509
o 156487
o 156473
o 156450
o 156428
o 156293
o 155702
o 155643
o 155621
o 155598
o 155576
o 155570
o 155547
o 155525
o 155446
o 155424
o 155387
o 155365
o 155342
o 155320
o 154999
o 154852
o 154793
o 154771
o 154748
o 154726
o 154611
o 154589
o 154566
o 154544
o 154530
o 154507
o 154485
o 154474
o 154327
o 154305
o 154268
o 154246
o 153925
o 153703
o 153644
o 153556
o 153497
o 153475
o 153452
o 153430
o 153344
o 153322
o 153285
o 153263
o 153240
o 153218
o 153169
o 153022
o 153000
o 152977
o 152955
o 152941
o 152918
o 152896
o 152819
o 152774
o 152752
o 152738
o 152715
o 152693
o 152558
o 152114
o 151967
o 151908
o 151886
o 151863
o 151841
o 151769
o 151747
o 151710
o 151688
o 151665
o 151643
o 151473
o 151326
o 151304
o 151281
o 151259
o 151245
o 151222
o 151200
o 151195
o 151158
o 151136
o 150815
o 150593
o 150534
o 150446
o 150387
o 150365
o 150342
o 150320
o 150234
o 150212
o 150175
o 150153
o 150130
o 150108
o 150059
o 149912
o 149890
o 149867
o 149845
o 149831
o 149808
o 149786
o 149709
o 149664
o 149642
o 149628
o 149605
o 149583
o 149448
o 149004
o 148857
o 148798
o 148776
o 148753
o 148731
o 148712
o 148471
o 148449
o 148324
o 148302
o 148265
o 148243
o 148220
o 148198
o 148187
o 148040
o 148018
o 147981
o 147959
o 147936
o 147914
o 147860
o 147679
o 147416
o 147269
o 147210
o 147188
o 147165
o 147143
o 147133
o 147034
o 146853
o 146590
o 146443
o 146384
o 146362
o 146339
o 146317
o 146077
o 145930
o 145885
o 1458Killed
1979.670u 0.028s 33:09.22 99.5%	0+0k 0+0io 0pf+0w