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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2592769
o 2592377
o 2591883
o 2591146
o 2589944
o 2589700
o 2589628
o 2589590
o 2589264
o 2589041
o 2588728
o 2588543
o 2588505
o 2588299
o 2588261
o 2587948
o 2586911
o 2586818
o 2586404
o 2586366
o 2586100
o 2585633
o 2585564
o 2585303
o 2584969
o 2584931
o 2584687
o 2584657
o 2584509
o 2584024
o 2583594
o 2583409
o 2583371
o 2583165
o 2583127
o 2582737
o 2582516
o 2582448
o 2581355
o 2581111
o 2581029
o 2580913
o 2580562
o 2580179
o 2579643
o 2579593
o 2579510
o 2579402
o 2579258
o 2578957
o 2578632
o 2577986
o 2577086
o 2576639
o 2576147
o 2575896
o 2575154
o 2575129
o 2575043
o 2574507
o 2574469
o 2574331
o 2573989
o 2572926
o 2572652
o 2572570
o 2571932
o 2571905
o 2571600
o 2571356
o 2570820
o 2570421
o 2570310
o 2570066
o 2570025
o 2569908
o 2569870
o 2569801
o 2569720
o 2569553
o 2569070
o 2568351
o 2568338
o 2568325
o 2567846
o 2567495
o 2567479
o 2567473
o 2567446
o 2567223
o 2566911
o 2566384
o 2566186
o 2566170
o 2566158
o 2566076
o 2566063
o 2566038
o 2565794
o 2565788
o 2565770
o 2565654
o 2565640
o 2565203
o 2564783
o 2564247
o 2563887
o 2563849
o 2563835
o 2563369
o 2562842
o 2562698
o 2562453
o 2561955
o 2561857
o 2561775
o 2561704
o 2561610
o 2561447
o 2561444
o 2561044
o 2560514
o 2560467
o 2560116
o 2559769
o 2559731
o 2559220
o 2559182
o 2558935
o 2558601
o 2558333
o 2557998
o 2557960
o 2557691
o 2557681
o 2557385
o 2556889
o 2556492
o 2555962
o 2555937
o 2555929
o 2555523
o 2555374
o 2555306
o 2554866
o 2554844
o 2554496
o 2554208
o 2554192
o 2553861
o 2553674
o 2553468
o 2553430
o 2552977
o 2552894
o 2552425
o 2551929
o 2551572
o 2551554
o 2551042
o 2551033
o 2550605
o 2550096
o 2550058
o 2549894
o 2549741
o 2549654
o 2549471
o 2549276
o 2549123
o 2549064
o 2548938
o 2548630
o 2548485
o 2548268
o 2547874
o 2547768
o 2547684
o 2547373
o 2547223
o 2547173
o 2547031
o 2546613
o 2546378
o 2546103
o 2546091
o 2545997
o 2545994
o 2545966
o 2545887
o 2545877
o 2545640
o 2545336
o 2545292
o 2545199
o 2544933
o 2544886
o 2544873
o 2544803
o 2544718
o 2544581
o 2544219
o 2544167
o 2544029
o 2543998
o 2543970
o 2543784
o 2543759
o 2543623
o 2543509
o 2543302
o 2542885
o 2542713
o 2542555
o 2542407
o 2542297
o 2541974
o 2541783
o 2541782
o 2541717
o 2541484
o 2541445
o 2541429
o 2541392
o 2541379
o 2541050
o 2540870
o 2540769
o 2540572
o 2540217
o 2539829
o 2539781
o 2539737
o 2539718
o 2539500
o 2539405
o 2539285
o 2539071
o 2538898
o 2538835
o 2538564
o 2538350
o 2538105
o 2538090
o 2537716
o 2537449
o 2537369
o 2537140
o 2536915
o 2536695
o 2536656
o 2536594
o 2536508
o 2536320
o 2536178
o 2536049
o 2536022
o 2535956
o 2535821
o 2535791
o 2535690
o 2535611
o 2535404
o 2535325
o 2535237
o 2535144
o 2535115
o 2535017
o 2534696
o 2534470
o 2534199
o 2534135
o 2534101
o 2534010
o 2533958
o 2533767
o 2533754
o 2533647
o 2533352
o 2533249
o 2533065
o 2532868
o 2532693
o 2532637
o 2532239
o 2532128
o 2531709
o 2531343
o 2531251
o 2531151
o 2531088
o 2530883
o 2530835
o 2530818
o 2530578
o 2530540
o 2530467
o 2530416
o 2530374
o 2530302
o 2530264
o 2530194
o 2530026
o 2530016
o 2529676
o 2529667
o 2529496
o 2529495
o 2529442
o 2529430
o 2529368
o 2529307
o 2529263
o 2529245
o 2529140
o 2529057
o 2528958
o 2528717
o 2528658
o 2528470
o 2528366
o 2528293
o 2528255
o 2528149
o 2527862
o 2527847
o 2527692
o 2527633
o 2527579
o 2527510
o 2527377
o 2527257
o 2527225
o 2527056
o 2526982
o 2526871
o 2526802
o 2526744
o 2526697
o 2526692
o 2526684
o 2526581
o 2526545
o 2526519
o 2526501
o 2526463
o 2526358
o 2526319
o 2526265
o 2526088
o 2526026
o 2525986
o 2525964
o 2525887
o 2525791
o 2525786
o 2525726
o 2525594
o 2525591
o 2525523
o 2525460
o 2525414
o 2525369
o 2525262
o 2525181
o 2525144
o 2525042
o 2525008
o 2524925
o 2524814
o 2524739
o 2524618
o 2524570
o 2524463
o 2524400
o 2524324
o 2524203
o 2524068
o 2524055
o 2523900
o 2523858
o 2523732
o 2523724
o 2523364
o 2523340
o 2523249
o 2523149
o 2523145
o 2523102
o 2523005
o 2522974
o 2522971
o 2522922
o 2522758
o 2522692
o 2522591
o 2522572
o 2522534
o 2522521
o 2522360
o 2522221
o 2522054
o 2521910
o 2521877
o 2521811
o 2521633
o 2521628
o 2521576
o 2521456
o 2521356
o 2521343
o 2521210
o 2521099
o 2520997
o 2520868
o 2520762
o 2520705
o 2520562
o 2520381
o 2520370
o 2520255
o 2520093
o 2520024
o 2519826
o 2519780
o 2519761
o 2519723
o 2519618
o 2519545
o 2519467
o 2519441
o 2519239
o 2519075
o 2519058
o 2519020
o 2518909
o 2518869
o 2518574
o 2518523
o 2518521
o 2518410
o 2518331
o 2518314
o 2518237
o 2518185
o 2518112
o 2517927
o 2517739
o 2517730
o 2517638
o 2517628
o 2517624
o 2517604
o 2517570
o 2517536
o 2517533
o 2517473
o 2517318
o 2517245
o 2517175
o 2517174
o 2517085
o 2516998
o 2516887
o 2516873
o 2516838
o 2516805
o 2516651
o 2516628
o 2516505
o 2516446
o 2516428
o 2516338
o 2516233
o 2515918
o 2515846
o 2515767
o 2515686
o 2515500
o 2515193
o 2514905
o 2514894
o 2514865
o 2514706
o 2514621
o 2514580
o 2514362
o 2514337
o 2514297
o 2514292
o 2514259
o 2514189
o 2514172
o 2514142
o 2514141
o 2514051
o 2513987
o 2513980
o 2513944
o 2513896
o 2513797
o 2513664
o 2513588
o 2513583
o 2513488
o 2513467
o 2513456
o 2513349
o 2513341
o 2513247
o 2513186
o 2513152
o 2513078
o 2513067
o 2513041
o 2512956
o 2512816
o 2512759
o 2512707
o 2512699
o 2512605
o 2512435
o 2512363
o 2512310
o 2512199
o 2512163
o 2512117
o 2512053
o 2511909
o 2511787
o 2511696
o 2511653
o 2511603
o 2511532
o 2511515
o 2511484
o 2511445
o 2511326
o 2511289
o 2511194
o 2511078
o 2511075
o 2511006
o 2510964
o 2510949
o 2510934
o 2510838
o 2510677
o 2510465
o 2510454
o 2510394
o 2510343
o 2510192
o 2510188
o 2510179
o 2510111
o 2510000
o 2509957
o 2509956
o 2509910
o 2509648
o 2509574
o 2509518
o 2509224
o 2509187
o 2508893
o 2508783
o 2508769
o 2508707
o 2508555
o 2508521
o 2508399
o 2508187
o 2508149
o 2508090
o 2507982
o 2507947
o 2507840
o 2507572
o 2507553
o 2507538
o 2507478
o 2507356
o 2507301
o 2507148
o 2507131
o 2507018
o 2506953
o 2506922
o 2506735
o 2506662
o 2506657
o 2506601
o 2506516
o 2506328
o 2506254
o 2506104
o 2506004
o 2505936
o 2505770
o 2505621
o 2505310
c core #1
c 
c 
c Core size: 5	Core Weight: 1385	Total Weight: 1385
c
c
c core #2
c 
c 
c Core size: 5	Core Weight: 1236	Total Weight: 2621
c
c
c core #3
c 
c 
c Core size: 5	Core Weight: 1745	Total Weight: 4366
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1419	Total Weight: 5785
c
c
c core #5
c 
c 
c Core size: 9	Core Weight: 244	Total Weight: 6029
c
c
c core #6
c 
c 
c Core size: 10	Core Weight: 107	Total Weight: 6136
c
c
c core #7
c 
c 
c Core size: 12	Core Weight: 79	Total Weight: 6215
c
c
c core #8
c 
c 
c Core size: 17	Core Weight: 37	Total Weight: 6252
c
c
c core #9
c 
c 
c Core size: 13	Core Weight: 411	Total Weight: 6663
c
c
c core #10
c 
c 
c Core size: 9	Core Weight: 366	Total Weight: 7029
c
c
c core #11
c 
c 
c Core size: 22	Core Weight: 172	Total Weight: 7201
c
c
c core #12
c 
c 
c Core size: 21	Core Weight: 340	Total Weight: 7541
c
c
c core #13
c 
c 
c Core size: 30	Core Weight: 37	Total Weight: 7578
c
c
c core #14
c 
c 
c Core size: 31	Core Weight: 172	Total Weight: 7750
c
c
c core #15
c 
c 
c Core size: 31	Core Weight: 183	Total Weight: 7933
c
c
c core #16
c 
c 
c Core size: 10	Core Weight: 192	Total Weight: 8125
c
c
c core #17
c 
c 
c Core size: 23	Core Weight: 66	Total Weight: 8191
c
c
c core #18
c 
c 
c Core size: 25	Core Weight: 79	Total Weight: 8270
c
c
c core #19
c 
c 
c Core size: 34	Core Weight: 210	Total Weight: 8480
c
c
c core #20
c 
c 
c Core size: 44	Core Weight: 37	Total Weight: 8517
c
c
c core #21
c 
c 
c Core size: 45	Core Weight: 15	Total Weight: 8532
c
c
c core #22
c 
c 
c Core size: 45	Core Weight: 14	Total Weight: 8546
c
c
c core #23
c 
c 
c Core size: 40	Core Weight: 40	Total Weight: 8586
c
c
c core #24
c 
c 
c Core size: 10	Core Weight: 487	Total Weight: 9073
c
c
c core #25
c 
c 
c Core size: 14	Core Weight: 1191	Total Weight: 10264
c
c
c core #26
c 
c 
c Core size: 12	Core Weight: 327	Total Weight: 10591
c
c
c core #27
c 
c 
c Core size: 11	Core Weight: 530	Total Weight: 11121
c
c
c core #28
c 
c 
c Core size: 22	Core Weight: 277	Total Weight: 11398
c
c
c core #29
c 
c 
c Core size: 55	Core Weight: 39	Total Weight: 11437
c
c
c core #30
c 
c 
c Core size: 45	Core Weight: 37	Total Weight: 11474
c
c
c core #31
c 
c 
c Core size: 51	Core Weight: 69	Total Weight: 11543
c
c
c core #32
c 
c 
c Core size: 56	Core Weight: 22	Total Weight: 11565
c
c
c core #33
c 
c 
c Core size: 59	Core Weight: 210	Total Weight: 11775
c
c
c core #34
c 
c 
c Core size: 71	Core Weight: 67	Total Weight: 11842
c
c
c core #35
c 
c 
c Core size: 23	Core Weight: 62	Total Weight: 11904
c
c
c core #36
c 
c 
c Core size: 14	Core Weight: 842	Total Weight: 12746
c
c
c core #37
c 
c 
c Core size: 8	Core Weight: 783	Total Weight: 13529
c
c
c core #38
c 
c 
c Core size: 65	Core Weight: 14	Total Weight: 13543
c
c
c core #39
c 
c 
c Core size: 8	Core Weight: 360	Total Weight: 13903
c
c
c core #40
c 
c 
c Core size: 13	Core Weight: 1169	Total Weight: 15072
c
c
c core #41
c 
c 
c Core size: 14	Core Weight: 418	Total Weight: 15490
c
c
c core #42
c 
c 
c Core size: 17	Core Weight: 254	Total Weight: 15744
c
c
c core #43
c 
c 
c Core size: 19	Core Weight: 233	Total Weight: 15977
c
c
c core #44
c 
c 
c Core size: 21	Core Weight: 650	Total Weight: 16627
c
c
c core #45
c 
c 
c Core size: 31	Core Weight: 302	Total Weight: 16929
c
c
c core #46
c 
c 
c Core size: 46	Core Weight: 10	Total Weight: 16939
c
c
c core #47
c 
c 
c Core size: 48	Core Weight: 55	Total Weight: 16994
c
c
c core #48
c 
c 
c Core size: 53	Core Weight: 10	Total Weight: 17004
c
c
c core #49
c 
c 
c Core size: 51	Core Weight: 270	Total Weight: 17274
c
c
c core #50
c 
c 
c Core size: 52	Core Weight: 304	Total Weight: 17578
c
c
c core #51
c 
c 
c Core size: 66	Core Weight: 52	Total Weight: 17630
c
c
c core #52
c 
c 
c Core size: 67	Core Weight: 10	Total Weight: 17640
c
c
c core #53
c 
c 
c Core size: 73	Core Weight: 13	Total Weight: 17653
c
c
c core #54
c 
c 
c Core size: 77	Core Weight: 10	Total Weight: 17663
c
c
c core #55
c 
c 
c Core size: 59	Core Weight: 348	Total Weight: 18011
c
c
c core #56
c 
c 
c Core size: 85	Core Weight: 52	Total Weight: 18063
c
c
c core #57
c 
c 
c Core size: 83	Core Weight: 3	Total Weight: 18066
c
c
c core #58
c 
c 
c Core size: 11	Core Weight: 605	Total Weight: 18671
c
c
c core #59
c 
c 
c Core size: 13	Core Weight: 157	Total Weight: 18828
c
c
c core #60
c 
c 
c Core size: 13	Core Weight: 409	Total Weight: 19237
c
c
c core #61
c 
c 
c Core size: 20	Core Weight: 125	Total Weight: 19362
c
c
c core #62
c 
c 
c Core size: 22	Core Weight: 174	Total Weight: 19536
c
c
c core #63
c 
c 
c Core size: 25	Core Weight: 417	Total Weight: 19953
c
c
c core #64
c 
c 
c Core size: 17	Core Weight: 498	Total Weight: 20451
c
c
c core #65
c 
c 
c Core size: 18	Core Weight: 634	Total Weight: 21085
c
c
c core #66
c 
c 
c Core size: 87	Core Weight: 91	Total Weight: 21176
c
c
c core #67
c 
c 
c Core size: 12	Core Weight: 1053	Total Weight: 22229
c
c
c core #68
c 
c 
c Core size: 21	Core Weight: 344	Total Weight: 22573
c
c
c core #69
c 
c 
c Core size: 30	Core Weight: 29	Total Weight: 22602
c
c
c core #70
c 
c 
c Core size: 31	Core Weight: 46	Total Weight: 22648
c
c
c core #71
c 
c 
c Core size: 28	Core Weight: 217	Total Weight: 22865
c
c
c core #72
c 
c 
c Core size: 30	Core Weight: 24	Total Weight: 22889
c
c
c core #73
c 
c 
c Core size: 39	Core Weight: 31	Total Weight: 22920
c
c
c core #74
c 
c 
c Core size: 55	Core Weight: 29	Total Weight: 22949
c
c
c core #75
c 
c 
c Core size: 55	Core Weight: 46	Total Weight: 22995
c
c
c core #76
c 
c 
c Core size: 52	Core Weight: 66	Total Weight: 23061
c
c
c core #77
c 
c 
c Core size: 53	Core Weight: 15	Total Weight: 23076
c
c
c core #78
c 
c 
c Core size: 52	Core Weight: 6	Total Weight: 23082
c
c
c core #79
c 
c 
c Core size: 55	Core Weight: 259	Total Weight: 23341
c
c
c core #80
c 
c 
c Core size: 28	Core Weight: 69	Total Weight: 23410
c
c
c core #81
c 
c 
c Core size: 23	Core Weight: 293	Total Weight: 23703
c
c
c core #82
c 
c 
c Core size: 60	Core Weight: 11	Total Weight: 23714
c
c
c core #83
c 
c 
c Core size: 52	Core Weight: 30	Total Weight: 23744
c
c
c core #84
c 
c 
c Core size: 33	Core Weight: 6	Total Weight: 23750
c
c
c core #85
c 
c 
c Core size: 28	Core Weight: 35	Total Weight: 23785
c
c
c core #86
c 
c 
c Core size: 58	Core Weight: 22	Total Weight: 23807
c
c
c core #87
c 
c 
c Core size: 25	Core Weight: 14	Total Weight: 23821
c
c
c core #88
c 
c 
c Core size: 26	Core Weight: 170	Total Weight: 23991
c
c
c core #89
c 
c 
c Core size: 40	Core Weight: 586	Total Weight: 24577
c
c
c core #90
c 
c 
c Core size: 18	Core Weight: 387	Total Weight: 24964
c
c
c core #91
c 
c 
c Core size: 26	Core Weight: 143	Total Weight: 25107
c
c
c core #92
c 
c 
c Core size: 25	Core Weight: 417	Total Weight: 25524
c
c
c core #93
c 
c 
c Core size: 20	Core Weight: 664	Total Weight: 26188
c
c
c core #94
c 
c 
c Core size: 30	Core Weight: 100	Total Weight: 26288
c
c
c core #95
c 
c 
c Core size: 30	Core Weight: 248	Total Weight: 26536
c
c
c core #96
c 
c 
c Core size: 37	Core Weight: 48	Total Weight: 26584
c
c
c core #97
c 
c 
c Core size: 31	Core Weight: 202	Total Weight: 26786
c
c
c core #98
c 
c 
c Core size: 35	Core Weight: 76	Total Weight: 26862
c
c
c core #99
c 
c 
c Core size: 14	Core Weight: 770	Total Weight: 27632
c
c
c core #100
c 
c 
c Core size: 17	Core Weight: 38	Total Weight: 27670
c
c
c core #101
c 
c 
c Core size: 19	Core Weight: 169	Total Weight: 27839
c
c
c core #102
c 
c 
c Core size: 21	Core Weight: 417	Total Weight: 28256
c
c
c core #103
c 
c 
c Core size: 36	Core Weight: 59	Total Weight: 28315
c
c
c core #104
c 
c 
c Core size: 33	Core Weight: 21	Total Weight: 28336
c
c
c core #105
c 
c 
c Core size: 38	Core Weight: 237	Total Weight: 28573
c
c
c core #106
c 
c 
c Core size: 40	Core Weight: 6	Total Weight: 28579
c
c
c core #107
c 
c 
c Core size: 13	Core Weight: 691	Total Weight: 29270
c
c
c core #108
c 
c 
c Core size: 13	Core Weight: 1060	Total Weight: 30330
c
c
c core #109
c 
c 
c Core size: 36	Core Weight: 149	Total Weight: 30479
c
c
c core #110
c 
c 
c Core size: 21	Core Weight: 331	Total Weight: 30810
c
c