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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 275 1903 3606035
WARNING: Ubcsat not found.
o 3606035
o 322478
o 321258
o 320426
o 319747
o 319073
o 318506
o 318179
o 317837
o 317510
o 317193
o 316626
o 316299
o 316043
o 315716
o 315325
o 314758
o 314431
o 314089
o 313762
o 313445
o 312878
o 312551
o 312365
o 312109
o 311782
o 311391
o 310824
o 310497
o 310155
o 309828
o 309511
o 308944
o 308617
o 308463
o 308207
o 307880
o 307489
o 306922
o 306595
o 306253
o 305926
o 305609
o 305042
o 304715
o 304346
o 304019
o 303953
o 303784
o 303415
o 303088
o 302949
o 302580
o 302253
o 302220
o 301851
o 301524
o 301458
o 301289
o 300920
o 300593
o 300454
o 300085
o 299758
o 299553
o 299487
o 299318
o 299113
o 298949
o 298622
o 298483
o 298278
o 298114
o 297787
o 297672
o 297606
o 297437
o 297068
o 296741
o 296602
o 296233
o 295906
o 295701
o 295635
o 295466
o 295261
o 295097
o 294770
o 294631
o 294426
o 294262
o 293935
o 293773
o 293634
o 293265
o 292938
o 292733
o 292667
o 292498
o 292293
o 292129
o 291802
o 291663
o 291458
o 291294
o 290967
o 290772
o 290608
o 290281
o 290180
o 290041
o 289836
o 289672
o 289345
o 289150
o 288986
o 288659
o 288367
o 288228
o 288023
o 287859
o 287532
o 287370
o 287231
o 286862
o 286535
o 286330
o 286264
o 286095
o 285890
o 285726
o 285399
o 285260
o 285055
o 284891
o 284564
o 284369
o 284205
o 283878
o 283871
o 283544
o 283405
o 283200
o 283036
o 282709
o 282514
o 282350
o 282023
o 281950
o 281745
o 281581
o 281254
o 281092
o 280953
o 280584
o 280257
o 280052
o 279986
o 279817
o 279612
o 279448
o 279121
o 278982
o 278777
o 278613
o 278286
o 278091
o 277927
o 277600
o 277531
o 277326
o 277162
o 276835
o 276640
o 276476
o 276149
o 276076
o 275871
o 275707
o 275380
o 275218
o 275079
o 274710
o 274383
o 274178
o 274112
o 273943
o 273738
o 273574
o 273247
o 273108
o 272903
o 272739
o 272412
o 272217
o 272053
o 271726
o 271478
o 271409
o 271204
o 271040
o 270713
o 270518
o 270354
o 270027
o 269954
o 269749
o 269585
o 269258
o 269096
o 268957
o 268588
o 268261
o 268056
o 267990
o 267821
o 267616
o 267452
o 267125
o 266986
o 266781
o 266617
o 266290
o 266095
o 265931
o 265604
o 265592
o 265428
o 265101
o 264906
o 264742
o 264415
o 264342
o 264137
o 263973
o 263646
o 263484
o 263345
o 262976
o 262649
o 262444
o 262378
o 262209
o 262004
o 261840
o 261513
o 261374
o 261169
o 261005
o 260678
o 260483
o 260319
o 259992
o 259933
o 259852
o 259728
o 259564
o 259237
o 259075
o 258936
o 258855
o 258567
o 258240
o 258035
o 257969
o 257800
o 257719
o 257595
o 257431
o 257104
o 256965
o 256884
o 256760
o 256596
o 256269
o 256198
o 256074
o 255910
o 255583
o 255424
o 255365
o 255284
o 255160
o 254996
o 254669
o 254507
o 254368
o 254287
o 253999
o 253672
o 253467
o 253401
o 253232
o 253151
o 253027
o 252863
o 252536
o 252397
o 252316
o 252192
o 252028
o 251701
o 251630
o 251506
o 251342
o 251015
o 250946
o 250782
o 250455
o 250316
o 250235
o 250111
o 249947
o 249620
o 249549
o 249425
o 249261
o 248934
o 248783
o 248578
o 248512
o 248343
o 248262
o 248138
o 247974
o 247647
o 247508
o 247427
o 247303
o 247139
o 246812
o 246741
o 246617
o 246453
o 246126
o 245967
o 245908
o 245827
o 245703
o 245539
o 245212
o 245050
o 244911
o 244830
o 244542
o 244215
o 244010
o 243944
o 243775
o 243694
o 243570
o 243406
o 243079
o 242940
o 242859
o 242735
o 242571
o 242244
o 242173
o 242049
o 241885
o 241558
o 241489
o 241325
o 240998
o 240859
o 240778
o 240654
o 240490
o 240163
o 240092
o 239968
o 239804
o 239477
o 239471
o 239400
o 239276
o 239112
o 238785
o 238626
o 238365
o 238311
o 238240
o 238116
o 237952
o 237625
o 237570
o 237489
o 237201
o 236874
o 236669
o 236603
o 236434
o 236353
o 236229
o 236065
o 235738
o 235599
o 235518
o 235394
o 235230
o 234903
o 234832
o 234708
o 234544
o 234217
o 234148
o 233984
o 233657
o 233518
o 233437
o 233313
o 233149
o 232822
o 232751
o 232627
o 232463
o 232136
o 231936
o 231881
o 231800
o 231512
o 231185
o 230980
o 230914
o 230745
o 230664
o 230540
o 230376
o 230049
o 229910
o 229829
o 229705
o 229541
o 229214
o 229143
o 229019
o 228855
o 228528
o 228459
o 228295
o 227968
o 227829
o 227748
o 227624
o 227460
o 227133
o 227062
o 226938
o 226774
o 226447
o 226215
o 226076
o 225995
o 225871
o 225707
o 225380
o 225309
o 225185
o 225021
o 224694
o 224625
o 224461
o 224134
o 223995
o 223914
o 223790
o 223626
o 223299
o 223228
o 223104
o 222940
o 222613
o 222542
o 222461
o 222337
o 222173
o 221846
o 221707
o 221626
o 221502
o 221338
o 221011
o 220940
o 220816
o 220652
o 220325
o 220256
o 220092
o 219765
o 219626
o 219545
o 219421
o 219257
o 218930
o 218859
o 218735
o 218571
o 218244
o 218012
o 217873
o 217792
o 217668
o 217504
o 217177
o 217106
o 216982
o 216818
o 216491
o 216422
o 216258
o 215931
o 215792
o 215711
o 215587
o 215423
o 215096
o 215025
o 214901
o 214737
o 214410
o 214364
o 214240
o 214076
o 213749
o 213439
o 213393
o 213269
o 213105
o 212778
o 212716
o 212592
o 212428
o 212101
o 212030
o 211906
o 211742
o 211415
o 211183
o 211044
o 210963
o 210839
o 210675
o 210348
o 210277
o 210153
o 209989
o 209662
o 209593
o 209429
o 209102
o 208963
o 208882
o 208758
o 208594
o 208267
o 208196
o 208072
o 207908
o 207581
o 207535
o 207411
o 207247
o 206920
o 206896
o 206757
o 206676
o 206552
o 206388
o 206061
o 205990
o 205866
o 205702
o 205375
o 205329
o 205205
o 205041
o 204714
o 204404
o 204358
o 204234
o 204070
o 203743
o 203681
o 203557
o 203393
o 203066
o 202995
o 202871
o 202707
o 202380
o 202377
o 202050
o 201979
o 201855
o 201691
o 201364
o 201313
o 201242
o 201118
o 200954
o 200627
o 200558
o 200394
o 200067
o 199928
o 199847
o 199723
o 199559
o 199232
o 199161
o 199037
o 198873
o 198546
o 198500
o 198376
o 198212
o 197885
o 197735
o 197664
o 197540
o 197376
o 197049
o 197003
o 196879
o 196715
o 196388
o 196364
o 196225
o 196144
o 196020
o 195856
o 195529
o 195458
o 195334
o 195170
o 194843
o 194797
o 194673
o 194509
o 194182
o 193872
o 193826
o 193702
o 193538
o 193211
o 193149
o 193025
o 192861
o 192534
o 192463
o 192339
o 192175
o 191848
o 191845
o 191518
o 191447
o 191323
o 191159
o 190832
o 190781
o 190710
o 190586
o 190422
o 190095
o 190026
o 189862
o 189535
o 189396
o 189315
o 189191
o 189027
o 188700
o 188629
o 188505
o 188341
o 188014
o 187968
o 187844
o 187680
o 187353
o 187325
o 187301
o 187162
o 187081
o 186957
o 186793
o 186466
o 186395
o 186271
o 186107
o 185780
o 185734
o 185610
o 185446
o 185119
o 184809
o 184763
o 184639
o 184475
o 184148
o 184086
o 183962
o 183798
o 183471
o 183400
o 183276
o 183112
o 182785
o 182782
o 182455
o 182384
o 182260
o 182096
o 181769
o 181718
o 181647
o 181523
o 181359
o 181032
o 180963
o 180799
o 180472
o 180333
o 180252
o 180128
o 179964
o 179637
o 179566
o 179442
o 179278
o 178951
o 178905
o 178781
o 178617
o 178290
o 178245
o 178199
o 178168
o 178075
o 178004
o 177911
o 177677
o 177584
o 177556
o 177532
o 177486
o 177393
o 177312
o 177281
o 177188
o 177117
o 177024
o 176790
o 176697
o 176626
o 176595
o 176502
o 176431
o 176338
o 176104
o 176011
o 175965
o 175934
o 175841
o 175770
o 175677
o 175443
o 175350
o 175133
o 175040
o 174994
o 174963
o 174870
o 174799
o 174706
o 174472
o 174379
o 174317
o 174286
o 174193
o 174122
o 174029
o 173795
o 173702
o 173631
o 173600
o 173507
o 173436
o 173343
o 173109
o 173016
o 173013
o 172779
o 172686
o 172615
o 172584
o 172491
o 172420
o 172327
o 172093
o 172000
o 171949
o 171878
o 171847
o 171754
o 171683
o 171590
o 171356
o 171263
o 171194
o 171123
o 171030
o 170796
o 170703
o 170657
o 170564
o 170483
o 170452
o 170359
o 170288
o 170195
o 169961
o 169868
o 169797
o 169766
o 169673
o 169602
o 169509
o 169275
o 169182
o 169136
o 169105
o 169012
o 168941
o 168848
o 168614
o 168521
o 168513
o 168427
o 168389
o 168263
o 167936
o 167898
o 167890
o 167852
o 167766
o 167728
o 167602
o 167275
o 167237
o 167230
o 167192
o 167184
o 167146
o 167060
o 167022
o 166989
o 166896
o 166662
o 166569
o 166531
o 166503
o 166479
o 166471
o 166378
o 166340
o 166297
o 166259
o 166173
o 166135
o 166102
o 166009
o 165775
o 165682
o 165644
o 165611
o 165573
o 165487
o 165449
o 165416
o 165323
o 165089
o 164996
o 164958
o 164950
o 164912
o 164826
o 164788
o 164755
o 164662
o 164428
o Killed
1979.654u 0.045s 33:03.17 99.8%	0+0k 0+0io 0pf+0w