Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3353096
o 3342564
o 3340917
o 3340705
o 3340507
o 3339793
o 3339319
o 3338501
o 3338471
o 3338466
o 3338038
o 3338033
o 3337876
o 3337861
o 3337672
o 3337533
o 3337172
o 3337136
o 3337109
o 3336775
o 3336705
o 3336672
o 3336600
o 3336592
o 3336523
o 3336333
o 3336156
o 3336148
o 3335394
o 3334989
o 3334430
o 3334257
o 3334064
o 3333753
o 3333745
o 3333605
o 3333595
o 3333115
o 3332754
o 3332321
o 3332133
o 3331921
o 3331514
o 3330952
o 3330848
o 3330063
o 3329798
o 3329319
o 3328980
o 3328861
o 3328458
o 3328435
o 3328215
o 3327468
o 3327055
o 3326723
o 3326486
o 3325739
o 3325637
o 3325400
o 3325302
o 3324653
o 3324396
o 3323535
o 3323008
o 3323000
o 3322482
o 3322027
o 3321875
o 3321608
o 3321390
o 3320962
o 3320946
o 3320882
o 3320764
o 3320503
o 3320352
o 3319608
o 3319396
o 3319187
o 3318963
o 3318759
o 3318718
o 3318566
o 3318362
o 3318321
o 3318280
o 3318251
o 3317812
o 3317519
o 3317276
o 3317170
o 3316654
o 3315907
o 3315360
o 3315007
o 3314965
o 3314739
o 3314710
o 3314415
o 3314192
o 3313981
o 3313444
o 3312703
o 3311979
o 3311509
o 3311078
o 3310536
o 3310531
o 3310301
o 3310225
o 3310138
o 3309241
o 3308494
o 3307876
o 3307205
o 3307077
o 3307004
o 3306726
o 3306630
o 3305951
o 3305677
o 3305581
o 3305568
o 3305368
o 3304968
o 3304531
o 3304382
o 3304327
o 3304074
o 3303831
o 3303764
o 3303331
o 3303288
o 3303054
o 3303041
o 3303000
o 3302843
o 3302842
o 3302837
o 3302750
o 3302552
o 3302355
o 3301661
o 3301511
o 3301468
o 3300757
o 3300623
o 3300402
o 3300248
o 3300133
o 3300112
o 3299744
o 3299594
o 3298847
o 3298765
o 3298749
o 3298724
o 3298102
o 3297742
o 3297705
o 3297493
o 3297476
o 3297255
o 3296844
o 3296614
o 3296532
o 3296300
o 3295658
o 3295635
o 3295571
o 3295459
o 3295421
o 3295256
o 3294674
o 3294535
o 3294532
o 3293833
o 3292949
o 3292538
o 3292156
o 3292022
o 3291973
o 3291856
o 3291740
o 3291032
o 3290314
o 3290045
o 3289721
o 3289430
o 3289368
o 3288833
o 3288782
o 3288610
o 3288190
o 3288187
o 3288169
o 3287599
o 3287567
o 3287562
o 3287259
o 3286954
o 3286949
o 3286593
o 3286381
o 3285986
o 3285901
o 3285253
o 3284842
o 3284551
o 3284429
o 3284140
o 3283808
o 3283453
o 3283296
o 3283165
o 3282830
o 3282760
o 3282615
o 3282485
o 3282169
o 3281768
o 3281522
o 3281506
o 3281101
o 3280998
o 3280618
o 3280329
o 3279968
o 3279844
o 3279810
o 3279344
o 3279294
o 3278922
o 3278682
o 3278409
o 3278043
o 3277868
o 3277481
o 3277335
o 3277204
o 3277143
o 3276904
o 3276899
o 3276650
o 3276530
o 3276513
o 3276147
o 3275931
o 3275721
o 3275651
o 3275613
o 3275521
o 3275135
o 3274715
o 3274573
o 3274374
o 3274360
o 3274309
o 3274085
o 3274048
o 3273998
o 3273753
o 3273526
o 3273361
o 3273127
o 3272862
o 3272794
o 3272590
o 3272367
o 3271970
o 3271956
o 3271709
o 3271518
o 3271418
o 3271157
o 3271113
o 3270807
o 3270476
o 3270396
o 3270125
o 3269988
o 3269665
o 3269602
o 3269365
o 3269098
o 3268803
o 3268698
o 3268640
o 3268244
o 3268016
o 3267801
o 3267743
o 3267646
o 3267457
o 3267345
o 3267157
o 3266833
o 3266768
o 3266451
o 3266352
o 3266157
o 3266051
o 3266048
o 3265985
o 3265756
o 3265610
o 3265445
o 3265213
o 3265137
o 3265075
o 3264994
o 3264869
o 3264610
o 3264179
o 3263863
o 3263803
o 3263590
o 3263423
o 3263332
o 3263186
o 3263175
o 3263016
o 3262988
o 3262803
o 3262463
o 3262121
o 3262102
o 3261778
o 3261276
o 3261233
o 3261167
o 3261015
o 3260976
o 3260781
o 3260634
o 3260276
o 3259855
o 3259469
o 3259321
o 3259257
o 3259171
o 3259122
o 3258972
o 3258743
o 3258606
o 3258601
o 3258246
o 3258164
o 3257965
o 3257658
o 3257486
o 3257434
o 3257259
o 3257046
o 3256949
o 3256933
o 3256785
o 3256780
o 3256674
o 3256396
o 3256385
o 3256237
o 3255955
o 3255773
o 3255725
o 3255600
o 3255548
o 3255511
o 3255415
o 3255390
o 3255332
o 3255123
o 3254967
o 3254877
o 3254744
o 3254666
o 3254599
o 3254537
o 3254508
o 3254443
o 3254191
o 3253905
o 3253446
o 3253252
o 3252923
o 3252905
o 3252884
o 3252817
o 3252563
o 3252536
o 3252428
o 3252321
o 3252227
o 3252207
o 3251912
o 3251696
o 3251645
o 3251435
o 3251269
o 3251238
o 3251026
o 3250978
o 3250773
o 3250745
o 3250723
o 3250610
o 3250460
o 3250345
o 3250319
o 3250047
o 3249866
o 3249674
o 3249626
o 3249611
o 3249436
o 3249369
o 3249254
o 3249123
o 3248946
o 3248657
o 3248575
o 3248350
o 3248273
o 3248264
o 3248095
o 3247936
o 3247660
o 3247409
o 3247260
o 3247107
o 3247011
o 3246930
o 3246731
o 3246527
o 3246334
o 3246253
o 3246118
o 3245985
o 3245756
o 3245609
o 3245519
o 3245429
o 3245319
o 3245175
o 3244876
o 3244797
o 3244758
o 3244748
o 3244742
o 3244734
o 3244459
o 3244245
o 3244086
o 3243701
o 3243681
o 3243619
o 3243478
o 3243403
o 3243230
o 3243073
o 3242860
c core #1
c 
c 
c Core size: 5	Core Weight: 1307	Total Weight: 1307
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 1444	Total Weight: 2751
c
c
c core #3
c 
c 
c Core size: 4	Core Weight: 22	Total Weight: 2773
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1593	Total Weight: 4366
c
c
c core #5
c 
c 
c Core size: 5	Core Weight: 1154	Total Weight: 5520
c
c
c core #6
c 
c 
c Core size: 5	Core Weight: 1793	Total Weight: 7313
c
c
c core #7
c 
c 
c Core size: 10	Core Weight: 5	Total Weight: 7318
c
c
c core #8
c 
c 
c Core size: 13	Core Weight: 397	Total Weight: 7715
c
c
c core #9
c 
c 
c Core size: 12	Core Weight: 461	Total Weight: 8176
c
c
c core #10
c 
c 
c Core size: 13	Core Weight: 442	Total Weight: 8618
c
c
c core #11
c 
c 
c Core size: 20	Core Weight: 242	Total Weight: 8860
c
c
c core #12
c 
c 
c Core size: 23	Core Weight: 215	Total Weight: 9075
c
c
c core #13
c 
c 
c Core size: 26	Core Weight: 189	Total Weight: 9264
c
c
c core #14
c 
c 
c Core size: 29	Core Weight: 239	Total Weight: 9503
c
c
c core #15
c 
c 
c Core size: 31	Core Weight: 71	Total Weight: 9574
c
c
c core #16
c 
c 
c Core size: 18	Core Weight: 682	Total Weight: 10256
c
c
c core #17
c 
c 
c Core size: 36	Core Weight: 420	Total Weight: 10676
c
c
c core #18
c 
c 
c Core size: 11	Core Weight: 351	Total Weight: 11027
c
c
c core #19
c 
c 
c Core size: 29	Core Weight: 416	Total Weight: 11443
c
c
c core #20
c 
c 
c Core size: 11	Core Weight: 391	Total Weight: 11834
c
c
c core #21
c 
c 
c Core size: 46	Core Weight: 116	Total Weight: 11950
c
c
c core #22
c 
c 
c Core size: 54	Core Weight: 29	Total Weight: 11979
c
c
c core #23
c 
c 
c Core size: 16	Core Weight: 908	Total Weight: 12887
c
c
c core #24
c 
c 
c Core size: 52	Core Weight: 166	Total Weight: 13053
c
c
c core #25
c 
c 
c Core size: 39	Core Weight: 31	Total Weight: 13084
c
c
c core #26
c 
c 
c Core size: 50	Core Weight: 155	Total Weight: 13239
c
c
c core #27
c 
c 
c Core size: 39	Core Weight: 151	Total Weight: 13390
c
c
c core #28
c 
c 
c Core size: 37	Core Weight: 146	Total Weight: 13536
c
c
c core #29
c 
c 
c Core size: 39	Core Weight: 86	Total Weight: 13622
c
c
c core #30
c 
c 
c Core size: 45	Core Weight: 46	Total Weight: 13668
c
c
c core #31
c 
c 
c Core size: 47	Core Weight: 120	Total Weight: 13788
c
c
c core #32
c 
c 
c Core size: 68	Core Weight: 8	Total Weight: 13796
c
c
c core #33
c 
c 
c Core size: 49	Core Weight: 46	Total Weight: 13842
c
c
c core #34
c 
c 
c Core size: 63	Core Weight: 26	Total Weight: 13868
c
c
c core #35
c 
c 
c Core size: 47	Core Weight: 20	Total Weight: 13888
c
c
c core #36
c 
c 
c Core size: 68	Core Weight: 19	Total Weight: 13907
c
c
c core #37
c 
c 
c Core size: 65	Core Weight: 114	Total Weight: 14021
c
c
c core #38
c 
c 
c Core size: 12	Core Weight: 332	Total Weight: 14353
c
c
c core #39
c 
c 
c Core size: 59	Core Weight: 15	Total Weight: 14368
c
c
c core #40
c 
c 
c Core size: 14	Core Weight: 480	Total Weight: 14848
c
c
c core #41
c 
c 
c Core size: 16	Core Weight: 309	Total Weight: 15157
c
c
c core #42
c 
c 
c Core size: 11	Core Weight: 623	Total Weight: 15780
c
c
c core #43
c 
c 
c Core size: 18	Core Weight: 125	Total Weight: 15905
c
c
c core #44
c 
c 
c Core size: 60	Core Weight: 98	Total Weight: 16003
c
c
c core #45
c 
c 
c Core size: 54	Core Weight: 26	Total Weight: 16029
c
c
c core #46
c 
c 
c Core size: 64	Core Weight: 26	Total Weight: 16055
c
c
c core #47
c 
c 
c Core size: 11	Core Weight: 586	Total Weight: 16641
c
c
c core #48
c 
c 
c Core size: 11	Core Weight: 370	Total Weight: 17011
c
c
c core #49
c 
c 
c Core size: 14	Core Weight: 11	Total Weight: 17022
c
c
c core #50
c 
c 
c Core size: 53	Core Weight: 19	Total Weight: 17041
c
c
c core #51
c 
c 
c Core size: 49	Core Weight: 108	Total Weight: 17149
c
c
c core #52
c 
c 
c Core size: 14	Core Weight: 475	Total Weight: 17624
c
c
c core #53
c 
c 
c Core size: 18	Core Weight: 592	Total Weight: 18216
c
c
c core #54
c 
c 
c Core size: 73	Core Weight: 10	Total Weight: 18226
c
c
c core #55
c 
c 
c Core size: 14	Core Weight: 579	Total Weight: 18805
c
c
c core #56
c 
c 
c Core size: 12	Core Weight: 143	Total Weight: 18948
c
c
c core #57
c 
c 
c Core size: 11	Core Weight: 973	Total Weight: 19921
c
c
c core #58
c 
c 
c Core size: 14	Core Weight: 229	Total Weight: 20150
c
c
c core #59
c 
c 
c Core size: 15	Core Weight: 54	Total Weight: 20204
c
c
c core #60
c 
c 
c Core size: 20	Core Weight: 120	Total Weight: 20324
c
c
c core #61
c 
c 
c Core size: 74	Core Weight: 60	Total Weight: 20384
c
c
c core #62
c 
c 
c Core size: 15	Core Weight: 198	Total Weight: 20582
c
c
c core #63
c 
c 
c Core size: 64	Core Weight: 108	Total Weight: 20690
c
c
c core #64
c 
c 
c Core size: 19	Core Weight: 6	Total Weight: 20696
c
c
c core #65
c 
c 
c Core size: 24	Core Weight: 216	Total Weight: 20912
c
c
c core #66
c 
c 
c Core size: 23	Core Weight: 43	Total Weight: 20955
c
c
c core #67
c 
c 
c Core size: 29	Core Weight: 146	Total Weight: 21101
c
c
c core #68
c 
c 
c Core size: 35	Core Weight: 96	Total Weight: 21197
c
c
c core #69
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 21198
c
c
c core #70
c 
c 
c Core size: 48	Core Weight: 83	Total Weight: 21281
c
c
c core #71
c 
c 
c Core size: 14	Core Weight: 820	Total Weight: 22101
c
c
c core #72
c 
c 
c Core size: 77	Core Weight: 2	Total Weight: 22103
c
c
c core #73
c 
c 
c Core size: 77	Core Weight: 8	Total Weight: 22111
c
c
c core #74
c 
c 
c Core size: 39	Core Weight: 210	Total Weight: 22321
c
c
c core #75
c 
c 
c Core size: 13	Core Weight: 538	Total Weight: 22859
c
c
c core #76
c 
c 
c Core size: 78	Core Weight: 3	Total Weight: 22862
c
c
c core #77
c 
c 
c Core size: 93	Core Weight: 2	Total Weight: 22864
c
c
c core #78
c 
c 
c Core size: 16	Core Weight: 384	Total Weight: 23248
c
c
c core #79
c 
c 
c Core size: 19	Core Weight: 285	Total Weight: 23533
c
c
c core #80
c 
c 
c Core size: 78	Core Weight: 3	Total Weight: 23536
c
c
c core #81
c 
c 
c Core size: 85	Core Weight: 5	Total Weight: 23541
c
c
c core #82
c 
c 
c Core size: 94	Core Weight: 31	Total Weight: 23572
c
c
c core #83
c 
c 
c Core size: 18	Core Weight: 639	Total Weight: 24211
c
c
c core #84
c 
c 
c Core size: 22	Core Weight: 114	Total Weight: 24325
c
c
c core #85
c 
c 
c Core size: 31	Core Weight: 50	Total Weight: 24375
c
c
c core #86
c 
c 
c Core size: 17	Core Weight: 56	Total Weight: 24431
c
c
c core #87
c 
c 
c Core size: 13	Core Weight: 611	Total Weight: 25042
c
c
c core #88
c 
c 
c Core size: 20	Core Weight: 369	Total Weight: 25411
c
c
c core #89
c 
c 
c Core size: 19	Core Weight: 67	Total Weight: 25478
c
c
c core #90
c 
c 
c Core size: 23	Core Weight: 13	Total Weight: 25491
c
c