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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 272 1632 3000653
WARNING: Ubcsat not found.
o 3000653
o 321543
o 320205
o 319951
o 319368
o 319124
o 318870
o 318287
o 317711
o 317545
o 316962
o 316386
o 316186
o 316151
o 315568
o 314992
o 314826
o 314243
o 313667
o 313467
o 313048
o 312882
o 312299
o 311723
o 311523
o 311488
o 310905
o 310329
o 310163
o 309580
o 309004
o 308804
o 308718
o 308142
o 307942
o 307907
o 307324
o 306748
o 306582
o 305999
o 305423
o 305223
o 304978
o 304778
o 304382
o 304182
o 303988
o 303412
o 303212
o 302737
o 302537
o 302496
o 301920
o 301720
o 301475
o 301275
o 300879
o 300679
o 300485
o 299909
o 299709
o 299479
o 299279
o 298804
o 298604
o 298563
o 297987
o 297787
o 297542
o 297342
o 296946
o 296746
o 296552
o 295976
o 295776
o 295771
o 295577
o 295001
o 294801
o 294643
o 294602
o 294026
o 293826
o 293581
o 293381
o 292985
o 292785
o 292591
o 292015
o 291815
o 291810
o 291616
o 291040
o 290840
o 290519
o 290319
o 290314
o 290120
o 289544
o 289344
o 289148
o 289144
o 288948
o 288754
o 288374
o 288178
o 288174
o 287978
o 287973
o 287779
o 287399
o 287203
o 287199
o 287003
o 286878
o 286682
o 286678
o 286482
o 286477
o 286283
o 285903
o 285707
o 285703
o 285507
o 285293
o 284932
o 284732
o 284536
o 284532
o 284336
o 284142
o 284123
o 283762
o 283566
o 283562
o 283366
o 283361
o 283167
o 283148
o 282787
o 282591
o 282587
o 282391
o 282266
o 282070
o 282066
o 281870
o 281865
o 281671
o 281652
o 281291
o 281095
o 281091
o 280895
o 280743
o 280739
o 280543
o 280538
o 280344
o 279964
o 279768
o 279764
o 279568
o 279354
o 278993
o 278793
o 278597
o 278593
o 278397
o 278203
o 278184
o 277823
o 277627
o 277623
o 277427
o 277422
o 277228
o 277209
o 276848
o 276652
o 276648
o 276452
o 276327
o 276131
o 276127
o 275931
o 275926
o 275732
o 275713
o 275352
o 275156
o 275152
o 274956
o 274871
o 274866
o 274672
o 274292
o 274096
o 274092
o 273896
o 273682
o 273321
o 273121
o 272925
o 272921
o 272725
o 272531
o 272512
o 272151
o 271955
o 271951
o 271755
o 271750
o 271556
o 271537
o 271176
o 270980
o 270976
o 270780
o 270655
o 270459
o 270455
o 270259
o 270254
o 270060
o 270041
o 269680
o 269484
o 269480
o 269284
o 269192
o 269188
o 268992
o 268951
o 268932
o 268571
o 268375
o 268371
o 268175
o 268054
o 267858
o 267854
o 267658
o 267627
o 267608
o 267247
o 267051
o 267047
o 266851
o 266846
o 266652
o 266633
o 266272
o 266076
o 266072
o 265876
o 265751
o 265555
o 265551
o 265355
o 265350
o 265156
o 265137
o 264776
o 264580
o 264576
o 264380
o 264207
o 264203
o 264007
o 264002
o 263808
o 263789
o 263428
o 263232
o 263228
o 263032
o 262940
o 262936
o 262740
o 262699
o 262680
o 262319
o 262123
o 262119
o 261923
o 261802
o 261606
o 261602
o 261406
o 261375
o 261356
o 260995
o 260799
o 260795
o 260599
o 260594
o 260400
o 260381
o 260020
o 259824
o 259820
o 259624
o 259499
o 259303
o 259299
o 259103
o 259098
o 258904
o 258885
o 258524
o 258328
o 258324
o 258128
o 258023
o 257898
o 257702
o 257698
o 257502
o 257497
o 257303
o 257284
o 256923
o 256727
o 256723
o 256527
o 256354
o 256350
o 256154
o 256149
o 255955
o 255936
o 255575
o 255379
o 255375
o 255179
o 255087
o 255083
o 254887
o 254846
o 254827
o 254466
o 254270
o 254266
o 254070
o 253949
o 253753
o 253749
o 253553
o 253522
o 253503
o 253142
o 252946
o 252942
o 252746
o 252741
o 252547
o 252528
o 252167
o 251971
o 251967
o 251771
o 251646
o 251450
o 251446
o 251250
o 251245
o 251051
o 251032
o 250671
o 250475
o 250471
o 250275
o 250184
o 250037
o 249841
o 249837
o 249641
o 249549
o 249545
o 249349
o 249275
o 249271
o 249075
o 248928
o 248732
o 248728
o 248532
o 248411
o 248215
o 248211
o 248015
o 247951
o 247947
o 247751
o 247746
o 247552
o 247533
o 247172
o 246976
o 246972
o 246776
o 246629
o 246433
o 246429
o 246233
o 246056
o 246037
o 245676
o 245480
o 245476
o 245280
o 245133
o 244937
o 244933
o 244737
o 244582
o 244435
o 244239
o 244235
o 244039
o 243774
o 243578
o 243574
o 243378
o 243287
o 243140
o 242944
o 242940
o 242744
o 242652
o 242648
o 242452
o 242378
o 242374
o 242178
o 242031
o 241835
o 241831
o 241635
o 241514
o 241318
o 241314
o 241118
o 241054
o 241050
o 240854
o 240849
o 240655
o 240636
o 240275
o 240079
o 240075
o 239879
o 239732
o 239536
o 239532
o 239336
o 239159
o 239140
o 238779
o 238583
o 238579
o 238383
o 238236
o 238040
o 238036
o 237840
o 237752
o 237556
o 237552
o 237356
o 237091
o 236895
o 236891
o 236695
o 236604
o 236457
o 236261
o 236257
o 236061
o 235969
o 235965
o 235769
o 235695
o 235691
o 235495
o 235348
o 235152
o 235148
o 234952
o 234831
o 234635
o 234631
o 234435
o 234371
o 234367
o 234171
o 234166
o 233972
o 233953
o 233592
o 233396
o 233392
o 233196
o 233049
o 232853
o 232849
o 232653
o 232476
o 232457
o 232096
o 231900
o 231896
o 231700
o 231553
o 231357
o 231353
o 231157
o 231108
o 230912
o 230908
o 230712
o 230621
o 230474
o 230278
o 230274
o 230078
o 229986
o 229982
o 229786
o 229702
o 229555
o 229359
o 229355
o 229159
o 229129
o 229125
o 228929
o 228782
o 228586
o 228582
o 228386
o 228384
o 228188
o 228183
o 227989
o 227970
o 227609
o 227413
o 227409
o 227213
o 227066
o 226870
o 226866
o 226670
o 226493
o 226474
o 226113
o 225917
o 225913
o 225717
o 225570
o 225374
o 225370
o 225174
o 225058
o 225039
o 224678
o 224482
o 224478
o 224282
o 224246
o 224135
o 223939
o 223935
o 223739
o 223703
o 223690
o 223494
o 223490
o 223294
o 223258
o 223203
o 223167
o 223056
o 222860
o 222856
o 222660
o 222624
o 222568
o 222564
o 222368
o 222332
o 222284
o 222248
o 222137
o 221941
o 221937
o 221741
o 221705
o 221511
o 221475
o 221364
o 221168
o 221164
o 220968
o 220932
o 220770
o 220734
o 220571
o 220552
o 220191
o 219995
o 219991
o 219795
o 219759
o 219648
o 219452
o 219448
o 219252
o 219216
o 219075
o 219056
o 218695
o 218499
o 218495
o 218299
o 218263
o 218152
o 217956
o 217952
o 217756
o 217720
o 217678
o 217531
o 217335
o 217331
o 217135
o 216958
o 216939
o 216875
o 216578
o 216382
o 216378
o 216182
o 216035
o 215839
o 215835
o 215639
o 215523
o 215504
o 215440
o 215143
o 214947
o 214943
o 214747
o 214711
o 214600
o 214404
o 214400
o 214204
o 214168
o 214155
o 213959
o 213955
o 213759
o 213723
o 213668
o 213632
o 213521
o 213325
o 213321
o 213125
o 213089
o 213033
o 213029
o 212833
o 212797
o 212749
o 212713
o 212602
o 212406
o 212402
o 212206
o 212170
o 211976
o 211940
o 211829
o 211633
o 211629
o 211433
o 211397
o 211235
o 211199
o 211036
o 211017
o 210953
o 210656
o 210460
o 210456
o 210260
o 210224
o 210113
o 209917
o 209913
o 209717
o 209681
o 209540
o 209521
o 209457
o 209160
o 208964
o 208960
o 208764
o 208728
o 208617
o 208421
o 208417
o 208221
o 208185
o 208179
o 208175
o 207979
o 207832
o 207636
o 207632
o 207436
o 207320
o 207301
o 207237
o 206940
o 206744
o 206740
o 206544
o 206508
o 206397
o 206201
o 206197
o 206001
o 205965
o 205952
o 205756
o 205752
o 205556
o 205520
o 205465
o 205429
o 205318
o 205122
o 205118
o 204922
o 204886
o 204830
o 204826
o 204630
o 204594
o 204546
o 204510
o 204399
o 204203
o 204199
o 204003
o 203967
o 203773
o 203737
o 203626
o 203430
o 203426
o 203230
o 203194
o 203032
o 202996
o 202833
o 202814
o 202750
o 202453
o 202257
o 202253
o 202057
o 202021
o 201910
o 201714
o 201710
o 201514
o 201478
o 201337
o 201318
o 201254
o 200957
o 200761
o 200757
o 200561
o 200525
o 200414
o 200218
o 200214
o 200018
o 199982
o 199824
o 199708
o 199689
o 199625
o 199328
o 199132
o 199128
o 198932
o 198896
o 198785
o 198589
o 198585
o 198389
o 198353
o 198340
o 198144
o 198140
o 197944
o 197908
o 197853
o 197817
o 197706
o 197510
o 197506
o 197310
o 197274
o 197218
o 197214
o 197018
o 196982
o 196934
o 196898
o 196787
o 196591
o 196587
o 196391
o 196355
o 196161
o 196125
o 196014
o 195818
o 195814
o 195618
o 195582
o 195420
o 195384
o 195221
o 195202
o 195138
o 194841
o 194645
o 194641
o 194445
o 194409
o 194298
o 194102
o 194098
o 193902
o 193866
o 193725
o 193706
o 193642
o 193345
o 193149
o 193145
o 192949
o 192913
o 192802
o 192606
o 192602
o 192406
o 192370
o 192299
o 192280
o 192216
o 191919
o 191723
o 191719
o 191523
o 191487
o 191376
o 191180
o 191176
o 190980
o 190944
o 190803
o 190784
o 190720
o 190423
o 190227
o 190223
o 190027
o 189991
o 189880
o 189684
o 189680
o 189484
o 189448
o 189310
o 189291
o 189227
o 188930
o 188734
o 188730
o 188534
o 188498
o 188387
o 188191
o 188187
o 187991
o 187955
o 187797
o 187681
o 187662
o 187598
o 187301
o 187105
o 187101
o 186905
o 186869
o 186758
o 186562
o 186558
o 186362
o 186326
o 186313
o 186117
o 186113
o 185917
o 185881
o 185826
o 185790
o 185679
o 185483
o 185479
o 185283
o 185247
o 185191
o 185187
o 184991
o 184955
o 184907
o 184871
o 184760
o 184564
o 184560
o 184364
o 184328
o 184134
o 184098
o 183987
o 183791
o 183787
o 183591
o 183555
o 183393
o 183357
o 183194
o 183175
o 183111
o 182814
o 182618
o 182614
o 182418
o 182382
o 182271
o 182075
o 182071
o 181875
o 181839
o 181698
o 181679
o 181615
o 181318
o 181122
o 181118
o 180922
o 180886
o 180775
o 180579
o 180575
o 180379
o 180343
o 180272
o 180253
o 180189
o 179892
o 179696
o 179692
o 179496
o 179460
o 179349
o 179153
o 179149
o 178953
o 178917
o 178776
o 178757
o 178693
o 178396
o 178200
o 178196
o 178000
o 177964
o 177853
o 177657
o 177653
o 177457
o 177421
o 177407
o 177403
o 177207
o 177171
o 177155
o 177012
o 176976
o 176960
o 176771
o 176575
o 176539
o 176326
o 176130
o 176094
o 176039
o 176003
o 175989
o 175692
o 175496
o 175460
o 175400
o 175204
o 175168
o 175120
o 175084
o 175070
o 174773
o 174577
o 174541
o 174347
o 174311
o 174297
o 174000
o 173804
o 173768
o 173750
o 173714
o 173606
o 173570
o 173403
o 173207
o 173188
o 173124
o 172827
o 172631
o 172595
o 172581
o 172284
o 172088
o 172052
o 171907
o 171711
o 171692
o 171628
o 171331
o 171135
o 171099
o 171085
o 170788
o 170592
o 170556
o 170481
o 170285
o 170266
o 170202
o 169905
o 169709
o 169673
o 169659
o 169362
o 169166
o 169130
o 168985
o 168789
o 168770
o 168706
o 168409
o 168213
o 168177
o 168163
o 167866
o 167670
o 167634
o 167616
o 167420
o 167384
o 167320
o 167023
o 166827
o 166791
o 166777
o 166480
o 166284
o 166248
o 166108
o 165912
o 165893
o 165829
o 165532
o 165336
o 165300
o 165286
o 164989
o 164793
o 164757
o 164739
o 164543
o 164507
o 164491
o 164348
o 164312
o 164296
o 164237
o 163940
o 163744
o 163708
o 163694
o 163397
o 163201
o 163165
o 163147
o 162951
o 162915
o 162899
o 162756
o 162720
o 162704
o 162574
o 162538
o 162522
o 162379
o 162343
o 162327
o 162322
o 162306
o 162280
o 162244
o 162230
o 161933
o 161737
o 161701
o 161683
o 161487
o 161451
o 161435
o 161292
o 161256
o 161240
o 161211
o 161175
o 161157
o 161065
o 161026
o 160961
o 160925
o 160909
o 160870
o 160831
o 160766
o 160730
o 160714
o 160688
o 160652
o 160638
o 160341
o 160145
o 160109
o 160091
o 159895
o 159859
o 159843
o 159700
o 159664
o 159648
o 159518
o 159482
o 159466
o 159323
o 159287
o 159271
o 159255
o 159112
o 159076
o 159060
o 159059
o 159020
o 158981
o 158916
o 158880
o 158864
o 158838
o 158802
o 158788
o 158491
o 158295
o 158259
o 158241
o 158045
o 158009
o 157993
o 157850
o 157814
o 157798
o 157668
o 157632
o 157616
o 157473
o 157437
o 157421
o 157405
o 157262
o 157226
o 157210
o 157204
o 157025
o 157009
o 156993
o 156814
o 156798
o 156628
o 156612
o 156433
o 156417
o 156352
o 156298
o 156206
o 156167
o 156102
o 156086
o 156011
o 155972
o 155907
o 155891
o 155829
o 155779
o 155482
o 155286
o 155232
o 155036
o 155020
o 154841
o 154825
o 154659
o 154643
o 154464
o 154448
o 154430
o 154234
o 154046
o 153992
o 153796
o 153780
o 153601
o 153585
o 153419
o 153403
o 153224
o 153208
o 153192
o 153013
o 152997
o 152991
o 152975
o 152809
o 152793
o 152614
o 152598
o 152580
o 152384
o 152196
o 152142
o 151946
o 151930
o 151751
o 151735
o 151569
o 151553
o 151374
o 151358
o 151342
o 151163
o 151147
o 151091
o 151075
o 150909
o 150893
o 150714
o 150698
o 150682
o 150503
o 150487
o 150481
o 150465
o 150299
o 150283
o 150104
o 150088
o 150070
o 149874
o 149686
o 149632
o 149436
o 149420
o 149241
o 149225
o 149059
o 149043
o 148864
o 148848
o 148832
o 148653
o 148637
o 148634
o 148438
o 148422
o 148243
o 148227
o 148061
o 148045
o 147866
o 147850
o 147832
o 147636
o 147448
o 147394
o 147198
o 147182
o 147003
o 146987
o 146821
o 146805
o 146626
o 146610
o 146594
o 146415
o 146399
o 146393
o 146377
o 146211
o 1Killed
1979.605u 0.094s 33:07.42 99.6%	0+0k 0+0io 0pf+0w