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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3633766
o 320254
o 318582
o 317644
o 317144
o 316206
o 315280
o 314994
o 314494
o 314278
o 313556
o 313352
o 312630
o 312468
o 311848
o 311530
o 310922
o 310604
o 310509
o 310305
o 309583
o 309421
o 308801
o 308483
o 307875
o 307557
o 307039
o 306721
o 306519
o 305797
o 305479
o 304961
o 304643
o 304414
o 304096
o 303778
o 303172
o 302854
o 302536
o 302336
o 302018
o 301700
o 301337
o 301019
o 300790
o 300472
o 300154
o 299638
o 299320
o 299002
o 298712
o 298394
o 298076
o 297830
o 297512
o 297194
o 297077
o 296831
o 296513
o 296195
o 296037
o 295719
o 295417
o 295099
o 294781
o 294420
o 294102
o 293784
o 293584
o 293266
o 292948
o 292806
o 292488
o 292170
o 292019
o 291701
o 291562
o 291244
o 290926
o 290636
o 290318
o 290000
o 289896
o 289617
o 289302
o 288984
o 288666
o 288420
o 288102
o 287784
o 287584
o 287266
o 286948
o 286671
o 286627
o 286063
o 285745
o 285427
o 285227
o 284909
o 284591
o 284275
o 284171
o 284078
o 283760
o 283577
o 283259
o 282941
o 282695
o 282377
o 282059
o 281859
o 281541
o 281223
o 281017
o 280699
o 280567
o 280428
o 280110
o 279792
o 279502
o 279184
o 278866
o 278770
o 278452
o 278134
o 277844
o 277526
o 277208
o 276647
o 276329
o 276011
o 275805
o 275487
o 275169
o 274851
o 274636
o 274290
o 273972
o 273654
o 273643
o 273325
o 273007
o 272972
o 272911
o 272593
o 272275
o 271985
o 271667
o 271349
o 270788
o 270470
o 270152
o 269946
o 269628
o 269310
o 268992
o 268777
o 268431
o 268113
o 267795
o 267579
o 267263
o 267051
o 266733
o 266588
o 266270
o 266064
o 265746
o 265428
o 265110
o 264895
o 264549
o 264231
o 263913
o 263871
o 263553
o 263235
o 262917
o 262702
o 262356
o 262038
o 261720
o 261413
o 261095
o 260777
o 260561
o 260245
o 260033
o 259715
o 259570
o 259252
o 259046
o 258728
o 258410
o 258092
o 257877
o 257531
o 257213
o 256895
o 256853
o 256535
o 256217
o 255899
o 255684
o 255338
o 255020
o 254702
o 254689
o 254494
o 254483
o 254165
o 253970
o 253894
o 253576
o 253258
o 253063
o 252968
o 252650
o 252332
o 252137
o 251972
o 251777
o 251654
o 251336
o 251141
o 250775
o 250457
o 250139
o 249944
o 249781
o 249463
o 249192
o 248902
o 248584
o 248266
o 248253
o 248058
o 248047
o 247729
o 247534
o 247458
o 247140
o 246822
o 246627
o 246532
o 246214
o 245896
o 245701
o 245536
o 245341
o 245218
o 244900
o 244705
o 244339
o 244021
o 243703
o 243508
o 243332
o 243148
o 242830
o 242635
o 242540
o 242222
o 241904
o 241709
o 241343
o 241025
o 240707
o 240512
o 240395
o 240200
o 239904
o 239709
o 239544
o 239349
o 239226
o 238908
o 238713
o 238637
o 238442
o 238347
o 238029
o 237834
o 237711
o 237516
o 237474
o 237156
o 236838
o 236643
o 236548
o 236230
o 235912
o 235717
o 235351
o 235033
o 234715
o 234520
o 234403
o 234208
o 233945
o 233627
o 233432
o 233315
o 233120
o 232872
o 232677
o 232601
o 232406
o 232311
o 231993
o 231798
o 231675
o 231480
o 231267
o 230949
o 230631
o 230436
o 230394
o 230194
o 229876
o 229681
o 229315
o 228997
o 228679
o 228484
o 228271
o 227953
o 227635
o 227440
o 227323
o 227128
o 226880
o 226562
o 226367
o 226250
o 226055
o 225939
o 225822
o 225627
o 225555
o 225360
o 225243
o 225048
o 224994
o 224676
o 224358
o 224163
o 224046
o 223851
o 223632
o 223314
o 223119
o 223002
o 222807
o 222792
o 222597
o 222527
o 222332
o 222215
o 222020
o 221828
o 221726
o 221711
o 221516
o 221412
o 221199
o 221004
o 220881
o 220686
o 220563
o 220368
o 220353
o 220158
o 220056
o 220041
o 219846
o 219681
o 219666
o 219471
o 219369
o 219354
o 219159
o 219055
o 218842
o 218647
o 218524
o 218329
o 218206
o 218011
o 217996
o 217801
o 217699
o 217684
o 217489
o 217404
o 217191
o 216996
o 216873
o 216678
o 216555
o 216360
o 216345
o 216150
o 216048
o 216033
o 215838
o 215560
o 215532
o 215242
o 215047
o 214929
o 214839
o 214834
o 214806
o 214516
o 214488
o 214198
o 214003
o 213988
o 213793
o 213691
o 213676
o 213481
o 213411
o 213216
o 213099
o 212904
o 212712
o 212610
o 212595
o 212400
o 212296
o 212083
o 211888
o 211765
o 211570
o 211447
o 211252
o 211237
o 211042
o 210940
o 210925
o 210730
o 210565
o 210550
o 210355
o 210253
o 210238
o 210043
o 209939
o 209726
o 209531
o 209408
o 209213
o 209090
o 208895
o 208880
o 208685
o 208583
o 208568
o 208373
o 208349
o 208059
o 207864
o 207852
o 207562
o 207367
o 207333
o 207305
o 207015
o 206820
o 206808
o 206518
o 206323
o 206308
o 206113
o 206011
o 205996
o 205801
o 205731
o 205536
o 205419
o 205224
o 205032
o 204930
o 204915
o 204720
o 204616
o 204582
o 204387
o 204264
o 204069
o 203890
o 203767
o 203572
o 203557
o 203362
o 203260
o 203245
o 203050
o 202885
o 202870
o 202675
o 202573
o 202558
o 202363
o 202259
o 202225
o 202030
o 201907
o 201712
o 201533
o 201410
o 201215
o 201200
o 201005
o 200903
o 200888
o 200693
o 200613
o 200418
o 200403
o 200208
o 200106
o 200091
o 199896
o 199883
o 199688
o 199582
o 199387
o 199375
o 199085
o 198890
o 198856
o 198828
o 198538
o 198343
o 198331
o 198041
o 197846
o 197831
o 197636
o 197534
o 197519
o 197324
o 197254
o 197059
o 196942
o 196747
o 196555
o 196453
o 196438
o 196243
o 196139
o 196088
o 195893
o 195787
o 195592
o 195413
o 195290
o 195095
o 195080
o 194885
o 194783
o 194768
o 194573
o 194408
o 194393
o 194198
o 194096
o 194081
o 193886
o 193782
o 193731
o 193536
o 193430
o 193235
o 193056
o 192933
o 192738
o 192723
o 192528
o 192426
o 192411
o 192216
o 192111
o 192009
o 191994
o 191799
o 191753
o 191725
o 191435
o 191240
o 191225
o 191030
o 190928
o 190913
o 190718
o 190614
o 190563
o 190368
o 190262
o 190067
o 189888
o 189765
o 189570
o 189555
o 189360
o 189258
o 189243
o 189048
o 188883
o 188868
o 188673
o 188571
o 188556
o 188361
o 188257
o 188206
o 188011
o 187905
o 187710
o 187531
o 187408
o 187213
o 187198
o 187003
o 186901
o 186886
o 186691
o 186523
o 186476
o 186368
o 186158
o 185963
o 185861
o 185846
o 185651
o 185570
o 185360
o 185165
o 185063
o 185048
o 184853
o 184688
o 184673
o 184478
o 184376
o 184361
o 184166
o 184062
o 184011
o 183816
o 183710
o 183515
o 183336
o 183213
o 183018
o 183003
o 182808
o 182706
o 182691
o 182496
o 182462
o 182367
o 182188
o 182160
o 181870
o 181675
o 181660
o 181465
o 181363
o 181348
o 181153
o 180987
o 180792
o 180697
o 180502
o 180323
o 180200
o 180005
o 179990
o 179795
o 179693
o 179678
o 179483
o 179318
o 179303
o 179108
o 179006
o 178991
o 178796
o 178630
o 178435
o 178340
o 178145
o 177966
o 177843
o 177648
o 177633
o 177438
o 177336
o 177321
o 177126
o 176958
o 176911
o 176803
o 176593
o 176398
o 176296
o 176281
o 176086
o 176005
o 175795
o 175600
o 175498
o 175483
o 175288
o 175123
o 175108
o 174913
o 174811
o 174796
o 174601
o 174435
o 174240
o 174145
o 173950
o 173771
o 173648
o 173453
o 173438
o 173243
o 173141
o 173126
o 172931
o 172904
o 172802
o 172787
o 172592
o 172486
o 172461
o 172446
o 172251
o 172072
o 171964
o 171949
o 171754
o 171652
o 171637
o 171442
o 171349
o 171338
o 171221
o 171026
o 171011
o 170816
o 170787
o 170776
o 170674
o 170464
o 170269
o 170084
o 169982
o 169967
o 169772
o 169675
o 169660
o 169465
o 169363
o 169348
o 169153
o 169002
o 168807
o 168792
o 168597
o 168495
o 168480
o 168285
o 168267
o 168072
o 167893
o 167770
o 167575
o 167560
o 167365
o 167263
o 167248
o 167053
o 167023
o 167002
o 166944
o 166836
o 166626
o 166431
o 166351
o 166336
o 166141
o 166049
o 165854
o 165839
o 165644
o 165542
o 165527
o 165332
o 165314
o 165119
o 164940
o 164817
o 164622
o 164607
o 164412
o 164310
o 164295
o 164100
o 164070
o 164069
o 164054
o 163859
o 163811
o 163796
o 163601
o 163499
o 163484
o 163289
o 163247
o 163145
o 163130
o 162935
o 162904
o 162889
o 162694
o 162592
o 162581
o 162371
o 162370
o 162160
o 162058
o 161848
o 161805
o 161777
o 161487
o 161197
o 161018
o 160990
o 160700
o 160490
o 160388
o 160178
o 159965
o 159755
o 159468
o 159258
o 159156
o 158946
o 158916
o 158895
o 158852
o 158824
o 158534
o 158324
o 158065
o 158037
o 157747
o 157537
o 157435
o 157225
o 157012
o 156802
o 156515
o 156305
o 156203
o 155993
o 155963
o 155962
o 155752
o 155704
o 155494
o 155392
o 155182
o 155140
o 155038
o 154828
o 154797
o 154587
o 154485
o 154418
o 154316
o 154106
o 154105
o 153895
o 153847
o 153637
o 153535
o 153325
o 153283
o 153181
o 152971
o 152Killed
1979.641u 0.057s 33:13.39 99.3%	0+0k 0+0io 0pf+0w