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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2984900
o 2984581
o 2982662
o 2980952
o 2980375
o 2979281
o 2979241
o 2979119
o 2978562
o 2978132
o 2977752
o 2977527
o 2977096
o 2975721
o 2975593
o 2975112
o 2974342
o 2974084
o 2973608
o 2973606
o 2973603
o 2973431
o 2972925
o 2972675
o 2972383
o 2972063
o 2972032
o 2971000
o 2970838
o 2970823
o 2970711
o 2970648
o 2970549
o 2970486
o 2969737
o 2969676
o 2969575
o 2969567
o 2969359
o 2969027
o 2968888
o 2968200
o 2968038
o 2967521
o 2967378
o 2966705
o 2966334
o 2966016
o 2965779
o 2965509
o 2965191
o 2964834
o 2964690
o 2964450
o 2964323
o 2963884
o 2963419
o 2963338
o 2963131
o 2962443
o 2961937
o 2961498
o 2961393
o 2961378
o 2961250
o 2960912
o 2960867
o 2960859
o 2960624
o 2960489
o 2960185
o 2959917
o 2959753
o 2959713
o 2959362
o 2959234
o 2959026
o 2958930
o 2958601
o 2958274
o 2958188
o 2957964
o 2957890
o 2957751
o 2957610
o 2957330
o 2957223
o 2956971
o 2956960
o 2956845
o 2956771
o 2956544
o 2956461
o 2956382
o 2956350
o 2955930
o 2955817
o 2955618
o 2955455
o 2955378
o 2955340
o 2955290
o 2954982
o 2954779
o 2954153
o 2953687
o 2953484
o 2953212
o 2952833
o 2952747
o 2952308
o 2952281
o 2952142
o 2952015
o 2952005
o 2951708
o 2951686
o 2950836
o 2950428
o 2950414
o 2950114
o 2949735
o 2949676
o 2949436
o 2948997
o 2948646
o 2948578
o 2948562
o 2948330
o 2948084
o 2947973
o 2947704
o 2947560
o 2947516
o 2947486
o 2947320
o 2947129
o 2947027
o 2946737
o 2946575
o 2946512
o 2946114
o 2946035
o 2945601
o 2945511
o 2945454
o 2945294
o 2945279
o 2945137
o 2945070
o 2944841
o 2944753
o 2944608
o 2944491
o 2944266
o 2944134
o 2944082
o 2943972
o 2943877
o 2943821
o 2943629
o 2943587
o 2943358
o 2943117
o 2942740
o 2942730
o 2942493
o 2942285
o 2942051
o 2941989
o 2941752
o 2941498
o 2941490
o 2941475
o 2941413
o 2941362
o 2940923
o 2940882
o 2940822
o 2940709
o 2940515
o 2940323
o 2940298
o 2940275
o 2939961
o 2939667
o 2939638
o 2939530
o 2939368
o 2939287
o 2939135
o 2938850
o 2938461
o 2938263
o 2937998
o 2937918
o 2937893
o 2937623
o 2937395
o 2937302
o 2937112
o 2937102
o 2936769
o 2936754
o 2936375
o 2936372
o 2936370
o 2936114
o 2935947
o 2935818
o 2935379
o 2935039
o 2934890
o 2934465
o 2934448
o 2934173
o 2934052
o 2933809
o 2933618
o 2933443
o 2933281
o 2933263
o 2933235
o 2932986
o 2932605
o 2932220
o 2932056
o 2932045
o 2931845
o 2931655
o 2931223
o 2931180
o 2931156
o 2930956
o 2930604
o 2930168
o 2929874
o 2929532
o 2929412
o 2929029
o 2928927
o 2928889
o 2928466
o 2928397
o 2928223
o 2928065
o 2927882
o 2927834
o 2927368
o 2927330
o 2927186
o 2927169
o 2926873
o 2926448
o 2926260
o 2925959
o 2925611
o 2925511
o 2925449
o 2925315
o 2925311
o 2925117
o 2924961
o 2924581
o 2924553
o 2924517
o 2924455
o 2924093
o 2924006
o 2923902
o 2923852
o 2923521
o 2923195
o 2922948
o 2922599
o 2922584
o 2922490
o 2921929
o 2921519
o 2921451
o 2921349
o 2921062
o 2921044
o 2920971
o 2920850
o 2920696
o 2920330
o 2920256
o 2920251
o 2920162
o 2920132
o 2920079
o 2920039
o 2920008
o 2919912
o 2919823
o 2919750
o 2919719
o 2919686
o 2919530
o 2919253
o 2919182
o 2919172
o 2919044
o 2918998
o 2918861
o 2918755
o 2918582
o 2918461
o 2918451
o 2918322
o 2918248
o 2918221
o 2917957
o 2917618
o 2917613
o 2917359
o 2917080
o 2917022
o 2916742
o 2916731
o 2916468
o 2916404
o 2916338
o 2916109
o 2916080
o 2916045
o 2915912
o 2915751
o 2915738
o 2915537
o 2915352
o 2914823
o 2914711
o 2914683
o 2914455
o 2914409
o 2914276
o 2914268
o 2913878
o 2913717
o 2913579
o 2913563
o 2913264
o 2913203
o 2913193
o 2912876
o 2912293
o 2912106
o 2912070
o 2912028
o 2911660
o 2911650
o 2911565
o 2911354
o 2911110
o 2910753
o 2910707
o 2910605
o 2910418
o 2910256
o 2910124
o 2910028
o 2909993
o 2909724
o 2909539
o 2909311
o 2909183
o 2909015
o 2908861
o 2908476
o 2908364
o 2908345
o 2908128
o 2907994
o 2907560
o 2907505
o 2907078
o 2906914
o 2906886
o 2906788
o 2906623
o 2906240
o 2906137
o 2906079
o 2905990
o 2905424
o 2905419
o 2905358
o 2905262
o 2905090
o 2904633
o 2904530
o 2904237
o 2904212
o 2904159
o 2904116
o 2903813
o 2903722
o 2903626
o 2903475
o 2903328
o 2903299
o 2903136
o 2903027
o 2903006
o 2902917
o 2902689
o 2902122
o 2901932
o 2901832
o 2901741
o 2901714
o 2901605
o 2901311
o 2901171
o 2901162
o 2900872
o 2900731
o 2900649
o 2900556
o 2900152
o 2900138
o 2900114
o 2899907
o 2899793
o 2899561
o 2899354
o 2898980
o 2898961
o 2898849
o 2898843
o 2898601
o 2898379
o 2897974
o 2897631
o 2897364
o 2897176
o 2896947
o 2896826
o 2896426
o 2896161
o 2895764
o 2895615
o 2895598
o 2895492
o 2895418
o 2895214
o 2895079
o 2894824
o 2894577
o 2894532
o 2894212
o 2894025
o 2893796
c core #1
c 
c 
c Core size: 5	Core Weight: 948	Total Weight: 948
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 427	Total Weight: 1375
c
c
c core #3
c 
c 
c Core size: 4	Core Weight: 969	Total Weight: 2344
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 243	Total Weight: 2587
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 179	Total Weight: 2766
c
c
c core #6
c 
c 
c Core size: 9	Core Weight: 679	Total Weight: 3445
c
c
c core #7
c 
c 
c Core size: 9	Core Weight: 978	Total Weight: 4423
c
c
c core #8
c 
c 
c Core size: 9	Core Weight: 1102	Total Weight: 5525
c
c
c core #9
c 
c 
c Core size: 10	Core Weight: 1304	Total Weight: 6829
c
c
c core #10
c 
c 
c Core size: 12	Core Weight: 368	Total Weight: 7197
c
c
c core #11
c 
c 
c Core size: 5	Core Weight: 1780	Total Weight: 8977
c
c
c core #12
c 
c 
c Core size: 13	Core Weight: 208	Total Weight: 9185
c
c
c core #13
c 
c 
c Core size: 5	Core Weight: 1335	Total Weight: 10520
c
c
c core #14
c 
c 
c Core size: 3	Core Weight: 690	Total Weight: 11210
c
c
c core #15
c 
c 
c Core size: 10	Core Weight: 298	Total Weight: 11508
c
c
c core #16
c 
c 
c Core size: 12	Core Weight: 46	Total Weight: 11554
c
c
c core #17
c 
c 
c Core size: 14	Core Weight: 56	Total Weight: 11610
c
c
c core #18
c 
c 
c Core size: 19	Core Weight: 373	Total Weight: 11983
c
c
c core #19
c 
c 
c Core size: 26	Core Weight: 133	Total Weight: 12116
c
c
c core #20
c 
c 
c Core size: 25	Core Weight: 357	Total Weight: 12473
c
c
c core #21
c 
c 
c Core size: 28	Core Weight: 5	Total Weight: 12478
c
c
c core #22
c 
c 
c Core size: 29	Core Weight: 125	Total Weight: 12603
c
c
c core #23
c 
c 
c Core size: 29	Core Weight: 91	Total Weight: 12694
c
c
c core #24
c 
c 
c Core size: 33	Core Weight: 563	Total Weight: 13257
c
c
c core #25
c 
c 
c Core size: 32	Core Weight: 56	Total Weight: 13313
c
c
c core #26
c 
c 
c Core size: 13	Core Weight: 92	Total Weight: 13405
c
c
c core #27
c 
c 
c Core size: 10	Core Weight: 537	Total Weight: 13942
c
c
c core #28
c 
c 
c Core size: 11	Core Weight: 40	Total Weight: 13982
c
c
c core #29
c 
c 
c Core size: 32	Core Weight: 244	Total Weight: 14226
c
c
c core #30
c 
c 
c Core size: 17	Core Weight: 131	Total Weight: 14357
c
c
c core #31
c 
c 
c Core size: 38	Core Weight: 91	Total Weight: 14448
c
c
c core #32
c 
c 
c Core size: 45	Core Weight: 54	Total Weight: 14502
c
c
c core #33
c 
c 
c Core size: 44	Core Weight: 46	Total Weight: 14548
c
c
c core #34
c 
c 
c Core size: 44	Core Weight: 33	Total Weight: 14581
c
c
c core #35
c 
c 
c Core size: 40	Core Weight: 46	Total Weight: 14627
c
c
c core #36
c 
c 
c Core size: 45	Core Weight: 13	Total Weight: 14640
c
c
c core #37
c 
c 
c Core size: 11	Core Weight: 38	Total Weight: 14678
c
c
c core #38
c 
c 
c Core size: 43	Core Weight: 131	Total Weight: 14809
c
c
c core #39
c 
c 
c Core size: 16	Core Weight: 161	Total Weight: 14970
c
c
c core #40
c 
c 
c Core size: 42	Core Weight: 20	Total Weight: 14990
c
c
c core #41
c 
c 
c Core size: 16	Core Weight: 149	Total Weight: 15139
c
c
c core #42
c 
c 
c Core size: 62	Core Weight: 35	Total Weight: 15174
c
c
c core #43
c 
c 
c Core size: 11	Core Weight: 95	Total Weight: 15269
c
c
c core #44
c 
c 
c Core size: 45	Core Weight: 284	Total Weight: 15553
c
c
c core #45
c 
c 
c Core size: 83	Core Weight: 5	Total Weight: 15558
c
c
c core #46
c 
c 
c Core size: 67	Core Weight: 10	Total Weight: 15568
c
c
c core #47
c 
c 
c Core size: 11	Core Weight: 317	Total Weight: 15885
c
c
c core #48
c 
c 
c Core size: 99	Core Weight: 5	Total Weight: 15890
c
c
c core #49
c 
c 
c Core size: 56	Core Weight: 14	Total Weight: 15904
c
c
c core #50
c 
c 
c Core size: 14	Core Weight: 440	Total Weight: 16344
c
c
c core #51
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 16345
c
c
c core #52
c 
c 
c Core size: 9	Core Weight: 197	Total Weight: 16542
c
c
c core #53
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 16545
c
c
c core #54
c 
c 
c Core size: 18	Core Weight: 57	Total Weight: 16602
c
c
c core #55
c 
c 
c Core size: 21	Core Weight: 9	Total Weight: 16611
c
c
c core #56
c 
c 
c Core size: 14	Core Weight: 1296	Total Weight: 17907
c
c
c core #57
c 
c 
c Core size: 10	Core Weight: 272	Total Weight: 18179
c
c
c core #58
c 
c 
c Core size: 14	Core Weight: 1455	Total Weight: 19634
c
c
c core #59
c 
c 
c Core size: 18	Core Weight: 178	Total Weight: 19812
c
c
c core #60
c 
c 
c Core size: 20	Core Weight: 98	Total Weight: 19910
c
c
c core #61
c 
c 
c Core size: 20	Core Weight: 580	Total Weight: 20490
c
c
c core #62
c 
c 
c Core size: 20	Core Weight: 288	Total Weight: 20778
c
c
c core #63
c 
c 
c Core size: 21	Core Weight: 139	Total Weight: 20917
c
c
c core #64
c 
c 
c Core size: 18	Core Weight: 169	Total Weight: 21086
c
c
c core #65
c 
c 
c Core size: 16	Core Weight: 100	Total Weight: 21186
c
c
c core #66
c 
c 
c Core size: 17	Core Weight: 441	Total Weight: 21627
c
c
c core #67
c 
c 
c Core size: 13	Core Weight: 501	Total Weight: 22128
c
c
c core #68
c 
c 
c Core size: 13	Core Weight: 197	Total Weight: 22325
c
c
c core #69
c 
c 
c Core size: 15	Core Weight: 91	Total Weight: 22416
c
c
c core #70
c 
c 
c Core size: 14	Core Weight: 368	Total Weight: 22784
c
c
c core #71
c 
c 
c Core size: 17	Core Weight: 272	Total Weight: 23056
c
c
c core #72
c 
c 
c Core size: 12	Core Weight: 159	Total Weight: 23215
c
c
c core #73
c 
c 
c Core size: 14	Core Weight: 1124	Total Weight: 24339
c
c
c core #74
c 
c 
c Core size: 16	Core Weight: 137	Total Weight: 24476
c
c
c core #75
c 
c 
c Core size: 16	Core Weight: 427	Total Weight: 24903
c
c
c core #76
c 
c 
c Core size: 23	Core Weight: 155	Total Weight: 25058
c
c
c core #77
c 
c 
c Core size: 24	Core Weight: 94	Total Weight: 25152
c
c
c core #78
c 
c 
c Core size: 15	Core Weight: 44	Total Weight: 25196
c
c
c core #79
c 
c 
c Core size: 17	Core Weight: 34	Total Weight: 25230
c
c
c core #80
c 
c 
c Core size: 18	Core Weight: 11	Total Weight: 25241
c
c
c core #81
c 
c 
c Core size: 18	Core Weight: 252	Total Weight: 25493
c
c
c core #82
c 
c 
c Core size: 22	Core Weight: 51	Total Weight: 25544
c
c
c core #83
c 
c 
c Core size: 25	Core Weight: 108	Total Weight: 25652
c
c
c core #84
c 
c 
c Core size: 25	Core Weight: 22	Total Weight: 25674
c
c
c core #85
c 
c 
c Core size: 21	Core Weight: 72	Total Weight: 25746
c
c
c core #86
c 
c 
c Core size: 16	Core Weight: 706	Total Weight: 26452
c
c
c core #87
c 
c 
c Core size: 24	Core Weight: 29	Total Weight: 26481
c
c
c core #88
c 
c 
c Core size: 27	Core Weight: 22	Total Weight: 26503
c
c
c core #89
c 
c 
c Core size: 28	Core Weight: 32	Total Weight: 26535
c
c
c core #90
c 
c 
c Core size: 18	Core Weight: 366	Total Weight: 26901
c
c
c core #91
c 
c 
c Core size: 11	Core Weight: 61	Total Weight: 26962
c
c
c core #92
c 
c 
c Core size: 30	Core Weight: 91	Total Weight: 27053
c
c
c core #93
c 
c 
c Core size: 36	Core Weight: 94	Total Weight: 27147
c
c
c core #94
c 
c 
c Core size: 25	Core Weight: 87	Total Weight: 27234
c
c
c core #95
c 
c 
c Core size: 20	Core Weight: 137	Total Weight: 27371
c
c
c core #96
c 
c 
c Core size: 18	Core Weight: 128	Total Weight: 27499
c
c
c core #97
c 
c 
c Core size: 23	Core Weight: 2	Total Weight: 27501
c
c
c core #98
c 
c 
c Core size: 22	Core Weight: 58	Total Weight: 27559
c
c
c core #99
c 
c 
c Core size: 24	Core Weight: 3	Total Weight: 27562
c
c
c core #100
c 
c 
c Core size: 23	Core Weight: 6	Total Weight: 27568
c
c
c core #101
c 
c 
c Core size: 20	Core Weight: 489	Total Weight: 28057
c
c
c core #102
c 
c 
c Core size: 18	Core Weight: 447	Total Weight: 28504
c
c
c core #103
c 
c 
c Core size: 50	Core Weight: 36	Total Weight: 28540
c
c
c core #104
c 
c 
c Core size: 11	Core Weight: 601	Total Weight: 29141
c
c
c core #105
c 
c 
c Core size: 13	Core Weight: 54	Total Weight: 29195
c
c
c core #106
c 
c 
c Core size: 12	Core Weight: 412	Total Weight: 29607
c
c
c core #107
c 
c 
c Core size: 25	Core Weight: 18	Total Weight: 29625
c
c
c core #108
c 
c 
c Core size: 15	Core Weight: 914	Total Weight: 30539
c
c
c core #109
c 
c 
c Core size: 16	Core Weight: 267	Total Weight: 30806
c
c
c core #110
c 
c 
c Core size: 18	Core Weight: 123	Total Weight: 30929
c
c
c core #111
c 
c 
c Core size: 16	Core Weight: 154	Total Weight: 31083
c
c
c core #112
c 
c 
c Core size: 19	Core Weight: 177	Total Weight: 31260
c
c
c core #113
c 
c 
c Core size: 24	Core Weight: 83	Total Weight: 31343
c
c
c core #114
c 
c 
c Core size: 18	Core Weight: 159	Total Weight: 31502
c
c
c core #115
c 
c 
c Core size: 18	Core Weight: 111	Total Weight: 31613
c
c
c core #116
c 
c 
c Core size: 23	Core Weight: 8	Total Weight: 31621
c
c
c core #117
c 
c 
c Core size: 21	Core Weight: 332	Total Weight: 31953
c
c
c core #118
c 
c 
c Core size: 10	Core Weight: 412	Total Weight: 32365
c
c
c core #119
c 
c 
c Core size: 15	Core Weight: 145	Total Weight: 32510
c
c
c core #120
c 
c 
c Core size: 16	Core Weight: 53	Total Weight: 32563
c
c
c core #121
c 
c 
c Core size: 17	Core Weight: 24	Total Weight: 32587
c
c
c core #122
c 
c 
c Core size: 10	Core Weight: 28	Total Weight: 32615
c
c