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-100-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 284 1935 3654859
WARNING: Ubcsat not found.
o 3654859
o 329591
o 329558
o 328296
o 328102
o 327891
o 327609
o 327576
o 326807
o 326596
o 326314
o 326296
o 326207
o 325925
o 325892
o 325123
o 324912
o 324630
o 324061
o 323850
o 323568
o 323543
o 323261
o 323017
o 322840
o 322692
o 322481
o 322199
o 321955
o 321827
o 321616
o 321334
o 321309
o 321027
o 320783
o 320606
o 320458
o 320247
o 319965
o 319721
o 319540
o 319258
o 319014
o 318833
o 318551
o 318307
o 318126
o 317844
o 317600
o 317387
o 317206
o 316924
o 316680
o 316646
o 316640
o 316358
o 316114
o 315933
o 315651
o 315407
o 315226
o 314944
o 314700
o 314487
o 314306
o 314024
o 313780
o 313708
o 313495
o 313314
o 313032
o 312788
o 312569
o 312325
o 312199
o 311955
o 311774
o 311492
o 311248
o 311067
o 310785
o 310541
o 310328
o 310147
o 309865
o 309621
o 309549
o 309336
o 309155
o 308873
o 308629
o 308547
o 308366
o 308084
o 307840
o 307810
o 307629
o 307347
o 307103
o 306890
o 306709
o 306427
o 306183
o 306111
o 305898
o 305717
o 305435
o 305191
o 305067
o 304854
o 304673
o 304391
o 304147
o 304075
o 303862
o 303681
o 303399
o 303155
o 303034
o 302952
o 302771
o 302489
o 302245
o 302215
o 302034
o 301752
o 301508
o 301295
o 301114
o 300832
o 300588
o 300516
o 300303
o 300122
o 299840
o 299596
o 299380
o 299136
o 299064
o 298851
o 298670
o 298388
o 298144
o 298029
o 297999
o 297818
o 297536
o 297292
o 297079
o 296898
o 296616
o 296372
o 296300
o 296087
o 295906
o 295624
o 295380
o 295227
o 295011
o 294767
o 294533
o 294482
o 294301
o 294019
o 293775
o 293681
o 293468
o 293287
o 293005
o 292761
o 292710
o 292529
o 292247
o 292003
o 291769
o 291718
o 291537
o 291255
o 291011
o 290831
o 290549
o 290305
o 290152
o 289936
o 289692
o 289458
o 289407
o 289226
o 288944
o 288700
o 288606
o 288393
o 288212
o 287930
o 287686
o 287635
o 287454
o 287172
o 286928
o 286694
o 286643
o 286462
o 286180
o 285936
o 285768
o 285534
o 285483
o 285302
o 285020
o 284776
o 284684
o 284450
o 284399
o 284218
o 283936
o 283692
o 283669
o 283425
o 283367
o 283182
o 282938
o 282867
o 282585
o 282341
o 282283
o 282265
o 282207
o 282111
o 281829
o 281585
o 281493
o 281259
o 281208
o 281027
o 280745
o 280501
o 280478
o 280234
o 280176
o 279991
o 279747
o 279676
o 279394
o 279150
o 279092
o 278889
o 278831
o 278646
o 278402
o 278331
o 278049
o 277805
o 277747
o 277729
o 277671
o 277575
o 277293
o 277049
o 276957
o 276723
o 276672
o 276491
o 276209
o 275965
o 275942
o 275698
o 275640
o 275455
o 275211
o 275140
o 274858
o 274614
o 274556
o 274408
o 274350
o 274242
o 274184
o 274166
o 274108
o 274012
o 273730
o 273486
o 273394
o 273160
o 273109
o 272928
o 272646
o 272402
o 272379
o 272135
o 272077
o 271892
o 271648
o 271577
o 271295
o 271051
o 270993
o 270845
o 270787
o 270709
o 270651
o 270408
o 270316
o 270082
o 270031
o 269850
o 269568
o 269324
o 269301
o 269057
o 268999
o 268814
o 268570
o 268499
o 268217
o 267973
o 267915
o 267767
o 267709
o 267601
o 267543
o 267525
o 267467
o 267371
o 267089
o 266845
o 266753
o 266519
o 266468
o 266287
o 266005
o 265761
o 265738
o 265494
o 265436
o 265251
o 265007
o 264936
o 264654
o 264410
o 264352
o 264204
o 264146
o 264068
o 264010
o 263940
o 263658
o 263414
o 263391
o 263147
o 263089
o 262904
o 262660
o 262589
o 262307
o 262063
o 262005
o 261857
o 261799
o 261691
o 261633
o 261615
o 261557
o 261461
o 261179
o 260935
o 260843
o 260609
o 260558
o 260377
o 260095
o 259851
o 259828
o 259584
o 259526
o 259341
o 259097
o 259026
o 258744
o 258500
o 258442
o 258294
o 258236
o 258158
o 258100
o 257973
o 257902
o 257620
o 257376
o 257318
o 257170
o 257112
o 257034
o 256976
o 256804
o 256746
o 256561
o 256317
o 256246
o 255964
o 255720
o 255662
o 255514
o 255456
o 255348
o 255290
o 255272
o 255214
o 255118
o 254836
o 254592
o 254500
o 254266
o 254215
o 254034
o 253752
o 253508
o 253485
o 253241
o 253183
o 252998
o 252754
o 252683
o 252401
o 252157
o 252099
o 251951
o 251893
o 251815
o 251757
o 251630
o 251559
o 251277
o 251033
o 250975
o 250827
o 250769
o 250691
o 250633
o 250501
o 250443
o 250365
o 250307
o 250135
o 250077
o 250067
o 249823
o 249648
o 249470
o 249226
o 249051
o 248993
o 248845
o 248787
o 248679
o 248621
o 248603
o 248545
o 248342
o 248098
o 247923
o 247831
o 247772
o 247597
o 247546
o 247540
o 247258
o 247014
o 246839
o 246747
o 246572
o 246514
o 246504
o 246260
o 246085
o 245907
o 245663
o 245488
o 245430
o 245282
o 245224
o 245146
o 245088
o 244961
o 244783
o 244539
o 244364
o 244306
o 244158
o 244100
o 244022
o 243964
o 243791
o 243547
o 243476
o 243194
o 242950
o 242892
o 242744
o 242686
o 242608
o 242550
o 242423
o 242352
o 242070
o 241826
o 241768
o 241620
o 241562
o 241484
o 241426
o 241294
o 241236
o 241158
o 241100
o 240928
o 240870
o 240860
o 240616
o 240441
o 240263
o 240019
o 239844
o 239786
o 239638
o 239580
o 239472
o 239414
o 239396
o 239338
o 239135
o 238891
o 238716
o 238624
o 238565
o 238390
o 238339
o 238333
o 238051
o 237807
o 237632
o 237540
o 237365
o 237307
o 237297
o 237053
o 236878
o 236700
o 236456
o 236281
o 236223
o 236075
o 236017
o 235939
o 235881
o 235754
o 235576
o 235332
o 235157
o 235099
o 234951
o 234893
o 234815
o 234757
o 234719
o 234661
o 234651
o 234645
o 234363
o 234119
o 233944
o 233852
o 233677
o 233619
o 233609
o 233365
o 233190
o 233012
o 232768
o 232593
o 232535
o 232387
o 232329
o 232251
o 232193
o 232066
o 231888
o 231644
o 231469
o 231411
o 231263
o 231205
o 231127
o 231069
o 231031
o 230973
o 230888
o 230710
o 230466
o 230291
o 230233
o 230085
o 230027
o 229919
o 229861
o 229843
o 229785
o 229582
o 229338
o 229163
o 229071
o 229012
o 228837
o 228786
o 228780
o 228498
o 228254
o 228079
o 227987
o 227812
o 227754
o 227744
o 227500
o 227325
o 227147
o 226903
o 226728
o 226670
o 226522
o 226464
o 226386
o 226328
o 226201
o 226023
o 225779
o 225604
o 225546
o 225398
o 225340
o 225262
o 225204
o 225166
o 225108
o 224931
o 224756
o 224698
o 224550
o 224492
o 224414
o 224356
o 224229
o 224051
o 223807
o 223632
o 223574
o 223426
o 223368
o 223290
o 223232
o 223194
o 223136
o 223051
o 222873
o 222629
o 222454
o 222396
o 222248
o 222190
o 222082
o 222024
o 222006
o 221948
o 221745
o 221501
o 221326
o 221234
o 221175
o 221000
o 220949
o 220943
o 220661
o 220417
o 220242
o 220150
o 219975
o 219917
o 219907
o 219663
o 219488
o 219310
o 219066
o 218891
o 218833
o 218685
o 218627
o 218549
o 218491
o 218364
o 218186
o 217942
o 217767
o 217709
o 217561
o 217503
o 217425
o 217367
o 217329
o 217271
o 217266
o 217118
o 217060
o 216982
o 216924
o 216886
o 216828
o 216712
o 216654
o 216506
o 216448
o 216370
o 216312
o 216274
o 216216
o 216131
o 215953
o 215709
o 215534
o 215476
o 215328
o 215270
o 215162
o 215104
o 215086
o 215028
o 214825
o 214581
o 214406
o 214314
o 214255
o 214080
o 214029
o 214023
o 213741
o 213497
o 213322
o 213230
o 213055
o 212997
o 212987
o 212743
o 212568
o 212390
o 212146
o 211971
o 211913
o 211765
o 211707
o 211629
o 211571
o 211444
o 211266
o 211022
o 210847
o 210789
o 210641
o 210583
o 210505
o 210447
o 210409
o 210351
o 210346
o 210198
o 210140
o 210062
o 210004
o 209966
o 209908
o 209878
o 209703
o 209611
o 209436
o 209378
o 209368
o 209124
o 208949
o 208771
o 208527
o 208352
o 208294
o 208146
o 208088
o 208010
o 207952
o 207825
o 207647
o 207403
o 207228
o 207170
o 207022
o 206964
o 206886
o 206828
o 206790
o 206732
o 206727
o 206579
o 206521
o 206443
o 206385
o 206347
o 206289
o 206249
o 206244
o 206096
o 206038
o 205960
o 205902
o 205864
o 205806
o 205690
o 205632
o 205484
o 205426
o 205348
o 205290
o 205252
o 205194
o 205076
o 204984
o 204925
o 204750
o 204699
o 204693
o 204411
o 204167
o 203992
o 203900
o 203725
o 203667
o 203657
o 203413
o 203238
o 203060
o 202816
o 202641
o 202583
o 202435
o 202377
o 202299
o 202241
o 202114
o 201936
o 201692
o 201517
o 201459
o 201311
o 201253
o 201175
o 201117
o 200949
o 200891
o 200743
o 200685
o 200607
o 200549
o 200422
o 200244
o 200000
o 199825
o 199767
o 199619
o 199561
o 199483
o 199425
o 199387
o 199329
o 199324
o 199176
o 199118
o 199040
o 198982
o 198944
o 198886
o 198816
o 198758
o 198680
o 198622
o 198495
o 198317
o 198073
o 197898
o 197840
o 197692
o 197634
o 197556
o 197498
o 197330
o 197272
o 197124
o 197066
o 196988
o 196930
o 196803
o 196625
o 196381
o 196206
o 196148
o 196000
o 195942
o 195864
o 195806
o 195768
o 195710
o 195705
o 195557
o 195499
o 195421
o 195363
o 195325
o 195267
o 195179
o 195121
o 194973
o 194915
o 194837
o 194779
o 194652
o 194474
o 194230
o 194055
o 193997
o 193849
o 193791
o 193713
o 193655
o 193487
o 193429
o 193281
o 193223
o 193145
o 193087
o 192960
o 192782
o 192538
o 192363
o 192305
o 192157
o 192099
o 192021
o 191963
o 191925
o 191867
o 191862
o 191714
o 191656
o 191578
o 191520
o 191482
o 191424
o 191354
o 191296
o 191218
o 191160
o 191033
o 190855
o 190611
o 190436
o 190378
o 190230
o 190172
o 190094
o 190036
o 189868
o 189810
o 189662
o 189604
o 189526
o 189468
o 189341
o 189163
o 188919
o 188744
o 188686
o 188538
o 188480
o 188402
o 188344
o 188306
o 188248
o 188243
o 188095
o 188037
o 187959
o 187901
o 187863
o 187805
o 187796
o 187738
o 187611
o 187433
o 187189
o 187014
o 186956
o 186808
o 186750
o 186672
o 186614
o 186576
o 186518
o 186513
o 186365
o 186307
o 186229
o 186171
o 186133
o 186075
o 186005
o 185947
o 185869
o 185811
o 185684
o 185506
o 185262
o 185087
o 185029
o 184881
o 184823
o 184745
o 184687
o 184519
o 184461
o 184313
o 184255
o 184177
o 184119
o 183992
o 183814
o 183570
o 183395
o 183337
o 183189
o 183131
o 183053
o 182995
o 182957
o 182899
o 182894
o 182746
o 182688
o 182610
o 182552
o 182514
o 182456
o 182287
o 182112
o 182054
o 181906
o 181848
o 181770
o 181712
o 181674
o 181616
o 181611
o 181463
o 181405
o 181327
o 181269
o 181231
o 181173
o 181068
o 181010
o 180932
o 180874
o 180836
o 180778
o 180708
o 180650
o 180572
o 180514
o 180387
o 180209
o 179965
o 179790
o 179732
o 179584
o 179526
o 179448
o 179390
o 179222
o 179164
o 179016
o 178958
o 178880
o 178822
o 178695
o 178517
o 178273
o 178098
o 178040
o 177892
o 177834
o 177756
o 177698
o 177660
o 177602
o 177597
o 177449
o 177391
o 177313
o 177255
o 177217
o 177159
o 176990
o 176815
o 176757
o 176609
o 176551
o 176473
o 176415
o 176377
o 176319
o 176314
o 176166
o 176108
o 176030
o 175972
o 175934
o 175876
o 175793
o 175735
o 175657
o 175599
o 175561
o 175503
o 175498
o 175350
o 175292
o 175214
o 175156
o 175118
o 175060
o 174960
o 174716
o 174658
o 174510
o 174452
o 174374
o 174316
o 174278
o 174220
o 174215
o 174067
o 174009
o 173931
o 173873
o 173835
o 173777
o 173734
o 173727
o 173656
o 173598
o 173560
o 173502
o 173473
o 173229
o 173158
o 173100
o 173023
o 172952
o 172894
o 172887
o 172816
o 172758
o 172720
o 172662
o 172657
o 172580
o 172509
o 172451
o 172444
o 172373
o 172315
o 172277
o 172219
o 172203
o 172126
o 172055
o 171997
o 171990
o 171919
o 171861
o 171823
o 171765
o 171760
o 171683
o 171612
o 171554
o 171547
o 171476
o 171418
o 171380
o 171322
o 171320
o 171172
o 171114
o 171036
o 170978
o 170810
o 170752
o 170604
o 170546
o 170468
o 170410
o 170283
o 170105
o 169861
o 169686
o 169628
o 169480
o 169422
o 169344
o 169286
o 169248
o 169190
o 169185
o 169037
o 168979
o 168901
o 168843
o 168805
o 168747
o 168578
o 168403
o 168345
o 168197
o 168139
o 168061
o 168003
o 167965
o 167907
o 167902
o 167754
o 167696
o 167618
o 167560
o 167522
o 167464
o 167381
o 167323
o 167245
o 167187
o 167149
o 167091
o 167086
o 166938
o 166880
o 166802
o 166744
o 166706
o 166648
o 166548
o 166304
o 166246
o 166098
o 166040
o 165962
o 165904
o 165866
o 165808
o 165803
o 165655
o 165597
o 165519
o 165461
o 165423
o 165365
o 165322
o 165315
o 165244
o 165186
o 165148
o 165090
o 165061
o 164817
o 164746
o 164688
o 164611
o 164540
o 164482
o 164475
o 164404
o 164346
o 164308
o 164250
o 164245
o 164168
o 164097
o 164039
o 164032
o 163961
o 163903
o 163865
o 163807
o 163791
o 163714
o 163643
o 163585
o 163578
o 163507
o 163449
o 163411
o 163353
o 163348
o 163271
o 163200
o 163142
o 163135
o 163064
o 163006
o 162968
o 162910
o 162893
o 162850
o 162843
o 162772
o 162714
o 162676
o 162618
o 162383
o 162139
o 162068
o 162010
o 162003
o 161932
o 161874
o 161836
o 161778
o 161696
o 161625
o 161567
o 161560
o 161489
o 161431
o 161393
o 161335
o 161242
o 161171
o 1Killed
1979.691u 0.008s 33:00.56 99.9%	0+0k 0+0io 0pf+0w