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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 288 1957 3670388
WARNING: Ubcsat not found.
o 3670388
o 315947
o 314385
o 314160
o 313497
o 313276
o 313051
o 312388
o 311734
o 311509
o 310846
o 310666
o 310650
o 310425
o 309762
o 309651
o 309426
o 308763
o 308693
o 308162
o 308079
o 307854
o 307191
o 306561
o 306507
o 306450
o 306225
o 305562
o 305508
o 305492
o 305438
o 304961
o 304907
o 304878
o 304653
o 303990
o 303936
o 303737
o 303683
o 303654
o 303429
o 302766
o 302712
o 302711
o 302682
o 302457
o 301794
o 301740
o 301724
o 301670
o 301493
o 301439
o 301417
o 301240
o 301186
o 300732
o 300678
o 300500
o 300446
o 300269
o 300215
o 300214
o 299760
o 299706
o 299528
o 299474
o 299297
o 299243
o 299224
o 299170
o 298993
o 298939
o 298841
o 298787
o 298765
o 298588
o 298534
o 298080
o 298026
o 297848
o 297794
o 297617
o 297563
o 297562
o 297108
o 297054
o 296876
o 296822
o 296645
o 296591
o 296504
o 296450
o 296449
o 295995
o 295941
o 295763
o 295709
o 295532
o 295478
o 295361
o 295307
o 295187
o 295133
o 294955
o 294901
o 294724
o 294670
o 294630
o 294576
o 294398
o 294344
o 294167
o 294113
o 294026
o 293972
o 293971
o 293517
o 293463
o 293285
o 293231
o 293054
o 293000
o 292883
o 292829
o 292709
o 292655
o 292477
o 292423
o 292246
o 292192
o 292040
o 291986
o 291809
o 291755
o 291638
o 291584
o 291464
o 291410
o 291232
o 291178
o 291001
o 290947
o 290586
o 290532
o 290354
o 290300
o 290123
o 290069
o 289952
o 289898
o 289778
o 289724
o 289546
o 289492
o 289315
o 289261
o 289221
o 289167
o 288989
o 288935
o 288758
o 288704
o 288617
o 288563
o 288562
o 288108
o 288054
o 287876
o 287822
o 287645
o 287591
o 287474
o 287420
o 287300
o 287246
o 287068
o 287014
o 286837
o 286783
o 286631
o 286577
o 286400
o 286346
o 286229
o 286175
o 286055
o 286001
o 285823
o 285769
o 285592
o 285538
o 285418
o 285364
o 285329
o 285275
o 285158
o 285104
o 284984
o 284930
o 284752
o 284698
o 284521
o 284467
o 284315
o 284261
o 284084
o 284030
o 283913
o 283859
o 283739
o 283685
o 283507
o 283453
o 283276
o 283222
o 283208
o 283154
o 282977
o 282923
o 282806
o 282752
o 282632
o 282578
o 282400
o 282346
o 282169
o 282115
o 282002
o 281948
o 281770
o 281716
o 281539
o 281485
o 281421
o 281367
o 281189
o 281135
o 280958
o 280904
o 280877
o 280757
o 280703
o 280525
o 280471
o 280294
o 280240
o 280120
o 280066
o 280064
o 279887
o 279833
o 279806
o 279686
o 279632
o 279454
o 279400
o 279223
o 279169
o 279105
o 279051
o 278873
o 278819
o 278642
o 278588
o 278561
o 278441
o 278387
o 278209
o 278155
o 277978
o 277924
o 277766
o 277712
o 277535
o 277481
o 277454
o 277334
o 277280
o 277102
o 277048
o 276871
o 276817
o 276743
o 276689
o 276511
o 276457
o 276280
o 276226
o 276104
o 276050
o 275873
o 275819
o 275755
o 275701
o 275523
o 275469
o 275292
o 275238
o 275211
o 275091
o 275037
o 274859
o 274805
o 274628
o 274574
o 274416
o 274362
o 274185
o 274131
o 274104
o 273984
o 273930
o 273752
o 273698
o 273521
o 273467
o 273440
o 273320
o 273266
o 273088
o 273034
o 272857
o 272803
o 272693
o 272639
o 272575
o 272521
o 272343
o 272289
o 272112
o 272058
o 272031
o 271911
o 271857
o 271679
o 271625
o 271448
o 271394
o 271236
o 271182
o 271005
o 270951
o 270924
o 270804
o 270750
o 270572
o 270518
o 270341
o 270287
o 270260
o 270140
o 270086
o 269908
o 269854
o 269677
o 269623
o 269562
o 269508
o 269331
o 269277
o 269185
o 269131
o 268981
o 268927
o 268750
o 268696
o 268669
o 268549
o 268495
o 268317
o 268263
o 268086
o 268032
o 268024
o 267874
o 267820
o 267643
o 267589
o 267562
o 267442
o 267388
o 267210
o 267156
o 266979
o 266925
o 266898
o 266778
o 266724
o 266546
o 266492
o 266315
o 266261
o 266151
o 266097
o 266005
o 265951
o 265801
o 265747
o 265570
o 265516
o 265489
o 265369
o 265315
o 265137
o 265083
o 264906
o 264852
o 264844
o 264694
o 264640
o 264463
o 264409
o 264382
o 264262
o 264208
o 264030
o 263976
o 263799
o 263745
o 263718
o 263598
o 263544
o 263366
o 263312
o 263135
o 263081
o 262974
o 262920
o 262893
o 262773
o 262719
o 262541
o 262487
o 262310
o 262256
o 262206
o 262029
o 261975
o 261948
o 261828
o 261774
o 261596
o 261542
o 261365
o 261311
o 261284
o 261164
o 261110
o 260932
o 260878
o 260701
o 260647
o 260547
o 260493
o 260466
o 260346
o 260292
o 260114
o 260060
o 259883
o 259829
o 259803
o 259683
o 259629
o 259451
o 259397
o 259220
o 259166
o 259150
o 259096
o 258919
o 258865
o 258838
o 258718
o 258664
o 258486
o 258432
o 258255
o 258201
o 258094
o 258040
o 258013
o 257893
o 257839
o 257661
o 257607
o 257430
o 257376
o 257326
o 257149
o 257095
o 257068
o 256948
o 256894
o 256716
o 256662
o 256485
o 256431
o 256404
o 256284
o 256230
o 256052
o 255998
o 255821
o 255767
o 255667
o 255613
o 255586
o 255466
o 255412
o 255234
o 255180
o 255003
o 254949
o 254850
o 254796
o 254618
o 254564
o 254387
o 254333
o 254307
o 254187
o 254133
o 253955
o 253901
o 253724
o 253670
o 253654
o 253600
o 253423
o 253369
o 253342
o 253222
o 253168
o 252990
o 252936
o 252759
o 252705
o 252598
o 252544
o 252517
o 252397
o 252343
o 252165
o 252111
o 251934
o 251880
o 251830
o 251653
o 251599
o 251572
o 251452
o 251398
o 251220
o 251166
o 250989
o 250935
o 250908
o 250788
o 250734
o 250556
o 250502
o 250325
o 250271
o 250171
o 250117
o 250090
o 249970
o 249916
o 249738
o 249684
o 249507
o 249453
o 249430
o 249376
o 249277
o 249223
o 249045
o 248991
o 248814
o 248760
o 248734
o 248614
o 248560
o 248382
o 248328
o 248151
o 248097
o 248081
o 248027
o 247850
o 247796
o 247769
o 247649
o 247595
o 247417
o 247363
o 247186
o 247132
o 247025
o 246971
o 246944
o 246824
o 246770
o 246592
o 246538
o 246361
o 246307
o 246257
o 246080
o 246026
o 245999
o 245879
o 245825
o 245647
o 245593
o 245416
o 245362
o 245335
o 245215
o 245161
o 244983
o 244929
o 244752
o 244698
o 244598
o 244544
o 244517
o 244397
o 244343
o 244165
o 244111
o 243934
o 243880
o 243828
o 243651
o 243597
o 243581
o 243527
o 243350
o 243296
o 243269
o 243149
o 243095
o 242917
o 242863
o 242686
o 242632
o 242525
o 242471
o 242444
o 242324
o 242270
o 242092
o 242038
o 241861
o 241807
o 241804
o 241627
o 241573
o 241526
o 241499
o 241379
o 241325
o 241147
o 241093
o 240916
o 240862
o 240835
o 240715
o 240661
o 240483
o 240429
o 240252
o 240198
o 240098
o 240044
o 240017
o 239897
o 239843
o 239665
o 239611
o 239434
o 239380
o 239340
o 239162
o 239108
o 238931
o 238877
o 238770
o 238716
o 238689
o 238569
o 238515
o 238337
o 238283
o 238106
o 238052
o 238002
o 237825
o 237771
o 237744
o 237624
o 237570
o 237392
o 237338
o 237161
o 237107
o 237080
o 236960
o 236906
o 236728
o 236674
o 236497
o 236443
o 236343
o 236289
o 236262
o 236142
o 236088
o 235910
o 235856
o 235679
o 235625
o 235573
o 235396
o 235342
o 235326
o 235272
o 235095
o 235041
o 235014
o 234894
o 234840
o 234662
o 234608
o 234431
o 234377
o 234270
o 234216
o 234189
o 234069
o 234015
o 233837
o 233783
o 233606
o 233552
o 233549
o 233372
o 233318
o 233271
o 233244
o 233124
o 233070
o 232892
o 232838
o 232661
o 232607
o 232580
o 232460
o 232406
o 232228
o 232174
o 231997
o 231943
o 231843
o 231789
o 231762
o 231642
o 231588
o 231410
o 231356
o 231179
o 231125
o 231057
o 231003
o 231000
o 230946
o 230919
o 230799
o 230745
o 230567
o 230513
o 230336
o 230282
o 230255
o 230135
o 230081
o 229903
o 229849
o 229672
o 229618
o 229518
o 229464
o 229437
o 229317
o 229263
o 229085
o 229031
o 228854
o 228800
o 228748
o 228571
o 228517
o 228501
o 228447
o 228270
o 228216
o 228189
o 228069
o 228015
o 227837
o 227783
o 227606
o 227552
o 227445
o 227391
o 227364
o 227244
o 227190
o 227012
o 226958
o 226781
o 226727
o 226557
o 226503
o 226493
o 226446
o 226419
o 226299
o 226245
o 226067
o 226013
o 225836
o 225782
o 225755
o 225635
o 225581
o 225403
o 225349
o 225172
o 225118
o 225018
o 224964
o 224937
o 224817
o 224763
o 224585
o 224531
o 224354
o 224300
o 224256
o 224229
o 224109
o 224055
o 223877
o 223823
o 223646
o 223592
o 223565
o 223445
o 223391
o 223213
o 223159
o 222982
o 222928
o 222828
o 222774
o 222747
o 222627
o 222573
o 222395
o 222341
o 222164
o 222110
o 222058
o 221881
o 221827
o 221811
o 221757
o 221580
o 221526
o 221499
o 221379
o 221325
o 221147
o 221093
o 220916
o 220862
o 220755
o 220701
o 220674
o 220554
o 220500
o 220322
o 220268
o 220091
o 220037
o 219867
o 219813
o 219803
o 219756
o 219729
o 219609
o 219555
o 219377
o 219323
o 219146
o 219092
o 219065
o 218945
o 218891
o 218713
o 218659
o 218482
o 218428
o 218328
o 218274
o 218247
o 218127
o 218073
o 217895
o 217841
o 217664
o 217610
o 217522
o 217468
o 217291
o 217237
o 217137
o 217083
o 217056
o 216936
o 216882
o 216704
o 216650
o 216473
o 216419
o 216267
o 216213
o 216036
o 215982
o 215942
o 215765
o 215711
o 215684
o 215564
o 215510
o 215332
o 215278
o 215101
o 215047
o 214947
o 214893
o 214866
o 214746
o 214692
o 214514
o 214460
o 214283
o 214229
o 214177
o 214000
o 213946
o 213930
o 213876
o 213699
o 213645
o 213618
o 213498
o 213444
o 213266
o 213212
o 213035
o 212981
o 212964
o 212937
o 212817
o 212763
o 212585
o 212531
o 212354
o 212300
o 212200
o 212146
o 212119
o 211999
o 211945
o 211767
o 211713
o 211536
o 211482
o 211442
o 211265
o 211211
o 211184
o 211064
o 211010
o 210832
o 210778
o 210601
o 210547
o 210447
o 210393
o 210366
o 210246
o 210192
o 210014
o 209960
o 209783
o 209729
o 209703
o 209649
o 209471
o 209417
o 209240
o 209186
o 209139
o 209085
o 209032
o 209005
o 208885
o 208831
o 208653
o 208599
o 208422
o 208368
o 208316
o 208139
o 208085
o 208068
o 207891
o 207837
o 207784
o 207757
o 207637
o 207583
o 207405
o 207351
o 207174
o 207120
o 207103
o 207076
o 206956
o 206902
o 206724
o 206670
o 206493
o 206439
o 206392
o 206338
o 206285
o 206258
o 206138
o 206084
o 205906
o 205852
o 205675
o 205621
o 205457
o 205403
o 205350
o 205323
o 205203
o 205149
o 204971
o 204917
o 204740
o 204686
o 204639
o 204585
o 204532
o 204505
o 204385
o 204331
o 204153
o 204099
o 203922
o 203868
o 203851
o 203674
o 203620
o 203520
o 203466
o 203439
o 203319
o 203265
o 203087
o 203033
o 202856
o 202802
o 202776
o 202722
o 202544
o 202490
o 202313
o 202259
o 202212
o 202158
o 202105
o 202078
o 201958
o 201904
o 201726
o 201672
o 201495
o 201441
o 201389
o 201212
o 201158
o 201141
o 200964
o 200910
o 200857
o 200830
o 200710
o 200656
o 200478
o 200424
o 200247
o 200193
o 200176
o 200149
o 200029
o 199975
o 199797
o 199743
o 199566
o 199512
o 199465
o 199411
o 199358
o 199331
o 199211
o 199157
o 198979
o 198925
o 198748
o 198694
o 198530
o 198476
o 198423
o 198396
o 198276
o 198222
o 198044
o 197990
o 197813
o 197759
o 197712
o 197658
o 197605
o 197578
o 197458
o 197404
o 197226
o 197172
o 196995
o 196941
o 196826
o 196772
o 196595
o 196541
o 196524
o 196347
o 196293
o 196193
o 196139
o 196112
o 195992
o 195938
o 195760
o 195706
o 195529
o 195475
o 195449
o 195395
o 195217
o 195163
o 194986
o 194932
o 194885
o 194831
o 194778
o 194751
o 194631
o 194577
o 194399
o 194345
o 194168
o 194114
o 194062
o 193885
o 193831
o 193814
o 193637
o 193583
o 193530
o 193503
o 193383
o 193329
o 193151
o 193097
o 192920
o 192866
o 192849
o 192822
o 192702
o 192648
o 192470
o 192416
o 192239
o 192185
o 192138
o 192084
o 192031
o 192004
o 191884
o 191830
o 191652
o 191598
o 191421
o 191367
o 191203
o 191149
o 191096
o 191069
o 190949
o 190895
o 190717
o 190663
o 190486
o 190432
o 190385
o 190331
o 190278
o 190251
o 190131
o 190077
o 189899
o 189845
o 189668
o 189614
o 189574
o 189520
o 189343
o 189289
o 189125
o 189071
o 189018
o 188991
o 188871
o 188817
o 188639
o 188585
o 188408
o 188354
o 188307
o 188253
o 188200
o 188173
o 188053
o 187999
o 187821
o 187767
o 187590
o 187536
o 187375
o 187321
o 187274
o 187220
o 187167
o 187140
o 187020
o 186966
o 186788
o 186734
o 186557
o 186503
o 186468
o 186291
o 186237
o 186190
o 186136
o 186083
o 186056
o 185936
o 185882
o 185704
o 185650
o 185473
o 185419
o 185255
o 185201
o 185148
o 185121
o 185001
o 184947
o 184769
o 184715
o 184538
o 184484
o 184437
o 184383
o 184330
o 184303
o 184183
o 184129
o 183951
o 183897
o 183720
o 183666
o 183626
o 183572
o 183395
o 183341
o 183177
o 183123
o 183070
o 183043
o 182923
o 182869
o 182691
o 182637
o 182460
o 182406
o 182359
o 182305
o 182252
o 182225
o 182105
o 182051
o 181873
o 181819
o 181642
o 181588
o 181501
o 181447
o 181270
o 181216
o 181167
o 181114
o 181087
o 180967
o 180913
o 180735
o 180681
o 180504
o 180450
o 180410
o 180356
o 180179
o 180125
o 179961
o 179907
o 179854
o 179827
o 179707
o 179653
o 179475
o 179421
o 179244
o 179190
o 179143
o 179089
o 179036
o 179009
o 178889
o 178835
o 178657
o 178603
o 178426
o 178372
o 178211
o 178157
o 178110
o 178056
o 178003
o 177976
o 177856
o 177802
o 177624
o 177570
o 177393
o 177339
o 177209
o 177155
o 176978
o 176924
o 176872
o 176818
o 176641
o 176587
o 176500
o 176446
o 176269
o 176215
o 176166
o 176113
o 176086
o 175966
o 175912
o 175734
o 175680
o 175503
o 175449
o 175409
o 175355
o 175178
o 175124
o 174960
o 174906
o 174853
o 174826
o 174706
o 174652
o 174474
o 174420
o 174243
o 174189
o 174142
o 174088
o 174035
o 174008
o 173888
o 173834
o 173656
o 173602
o 173425
o 173371
o 173210
o 173156
o 173109
o 173055
o 173002
o 172975
o 172855
o 172801
o 172623
o 172569
o 172392
o 172338
o 172208
o 172154
o 171977
o 171923
o 171869
o 171816
o 171789
o 171669
o 171615
o 171437
o 171383
o 171206
o 171152
o 170991
o 170937
o 170890
o 170836
o 170783
o 170756
o 170636
o 170582
o 170404
o 170350
o 170173
o 170119
o 169989
o 169935
o 169758
o 169704
o 169678
o 169651
o 169531
o 169477
o 169299
o 169245
o 169068
o 169014
o 168853
o 168799
o 168752
o 168698
o 168645
o 168618
o 168498
o 168444
o 168266
o 168212
o 168035
o 167981
o 167851
o 167797
o 167620
o 167566
o 167558
o 167504
o 167374
o 167320
o 167143
o 167089
o 167032
o 166978
o 166916
o 166862
o 166684
o 166630
o 166453
o 166399
o 166238
o 166184
o 166137
o 166083
o 165999
o 165945
o 165883
o 165829
o 165651
o 165597
o 165420
o 165366
o 165236
o 165182
o 165005
o 164951
o 164938
o 164774
o 164720
o 164667
o 164640
o 164520
o 164466
o 164288
o 164234
o 164057
o 164003
o 163956
o 163902
o 163849
o 163822
o 163702
o 163648
o 163470
o 163416
o 163239
o 163185
o 163024
o 162970
o 162923
o 162869
o 162816
o 162789
o 162669
o 162615
o 162437
o 162383
o 162206
o 162152
o 162022
o 161968
o 161791
o 161737
o 161696
o 161642
o 161589
o 161562
o 161442
o 161388
o 161210
o 161156
o 160979
o 160925
o 160899
o 160779
o 160725
o 160547
o 160493
o 160316
o 160262
o 160222
o 160168
o 159991
o 159937
o 159773
o 159719
o 159666
o 159639
o 159519
o 159465
o 159287
o 159233
o 159056
o 159002
o 158955
o 158901
o 158848
o 158821
o 158701
o 158647
o 158469
o 158415
o 158238
o 158184
o 158023
o 157969
o 157922
o 157868
o 157815
o 157788
o 157668
o 157614
o 157436
o 157382
o 157205
o 157151
o 157021
o 156967
o 156790
o 156736
o 156682
o 156629
o 156602
o 156482
o 156428
o 156250
o 156196
o 156019
o 155965
o 155804
o 155750
o 155703
o 155649
o 155596
o 155569
o 155449
o 155395
o 155217
o 155163
o 154986
o 154932
o 154802
o 154748
o 154571
o 154517
o 154491
o 154464
o 154344
o 154290
o 154112
o 154058
o 153881
o 153827
o 153666
o 153612
o 153565
o 153511
o 153458
o 153431
o 153311
o 153257
o 153079
o 153025
o 152848
o 152794
o 152664
o 152610
o 152433
o 152379
o 152371
o 152317
o 152187
o 152133
o 151956
o 151902
o 151845
o 151791
o 151729
o 151675
o 151497
o 151443
o 151266
o 151212
o 151051
o 150997
o 150950
o 150896
o 150812
o 150758
o 150696
o 150642
o 150464
o 150410
o 150233
o 150179
o 150049
o 149995
o 149818
o 149764
o 149756
o 149702
o 149524
o 149470
o 149293
o 149239
o 149078
o 149024
o 148977
o 148923
o 148839
o 148785
o 148723
o 148669
o 148491
o 148437
o 148260
o 148206
o 148076
o 148022
o 147845
o 147791
o 147733
o 147679
o 147502
o 147448
o 147350
o 147296
o 147287
o 147233
o 147135
o 147081
o 147034
o 146980
o 146896
o 146842
o 146700
o 146646
o 146469
o 146415
o 146317
o 146263
o 146231
o 146054
o 146000
o 145902
o 145848
o 145821
o 145820
o 145795
o 145741
o 145640
o 145586
o 145580
o 145526
o 145349
o 145295
o 145134
o 145080
o 145033
o 144979
o 144895
o 144841
o 144838
o 144784
o 144607
o 144553
o 144547
o 144493
o 144316
o 144262
o 144192
o 144138
o 144132
o 144078
o 143901
o 143847
o 143822
o 143768
o 143697
o 143643
o 143558
o 143504
o 143406
o 143352
o 143343
o 143289
o 143191
o 143137
o 143090
o 143036
o 142952
o 142898
o 142816
o 142762
o 142664
o 142610
o 142525
o 142471
o 142373
o 142319
o 142249
o 142195
o 142110
o 14Killed
1979.684u 0.015s 33:03.71 99.7%	0+0k 0+0io 0pf+0w