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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 284 2099 3990576
WARNING: Ubcsat not found.
o 3990576
o 303155
o 302870
o 302723
o 302132
o 302001
o 301993
o 301490
o 301205
o 301058
o 300978
o 300970
o 300467
o 300323
o 300243
o 300235
o 299732
o 299515
o 299230
o 299083
o 299003
o 298995
o 298492
o 298275
o 298128
o 298048
o 298040
o 297537
o 297368
o 297083
o 296936
o 296856
o 296848
o 296345
o 295967
o 295750
o 295603
o 295523
o 295515
o 295012
o 294843
o 294558
o 294411
o 294331
o 294323
o 293820
o 293590
o 293443
o 293363
o 293355
o 292852
o 292487
o 292270
o 292123
o 292043
o 292035
o 291532
o 291443
o 291363
o 291078
o 290931
o 290851
o 290843
o 290340
o 290110
o 289963
o 289883
o 289875
o 289372
o 289281
o 289201
o 289193
o 288690
o 288325
o 288108
o 287961
o 287881
o 287873
o 287370
o 287281
o 287201
o 286916
o 286769
o 286689
o 286681
o 286178
o 285948
o 285801
o 285721
o 285713
o 285210
o 284940
o 284793
o 284713
o 284705
o 284202
o 283972
o 283825
o 283745
o 283737
o 283234
o 282908
o 282543
o 282326
o 282179
o 282099
o 282091
o 281588
o 281499
o 281419
o 281134
o 280987
o 280907
o 280899
o 280396
o 280166
o 280019
o 279939
o 279931
o 279428
o 279366
o 279136
o 278989
o 278909
o 278901
o 278398
o 278276
o 278129
o 278049
o 278041
o 277538
o 277212
o 276847
o 276630
o 276483
o 276403
o 276395
o 275892
o 275803
o 275723
o 275438
o 275291
o 275211
o 275203
o 274700
o 274470
o 274323
o 274243
o 274235
o 273732
o 273684
o 273620
o 273486
o 273467
o 273320
o 273240
o 273232
o 272729
o 272640
o 272428
o 272294
o 272275
o 272128
o 272048
o 272040
o 271537
o 271460
o 271326
o 271307
o 271160
o 271080
o 271072
o 270569
o 270514
o 270367
o 270287
o 270279
o 269776
o 269546
o 269399
o 269319
o 269311
o 268808
o 268760
o 268696
o 268562
o 268543
o 268396
o 268316
o 268308
o 267805
o 267716
o 267504
o 267370
o 267351
o 267204
o 267124
o 267116
o 266613
o 266536
o 266402
o 266383
o 266236
o 266156
o 266148
o 265645
o 265597
o 265578
o 265431
o 265351
o 265343
o 264840
o 264704
o 264656
o 264592
o 264458
o 264439
o 264292
o 264212
o 264204
o 263701
o 263612
o 263400
o 263266
o 263247
o 263100
o 263020
o 263012
o 262509
o 262432
o 262298
o 262279
o 262132
o 262052
o 262044
o 261541
o 261366
o 261277
o 261065
o 260931
o 260912
o 260765
o 260685
o 260677
o 260174
o 260097
o 259963
o 259944
o 259797
o 259717
o 259709
o 259206
o 259158
o 259139
o 258992
o 258912
o 258904
o 258401
o 258265
o 258217
o 258153
o 258019
o 258000
o 257853
o 257773
o 257765
o 257262
o 257173
o 256961
o 256827
o 256808
o 256661
o 256581
o 256573
o 256070
o 255993
o 255859
o 255840
o 255693
o 255613
o 255605
o 255102
o 254907
o 254693
o 254616
o 254482
o 254463
o 254316
o 254236
o 254228
o 253725
o 253712
o 253693
o 253546
o 253466
o 253458
o 252955
o 252878
o 252744
o 252725
o 252578
o 252498
o 252490
o 251987
o 251939
o 251920
o 251773
o 251693
o 251685
o 251182
o 251046
o 250896
o 250800
o 250781
o 250634
o 250554
o 250546
o 250043
o 249954
o 249742
o 249608
o 249589
o 249442
o 249362
o 249354
o 248851
o 248774
o 248640
o 248621
o 248474
o 248394
o 248386
o 247883
o 247688
o 247474
o 247397
o 247263
o 247244
o 247097
o 247017
o 247009
o 246506
o 246270
o 246257
o 246238
o 246091
o 246011
o 246003
o 245500
o 245423
o 245289
o 245270
o 245123
o 245043
o 245035
o 244532
o 244484
o 244465
o 244318
o 244238
o 244230
o 243727
o 243642
o 243623
o 243476
o 243396
o 243388
o 242885
o 242588
o 242499
o 242287
o 242153
o 242134
o 241987
o 241907
o 241899
o 241396
o 241319
o 241185
o 241166
o 241019
o 240939
o 240931
o 240428
o 240233
o 240019
o 239942
o 239808
o 239789
o 239642
o 239562
o 239554
o 239051
o 239010
o 238933
o 238799
o 238780
o 238633
o 238553
o 238545
o 238042
o 238012
o 237932
o 237924
o 237421
o 237336
o 237317
o 237170
o 237090
o 237082
o 236579
o 236282
o 236193
o 235981
o 235847
o 235828
o 235681
o 235601
o 235593
o 235090
o 235013
o 234879
o 234860
o 234713
o 234633
o 234625
o 234122
o 233927
o 233713
o 233636
o 233502
o 233483
o 233336
o 233256
o 233248
o 232745
o 232705
o 232686
o 232539
o 232459
o 232451
o 231948
o 231814
o 231517
o 231428
o 231216
o 231082
o 231063
o 230916
o 230836
o 230828
o 230325
o 230248
o 230114
o 230095
o 229948
o 229868
o 229860
o 229357
o 229162
o 228948
o 228871
o 228737
o 228718
o 228571
o 228491
o 228483
o 227980
o 227935
o 227918
o 227771
o 227691
o 227683
o 227180
o 227140
o 227121
o 226974
o 226894
o 226886
o 226383
o 226249
o 225952
o 225863
o 225651
o 225517
o 225498
o 225351
o 225271
o 225263
o 224760
o 224683
o 224549
o 224530
o 224383
o 224303
o 224295
o 223792
o 223597
o 223383
o 223306
o 223172
o 223153
o 223006
o 222926
o 222918
o 222415
o 222370
o 222172
o 221977
o 221763
o 221686
o 221552
o 221533
o 221386
o 221306
o 221298
o 220795
o 220750
o 220554
o 220337
o 219974
o 219897
o 219763
o 219744
o 219597
o 219517
o 219509
o 219006
o 218811
o 218597
o 218520
o 218386
o 218367
o 218220
o 218140
o 218132
o 217629
o 217584
o 217386
o 217191
o 216977
o 216900
o 216766
o 216747
o 216600
o 216520
o 216512
o 216009
o 215964
o 215862
o 215840
o 215817
o 215795
o 215619
o 215597
o 215424
o 215402
o 215210
o 215133
o 214999
o 214980
o 214833
o 214753
o 214745
o 214242
o 214220
o 214197
o 214175
o 214001
o 213979
o 213784
o 213762
o 213421
o 213344
o 213210
o 213191
o 213044
o 212964
o 212956
o 212453
o 212431
o 212258
o 212236
o 212044
o 211967
o 211833
o 211814
o 211667
o 211587
o 211579
o 211076
o 211054
o 211031
o 211009
o 210833
o 210811
o 210638
o 210616
o 210424
o 210347
o 210213
o 210194
o 210047
o 209967
o 209959
o 209456
o 209434
o 209411
o 209389
o 209357
o 209335
o 209162
o 209140
o 208948
o 208871
o 208737
o 208718
o 208571
o 208491
o 208483
o 207980
o 207958
o 207603
o 207581
o 207566
o 207432
o 207413
o 207266
o 207186
o 207178
o 206675
o 206653
o 206630
o 206608
o 206360
o 206338
o 205983
o 205961
o 205946
o 205812
o 205793
o 205646
o 205566
o 205558
o 205055
o 205033
o 205010
o 204988
o 204837
o 204760
o 204626
o 204607
o 204460
o 204380
o 204372
o 203869
o 203847
o 203674
o 203652
o 203460
o 203383
o 203249
o 203230
o 203083
o 203003
o 202995
o 202492
o 202470
o 202447
o 202425
o 202249
o 202227
o 202054
o 202032
o 201840
o 201763
o 201629
o 201610
o 201463
o 201383
o 201375
o 200872
o 200850
o 200827
o 200805
o 200773
o 200751
o 200578
o 200556
o 200364
o 200287
o 200153
o 200134
o 199987
o 199907
o 199899
o 199396
o 199374
o 199019
o 198997
o 198982
o 198848
o 198829
o 198682
o 198602
o 198594
o 198091
o 198069
o 198046
o 198024
o 197776
o 197754
o 197399
o 197377
o 197362
o 197228
o 197209
o 197062
o 196982
o 196974
o 196471
o 196449
o 196426
o 196404
o 196194
o 196172
o 196149
o 196127
o 196033
o 196014
o 195867
o 195787
o 195779
o 195276
o 195254
o 195008
o 194986
o 194813
o 194791
o 194599
o 194522
o 194388
o 194369
o 194222
o 194142
o 194134
o 193631
o 193609
o 193586
o 193564
o 193388
o 193366
o 193193
o 193171
o 192979
o 192902
o 192768
o 192749
o 192602
o 192522
o 192514
o 192011
o 191989
o 191966
o 191944
o 191912
o 191890
o 191717
o 191695
o 191503
o 191426
o 191292
o 191273
o 191126
o 191046
o 191038
o 190535
o 190513
o 190158
o 190136
o 190121
o 189987
o 189968
o 189821
o 189741
o 189733
o 189230
o 189208
o 189185
o 189163
o 188915
o 188893
o 188538
o 188516
o 188501
o 188367
o 188348
o 188201
o 188121
o 188113
o 187610
o 187588
o 187565
o 187543
o 187244
o 187222
o 187207
o 187073
o 187054
o 186907
o 186827
o 186819
o 186316
o 186294
o 186271
o 186249
o 186238
o 186215
o 186193
o 185945
o 185923
o 185568
o 185546
o 185531
o 185397
o 185378
o 185231
o 185151
o 185143
o 184640
o 184618
o 184595
o 184573
o 184274
o 184252
o 184237
o 184103
o 184084
o 183937
o 183857
o 183849
o 183346
o 183324
o 183301
o 183279
o 183166
o 183086
o 183078
o 182575
o 182553
o 182530
o 182508
o 182507
o 182484
o 182462
o 182317
o 181818
o 181796
o 181773
o 181751
o 181736
o 181713
o 181691
o 181254
o 181232
o 181209
o 181187
o 180888
o 180866
o 180851
o 180717
o 180698
o 180551
o 180471
o 180463
o 179960
o 179938
o 179915
o 179893
o 179879
o 179856
o 179834
o 179780
o 179700
o 179692
o 179189
o 179167
o 179144
o 179122
o 179108
o 179085
o 179063
o 178928
o 178429
o 178407
o 178384
o 178362
o 178347
o 178324
o 178302
o 177865
o 177843
o 177820
o 177798
o 177499
o 177477
o 177462
o 177328
o 177181
o 177162
o 177082
o 177074
o 176571
o 176549
o 176526
o 176504
o 176490
o 176467
o 176445
o 176410
o 176391
o 176311
o 176303
o 175800
o 175778
o 175755
o 175733
o 175719
o 175696
o 175674
o 175672
o 175650
o 175627
o 175605
o 175306
o 175284
o 175267
o 175135
o 175116
o 174969
o 174889
o 174881
o 174378
o 174356
o 174333
o 174311
o 174297
o 174274
o 174252
o 174198
o 174118
o 174110
o 173607
o 173585
o 173562
o 173540
o 173526
o 173503
o 173481
o 173346
o 172847
o 172825
o 172802
o 172780
o 172765
o 172742
o 172720
o 172283
o 172261
o 172238
o 172216
o 171917
o 171895
o 171878
o 171746
o 171599
o 171580
o 171500
o 171492
o 170989
o 170967
o 170944
o 170922
o 170908
o 170885
o 170863
o 170828
o 170809
o 170729
o 170721
o 170218
o 170196
o 170173
o 170151
o 170137
o 170114
o 170092
o 170058
o 170036
o 170013
o 169991
o 169692
o 169670
o 169655
o 169521
o 169374
o 169355
o 169275
o 169267
o 168764
o 168742
o 168719
o 168697
o 168683
o 168660
o 168638
o 168603
o 168584
o 168504
o 168496
o 167993
o 167971
o 167948
o 167926
o 167912
o 167889
o 167867
o 167845
o 167831
o 167808
o 167786
o 167751
o 167732
o 167652
o 167644
o 167141
o 167119
o 167096
o 167074
o 167060
o 167037
o 167015
o 166967
o 166945
o 166922
o 166900
o 166864
o 166842
o 166819
o 166797
o 166783
o 166760
o 166738
o 166518
o 166496
o 166196
o 166174
o 166151
o 166129
o 166093
o 166071
o 166048
o 166026
o 166012
o 165989
o 165967
o 165945
o 165931
o 165908
o 165886
o 165666
o 165644
o 165344
o 165322
o 165299
o 165277
o 165241
o 165219
o 165196
o 165174
o 165160
o 165137
o 165115
o 165096
o 165074
o 165060
o 165037
o 165015
o 164993
o 164979
o 164956
o 164934
o 164899
o 164880
o 164800
o 164792
o 164289
o 164267
o 164244
o 164222
o 164208
o 164185
o 164163
o 163969
o 163947
o 163647
o 163625
o 163602
o 163580
o 163544
o 163522
o 163499
o 163477
o 163463
o 163440
o 163418
o 163399
o 163377
o 163363
o 163340
o 163318
o 163296
o 163282
o 163259
o 163237
o 163202
o 163183
o 163103
o 163095
o 162592
o 162570
o 162547
o 162525
o 162511
o 162488
o 162466
o 162351
o 162329
o 162306
o 162284
o 162248
o 162226
o 162203
o 162181
o 162167
o 162144
o 162122
o 162103
o 162081
o 162067
o 162044
o 162022
o 162000
o 161986
o 161963
o 161941
o 161518
o 161296
o 161274
o 161251
o 161229
o 161215
o 161192
o 161170
o 161084
o 161062
o 160762
o 160740
o 160717
o 160695
o 160659
o 160637
o 160614
o 160592
o 160578
o 160555
o 160533
o 160514
o 160492
o 160478
o 160455
o 160433
o 160411
o 160397
o 160374
o 160352
o 160317
o 160298
o 160218
o 160210
o 159707
o 159685
o 159662
o 159640
o 159626
o 159603
o 159581
o 159575
o 159539
o 159517
o 159494
o 159472
o 159458
o 159435
o 159413
o 159394
o 159372
o 159358
o 159335
o 159313
o 159291
o 159277
o 159254
o 159232
o 159197
o 159178
o 158587
o 158565
o 158542
o 158520
o 158506
o 158483
o 158461
o 158346
o 158324
o 158301
o 158279
o 158243
o 158221
o 158198
o 158176
o 158162
o 158139
o 158117
o 158098
o 158076
o 158062
o 158039
o 158017
o 157995
o 157981
o 157958
o 157936
o 157513
o 157291
o 157269
o 157246
o 157224
o 157210
o 157187
o 157165
o 157079
o 157057
o 156757
o 156735
o 156712
o 156690
o 156654
o 156632
o 156609
o 156587
o 156573
o 156550
o 156528
o 156509
o 156487
o 156473
o 156450
o 156428
o 156406
o 156392
o 156369
o 156347
o 156312
o 156293
o 155702
o 155680
o 155657
o 155635
o 155621
o 155598
o 155576
o 155446
o 155424
o 155401
o 155379
o 155365
o 155342
o 155320
o 154999
o 154852
o 154830
o 154807
o 154785
o 154771
o 154748
o 154726
o 154611
o 154589
o 154566
o 154544
o 154508
o 154486
o 154463
o 154441
o 154427
o 154404
o 154382
o 154363
o 154341
o 154327
o 154304
o 154282
o 154260
o 154246
o 154223
o 154201
o 153925
o 153778
o 153703
o 153556
o 153534
o 153511
o 153489
o 153475
o 153452
o 153430
o 153344
o 153322
o 153169
o 153022
o 153000
o 152977
o 152955
o 152919
o 152897
o 152874
o 152852
o 152838
o 152815
o 152793
o 152774
o 152752
o 152738
o 152715
o 152693
o 152671
o 1Killed
1979.613u 0.086s 33:11.68 99.3%	0+0k 0+0io 0pf+0w