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-80-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-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 202 1192 2076641
WARNING: Ubcsat not found.
o 2076641
o 232408
o 232013
o 231700
o 231533
o 231220
o 231081
o 230768
o 230656
o 230343
o 230199
o 229886
o 229719
o 229406
o 229267
o 228954
o 228842
o 228529
o 228339
o 228195
o 227882
o 227715
o 227402
o 227263
o 226950
o 226838
o 226525
o 226524
o 226380
o 226067
o 225900
o 225587
o 225448
o 225135
o 225023
o 224710
o 224410
o 224271
o 223958
o 223846
o 223533
o 223532
o 223388
o 223075
o 222908
o 222595
o 222456
o 222143
o 222031
o 221718
o 221522
o 221466
o 221299
o 220986
o 220847
o 220534
o 220422
o 220109
o 219800
o 219661
o 219348
o 219236
o 218923
o 218850
o 218537
o 218436
o 218127
o 217988
o 217675
o 217563
o 217250
o 217152
o 217079
o 216766
o 216665
o 216356
o 216217
o 215904
o 215792
o 215479
o 215305
o 215299
o 215101
o 214989
o 214676
o 214578
o 214505
o 214192
o 214175
o 213953
o 213841
o 213528
o 213330
o 213218
o 212905
o 212731
o 212581
o 212469
o 212156
o 211982
o 211814
o 211640
o 211353
o 211255
o 211182
o 210869
o 210852
o 210630
o 210518
o 210205
o 210007
o 209895
o 209582
o 209408
o 209240
o 209066
o 208874
o 208762
o 208449
o 208275
o 208125
o 208013
o 207700
o 207526
o 207358
o 207184
o 206897
o 206799
o 206726
o 206413
o 206396
o 206174
o 206062
o 205749
o 205551
o 205439
o 205126
o 204952
o 204784
o 204610
o 204607
o 204385
o 204273
o 203960
o 203762
o 203650
o 203337
o 203163
o 202995
o 202821
o 202731
o 202418
o 202244
o 202076
o 201902
o 201615
o 201517
o 201444
o 201131
o 201114
o 200892
o 200780
o 200467
o 200269
o 200157
o 199844
o 199670
o 199502
o 199328
o 199286
o 199285
o 199118
o 199117
o 198944
o 198943
o 198941
o 198940
o 198719
o 198607
o 198294
o 198293
o 198096
o 197984
o 197671
o 197670
o 197497
o 197496
o 197329
o 197328
o 197155
o 197154
o 197065
o 196752
o 196751
o 196578
o 196577
o 196410
o 196409
o 196236
o 196235
o 195949
o 195948
o 195851
o 195850
o 195778
o 195465
o 195464
o 195448
o 195447
o 195226
o 195114
o 194801
o 194800
o 194603
o 194491
o 194178
o 194177
o 194004
o 194003
o 193836
o 193835
o 193662
o 193661
o 193607
o 193606
o 193433
o 193432
o 193420
o 193419
o 193252
o 193251
o 193078
o 193077
o 192988
o 192675
o 192674
o 192501
o 192500
o 192333
o 192332
o 192159
o 192158
o 191872
o 191871
o 191774
o 191773
o 191701
o 191388
o 191387
o 191371
o 191370
o 191149
o 191037
o 190724
o 190723
o 190526
o 190414
o 190101
o 190100
o 189927
o 189926
o 189759
o 189758
o 189585
o 189584
o 189306
o 189305
o 189108
o 188996
o 188683
o 188682
o 188509
o 188508
o 188341
o 188340
o 188167
o 188166
o 188092
o 188091
o 187924
o 187923
o 187750
o 187749
o 187463
o 187462
o 187365
o 187364
o 187292
o 186979
o 186978
o 186962
o 186961
o 186740
o 186628
o 186315
o 186314
o 186117
o 186005
o 185692
o 185691
o 185518
o 185517
o 185350
o 185349
o 185176
o 185175
o 184897
o 184896
o 184699
o 184587
o 184274
o 184273
o 184100
o 184099
o 183932
o 183931
o 183758
o 183757
o 183450
o 183449
o 183276
o 183275
o 183108
o 183107
o 182934
o 182933
o 182924
o 182923
o 182726
o 182614
o 182301
o 182300
o 182127
o 182126
o 181959
o 181958
o 181785
o 181784
o 181531
o 181530
o 181357
o 181356
o 181189
o 181188
o 181015
o 181014
o 180983
o 180982
o 180910
o 180597
o 180596
o 180580
o 180579
o 180358
o 180246
o 179933
o 179932
o 179735
o 179623
o 179310
o 179309
o 179136
o 179135
o 178968
o 178967
o 178794
o 178793
o 178515
o 178514
o 178317
o 178205
o 177892
o 177891
o 177718
o 177717
o 177550
o 177549
o 177376
o 177375
o 177068
o 177067
o 176894
o 176893
o 176726
o 176725
o 176552
o 176551
o 176422
o 176421
o 176248
o 176247
o 176094
o 175982
o 175669
o 175668
o 175495
o 175494
o 175327
o 175326
o 175153
o 175152
o 175060
o 175059
o 174892
o 174891
o 174718
o 174717
o 174676
o 174564
o 174251
o 174250
o 174077
o 174076
o 173909
o 173908
o 173735
o 173734
o 173642
o 173641
o 173474
o 173473
o 173300
o 173299
o 173253
o 173252
o 173085
o 173084
o 172911
o 172910
o 172818
o 172817
o 172650
o 172649
o 172476
o 172475
o 172424
o 172312
o 171999
o 171998
o 171801
o 171689
o 171376
o 171375
o 171202
o 171201
o 171034
o 171033
o 170860
o 170859
o 170581
o 170580
o 170383
o 170271
o 169958
o 169957
o 169784
o 169783
o 169616
o 169615
o 169442
o 169441
o 169134
o 169133
o 168960
o 168959
o 168792
o 168791
o 168618
o 168617
o 168488
o 168487
o 168314
o 168313
o 168160
o 168048
o 167735
o 167734
o 167561
o 167560
o 167393
o 167392
o 167219
o 167218
o 167126
o 167125
o 166958
o 166957
o 166784
o 166783
o 166742
o 166630
o 166317
o 166316
o 166143
o 166142
o 165975
o 165974
o 165801
o 165800
o 165708
o 165707
o 165540
o 165539
o 165366
o 165365
o 165319
o 165318
o 165151
o 165150
o 164977
o 164976
o 164884
o 164883
o 164716
o 164715
o 164542
o 164541
o 164521
o 164520
o 164347
o 164346
o 164254
o 164253
o 164086
o 164085
o 163912
o 163911
o 163870
o 163758
o 163445
o 163444
o 163271
o 163270
o 163103
o 163102
o 162929
o 162928
o 162836
o 162835
o 162668
o 162667
o 162494
o 162493
o 162447
o 162446
o 162279
o 162278
o 162105
o 162104
o 162012
o 162011
o 161844
o 161843
o 161670
o 161669
o 161586
o 161273
o 161272
o 161099
o 161098
o 160931
o 160930
o 160757
o 160756
o 160664
o 160663
o 160496
o 160495
o 160322
o 160321
o 160275
o 160274
o 160107
o 160106
o 159933
o 159932
o 159840
o 159839
o 159672
o 159671
o 159498
o 159497
o 159408
o 159407
o 159240
o 159239
o 159066
o 159065
o 158973
o 158972
o 158805
o 158804
o 158631
o 158630
o 158589
o 158477
o 158164
o 158163
o 157990
o 157989
o 157822
o 157821
o 157648
o 157647
o 157555
o 157554
o 157387
o 157386
o 157213
o 157212
o 157166
o 157165
o 156998
o 156997
o 156824
o 156823
o 156731
o 156730
o 156563
o 156562
o 156389
o 156388
o 156368
o 156367
o 156194
o 156193
o 156101
o 156100
o 155933
o 155932
o 155759
o 155758
o 155717
o 155605
o 155292
o 155291
o 155118
o 155117
o 154950
o 154949
o 154776
o 154775
o 154683
o 154682
o 154515
o 154514
o 154341
o 154340
o 154294
o 154293
o 154126
o 154125
o 153952
o 153951
o 153859
o 153858
o 153691
o 153690
o 153517
o 153516
o 153433
o 153120
o 153119
o 152946
o 152945
o 152778
o 152777
o 152604
o 152603
o 152511
o 152510
o 152343
o 152342
o 152169
o 152168
o 152122
o 152121
o 151954
o 151953
o 151780
o 151779
o 151687
o 151686
o 151519
o 151518
o 151345
o 151344
o 151210
o 151209
o 151120
o 151119
o 150952
o 150951
o 150778
o 150777
o 150685
o 150684
o 150517
o 150516
o 150343
o 150342
o 150301
o 150189
o 149876
o 149875
o 149702
o 149701
o 149534
o 149533
o 149360
o 149359
o 149267
o 149266
o 149099
o 149098
o 148925
o 148924
o 148878
o 148877
o 148710
o 148709
o 148536
o 148535
o 148443
o 148442
o 148275
o 148274
o 148101
o 148100
o 148080
o 148079
o 147906
o 147905
o 147813
o 147812
o 147645
o 147644
o 147471
o 147470
o 147429
o 147317
o 147004
o 147003
o 146830
o 146829
o 146662
o 146661
o 146488
o 146487
o 146395
o 146394
o 146227
o 146226
o 146053
o 146052
o 146006
o 146005
o 145838
o 145837
o 145664
o 145663
o 145571
o 145570
o 145403
o 145402
o 145229
o 145228
o 145145
o 144832
o 144831
o 144658
o 144657
o 144490
o 144489
o 144316
o 144315
o 144223
o 144222
o 144055
o 144054
o 143881
o 143880
o 143834
o 143833
o 143666
o 143665
o 143492
o 143491
o 143399
o 143398
o 143231
o 143230
o 143057
o 143056
o 143012
o 143011
o 142844
o 142843
o 142670
o 142669
o 142586
o 142273
o 142272
o 142099
o 142098
o 141931
o 141930
o 141757
o 141756
o 141664
o 141663
o 141496
o 141495
o 141322
o 141321
o 141275
o 141274
o 141107
o 141106
o 140933
o 140932
o 140840
o 140839
o 140672
o 140671
o 140498
o 140497
o 140363
o 140362
o 140273
o 140272
o 140105
o 140104
o 139931
o 139930
o 139838
o 139837
o 139670
o 139669
o 139496
o 139495
o 139454
o 139342
o 139029
o 139028
o 138855
o 138854
o 138687
o 138686
o 138513
o 138512
o 138420
o 138419
o 138252
o 138251
o 138078
o 138077
o 138031
o 138030
o 137863
o 137862
o 137689
o 137688
o 137596
o 137595
o 137428
o 137427
o 137254
o 137253
o 137233
o 137232
o 137059
o 137058
o 136966
o 136965
o 136798
o 136797
o 136624
o 136623
o 136582
o 136470
o 136157
o 136156
o 135983
o 135982
o 135815
o 135814
o 135641
o 135640
o 135548
o 135547
o 135380
o Killed
1979.657u 0.042s 33:09.39 99.5%	0+0k 0+0io 0pf+0w