Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-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/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 277 1931 3633766
WARNING: Ubcsat not found.
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 312224
o 311848
o 311644
o 310922
o 310604
o 310509
o 310305
o 309583
o 309177
o 308801
o 308597
o 307875
o 307557
o 307039
o 306721
o 306519
o 305797
o 305479
o 304961
o 304643
o 304614
o 304414
o 304096
o 303778
o 303172
o 302854
o 302536
o 302336
o 302018
o 301700
o 301337
o 301019
o 300990
o 300790
o 300472
o 300154
o 299548
o 299230
o 298912
o 298712
o 298394
o 298076
o 298030
o 297830
o 297512
o 297194
o 297077
o 297031
o 296831
o 296513
o 296195
o 295981
o 295663
o 295617
o 295417
o 295099
o 294781
o 294666
o 294466
o 294148
o 293830
o 293784
o 293584
o 293266
o 292948
o 292806
o 292488
o 292170
o 292019
o 291701
o 291518
o 291200
o 290882
o 290836
o 290636
o 290318
o 290000
o 289896
o 289754
o 289436
o 289118
o 288967
o 288649
o 288466
o 288148
o 287830
o 287784
o 287584
o 287266
o 286948
o 286761
o 286610
o 286292
o 286109
o 285791
o 285473
o 285427
o 285227
o 284909
o 284591
o 284275
o 284171
o 284029
o 283711
o 283393
o 283242
o 282924
o 282741
o 282423
o 282105
o 282059
o 281859
o 281541
o 281223
o 281036
o 280885
o 280567
o 280384
o 280066
o 279748
o 279702
o 279502
o 279184
o 278866
o 278817
o 278499
o 278181
o 278030
o 277712
o 277529
o 277211
o 276893
o 276847
o 276647
o 276329
o 276011
o 275824
o 275673
o 275355
o 275172
o 274854
o 274536
o 274490
o 274290
o 273972
o 273654
o 273643
o 273325
o 273007
o 272972
o 272958
o 272640
o 272322
o 272171
o 271853
o 271670
o 271352
o 271034
o 270988
o 270788
o 270470
o 270152
o 269965
o 269814
o 269496
o 269313
o 268995
o 268677
o 268631
o 268431
o 268113
o 267795
o 267579
o 267263
o 267152
o 267106
o 266906
o 266588
o 266270
o 266083
o 265932
o 265614
o 265431
o 265113
o 264795
o 264749
o 264549
o 264231
o 263913
o 263890
o 263739
o 263421
o 263238
o 262920
o 262602
o 262556
o 262356
o 262038
o 261720
o 261659
o 261613
o 261413
o 261095
o 260777
o 260561
o 260245
o 260134
o 260088
o 259888
o 259570
o 259252
o 259106
o 258788
o 258596
o 258413
o 258095
o 257777
o 257731
o 257531
o 257213
o 256895
o 256595
o 256403
o 256220
o 255902
o 255584
o 255538
o 255338
o 255020
o 254702
o 254689
o 254494
o 254225
o 254030
o 253838
o 253532
o 253214
o 253019
o 252973
o 252968
o 252650
o 252332
o 252137
o 252032
o 251837
o 251645
o 251339
o 251021
o 250826
o 250780
o 250775
o 250457
o 250139
o 249944
o 249784
o 249466
o 249148
o 249102
o 248902
o 248584
o 248266
o 248160
o 247965
o 247789
o 247594
o 247402
o 247096
o 246778
o 246583
o 246537
o 246532
o 246214
o 245896
o 245701
o 245596
o 245401
o 245209
o 244903
o 244585
o 244390
o 244344
o 244339
o 244021
o 243703
o 243508
o 243218
o 242900
o 242705
o 242600
o 242405
o 242213
o 241907
o 241589
o 241394
o 241348
o 241343
o 241025
o 240707
o 240512
o 240395
o 240200
o 239904
o 239709
o 239604
o 239409
o 239217
o 238911
o 238593
o 238398
o 238352
o 238347
o 238029
o 237711
o 237516
o 237474
o 237226
o 236908
o 236713
o 236608
o 236413
o 236221
o 235915
o 235597
o 235402
o 235356
o 235351
o 235033
o 234715
o 234520
o 234403
o 234208
o 233945
o 233627
o 233432
o 233315
o 233120
o 232824
o 232629
o 232524
o 232329
o 232137
o 231993
o 231675
o 231480
o 231318
o 231272
o 231267
o 230949
o 230631
o 230436
o 230394
o 230146
o 229828
o 229633
o 229528
o 229333
o 229141
o 228997
o 228679
o 228484
o 228322
o 228276
o 228271
o 227953
o 227635
o 227440
o 227323
o 227128
o 226880
o 226562
o 226367
o 226250
o 226055
o 225825
o 225507
o 225312
o 225207
o 225012
o 224820
o 224676
o 224358
o 224163
o 224001
o 223955
o 223950
o 223632
o 223314
o 223119
o 223002
o 222807
o 222792
o 222597
o 222527
o 222332
o 222215
o 222020
o 221844
o 221769
o 221574
o 221382
o 221238
o 220920
o 220725
o 220563
o 220517
o 220512
o 220194
o 219876
o 219681
o 219564
o 219369
o 219354
o 219159
o 219055
o 218893
o 218847
o 218842
o 218524
o 218206
o 218011
o 217894
o 217699
o 217684
o 217489
o 217446
o 217251
o 217229
o 217134
o 216939
o 216681
o 216486
o 216391
o 216196
o 216186
o 216091
o 215896
o 215704
o 215532
o 215337
o 215242
o 215047
o 214885
o 214839
o 214806
o 214488
o 214293
o 214198
o 214003
o 213981
o 213886
o 213691
o 213676
o 213481
o 213411
o 213216
o 213194
o 213099
o 212904
o 212728
o 212653
o 212458
o 212266
o 212094
o 211899
o 211804
o 211609
o 211447
o 211401
o 211368
o 211050
o 210855
o 210760
o 210565
o 210543
o 210448
o 210253
o 210238
o 210043
o 209939
o 209777
o 209731
o 209698
o 209380
o 209185
o 209090
o 208895
o 208873
o 208778
o 208583
o 208568
o 208373
o 208349
o 208154
o 208059
o 207864
o 207702
o 207656
o 207623
o 207305
o 207110
o 207015
o 206820
o 206808
o 206613
o 206518
o 206323
o 206301
o 206206
o 206011
o 205996
o 205801
o 205731
o 205536
o 205514
o 205419
o 205224
o 205048
o 204911
o 204716
o 204621
o 204426
o 204264
o 204218
o 204185
o 203867
o 203672
o 203577
o 203382
o 203370
o 203175
o 203080
o 202885
o 202863
o 202768
o 202573
o 202558
o 202363
o 202197
o 202002
o 201907
o 201712
o 201700
o 201505
o 201410
o 201215
o 201193
o 201098
o 200903
o 200888
o 200693
o 200613
o 200418
o 200396
o 200301
o 200106
o 200091
o 199896
o 199872
o 199677
o 199582
o 199387
o 199225
o 199141
o 198828
o 198633
o 198538
o 198343
o 198331
o 198136
o 198041
o 197846
o 197824
o 197729
o 197534
o 197519
o 197324
o 197254
o 197059
o 197037
o 196942
o 196747
o 196571
o 196434
o 196239
o 196144
o 195949
o 195787
o 195703
o 195390
o 195195
o 195100
o 194905
o 194893
o 194698
o 194603
o 194408
o 194386
o 194291
o 194096
o 194081
o 193886
o 193720
o 193525
o 193430
o 193235
o 193223
o 193028
o 192933
o 192738
o 192716
o 192621
o 192426
o 192411
o 192216
o 192204
o 192009
o 191994
o 191799
o 191729
o 191534
o 191512
o 191417
o 191222
o 191046
o 190909
o 190714
o 190619
o 190424
o 190262
o 190178
o 189865
o 189670
o 189575
o 189380
o 189368
o 189173
o 189078
o 188883
o 188861
o 188766
o 188571
o 188556
o 188361
o 188195
o 188000
o 187905
o 187710
o 187698
o 187503
o 187408
o 187213
o 187191
o 187096
o 186901
o 186886
o 186691
o 186519
o 186424
o 186229
o 186067
o 185983
o 185670
o 185475
o 185380
o 185185
o 185173
o 184978
o 184883
o 184688
o 184666
o 184571
o 184376
o 184361
o 184166
o 184000
o 183805
o 183710
o 183515
o 183503
o 183308
o 183213
o 183018
o 182996
o 182901
o 182706
o 182691
o 182496
o 182444
o 182429
o 182234
o 182164
o 181969
o 181947
o 181852
o 181657
o 181481
o 181344
o 181149
o 181054
o 180859
o 180797
o 180602
o 180300
o 180105
o 180010
o 179815
o 179803
o 179608
o 179513
o 179318
o 179296
o 179201
o 179006
o 178991
o 178796
o 178630
o 178435
o 178340
o 178145
o 178133
o 177938
o 177843
o 177648
o 177626
o 177531
o 177336
o 177321
o 177126
o 176954
o 176859
o 176664
o 176602
o 176407
o 176105
o 175910
o 175815
o 175620
o 175608
o 175413
o 175318
o 175123
o 175101
o 175006
o 174811
o 174796
o 174601
o 174435
o 174240
o 174145
o 173950
o 173938
o 173743
o 173648
o 173453
o 173431
o 173336
o 173141
o 173126
o 172931
o 172784
o 172751
o 172656
o 172461
o 172287
o 172254
o 172159
o 171964
o 171942
o 171847
o 171652
o 171637
o 171442
o 171404
o 171309
o 171114
o 171081
o 170986
o 170791
o 170617
o 170584
o 170489
o 170294
o 170272
o 170177
o 169982
o 169967
o 169772
o 169675
o 169653
o 169558
o 169363
o 169348
o 169153
o 169097
o 169002
o 168807
o 168785
o 168690
o 168495
o 168480
o 168285
o 168131
o 168116
o 167921
o 167865
o 167770
o 167575
o 167553
o 167458
o 167263
o 167248
o 167053
o 167023
o 167014
o 166819
o 166722
o 166700
o 166605
o 166410
o 166395
o 166200
o 166144
o 166049
o 165854
o 165832
o 165737
o 165542
o 165527
o 165332
o 165178
o 165163
o 164968
o 164912
o 164817
o 164622
o 164600
o 164505
o 164310
o 164295
o 164100
o 164070
o 163889
o 163859
o 163841
o 163819
o 163724
o 163529
o 163514
o 163319
o 163289
o 163175
o 163160
o 162965
o 162935
o 162934
o 162919
o 162724
o 162694
o 162622
o 162592
o 162510
o 162477
o 162187
o 162165
o 161875
o 161665
o 161568
o 161546
o 161256
o 161046
o 160990
o 160700
o 160678
o 160388
o 160178
o 160024
o 159814
o 159758
o 159468
o Killed
1979.687u 0.012s 33:14.23 99.2%	0+0k 0+0io 0pf+0w