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-60-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2414690
o 2413547
o 2413398
o 2413231
o 2413157
o 2413137
o 2412773
o 2412650
o 2412398
o 2411818
o 2411675
o 2411540
o 2411238
o 2411147
o 2411111
o 2411021
o 2411010
o 2410907
o 2410866
o 2410752
o 2410620
o 2410265
o 2410251
o 2410247
o 2410228
o 2410090
o 2410028
o 2409985
o 2409760
o 2409746
o 2409585
o 2409498
o 2409330
o 2409236
o 2409143
o 2409126
o 2409016
o 2407937
o 2407783
o 2407772
o 2407745
o 2407528
o 2407461
o 2407332
o 2407306
o 2407270
o 2407130
o 2406966
o 2406877
o 2406718
o 2406643
o 2406417
o 2406242
o 2406206
o 2406170
o 2406013
o 2406005
o 2405969
o 2405888
o 2405800
o 2405629
o 2405583
o 2405431
o 2405225
o 2405106
o 2405060
o 2404620
o 2404294
o 2403985
o 2403853
o 2403835
o 2403743
o 2403620
o 2403536
o 2403486
o 2403480
o 2403346
o 2403303
o 2403198
o 2402706
o 2402531
o 2402414
o 2402331
o 2402313
o 2402189
o 2402141
o 2402031
o 2402024
o 2402005
o 2401873
o 2401707
o 2401705
o 2401623
o 2401337
o 2401307
o 2401221
o 2401209
o 2401034
o 2400996
o 2400987
o 2400941
o 2400360
o 2400229
o 2400201
o 2400158
o 2400143
o 2400052
o 2399960
o 2399799
o 2399694
o 2399602
o 2399600
o 2399571
o 2399419
o 2399406
o 2399350
o 2399264
o 2399177
o 2399146
o 2399098
o 2398975
o 2398911
o 2398832
o 2398706
o 2398514
o 2398364
o 2398249
o 2398236
o 2398153
o 2398104
o 2397973
o 2397944
o 2397802
o 2397640
o 2397583
o 2397467
o 2397292
o 2396991
o 2396816
o 2396682
o 2396507
o 2396365
o 2396324
o 2396318
o 2396271
o 2396149
o 2396051
o 2395919
o 2395864
o 2395785
o 2395777
o 2395641
o 2395528
o 2395483
o 2395482
o 2395365
o 2395297
o 2395263
o 2395189
o 2395076
o 2395025
o 2394850
o 2394710
o 2394621
o 2394616
o 2394581
o 2394493
o 2394355
o 2394258
o 2394162
o 2394073
o 2393989
o 2393890
o 2393864
o 2393675
o 2393556
o 2393514
o 2393269
o 2392989
o 2392820
o 2392784
o 2392776
o 2392746
o 2392702
o 2392494
o 2392441
o 2392405
o 2392339
o 2392206
o 2391949
o 2391604
o 2391373
o 2391152
o 2390983
o 2390857
o 2390705
o 2390585
o 2390512
o 2390036
o 2389786
o 2389427
o 2388985
o 2388832
o 2388676
o 2388489
o 2388286
o 2388014
o 2388006
o 2387996
o 2387973
o 2387669
o 2387144
o 2386861
o 2386409
o 2386056
o 2385813
o 2385586
o 2385583
o 2385496
o 2385292
o 2385265
o 2385064
o 2384922
o 2384454
o 2384285
o 2383986
o 2383935
o 2383473
o 2383340
o 2383265
o 2383256
o 2382970
o 2382811
o 2382566
o 2382375
o 2382186
o 2382057
o 2382055
o 2382019
o 2381900
o 2381866
o 2381688
o 2381677
o 2381641
o 2381524
o 2381457
o 2381429
o 2381402
o 2381125
o 2381000
o 2380826
o 2380552
o 2380243
o 2379907
o 2379506
o 2379100
o 2379000
o 2378869
o 2378498
o 2378288
o 2378277
o 2378012
o 2377746
o 2377651
o 2377428
o 2377410
o 2377214
o 2377007
o 2376999
o 2376875
o 2376853
o 2376423
o 2376285
o 2376201
o 2375878
o 2375729
o 2375568
o 2375559
o 2375395
o 2375201
o 2375069
o 2374938
o 2374833
o 2374594
o 2374565
o 2374002
o 2373954
o 2373867
o 2373802
o 2373620
o 2373604
o 2373567
o 2373232
o 2373131
o 2372999
o 2372894
o 2372851
o 2372673
o 2372571
o 2371791
o 2371774
o 2371502
o 2371424
o 2371187
o 2371093
o 2370966
o 2370755
o 2370697
o 2370637
o 2370621
o 2370427
o 2370101
o 2369882
o 2369659
o 2369625
o 2369588
o 2369412
o 2369122
o 2368991
o 2368835
o 2368582
o 2368395
o 2368052
o 2367775
o 2367107
o 2367046
o 2367039
o 2367019
o 2366854
o 2366780
o 2366702
o 2366503
o 2366418
o 2366346
o 2366298
o 2366221
o 2365953
o 2365801
o 2365501
o 2365389
o 2365322
o 2365213
o 2364880
o 2364505
o 2364071
o 2363768
o 2363551
o 2363548
o 2363413
o 2363235
o 2363094
o 2362799
o 2362519
o 2362433
o 2362419
o 2362313
o 2362103
o 2362006
o 2361680
o 2361570
o 2361519
o 2361506
o 2361376
o 2361373
o 2361215
o 2360919
o 2360899
o 2360592
o 2360433
o 2360323
o 2360092
o 2359755
o 2359558
o 2359509
o 2359327
o 2359054
o 2358745
o 2358647
o 2358535
o 2358252
o 2358102
o 2358079
o 2357999
o 2357884
o 2357421
o 2357136
o 2357106
o 2357008
o 2356661
o 2356380
o 2356218
o 2356118
o 2356074
o 2355965
o 2355817
o 2355682
o 2355500
o 2355361
o 2355249
o 2355243
o 2355039
o 2354773
o 2354383
c core #1
c 
c 
c Core size: 3	Core Weight: 379	Total Weight: 379
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 539	Total Weight: 918
c
c
c core #3
c 
c 
c Core size: 5	Core Weight: 1365	Total Weight: 2283
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1558	Total Weight: 3841
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 202	Total Weight: 4043
c
c
c core #6
c 
c 
c Core size: 3	Core Weight: 854	Total Weight: 4897
c
c
c core #7
c 
c 
c Core size: 3	Core Weight: 777	Total Weight: 5674
c
c
c core #8
c 
c 
c Core size: 5	Core Weight: 1507	Total Weight: 7181
c
c
c core #9
c 
c 
c Core size: 11	Core Weight: 309	Total Weight: 7490
c
c
c core #10
c 
c 
c Core size: 3	Core Weight: 267	Total Weight: 7757
c
c
c core #11
c 
c 
c Core size: 13	Core Weight: 398	Total Weight: 8155
c
c
c core #12
c 
c 
c Core size: 14	Core Weight: 1259	Total Weight: 9414
c
c
c core #13
c 
c 
c Core size: 19	Core Weight: 83	Total Weight: 9497
c
c
c core #14
c 
c 
c Core size: 21	Core Weight: 102	Total Weight: 9599
c
c
c core #15
c 
c 
c Core size: 23	Core Weight: 40	Total Weight: 9639
c
c
c core #16
c 
c 
c Core size: 23	Core Weight: 426	Total Weight: 10065
c
c
c core #17
c 
c 
c Core size: 24	Core Weight: 2	Total Weight: 10067
c
c
c core #18
c 
c 
c Core size: 27	Core Weight: 349	Total Weight: 10416
c
c
c core #19
c 
c 
c Core size: 30	Core Weight: 44	Total Weight: 10460
c
c
c core #20
c 
c 
c Core size: 33	Core Weight: 3	Total Weight: 10463
c
c
c core #21
c 
c 
c Core size: 10	Core Weight: 138	Total Weight: 10601
c
c
c core #22
c 
c 
c Core size: 8	Core Weight: 377	Total Weight: 10978
c
c
c core #23
c 
c 
c Core size: 10	Core Weight: 179	Total Weight: 11157
c
c
c core #24
c 
c 
c Core size: 16	Core Weight: 83	Total Weight: 11240
c
c
c core #25
c 
c 
c Core size: 10	Core Weight: 843	Total Weight: 12083
c
c
c core #26
c 
c 
c Core size: 14	Core Weight: 391	Total Weight: 12474
c
c
c core #27
c 
c 
c Core size: 20	Core Weight: 308	Total Weight: 12782
c
c
c core #28
c 
c 
c Core size: 20	Core Weight: 233	Total Weight: 13015
c
c
c core #29
c 
c 
c Core size: 15	Core Weight: 229	Total Weight: 13244
c
c
c core #30
c 
c 
c Core size: 17	Core Weight: 1168	Total Weight: 14412
c
c
c core #31
c 
c 
c Core size: 18	Core Weight: 22	Total Weight: 14434
c
c
c core #32
c 
c 
c Core size: 18	Core Weight: 168	Total Weight: 14602
c
c
c core #33
c 
c 
c Core size: 22	Core Weight: 178	Total Weight: 14780
c
c
c core #34
c 
c 
c Core size: 13	Core Weight: 156	Total Weight: 14936
c
c
c core #35
c 
c 
c Core size: 16	Core Weight: 32	Total Weight: 14968
c
c
c core #36
c 
c 
c Core size: 22	Core Weight: 136	Total Weight: 15104
c
c
c core #37
c 
c 
c Core size: 22	Core Weight: 10	Total Weight: 15114
c
c
c core #38
c 
c 
c Core size: 57	Core Weight: 4	Total Weight: 15118
c
c
c core #39
c 
c 
c Core size: 62	Core Weight: 8	Total Weight: 15126
c
c
c core #40
c 
c 
c Core size: 58	Core Weight: 61	Total Weight: 15187
c
c
c core #41
c 
c 
c Core size: 50	Core Weight: 8	Total Weight: 15195
c
c
c core #42
c 
c 
c Core size: 30	Core Weight: 11	Total Weight: 15206
c
c
c core #43
c 
c 
c Core size: 28	Core Weight: 93	Total Weight: 15299
c
c
c core #44
c 
c 
c Core size: 37	Core Weight: 67	Total Weight: 15366
c
c
c core #45
c 
c 
c Core size: 33	Core Weight: 83	Total Weight: 15449
c
c
c core #46
c 
c 
c Core size: 39	Core Weight: 260	Total Weight: 15709
c
c
c core #47
c 
c 
c Core size: 31	Core Weight: 32	Total Weight: 15741
c
c
c core #48
c 
c 
c Core size: 39	Core Weight: 230	Total Weight: 15971
c
c
c core #49
c 
c 
c Core size: 42	Core Weight: 20	Total Weight: 15991
c
c
c core #50
c 
c 
c Core size: 45	Core Weight: 19	Total Weight: 16010
c
c
c core #51
c 
c 
c Core size: 58	Core Weight: 8	Total Weight: 16018
c
c
c core #52
c 
c 
c Core size: 38	Core Weight: 8	Total Weight: 16026
c
c
c core #53
c 
c 
c Core size: 57	Core Weight: 67	Total Weight: 16093
c
c
c core #54
c 
c 
c Core size: 94	Core Weight: 2	Total Weight: 16095
c
c
c core #55
c 
c 
c Core size: 44	Core Weight: 6	Total Weight: 16101
c
c
c core #56
c 
c 
c Core size: 58	Core Weight: 11	Total Weight: 16112
c
c
c core #57
c 
c 
c Core size: 62	Core Weight: 83	Total Weight: 16195
c
c
c core #58
c 
c 
c Core size: 59	Core Weight: 41	Total Weight: 16236
c
c
c core #59
c 
c 
c Core size: 54	Core Weight: 142	Total Weight: 16378
c
c
c core #60
c 
c 
c Core size: 57	Core Weight: 10	Total Weight: 16388
c
c
c core #61
c 
c 
c Core size: 54	Core Weight: 105	Total Weight: 16493
c
c
c core #62
c 
c 
c Core size: 53	Core Weight: 32	Total Weight: 16525
c
c
c core #63
c 
c 
c Core size: 54	Core Weight: 108	Total Weight: 16633
c
c
c core #64
c 
c 
c Core size: 53	Core Weight: 80	Total Weight: 16713
c
c
c core #65
c 
c 
c Core size: 55	Core Weight: 145	Total Weight: 16858
c
c
c core #66
c 
c 
c Core size: 75	Core Weight: 2	Total Weight: 16860
c
c
c core #67
c 
c 
c Core size: 54	Core Weight: 429	Total Weight: 17289
c
c
c core #68
c 
c 
c Core size: 62	Core Weight: 8	Total Weight: 17297
c
c
c core #69
c 
c 
c Core size: 14	Core Weight: 46	Total Weight: 17343
c
c
c core #70
c 
c 
c Core size: 66	Core Weight: 13	Total Weight: 17356
c
c
c core #71
c 
c 
c Core size: 41	Core Weight: 86	Total Weight: 17442
c
c
c core #72
c 
c 
c Core size: 11	Core Weight: 192	Total Weight: 17634
c
c
c core #73
c 
c 
c Core size: 16	Core Weight: 401	Total Weight: 18035
c
c
c core #74
c 
c 
c Core size: 54	Core Weight: 67	Total Weight: 18102
c
c
c core #75
c 
c 
c Core size: 60	Core Weight: 113	Total Weight: 18215
c
c
c core #76
c 
c 
c Core size: 66	Core Weight: 7	Total Weight: 18222
c
c
c core #77
c 
c 
c Core size: 57	Core Weight: 8	Total Weight: 18230
c
c
c core #78
c 
c 
c Core size: 57	Core Weight: 4	Total Weight: 18234
c
c
c core #79
c 
c 
c Core size: 81	Core Weight: 15	Total Weight: 18249
c
c
c core #80
c 
c 
c Core size: 73	Core Weight: 23	Total Weight: 18272
c
c
c core #81
c 
c 
c Core size: 71	Core Weight: 2	Total Weight: 18274
c
c
c core #82
c 
c 
c Core size: 76	Core Weight: 51	Total Weight: 18325
c
c
c core #83
c 
c 
c Core size: 16	Core Weight: 1143	Total Weight: 19468
c
c
c core #84
c 
c 
c Core size: 11	Core Weight: 547	Total Weight: 20015
c
c
c core #85
c 
c 
c Core size: 14	Core Weight: 256	Total Weight: 20271
c
c
c core #86
c 
c 
c Core size: 83	Core Weight: 6	Total Weight: 20277
c
c
c core #87
c 
c 
c Core size: 17	Core Weight: 1088	Total Weight: 21365
c
c
c core #88
c 
c 
c Core size: 23	Core Weight: 232	Total Weight: 21597
c
c
c core #89
c 
c 
c Core size: 77	Core Weight: 26	Total Weight: 21623
c
c
c core #90
c 
c 
c Core size: 72	Core Weight: 15	Total Weight: 21638
c
c
c core #91
c 
c 
c Core size: 60	Core Weight: 61	Total Weight: 21699
c
c
c core #92
c 
c 
c Core size: 81	Core Weight: 5	Total Weight: 21704
c
c
c core #93
c 
c 
c Core size: 14	Core Weight: 127	Total Weight: 21831
c
c
c core #94
c 
c 
c Core size: 14	Core Weight: 698	Total Weight: 22529
c
c
c core #95
c 
c 
c Core size: 14	Core Weight: 332	Total Weight: 22861
c
c
c core #96
c 
c 
c Core size: 84	Core Weight: 2	Total Weight: 22863
c
c
c core #97
c 
c 
c Core size: 23	Core Weight: 36	Total Weight: 22899
c
c
c core #98
c 
c 
c Core size: 24	Core Weight: 356	Total Weight: 23255
c
c
c core #99
c 
c 
c Core size: 26	Core Weight: 22	Total Weight: 23277
c
c
c core #100
c 
c 
c Core size: 19	Core Weight: 648	Total Weight: 23925
c
c
c core #101
c 
c 
c Core size: 75	Core Weight: 12	Total Weight: 23937
c
c
c core #102
c 
c 
c Core size: 21	Core Weight: 19	Total Weight: 23956
c
c
c core #103
c 
c 
c Core size: 15	Core Weight: 982	Total Weight: 24938
c
c
c core #104
c 
c 
c Core size: 37	Core Weight: 4	Total Weight: 24942
c
c
c core #105
c 
c 
c Core size: 13	Core Weight: 40	Total Weight: 24982
c
c
c core #106
c 
c 
c Core size: 27	Core Weight: 127	Total Weight: 25109
c
c
c core #107
c 
c 
c Core size: 29	Core Weight: 21	Total Weight: 25130
c
c
c core #108
c 
c 
c Core size: 14	Core Weight: 784	Total Weight: 25914
c
c
c core #109
c 
c 
c Core size: 16	Core Weight: 45	Total Weight: 25959
c
c
c core #110
c 
c 
c Core size: 16	Core Weight: 64	Total Weight: 26023
c
c
c core #111
c 
c 
c Core size: 25	Core Weight: 44	Total Weight: 26067
c
c
c core #112
c 
c 
c Core size: 27	Core Weight: 63	Total Weight: 26130
c
c
c core #113
c 
c 
c Core size: 25	Core Weight: 44	Total Weight: 26174
c
c
c core #114
c 
c 
c Core size: 21	Core Weight: 348	Total Weight: 26522
c
c
c core #115
c 
c 
c Core size: 22	Core Weight: 74	Total Weight: 26596
c
c
c core #116
c 
c 
c Core size: 34	Core Weight: 44	Total Weight: 26640
c
c
c core #117
c 
c 
c Core size: 26	Core Weight: 134	Total Weight: 26774
c
c
c core #118
c 
c 
c Core size: 26	Core Weight: 227	Total Weight: 27001
c
c
c core #119
c 
c 
c Core size: 25	Core Weight: 142	Total Weight: 27143
c
c
c core #120
c 
c 
c Core size: 25	Core Weight: 43	Total Weight: 27186
c
c
c core #121
c 
c 
c Core size: 30	Core Weight: 10	Total Weight: 27196
c
c
c core #122
c 
c 
c Core size: 25	Core Weight: 54	Total Weight: 27250
c
c
c core #123
c 
c 
c Core size: 34	Core Weight: 19	Total Weight: 27269
c
c
c core #124
c 
c 
c Core size: 50	Core Weight: 44	Total Weight: 27313
c
c
c core #125
c 
c 
c Core size: 46	Core Weight: 19	Total Weight: 27332
c
c
c core #126
c 
c 
c Core size: 36	Core Weight: 149	Total Weight: 27481
c
c
c core #127
c 
c 
c Core size: 45	Core Weight: 54	Total Weight: 27535
c
c
c core #128
c 
c 
c Core size: 44	Core Weight: 11	Total Weight: 27546
c
c
c core #129
c 
c 
c Core size: 43	Core Weight: 3	Total Weight: 27549
c
c
c core #130
c 
c 
c Core size: 48	Core Weight: 19	Total Weight: 27568
c
c
c core #131
c 
c 
c Core size: 48	Core Weight: 35	Total Weight: 27603
c
c
c core #132
c 
c 
c Core size: 45	Core Weight: 9	Total Weight: 27612
c
c
c core #133
c 
c 
c Core size: 45	Core Weight: 10	Total Weight: 27622
c
c
c core #134
c 
c 
c Core size: 60	Core Weight: 9	Total Weight: 27631
c
c
c core #135
c 
c 
c Core size: 42	Core Weight: 149	Total Weight: 27780
c
c
c core #136
c 
c 
c Core size: 41	Core Weight: 11	Total Weight: 27791
c
c
c core #137
c 
c 
c Core size: 37	Core Weight: 40	Total Weight: 27831
c
c
c core #138
c 
c 
c Core size: 41	Core Weight: 27	Total Weight: 27858
c
c
c core #139
c 
c 
c Core size: 45	Core Weight: 74	Total Weight: 27932
c
c
c core #140
c 
c 
c Core size: 45	Core Weight: 17	Total Weight: 27949
c
c
c core #141
c 
c 
c Core size: 37	Core Weight: 68	Total Weight: 28017
c
c
c core #142
c 
c 
c Core size: 63	Core Weight: 4	Total Weight: 28021
c
c
c core #143
c 
c 
c Core size: 43	Core Weight: 214	Total Weight: 28235
c
c
c core #144
c 
c 
c Core size: 72	Core Weight: 27	Total Weight: 28262
c
c
c core #145
c 
c 
c Core size: 36	Core Weight: 125	Total Weight: 28387
c
c
c core #146
c 
c 
c Core size: 35	Core Weight: 79	Total Weight: 28466
c
c
c core #147
c 
c 
c Core size: 26	Core Weight: 82	Total Weight: 28548
c
c
c core #148
c 
c 
c Core size: 31	Core Weight: 239	Total Weight: 28787
c
c
c core #149
c 
c 
c Core size: 30	Core Weight: 33	Total Weight: 28820
c
c
c core #150
c 
c 
c Core size: 75	Core Weight: 3	Total Weight: 28823
c
c
c core #151
c 
c 
c Core size: 28	Core Weight: 61	Total Weight: 28884
c
c
c core #152
c 
c 
c Core size: 30	Core Weight: 215	Total Weight: 29099
c
c
c core #153
c 
c 
c Core size: 36	Core Weight: 141	Total Weight: 29240
c
c