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-60-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 178 1258 2448086
WARNING: Ubcsat not found.
o 2448086
o 201096
o 200952
o 200844
o 200625
o 200034
o 199890
o 199782
o 199563
o 198804
o 198660
o 198552
o 198333
o 198138
o 197379
o 197235
o 197127
o 196908
o 196853
o 196745
o 196526
o 195935
o 195791
o 195683
o 195464
o 194705
o 194561
o 194453
o 194234
o 194039
o 193280
o 193136
o 193028
o 192809
o 192702
o 191943
o 191799
o 191691
o 191472
o 191158
o 191014
o 190906
o 190687
o 190492
o 189733
o 189589
o 189481
o 189262
o 189155
o 188396
o 188252
o 188144
o 187925
o 187714
o 187406
o 187262
o 187154
o 186935
o 186621
o 186477
o 186369
o 186150
o 185955
o 185886
o 185778
o 185559
o 185196
o 185052
o 184944
o 184725
o 184618
o 184549
o 184441
o 184222
o 183859
o 183715
o 183607
o 183388
o 183177
o 183118
o 182899
o 182688
o 182380
o 182236
o 182128
o 181909
o 181595
o 181451
o 181343
o 181124
o 180929
o 180813
o 180705
o 180486
o 180170
o 180026
o 179918
o 179699
o 179592
o 179476
o 179368
o 179149
o 178833
o 178689
o 178581
o 178362
o 178151
o 178076
o 177969
o 177853
o 177745
o 177526
o 177210
o 177066
o 176958
o 176739
o 176653
o 176537
o 176429
o 176210
o 175894
o 175750
o 175642
o 175423
o 175275
o 175212
o 175064
o 175027
o 174808
o 174494
o 174350
o 174242
o 174023
o 173828
o 173712
o 173604
o 173385
o 173069
o 172925
o 172817
o 172598
o 172491
o 172375
o 172267
o 172048
o 171732
o 171588
o 171480
o 171261
o 171050
o 170975
o 170868
o 170752
o 170644
o 170425
o 170109
o 169965
o 169857
o 169638
o 169552
o 169436
o 169328
o 169109
o 168793
o 168649
o 168541
o 168322
o 168174
o 168111
o 167963
o 167905
o 167789
o 167681
o 167462
o 167146
o 167002
o 166894
o 166675
o 166589
o 166473
o 166365
o 166146
o 165830
o 165686
o 165578
o 165359
o 165211
o 165148
o 165000
o 164966
o 164850
o 164742
o 164523
o 164207
o 164063
o 163955
o 163736
o 163650
o 163534
o 163426
o 163207
o 162891
o 162747
o 162639
o 162420
o 162272
o 162209
o 162061
o 161962
o 161854
o 161635
o 161319
o 161175
o 161067
o 160848
o 160762
o 160646
o 160538
o 160319
o 160003
o 159859
o 159751
o 159532
o 159384
o 159321
o 159173
o 159139
o 159023
o 158915
o 158696
o 158380
o 158236
o 158128
o 157909
o 157823
o 157707
o 157599
o 157380
o 157064
o 156920
o 156812
o 156593
o 156445
o 156382
o 156234
o 156232
o 156013
o 155865
o 155802
o 155654
o 155555
o 155447
o 155228
o 154912
o 154768
o 154660
o 154441
o 154355
o 154239
o 154131
o 153912
o 153596
o 153452
o 153344
o 153125
o 152977
o 152914
o 152766
o 152732
o 152616
o 152508
o 152289
o 151973
o 151829
o 151721
o 151502
o 151416
o 151300
o 151192
o 150973
o 150657
o 150513
o 150405
o 150186
o 150038
o 149975
o 149827
o 149761
o 149542
o 149226
o 149082
o 148974
o 148755
o 148607
o 148544
o 148396
o 148394
o 148175
o 148027
o 147964
o 147816
o 147717
o 147609
o 147390
o 147074
o 146930
o 146822
o 146603
o 146517
o 146401
o 146293
o 146074
o 145758
o 145614
o 145506
o 145287
o 145139
o 145076
o 144928
o 144894
o 144778
o 144670
o 144451
o 144135
o 143991
o 143883
o 143664
o 143578
o 143462
o 143354
o 143135
o 142819
o 142675
o 142567
o 142348
o 142200
o 142137
o 141989
o 141964
o 141816
o 141753
o 141605
o 141571
o 141455
o 141347
o 141128
o 140812
o 140668
o 140560
o 140341
o 140255
o 140139
o 140031
o 139812
o 139496
o 139352
o 139244
o 139025
o 138877
o 138814
o 138666
o 138526
o 138210
o 138066
o 137958
o 137739
o 137591
o 137528
o 137380
o 137346
o 137230
o 137122
o 136903
o 136587
o 136443
o 136335
o 136116
o 136030
o 135914
o 135806
o 135587
o 135271
o 135127
o 135019
o 134800
o 134652
o 134589
o 134441
o 134378
o 134315
o 134167
o 134142
o 133994
o 133931
o 133783
o 133641
o 133497
o 133389
o 133170
o 133084
o 132968
o 132860
o 132641
o 132325
o 132181
o 132073
o 131854
o 131706
o 131643
o 131495
o 131422
o 131203
o 131055
o 130992
o 130844
o 130787
o 130568
o 130420
o 130357
o 130209
o 130136
o 129917
o 129769
o 129706
o 129558
o 129416
o 129272
o 129164
o 128945
o 128859
o 128743
o 128635
o 128416
o 128100
o 127956
o 127848
o 127629
oKilled
1979.627u 0.072s 33:11.76 99.3%	0+0k 0+0io 0pf+0w