Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 239 1773 3391291
WARNING: Ubcsat not found.
o 3391291
o 287496
o 287441
o 286154
o 285942
o 285532
o 285477
o 284190
o 283490
o 283316
o 283228
o 283173
o 281886
o 281186
o 281030
o 280330
o 279957
o 279783
o 278726
o 278026
o 277653
o 276786
o 276086
o 275713
o 275543
o 275170
o 274773
o 274720
o 274020
o 273647
o 273620
o 273533
o 272833
o 272780
o 272080
o 271707
o 271537
o 271164
o 271015
o 270642
o 270615
o 270528
o 269828
o 269775
o 269075
o 268702
o 268532
o 268159
o 267809
o 267782
o 267695
o 266995
o 266942
o 266242
o 265869
o 265699
o 265326
o 265024
o 264895
o 264842
o 264142
o 263769
o 263599
o 263226
o 263022
o 262977
o 262604
o 262254
o 262159
o 262106
o 261406
o 261033
o 260687
o 260314
o 260144
o 259771
o 259469
o 259306
o 258933
o 258587
o 258214
o 258044
o 257671
o 257467
o 256819
o 256446
o 256303
o 256100
o 255727
o 255584
o 255557
o 255184
o 255041
o 254882
o 254739
o 254719
o 254346
o 254203
o 254000
o 253627
o 253484
o 253457
o 253084
o 252941
o 252880
o 252737
o 252477
o 252104
o 251934
o 251561
o 251357
o 250709
o 250336
o 250193
o 249990
o 249617
o 249474
o 249447
o 249074
o 248931
o 248772
o 248629
o 248609
o 248236
o 248093
o 247890
o 247517
o 247374
o 247347
o 246974
o 246831
o 246770
o 246627
o 246440
o 246067
o 245897
o 245524
o 245320
o 244672
o 244299
o 244156
o 243953
o 243580
o 243437
o 243410
o 243037
o 242894
o 242735
o 242592
o 242572
o 242199
o 242056
o 241853
o 241480
o 241337
o 241310
o 240937
o 240794
o 240733
o 240590
o 240539
o 240166
o 240023
o 239996
o 239623
o 239480
o 239419
o 239276
o 239220
o 238847
o 238704
o 238677
o 238304
o 238161
o 238100
o 237957
o 237870
o 237694
o 237551
o 237392
o 237249
o 237235
o 237092
o 236889
o 236516
o 236373
o 236346
o 235973
o 235830
o 235594
o 235451
o 235390
o 235247
o 235202
o 235059
o 235032
o 234659
o 234516
o 234280
o 234137
o 234076
o 233933
o 233883
o 233740
o 233713
o 233340
o 233197
o 232961
o 232818
o 232757
o 232614
o 232527
o 232231
o 232088
o 232061
o 231688
o 231545
o 231484
o 231341
o 231254
o 231078
o 230935
o 230776
o 230633
o 230619
o 230476
o 230273
o 229900
o 229757
o 229730
o 229357
o 229214
o 228978
o 228835
o 228774
o 228631
o 228586
o 228443
o 228416
o 228043
o 227900
o 227664
o 227521
o 227460
o 227317
o 227267
o 227124
o 227097
o 226724
o 226581
o 226345
o 226202
o 226141
o 225998
o 225911
o 225718
o 225575
o 225339
o 225196
o 225135
o 224992
o 224905
o 224609
o 224466
o 224439
o 224066
o 223923
o 223862
o 223719
o 223632
o 223456
o 223313
o 223154
o 223011
o 222997
o 222854
o 222651
o 222278
o 222135
o 222108
o 221735
o 221592
o 221356
o 221213
o 221152
o 221009
o 220964
o 220821
o 220794
o 220421
o 220278
o 220042
o 219899
o 219838
o 219695
o 219645
o 219502
o 219475
o 219102
o 218959
o 218723
o 218580
o 218519
o 218376
o 218289
o 218244
o 218157
o 217861
o 217718
o 217691
o 217318
o 217175
o 217114
o 216971
o 216884
o 216708
o 216565
o 216406
o 216263
o 216249
o 216106
o 215903
o 215530
o 215387
o 215360
o 214987
o 214844
o 214608
o 214465
o 214404
o 214261
o 214216
o 214073
o 214046
o 213673
o 213530
o 213294
o 213151
o 213090
o 212947
o 212897
o 212754
o 212727
o 212354
o 212211
o 211975
o 211832
o 211771
o 211628
o 211541
o 211535
o 211485
o 211342
o 211315
o 210942
o 210799
o 210563
o 210420
o 210359
o 210216
o 210129
o 210084
o 209997
o 209701
o 209558
o 209531
o 209158
o 209015
o 208954
o 208811
o 208724
o 208548
o 208405
o 208246
o 208103
o 208089
o 207946
o 207743
o 207370
o 207227
o 207200
o 206827
o 206684
o 206448
o 206305
o 206244
o 206101
o 206056
o 205913
o 205886
o 205513
o 205370
o 205134
o 204991
o 204930
o 204787
o 204737
o 204594
o 204567
o 204194
o 204051
o 203815
o 203672
o 203611
o 203468
o 203381
o 203186
o 203043
o 202982
o 202839
o 202789
o 202646
o 202619
o 202246
o 202103
o 201867
o 201724
o 201663
o 201520
o 201433
o 201318
o 201082
o 200939
o 200878
o 200735
o 200648
o 200616
o 200473
o 200446
o 200073
o 199930
o 199694
o 199551
o 199490
o 199347
o 199260
o 199221
o 199160
o 199017
o 198930
o 198808
o 198665
o 198638
o 198265
o 198122
o 198061
o 197918
o 197831
o 197655
o 197512
o 197353
o 197210
o 197196
o 197053
o 196850
o 196477
o 196334
o 196307
o 195934
o 195791
o 195555
o 195412
o 195351
o 195208
o 195163
o 195020
o 194993
o 194620
o 194477
o 194241
o 194098
o 194037
o 193894
o 193844
o 193701
o 193674
o 193301
o 193158
o 192922
o 192779
o 192718
o 192575
o 192488
o 192456
o 192313
o 192286
o 191913
o 191770
o 191534
o 191391
o 191330
o 191187
o 191100
o 190974
o 190831
o 190770
o 190627
o 190540
o 190508
o 190365
o 190338
o 189965
o 189822
o 189586
o 189443
o 189382
o 189239
o 189152
o 188825
o 188682
o 188446
o 188303
o 188242
o 188099
o 188012
o 187817
o 187674
o 187613
o 187470
o 187420
o 187277
o 187250
o 186877
o 186734
o 186498
o 186355
o 186294
o 186151
o 186064
o 185949
o 185713
o 185570
o 185509
o 185366
o 185279
o 185247
o 185104
o 185077
o 184704
o 184561
o 184325
o 184182
o 184121
o 183978
o 183891
o 183852
o 183791
o 183648
o 183561
o 183439
o 183296
o 183269
o 182896
o 182753
o 182692
o 182549
o 182462
o 182401
o 182258
o 182197
o 182054
o 182004
o 181861
o 181834
o 181461
o 181318
o 181082
o 180939
o 180878
o 180735
o 180648
o 180565
o 180422
o 180186
o 180043
o 179982
o 179839
o 179794
o 179651
o 179624
o 179251
o 179108
o 178872
o 178729
o 178668
o 178525
o 178475
o 178332
o 178305
o 177932
o 177789
o 177553
o 177410
o 177349
o 177206
o 177119
o 177087
o 176944
o 176917
o 176544
o 176401
o 176165
o 176022
o 175961
o 175818
o 175731
o 175605
o 175462
o 175401
o 175258
o 175171
o 175139
o 174996
o 174969
o 174596
o 174453
o 174217
o 174074
o 174013
o 173870
o 173783
o 173631
o 173488
o 173427
o 173284
o 173197
o 173186
o 172950
o 172807
o 172746
o 172603
o 172516
o 172484
o 172341
o 172314
o 171941
o 171798
o 171562
o 171419
o 171358
o 171215
o 171128
o 171002
o 170859
o 170798
o 170655
o 170568
o 170536
o 170393
o 170366
o 169993
o 169850
o 169614
o 169471
o 169410
o 169267
o 169180
o 168911
o 168768
o 168532
o 168389
o 168328
o 168185
o 168098
o 168080
o 168053
o 167680
o 167537
o 167301
o 167158
o 167097
o 166954
o 166867
o 166741
o 166598
o 166537
o 166394
o 166307
o 166275
o 166132
o 166105
o 165732
o 165589
o 165353
o 165210
o 165149
o 165006
o 164919
o 164767
o 164624
o 164563
o 164420
o 164333
o 164188
o 164045
o 163984
o 163841
o 163754
o 163485
o 163342
o 163106
o 162963
o 162902
o 162759
o 162672
o 162654
o 162627
o 162254
o 162111
o 161875
o 161732
o 161671
o 161528
o 161441
o 161315
o 161172
o 161111
o 160968
o 160881
o 160849
o 160706
o 160679
o 160306
o 160163
o 159927
o 159784
o 159723
o 159580
o 159493
o 159341
o 159198
o 159137
o 158994
o 158907
o 158886
o 158743
o 158656
o 158551
o 158408
o 158381
o 158008
o 157865
o 157804
o 157661
o 157574
o 157320
o 157177
o 157150
o 156777
o 156634
o 156573
o 156430
o 156343
o 156217
o 156074
o 156013
o 155870
o 155783
o 155745
o 155372
o 155229
o 155202
o 154829
o 154686
o 154625
o 154482
o 154395
o 154243
o 154100
o 154039
o 153896
o 153809
o 153791
o 153665
o 153522
o 153461
o 153318
o 153231
o 153193
o 152820
o 152677
o 152650
o 152277
o 152134
o 152073
o 151930
o 151843
o 151691
o 151548
o 151487
o 151344
o 151257
o 151164
o 151021
o 150621
o 150478
o 150417
o 150274
o 150187
o 150035
o 149892
o 149831
o 149688
o 149601
o 149583
o 149457
o 149314
o 149253
o 149110
o 149023
o 148612
o 148469
o 148069
o 147926
o 147865
o 147722
o 147635
o 147483
o 147340
o 147279
o 147136
o 147049
o 147047
o 146895
o 146752
o 146691
o 146548
o 146461
o 146443
o 146317
o 146174
o 146113
o 145970
o 145883
o 145840
o 145472
o 145329
o 145297
o 144929
o 144786
o 144725
o 144582
o 144495
o 144343
o 144200
o 144139
o 143996
o 143909
o 143840
o 143697
o 143636
o 143493
o 143406
o 143394
o 143355
o 143333
o 143212
o 143190
o 143125
o 143103
o 143056
o 143034
o 142913
o 142891
o 142852
o 142830
o 142709
o 142687
o 142622
o 142600
o 142541
o 142389
o 142246
o 142185
o 142042
o 141955
o 141953
o 141801
o 141658
o 141597
o 141454
o 141367
o 141349
o 141223
o 141080
o 141019
o 140876
o 140789
o 140746
o 140677
o 140580
o 140378
o Killed
1979.689u 0.010s 33:01.05 99.9%	0+0k 0+0io 0pf+0w