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-50-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2487426
o 2487196
o 2487008
o 2479995
o 2478899
o 2478150
o 2477790
o 2477459
o 2477411
o 2477243
o 2476130
o 2475896
o 2475489
o 2475244
o 2475014
o 2474760
o 2474736
o 2474501
o 2474271
o 2474100
o 2474076
o 2473870
o 2473846
o 2473845
o 2473463
o 2473202
o 2472341
o 2472264
o 2472034
o 2471172
o 2471104
o 2470883
o 2470812
o 2470625
o 2470395
o 2470231
o 2470141
o 2469973
o 2469743
o 2469719
o 2469351
o 2468689
o 2468643
o 2468045
o 2467753
o 2467589
o 2467359
o 2467335
o 2467105
o 2466932
o 2466846
o 2466826
o 2466702
o 2466626
o 2466592
o 2466510
o 2466227
o 2466179
o 2466062
o 2465808
o 2465687
o 2465491
o 2465297
o 2464917
o 2464079
o 2463804
o 2463654
o 2463492
o 2463400
o 2463002
o 2462940
o 2462686
o 2462335
o 2462207
o 2462184
o 2461997
o 2461981
o 2461977
o 2461743
o 2461637
o 2461174
o 2461095
o 2461000
o 2460878
o 2460777
o 2460753
o 2460734
o 2460543
o 2460519
o 2460264
o 2460240
o 2460068
o 2460058
o 2459429
o 2459383
o 2459171
o 2458941
o 2458927
o 2458715
o 2458597
o 2458231
o 2457997
o 2457890
o 2457168
o 2457154
o 2457006
o 2456118
o 2455435
o 2455090
o 2454679
o 2453844
o 2453513
o 2452943
o 2452232
o 2452104
o 2452091
o 2451951
o 2451950
o 2451755
o 2451361
o 2451337
o 2451153
o 2450923
o 2450822
o 2450774
o 2450505
o 2450122
o 2449709
o 2449681
o 2449411
o 2449068
o 2448521
o 2448325
o 2447908
o 2447070
o 2446418
o 2446317
o 2446065
o 2445975
o 2445833
o 2445809
o 2445763
o 2445647
o 2445452
o 2445288
o 2445198
o 2445176
o 2445032
o 2444890
o 2444731
o 2444602
o 2444598
o 2444434
o 2444410
o 2444295
o 2444191
o 2444123
o 2444004
o 2443803
o 2443587
o 2443423
o 2443154
o 2442990
o 2442944
o 2442874
o 2442850
o 2442710
o 2442686
o 2442551
o 2442436
o 2442312
o 2442303
o 2441728
o 2441437
o 2440799
o 2440661
o 2440583
o 2440424
o 2440270
o 2440136
o 2440099
o 2439508
o 2439362
o 2439285
o 2439187
o 2438437
o 2438378
o 2438323
o 2438301
o 2438148
o 2438144
o 2437938
o 2437774
o 2436898
o 2436301
o 2436247
o 2436112
o 2435949
o 2435859
o 2435785
o 2435695
o 2435615
o 2435471
o 2435371
o 2435370
o 2435276
o 2435219
o 2435193
o 2434977
o 2434921
o 2434775
o 2434763
o 2434657
o 2434574
o 2434451
o 2434307
o 2434271
o 2434224
o 2434204
o 2434200
o 2434155
o 2434035
o 2433675
o 2433531
o 2433259
o 2433189
o 2432894
o 2432888
o 2432824
o 2432444
o 2432399
o 2432346
o 2432088
o 2431906
o 2431856
o 2431843
o 2431820
o 2431777
o 2431693
o 2431639
o 2431593
o 2431569
o 2431463
o 2431368
o 2431333
o 2431299
o 2431169
o 2431151
o 2431031
o 2430980
o 2430690
o 2430582
o 2430116
o 2430037
o 2429996
o 2429954
o 2429790
o 2429784
o 2429709
o 2429551
o 2429443
o 2429429
o 2428705
o 2428541
o 2428403
o 2428350
o 2428282
o 2428189
o 2428064
o 2428034
o 2427964
o 2427874
o 2427855
o 2427700
o 2427438
o 2427432
o 2427075
o 2427048
o 2426921
o 2426917
o 2426878
o 2426795
o 2426672
o 2426600
o 2426542
o 2426332
o 2426168
o 2426075
o 2425990
o 2425915
o 2425864
o 2425851
o 2425829
o 2425752
o 2425735
o 2425699
o 2425661
o 2425583
o 2425435
o 2425353
o 2425192
o 2425154
o 2425099
o 2424935
o 2424894
o 2424782
o 2424633
o 2424602
o 2424577
o 2424567
o 2424517
o 2424355
o 2424252
o 2424235
o 2424223
o 2424042
o 2424016
o 2423808
o 2423634
o 2423501
o 2423401
o 2423261
o 2423078
o 2422991
o 2422979
o 2422860
o 2422705
o 2422546
o 2422509
o 2422471
o 2422404
o 2422352
o 2422320
o 2422035
o 2421806
o 2421642
o 2421516
o 2421435
o 2421349
o 2421214
o 2421115
o 2421082
o 2421016
o 2420973
o 2420927
o 2420794
o 2420701
o 2420607
o 2420603
o 2420439
o 2420413
o 2420301
o 2420277
o 2420273
o 2420213
o 2420088
o 2420058
o 2420034
o 2419961
o 2419821
o 2419770
o 2419586
o 2419427
o 2419409
o 2419143
o 2418974
o 2418932
o 2418739
o 2418493
o 2418341
o 2418322
o 2418298
o 2418229
o 2418195
o 2418149
o 2418035
o 2417939
o 2417920
o 2417763
o 2417677
o 2417638
o 2417572
o 2417521
o 2417412
o 2417357
o 2417303
o 2417206
o 2417188
o 2417144
o 2417030
o 2416786
o 2416724
o 2416701
o 2416404
o 2416258
o 2416141
o 2416027
o 2415898
o 2415707
o 2415623
o 2415600
o 2415471
o 2415386
o 2415313
o 2415233
o 2415146
o 2414994
o 2414857
o 2414693
o 2414650
o 2414595
o 2414486
o 2414430
o 2414221
o 2414064
o 2413968
o 2413827
o 2413713
o 2413580
o 2413483
o 2413439
o 2413302
o 2413207
o 2413131
o 2413070
o 2412932
o 2412790
o 2412786
o 2412696
o 2412567
o 2412541
o 2412521
o 2412481
o 2412473
o 2412338
o 2412316
o 2412301
o 2412281
o 2412214
o 2411754
o 2411639
o 2411561
o 2411472
o 2411468
o 2411416
o 2411407
o 2411406
o 2411346
o 2411205
o 2411134
o 2410970
o 2410966
o 2410664
o 2410507
o 2410410
o 2410295
o 2410144
o 2409823
o 2409720
o 2409696
o 2409506
o 2409409
o 2409359
o 2409265
o 2409207
o 2409157
o 2409090
o 2409017
o 2409005
o 2408978
o 2408964
o 2408835
o 2408816
o 2408511
o 2408396
o 2408262
o 2408230
o 2408224
o 2408176
o 2408051
o 2408014
o 2407990
o 2407947
o 2407836
o 2407633
o 2407493
o 2407480
o 2407317
o 2407238
o 2407206
o 2407182
o 2407117
o 2406975
o 2406866
o 2406855
o 2406835
o 2406829
o 2406815
o 2406812
o 2406700
o 2406563
o 2406340
c core #1
c 
c 
c Core size: 3	Core Weight: 478	Total Weight: 478
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 1359	Total Weight: 1837
c
c
c core #3
c 
c 
c Core size: 5	Core Weight: 1438	Total Weight: 3275
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 672	Total Weight: 3947
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 1295	Total Weight: 5242
c
c
c core #6
c 
c 
c Core size: 5	Core Weight: 902	Total Weight: 6144
c
c
c core #7
c 
c 
c Core size: 4	Core Weight: 822	Total Weight: 6966
c
c
c core #8
c 
c 
c Core size: 11	Core Weight: 659	Total Weight: 7625
c
c
c core #9
c 
c 
c Core size: 8	Core Weight: 210	Total Weight: 7835
c
c
c core #10
c 
c 
c Core size: 18	Core Weight: 688	Total Weight: 8523
c
c
c core #11
c 
c 
c Core size: 13	Core Weight: 44	Total Weight: 8567
c
c
c core #12
c 
c 
c Core size: 21	Core Weight: 723	Total Weight: 9290
c
c
c core #13
c 
c 
c Core size: 23	Core Weight: 41	Total Weight: 9331
c
c
c core #14
c 
c 
c Core size: 23	Core Weight: 538	Total Weight: 9869
c
c
c core #15
c 
c 
c Core size: 21	Core Weight: 371	Total Weight: 10240
c
c
c core #16
c 
c 
c Core size: 22	Core Weight: 537	Total Weight: 10777
c
c
c core #17
c 
c 
c Core size: 22	Core Weight: 193	Total Weight: 10970
c
c
c core #18
c 
c 
c Core size: 26	Core Weight: 3	Total Weight: 10973
c
c
c core #19
c 
c 
c Core size: 23	Core Weight: 22	Total Weight: 10995
c
c
c core #20
c 
c 
c Core size: 21	Core Weight: 348	Total Weight: 11343
c
c
c core #21
c 
c 
c Core size: 16	Core Weight: 52	Total Weight: 11395
c
c
c core #22
c 
c 
c Core size: 18	Core Weight: 384	Total Weight: 11779
c
c
c core #23
c 
c 
c Core size: 19	Core Weight: 242	Total Weight: 12021
c
c
c core #24
c 
c 
c Core size: 16	Core Weight: 356	Total Weight: 12377
c
c
c core #25
c 
c 
c Core size: 16	Core Weight: 613	Total Weight: 12990
c
c
c core #26
c 
c 
c Core size: 17	Core Weight: 63	Total Weight: 13053
c
c
c core #27
c 
c 
c Core size: 20	Core Weight: 244	Total Weight: 13297
c
c
c core #28
c 
c 
c Core size: 23	Core Weight: 64	Total Weight: 13361
c
c
c core #29
c 
c 
c Core size: 39	Core Weight: 20	Total Weight: 13381
c
c
c core #30
c 
c 
c Core size: 29	Core Weight: 28	Total Weight: 13409
c
c
c core #31
c 
c 
c Core size: 31	Core Weight: 39	Total Weight: 13448
c
c
c core #32
c 
c 
c Core size: 30	Core Weight: 251	Total Weight: 13699
c
c
c core #33
c 
c 
c Core size: 32	Core Weight: 33	Total Weight: 13732
c
c
c core #34
c 
c 
c Core size: 30	Core Weight: 214	Total Weight: 13946
c
c
c core #35
c 
c 
c Core size: 16	Core Weight: 821	Total Weight: 14767
c
c
c core #36
c 
c 
c Core size: 20	Core Weight: 288	Total Weight: 15055
c
c
c core #37
c 
c 
c Core size: 21	Core Weight: 42	Total Weight: 15097
c
c
c core #38
c 
c 
c Core size: 22	Core Weight: 275	Total Weight: 15372
c
c
c core #39
c 
c 
c Core size: 36	Core Weight: 68	Total Weight: 15440
c
c
c core #40
c 
c 
c Core size: 23	Core Weight: 28	Total Weight: 15468
c
c
c core #41
c 
c 
c Core size: 25	Core Weight: 35	Total Weight: 15503
c
c
c core #42
c 
c 
c Core size: 31	Core Weight: 240	Total Weight: 15743
c
c
c core #43
c 
c 
c Core size: 42	Core Weight: 15	Total Weight: 15758
c
c
c core #44
c 
c 
c Core size: 43	Core Weight: 30	Total Weight: 15788
c
c
c core #45
c 
c 
c Core size: 44	Core Weight: 5	Total Weight: 15793
c
c
c core #46
c 
c 
c Core size: 34	Core Weight: 8	Total Weight: 15801
c
c
c core #47
c 
c 
c Core size: 41	Core Weight: 199	Total Weight: 16000
c
c
c core #48
c 
c 
c Core size: 41	Core Weight: 39	Total Weight: 16039
c
c
c core #49
c 
c 
c Core size: 43	Core Weight: 33	Total Weight: 16072
c
c
c core #50
c 
c 
c Core size: 24	Core Weight: 48	Total Weight: 16120
c
c
c core #51
c 
c 
c Core size: 29	Core Weight: 21	Total Weight: 16141
c
c
c core #52
c 
c 
c Core size: 28	Core Weight: 112	Total Weight: 16253
c
c
c core #53
c 
c 
c Core size: 29	Core Weight: 3	Total Weight: 16256
c
c
c core #54
c 
c 
c Core size: 27	Core Weight: 26	Total Weight: 16282
c
c
c core #55
c 
c 
c Core size: 42	Core Weight: 297	Total Weight: 16579
c
c
c core #56
c 
c 
c Core size: 41	Core Weight: 45	Total Weight: 16624
c
c
c core #57
c 
c 
c Core size: 52	Core Weight: 15	Total Weight: 16639
c
c
c core #58
c 
c 
c Core size: 52	Core Weight: 30	Total Weight: 16669
c
c
c core #59
c 
c 
c Core size: 52	Core Weight: 5	Total Weight: 16674
c
c
c core #60
c 
c 
c Core size: 42	Core Weight: 13	Total Weight: 16687
c
c
c core #61
c 
c 
c Core size: 43	Core Weight: 61	Total Weight: 16748
c
c
c core #62
c 
c 
c Core size: 52	Core Weight: 47	Total Weight: 16795
c
c
c core #63
c 
c 
c Core size: 56	Core Weight: 20	Total Weight: 16815
c
c
c core #64
c 
c 
c Core size: 55	Core Weight: 19	Total Weight: 16834
c
c
c core #65
c 
c 
c Core size: 56	Core Weight: 5	Total Weight: 16839
c
c
c core #66
c 
c 
c Core size: 11	Core Weight: 439	Total Weight: 17278
c
c
c core #67
c 
c 
c Core size: 21	Core Weight: 7	Total Weight: 17285
c
c
c core #68
c 
c 
c Core size: 23	Core Weight: 113	Total Weight: 17398
c
c
c core #69
c 
c 
c Core size: 8	Core Weight: 213	Total Weight: 17611
c
c
c core #70
c 
c 
c Core size: 20	Core Weight: 76	Total Weight: 17687
c
c
c core #71
c 
c 
c Core size: 23	Core Weight: 110	Total Weight: 17797
c
c
c core #72
c 
c 
c Core size: 21	Core Weight: 205	Total Weight: 18002
c
c
c core #73
c 
c 
c Core size: 21	Core Weight: 380	Total Weight: 18382
c
c
c core #74
c 
c 
c Core size: 18	Core Weight: 234	Total Weight: 18616
c
c
c core #75
c 
c 
c Core size: 16	Core Weight: 301	Total Weight: 18917
c
c
c core #76
c 
c 
c Core size: 20	Core Weight: 8	Total Weight: 18925
c
c
c core #77
c 
c 
c Core size: 25	Core Weight: 530	Total Weight: 19455
c
c
c core #78
c 
c 
c Core size: 20	Core Weight: 230	Total Weight: 19685
c
c
c core #79
c 
c 
c Core size: 28	Core Weight: 374	Total Weight: 20059
c
c
c core #80
c 
c 
c Core size: 23	Core Weight: 951	Total Weight: 21010
c
c
c core #81
c 
c 
c Core size: 38	Core Weight: 530	Total Weight: 21540
c
c
c core #82
c 
c 
c Core size: 28	Core Weight: 258	Total Weight: 21798
c
c
c core #83
c 
c 
c Core size: 41	Core Weight: 321	Total Weight: 22119
c
c
c core #84
c 
c 
c Core size: 33	Core Weight: 304	Total Weight: 22423
c
c
c core #85
c 
c 
c Core size: 35	Core Weight: 66	Total Weight: 22489
c
c
c core #86
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 22490
c
c
c core #87
c 
c 
c Core size: 26	Core Weight: 17	Total Weight: 22507
c
c
c core #88
c 
c 
c Core size: 17	Core Weight: 652	Total Weight: 23159
c
c
c core #89
c 
c 
c Core size: 32	Core Weight: 40	Total Weight: 23199
c
c
c core #90
c 
c 
c Core size: 14	Core Weight: 24	Total Weight: 23223
c
c
c core #91
c 
c 
c Core size: 30	Core Weight: 208	Total Weight: 23431
c
c
c core #92
c 
c 
c Core size: 52	Core Weight: 127	Total Weight: 23558
c
c
c core #93
c 
c 
c Core size: 32	Core Weight: 39	Total Weight: 23597
c
c
c core #94
c 
c 
c Core size: 48	Core Weight: 89	Total Weight: 23686
c
c
c core #95
c 
c 
c Core size: 43	Core Weight: 131	Total Weight: 23817
c
c
c core #96
c 
c 
c Core size: 37	Core Weight: 136	Total Weight: 23953
c
c
c core #97
c 
c 
c Core size: 39	Core Weight: 37	Total Weight: 23990
c
c
c core #98
c 
c 
c Core size: 39	Core Weight: 47	Total Weight: 24037
c
c
c core #99
c 
c 
c Core size: 20	Core Weight: 126	Total Weight: 24163
c
c
c core #100
c 
c 
c Core size: 45	Core Weight: 84	Total Weight: 24247
c
c
c core #101
c 
c 
c Core size: 37	Core Weight: 126	Total Weight: 24373
c
c
c core #102
c 
c 
c Core size: 19	Core Weight: 103	Total Weight: 24476
c
c
c core #103
c 
c 
c Core size: 31	Core Weight: 54	Total Weight: 24530
c
c
c core #104
c 
c 
c Core size: 47	Core Weight: 168	Total Weight: 24698
c
c
c core #105
c 
c 
c Core size: 31	Core Weight: 61	Total Weight: 24759
c
c
c core #106
c 
c 
c Core size: 31	Core Weight: 67	Total Weight: 24826
c
c
c core #107
c 
c 
c Core size: 48	Core Weight: 52	Total Weight: 24878
c
c
c core #108
c 
c 
c Core size: 48	Core Weight: 39	Total Weight: 24917
c
c
c core #109
c 
c 
c Core size: 32	Core Weight: 80	Total Weight: 24997
c
c
c core #110
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 24998
c
c
c core #111
c 
c 
c Core size: 41	Core Weight: 69	Total Weight: 25067
c
c
c core #112
c 
c 
c Core size: 46	Core Weight: 87	Total Weight: 25154
c
c
c core #113
c 
c 
c Core size: 35	Core Weight: 618	Total Weight: 25772
c
c
c core #114
c 
c 
c Core size: 36	Core Weight: 377	Total Weight: 26149
c
c
c core #115
c 
c 
c Core size: 49	Core Weight: 29	Total Weight: 26178
c
c
c core #116
c 
c 
c Core size: 14	Core Weight: 775	Total Weight: 26953
c
c
c core #117
c 
c 
c Core size: 27	Core Weight: 34	Total Weight: 26987
c
c
c core #118
c 
c 
c Core size: 31	Core Weight: 94	Total Weight: 27081
c
c
c core #119
c 
c 
c Core size: 28	Core Weight: 116	Total Weight: 27197
c
c
c core #120
c 
c 
c Core size: 79	Core Weight: 15	Total Weight: 27212
c
c
c core #121
c 
c 
c Core size: 35	Core Weight: 231	Total Weight: 27443
c
c
c core #122
c 
c 
c Core size: 81	Core Weight: 5	Total Weight: 27448
c
c
c core #123
c 
c 
c Core size: 35	Core Weight: 100	Total Weight: 27548
c
c
c core #124
c 
c 
c Core size: 27	Core Weight: 35	Total Weight: 27583
c
c
c core #125
c 
c 
c Core size: 46	Core Weight: 20	Total Weight: 27603
c
c
c core #126
c 
c 
c Core size: 18	Core Weight: 1043	Total Weight: 28646
c
c
c core #127
c 
c 
c Core size: 51	Core Weight: 162	Total Weight: 28808
c
c
c core #128
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 28809
c
c
c core #129
c 
c 
c Core size: 14	Core Weight: 1396	Total Weight: 30205
c
c
c core #130
c 
c 
c Core size: 54	Core Weight: 69	Total Weight: 30274
c
c
c core #131
c 
c 
c Core size: 19	Core Weight: 270	Total Weight: 30544
c
c
c core #132
c 
c 
c Core size: 20	Core Weight: 119	Total Weight: 30663
c
c
c core #133
c 
c 
c Core size: 20	Core Weight: 82	Total Weight: 30745
c
c
c core #134
c 
c 
c Core size: 30	Core Weight: 176	Total Weight: 30921
c
c
c core #135
c 
c 
c Core size: 45	Core Weight: 26	Total Weight: 30947
c
c
c core #136
c 
c 
c Core size: 54	Core Weight: 80	Total Weight: 31027
c
c
c core #137
c 
c 
c Core size: 21	Core Weight: 104	Total Weight: 31131
c
c
c core #138
c 
c 
c Core size: 16	Core Weight: 201	Total Weight: 31332
c
c
c core #139
c 
c 
c Core size: 19	Core Weight: 216	Total Weight: 31548
c
c
c core #140
c 
c 
c Core size: 25	Core Weight: 552	Total Weight: 32100
c
c
c core #141
c 
c 
c Core size: 22	Core Weight: 49	Total Weight: 32149
c
c
c core #142
c 
c 
c Core size: 47	Core Weight: 111	Total Weight: 32260
c
c