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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 303 2736 5588504
WARNING: Ubcsat not found.
o 5588504
o 334092
o 332590
o 331308
o 330183
o 328076
o 326988
o 326822
o 326744
o 325619
o 324531
o 323473
o 322991
o 322496
o 321438
o 320836
o 320212
o 320196
o 319925
o 319443
o 318948
o 317890
o 317288
o 316664
o 316648
o 316617
o 316190
o 315687
o 315671
o 315391
o 315375
o 314964
o 314948
o 314835
o 314509
o 314233
o 313609
o 313593
o 313283
o 313267
o 313135
o 312809
o 312632
o 312616
o 312336
o 312320
o 311909
o 311893
o 311583
o 311567
o 311395
o 311379
o 311099
o 311083
o 310672
o 310656
o 310543
o 310217
o 309941
o 309317
o 309301
o 308991
o 308975
o 308843
o 308517
o 308340
o 308324
o 308044
o 308028
o 307617
o 307601
o 307291
o 307275
o 307075
o 307059
o 306887
o 306871
o 306591
o 306575
o 306164
o 306148
o 306035
o 305709
o 305433
o 304809
o 304793
o 304483
o 304467
o 304335
o 304009
o 303832
o 303816
o 303536
o 303520
o 303109
o 303093
o 302783
o 302767
o 302692
o 302676
o 302396
o 302380
o 301969
o 301953
o 301643
o 301627
o 301546
o 301530
o 301430
o 301414
o 301104
o 301088
o 301013
o 300997
o 300717
o 300701
o 300290
o 300274
o 299964
o 299948
o 299819
o 299803
o 299523
o 299507
o 299096
o 299080
o 298770
o 298754
o 298679
o 298663
o 298383
o 298367
o 297956
o 297940
o 297630
o 297614
o 297316
o 297300
o 297290
o 297274
o 296863
o 296847
o 296537
o 296521
o 296440
o 296424
o 296324
o 296308
o 295998
o 295982
o 295963
o 295947
o 295637
o 295621
o 295611
o 295595
o 295184
o 295168
o 294858
o 294842
o 294769
o 294753
o 294443
o 294427
o 294417
o 294401
o 293990
o 293974
o 293664
o 293648
o 293629
o 293613
o 293303
o 293287
o 293277
o 293261
o 292850
o 292834
o 292524
o 292508
o 292498
o 292218
o 292202
o 291791
o 291775
o 291465
o 291449
o 291151
o 291135
o 291125
o 291109
o 290698
o 290682
o 290372
o 290356
o 290275
o 290259
o 290159
o 290143
o 289833
o 289817
o 289798
o 289782
o 289472
o 289456
o 289446
o 289430
o 289019
o 289003
o 288693
o 288677
o 288604
o 288588
o 288278
o 288262
o 288252
o 288236
o 287825
o 287809
o 287499
o 287483
o 287464
o 287448
o 287138
o 287122
o 287112
o 287096
o 286685
o 286669
o 286359
o 286343
o 285954
o 285938
o 285628
o 285612
o 285314
o 285298
o 285288
o 285272
o 284861
o 284845
o 284535
o 284519
o 284438
o 284422
o 284322
o 284306
o 283996
o 283980
o 283961
o 283945
o 283635
o 283619
o 283609
o 283593
o 283182
o 283166
o 282856
o 282840
o 282767
o 282751
o 282441
o 282425
o 282415
o 282399
o 281988
o 281972
o 281662
o 281646
o 281627
o 281611
o 281301
o 281285
o 281275
o 281259
o 280848
o 280832
o 280522
o 280506
o 280384
o 280368
o 280058
o 280042
o 279961
o 279945
o 279845
o 279829
o 279519
o 279503
o 279484
o 279468
o 279158
o 279142
o 279132
o 279116
o 278705
o 278689
o 278379
o 278363
o 278290
o 278274
o 277964
o 277948
o 277938
o 277922
o 277511
o 277495
o 277185
o 277169
o 277150
o 277134
o 276824
o 276808
o 276798
o 276782
o 276371
o 276355
o 276045
o 276029
o 275727
o 275711
o 275692
o 275676
o 275366
o 275350
o 275340
o 275324
o 274913
o 274897
o 274587
o 274571
o 274557
o 274547
o 274531
o 274120
o 274104
o 273794
o 273778
o 273514
o 273498
o 273488
o 273472
o 273061
o 273045
o 272735
o 272719
o 272705
o 272695
o 272679
o 272268
o 272252
o 271942
o 271926
o 271804
o 271788
o 271774
o 271764
o 271748
o 271337
o 271321
o 271011
o 270995
o 270938
o 270922
o 270908
o 270898
o 270882
o 270471
o 270455
o 270145
o 270129
o 270126
o 269816
o 269800
o 269654
o 269638
o 269516
o 269500
o 269486
o 269476
o 269460
o 269049
o 269033
o 268723
o 268707
o 268535
o 268519
o 268500
o 268484
o 268174
o 268158
o 268148
o 268132
o 267721
o 267705
o 267395
o 267379
o 267365
o 267355
o 267339
o 266928
o 266912
o 266602
o 266586
o 266322
o 266306
o 266296
o 266280
o 265869
o 265853
o 265543
o 265527
o 265513
o 265503
o 265487
o 265076
o 265060
o 264750
o 264734
o 264612
o 264596
o 264582
o 264572
o 264556
o 264145
o 264129
o 263819
o 263803
o 263746
o 263730
o 263716
o 263706
o 263690
o 263279
o 263263
o 262953
o 262937
o 262934
o 262624
o 262608
o 262462
o 262446
o 262324
o 262308
o 262294
o 262284
o 262268
o 261857
o 261841
o 261531
o 261515
o 261306
o 261290
o 260980
o 260964
o 260700
o 260684
o 260674
o 260658
o 260247
o 260231
o 259921
o 259905
o 259891
o 259881
o 259865
o 259454
o 259438
o 259128
o 259112
o 258990
o 258974
o 258960
o 258950
o 258934
o 258523
o 258507
o 258197
o 258181
o 258124
o 258108
o 258094
o 258084
o 258068
o 257657
o 257641
o 257331
o 257315
o 257312
o 257002
o 256986
o 256840
o 256824
o 256702
o 256686
o 256672
o 256662
o 256646
o 256235
o 256219
o 255909
o 255893
o 255881
o 255708
o 255692
o 255382
o 255366
o 255189
o 255173
o 255051
o 255035
o 255021
o 254966
o 254950
o 254777
o 254761
o 254451
o 254435
o 254258
o 254242
o 254185
o 254169
o 254155
o 254100
o 254084
o 253911
o 253895
o 253585
o 253569
o 253392
o 253376
o 253256
o 253240
o 253063
o 253047
o 252901
o 252885
o 252763
o 252747
o 252733
o 252678
o 252662
o 252489
o 252473
o 252163
o 252147
o 251970
o 251954
o 251711
o 251695
o 251692
o 251382
o 251366
o 251220
o 251204
o 251082
o 251066
o 251052
o 251042
o 251026
o 250615
o 250599
o 250289
o 250273
o 250261
o 250088
o 250072
o 249762
o 249746
o 249569
o 249553
o 249431
o 249415
o 249401
o 249346
o 249330
o 249157
o 249141
o 248831
o 248815
o 248638
o 248622
o 248565
o 248549
o 248535
o 248480
o 248464
o 248291
o 248275
o 247965
o 247949
o 247772
o 247756
o 247636
o 247620
o 247443
o 247427
o 247281
o 247265
o 247143
o 247127
o 247113
o 247058
o 247042
o 246869
o 246853
o 246543
o 246527
o 246350
o 246334
o 246090
o 246074
o 245764
o 245748
o 245736
o 245563
o 245547
o 245237
o 245221
o 245044
o 245028
o 244906
o 244890
o 244876
o 244821
o 244805
o 244632
o 244616
o 244306
o 244290
o 244113
o 244097
o 244040
o 244024
o 244010
o 243955
o 243939
o 243766
o 243750
o 243440
o 243424
o 243247
o 243231
o 243111
o 243095
o 242918
o 242902
o 242756
o 242740
o 242618
o 242602
o 242588
o 242533
o 242517
o 242344
o 242328
o 242018
o 242002
o 241825
o 241809
o 241655
o 241639
o 241517
o 241501
o 241487
o 241432
o 241416
o 241243
o 241227
o 240917
o 240901
o 240724
o 240708
o 240651
o 240635
o 240621
o 240566
o 240550
o 240377
o 240361
o 240051
o 240035
o 239858
o 239842
o 239722
o 239706
o 239529
o 239513
o 239367
o 239351
o 239229
o 239213
o 239199
o 239144
o 239128
o 238955
o 238939
o 238629
o 238613
o 238436
o 238420
o 238398
o 238382
o 238209
o 238193
o 237883
o 237867
o 237690
o 237674
o 237520
o 237504
o 237382
o 237366
o 237352
o 237297
o 237281
o 237108
o 237092
o 236782
o 236766
o 236589
o 236573
o 236516
o 236500
o 236486
o 236431
o 236415
o 236242
o 236226
o 235916
o 235900
o 235723
o 235707
o 235587
o 235571
o 235394
o 235378
o 235232
o 235216
o 235094
o 235078
o 235064
o 235009
o 234993
o 234820
o 234804
o 234494
o 234478
o 234301
o 234285
o 234283
o 234267
o 234121
o 234105
o 233983
o 233967
o 233953
o 233898
o 233882
o 233709
o 233693
o 233383
o 233367
o 233190
o 233174
o 233149
o 233133
o 232960
o 232944
o 232634
o 232618
o 232441
o 232425
o 232305
o 232289
o 232112
o 232096
o 231950
o 231934
o 231812
o 231796
o 231782
o 231727
o 231711
o 231538
o 231522
o 231212
o 231196
o 231019
o 231003
o 230981
o 230965
o 230792
o 230776
o 230466
o 230450
o 230273
o 230257
o 230103
o 230087
o 229965
o 229949
o 229935
o 229880
o 229864
o 229691
o 229675
o 229365
o 229349
o 229172
o 229156
o 229099
o 229083
o 229069
o 229014
o 228998
o 228825
o 228809
o 228499
o 228483
o 228306
o 228290
o 228170
o 228154
o 227977
o 227961
o 227815
o 227799
o 227677
o 227661
o 227647
o 227592
o 227576
o 227403
o 227387
o 227077
o 227061
o 226884
o 226868
o 226866
o 226850
o 226704
o 226688
o 226566
o 226550
o 226536
o 226481
o 226465
o 226292
o 226276
o 225966
o 225950
o 225773
o 225757
o 225655
o 225639
o 225625
o 225570
o 225554
o 225381
o 225365
o 225055
o 225039
o 224862
o 224846
o 224844
o 224828
o 224682
o 224666
o 224544
o 224528
o 224514
o 224459
o 224443
o 224270
o 224254
o 223944
o 223928
o 223751
o 223735
o 223710
o 223694
o 223521
o 223505
o 223195
o 223179
o 223002
o 222986
o 222866
o 222850
o 222673
o 222657
o 222511
o 222495
o 222373
o 222357
o 222343
o 222288
o 222272
o 222099
o 222083
o 221773
o 221757
o 221580
o 221564
o 221542
o 221526
o 221353
o 221337
o 221027
o 221011
o 220834
o 220818
o 220664
o 220648
o 220526
o 220510
o 220496
o 220441
o 220425
o 220252
o 220236
o 219926
o 219910
o 219733
o 219717
o 219660
o 219644
o 219630
o 219575
o 219559
o 219386
o 219370
o 219060
o 219044
o 218867
o 218851
o 218731
o 218715
o 218538
o 218522
o 218376
o 218360
o 218238
o 218222
o 218208
o 218153
o 218137
o 217964
o 217948
o 217638
o 217622
o 217445
o 217429
o 217427
o 217411
o 217265
o 217249
o 217127
o 217111
o 217097
o 217042
o 217026
o 216853
o 216837
o 216527
o 216511
o 216334
o 216318
o 216304
o 216290
o 216235
o 216219
o 216046
o 216030
o 215720
o 215704
o 215527
o 215511
o 215409
o 215393
o 215379
o 215324
o 215308
o 215135
o 215119
o 214809
o 214793
o 214616
o 214600
o 214598
o 214582
o 214436
o 214420
o 214298
o 214282
o 214268
o 214213
o 214197
o 214024
o 214008
o 213698
o 213682
o 213505
o 213489
o 213488
o 213472
o 213295
o 213279
o 213275
o 213259
o 212949
o 212933
o 212756
o 212740
o 212620
o 212604
o 212427
o 212411
o 212265
o 212249
o 212127
o 212111
o 212097
o 212042
o 212026
o 211853
o 211837
o 211527
o 211511
o 211334
o 211318
o 211296
o 211280
o 211107
o 211091
o 210781
o 210765
o 210588
o 210572
o 210418
o 210402
o 210280
o 210264
o 210250
o 210195
o 210179
o 210006
o 209990
o 209680
o 209664
o 209487
o 209471
o 209353
o 209337
o 209160
o 209144
o 209140
o 209124
o 208814
o 208798
o 208621
o 208605
o 208485
o 208469
o 208292
o 208276
o 208130
o 208114
o 207992
o 207976
o 207962
o 207907
o 207891
o 207718
o 207702
o 207392
o 207376
o 207199
o 207183
o 207181
o 207165
o 207019
o 207003
o 206881
o 206865
o 206851
o 206796
o 206780
o 206607
o 206591
o 206281
o 206265
o 206088
o 206072
o 206063
o 205886
o 205870
o 205869
o 205853
o 205676
o 205660
o 205656
o 205640
o 205330
o 205314
o 205137
o 205121
o 205001
o 204985
o 204808
o 204792
o 204646
o 204630
o 204508
o 204492
o 204478
o 204423
o 204407
o 204234
o 204218
o 203908
o 203892
o 203715
o 203699
o 203677
o 203661
o 203488
o 203472
o 203162
o 203146
o 202969
o 202953
o 202909
o 202893
o 202720
o 202704
o 202394
o 202378
o 202201
o 202185
o 202061
o 202045
o 201868
o 201852
o 201734
o 201718
o 201541
o 201525
o 201521
o 201505
o 201195
o 201179
o 201002
o 200986
o 200866
o 200850
o 200673
o 200657
o 200511
o 200495
o 200373
o 200357
o 200343
o 200288
o 200272
o 200099
o 200083
o 199773
o 199757
o 199580
o 199564
o 199562
o 199546
o 199400
o 199384
o 199262
o 199246
o 199232
o 199177
o 199161
o 198988
o 198972
o 198662
o 198646
o 198469
o 198453
o 198446
o 198430
o 198120
o 198104
o 197927
o 197911
o 197838
o 197815
o 197489
o 197296
o 196971
o 196778
o 196718
o 196529
o 196203
o 196010
o 195870
o 195677
o 195543
o 195350
o 195330
o 195004
o 194811
o 194675
o 194482
o 194320
o 194182
o 194168
o 194097
o 193908
o 193582
o 193389
o 193371
o 193209
o 193071
o 193057
o 192986
o 192797
o 192471
o 192278
o 192255
o 191929
o 191736
o 191491
o 191298
o 191275
o 190949
o 190756
o 190583
o 190563
o 190441
o 190237
o 190044
o 189908
o 189715
o 189553
o 189415
o 189401
o 189330
o 189141
o 189019
o 188815
o 188622
o 188604
o 188442
o 188304
o 188290
o 188219
o 188030
o 187908
o 187704
o 187511
o 187488
o 187366
o 187162
o 186969
o 186850
o 186524
o 186331
o 186313
o 186151
o 186013
o 185999
o 185928
o 185739
o 185413
o 185220
o 185197
o 184871
o 184678
o 184616
o 184423
o 184420
o 184299
o 184161
o 184076
o 183887
o 183765
o 183561
o 183368
o 183350
o 183188
o 183050
o 182965
o 182776
o 182654
o 182450
o 182257
o 182234
o 182112
o 181908
o 181715
o 181596
o 181574
o 181511
o 181270
o 181077
o 181059
o 180897
o 180759
o 180674
o 180485
o 180463
o 180400
o 180159
o 179966
o 179943
o 179921
o 179858
o 179617
o 179424
o 179293
o 179113
o 179075
o 178871
o 178678
o 178571
o 178533
o 178329
o 178136
o 177983
o 177965
o 177803
o 177665
o 177580
o 177391
o 177269
o 177065
o 176872
o 176849
o 176727
o 176523
o 176330
o 176280
o 176279
o 176038
o 175845
o 175692
o 175674
o 175512
o 1Killed
1979.644u 0.055s 33:08.07 99.5%	0+0k 0+0io 0pf+0w