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_min-enc_warehouses_cap61.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap61.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 19426160
o 19385391
o 15745264
o 15440252
o 15440089
o 15438275
o 15359473
o 15357295
o 15357204
o 15355609
o 15355282
o 15346517
o 15331854
o 15331152
o 15330303
c core #1
c 
c 
c Core size: 17	Core Weight: 38471	Total Weight: 38471
c
c
c core #2
c 
c 
c Core size: 17	Core Weight: 17791	Total Weight: 56262
c
c
c core #3
c 
c 
c Core size: 17	Core Weight: 49140	Total Weight: 105402
c
c
c core #4
c 
c 
c Core size: 17	Core Weight: 200717	Total Weight: 306119
c
c
c core #5
c 
c 
c Core size: 17	Core Weight: 9555	Total Weight: 315674
c
c
c core #6
c 
c 
c Core size: 17	Core Weight: 64215	Total Weight: 379889
c
c
c core #7
c 
c 
c Core size: 17	Core Weight: 284992	Total Weight: 664881
c
c
c core #8
c 
c 
c Core size: 17	Core Weight: 63706	Total Weight: 728587
c
c
c core #9
c 
c 
c Core size: 17	Core Weight: 12119	Total Weight: 740706
c
c
c core #10
c 
c 
c Core size: 17	Core Weight: 5464	Total Weight: 746170
c
c
c core #11
c 
c 
c Core size: 17	Core Weight: 126385	Total Weight: 872555
c
c
c core #12
c 
c 
c Core size: 17	Core Weight: 12317	Total Weight: 884872
c
c
c core #13
c 
c 
c Core size: 17	Core Weight: 51859	Total Weight: 936731
c
c
c core #14
c 
c 
c Core size: 17	Core Weight: 19537	Total Weight: 956268
c
c
c core #15
c 
c 
c Core size: 17	Core Weight: 73108	Total Weight: 1029376
c
c
c core #16
c 
c 
c Core size: 17	Core Weight: 81357	Total Weight: 1110733
c
c
c core #17
c 
c 
c Core size: 17	Core Weight: 25425	Total Weight: 1136158
c
c
c core #18
c 
c 
c Core size: 17	Core Weight: 114231	Total Weight: 1250389
c
c
c core #19
c 
c 
c Core size: 17	Core Weight: 35420	Total Weight: 1285809
c
c
c core #20
c 
c 
c Core size: 17	Core Weight: 54673	Total Weight: 1340482
c
c
c core #21
c 
c 
c Core size: 17	Core Weight: 6935	Total Weight: 1347417
c
c
c core #22
c 
c 
c Core size: 17	Core Weight: 111668	Total Weight: 1459085
c
c
c core #23
c 
c 
c Core size: 17	Core Weight: 48830	Total Weight: 1507915
c
c
c core #24
c 
c 
c Core size: 17	Core Weight: 52706	Total Weight: 1560621
c
c
c core #25
c 
c 
c Core size: 17	Core Weight: 29529	Total Weight: 1590150
c
c
c core #26
c 
c 
c Core size: 17	Core Weight: 1240512	Total Weight: 2830662
c
c
c core #27
c 
c 
c Core size: 17	Core Weight: 16011	Total Weight: 2846673
c
c
c core #28
c 
c 
c Core size: 17	Core Weight: 29582	Total Weight: 2876255
c
c
c core #29
c 
c 
c Core size: 17	Core Weight: 80499	Total Weight: 2956754
c
c
c core #30
c 
c 
c Core size: 17	Core Weight: 32859	Total Weight: 2989613
c
c
c core #31
c 
c 
c Core size: 17	Core Weight: 23989	Total Weight: 3013602
c
c
c core #32
c 
c 
c Core size: 17	Core Weight: 73466	Total Weight: 3087068
c
c
c core #33
c 
c 
c Core size: 17	Core Weight: 2033640	Total Weight: 5120708
c
c
c core #34
c 
c 
c Core size: 17	Core Weight: 48912	Total Weight: 5169620
c
c
c core #35
c 
c 
c Core size: 17	Core Weight: 41541	Total Weight: 5211161
c
c
c core #36
c 
c 
c Core size: 17	Core Weight: 569463	Total Weight: 5780624
c
c
c core #37
c 
c 
c Core size: 17	Core Weight: 150760	Total Weight: 5931384
c
c
c core #38
c 
c 
c Core size: 17	Core Weight: 343511	Total Weight: 6274895
c
c
c core #39
c 
c 
c Core size: 17	Core Weight: 52111	Total Weight: 6327006
c
c
c core #40
c 
c 
c Core size: 17	Core Weight: 100860	Total Weight: 6427866
c
c
c core #41
c 
c 
c Core size: 17	Core Weight: 136274	Total Weight: 6564140
c
c
c core #42
c 
c 
c Core size: 17	Core Weight: 78856	Total Weight: 6642996
c
c
c core #43
c 
c 
c Core size: 17	Core Weight: 93312	Total Weight: 6736308
c
c
c core #44
c 
c 
c Core size: 17	Core Weight: 899761	Total Weight: 7636069
c
c
c core #45
c 
c 
c Core size: 17	Core Weight: 390505	Total Weight: 8026574
c
c
c core #46
c 
c 
c Core size: 17	Core Weight: 101343	Total Weight: 8127917
c
c
c core #47
c 
c 
c Core size: 17	Core Weight: 17560	Total Weight: 8145477
c
c
c core #48
c 
c 
c Core size: 17	Core Weight: 208071	Total Weight: 8353548
c
c
c core #49
c 
c 
c Core size: 17	Core Weight: 26140	Total Weight: 8379688
c
c
c core #50
c 
c 
c Core size: 18	Core Weight: 3358	Total Weight: 8383046
c
c
c core #51
c 
c 
c Core size: 19	Core Weight: 1916	Total Weight: 8384962
c
c
c core #52
c 
c 
c Core size: 20	Core Weight: 6643	Total Weight: 8391605
c
c
c core #53
c 
c 
c Core size: 21	Core Weight: 1807	Total Weight: 8393412
c
c
c core #54
c 
c 
c Core size: 18	Core Weight: 598	Total Weight: 8394010
c
c
c core #55
c 
c 
c Core size: 19	Core Weight: 3502	Total Weight: 8397512
c
c
c core #56
c 
c 
c Core size: 20	Core Weight: 772	Total Weight: 8398284
c
c
c core #57
c 
c 
c Core size: 21	Core Weight: 305	Total Weight: 8398589
c
c
c core #58
c 
c 
c Core size: 18	Core Weight: 42336	Total Weight: 8440925
c
c
c core #59
c 
c 
c Core size: 19	Core Weight: 6804	Total Weight: 8447729
c
c
c core #60
c 
c 
c Core size: 18	Core Weight: 9526	Total Weight: 8457255
c
c
c core #61
c 
c 
c Core size: 19	Core Weight: 2507	Total Weight: 8459762
c
c
c core #62
c 
c 
c Core size: 20	Core Weight: 18216	Total Weight: 8477978
c
c
c core #63
c 
c 
c Core size: 18	Core Weight: 597	Total Weight: 8478575
c
c
c core #64
c 
c 
c Core size: 19	Core Weight: 465	Total Weight: 8479040
c
c
c core #65
c 
c 
c Core size: 20	Core Weight: 713	Total Weight: 8479753
c
c
c core #66
c 
c 
c Core size: 18	Core Weight: 5450	Total Weight: 8485203
c
c
c core #67
c 
c 
c Core size: 19	Core Weight: 629	Total Weight: 8485832
c
c
c core #68
c 
c 
c Core size: 18	Core Weight: 75000	Total Weight: 8560832
c
c
c core #69
c 
c 
c Core size: 18	Core Weight: 24911	Total Weight: 8585743
c
c
c core #70
c 
c 
c Core size: 19	Core Weight: 21235	Total Weight: 8606978
c
c
c core #71
c 
c 
c Core size: 20	Core Weight: 8131	Total Weight: 8615109
c
c
c core #72
c 
c 
c Core size: 18	Core Weight: 635	Total Weight: 8615744
c
c
c core #73
c 
c 
c Core size: 19	Core Weight: 495	Total Weight: 8616239
c
c
c core #74
c 
c 
c Core size: 20	Core Weight: 710	Total Weight: 8616949
c
c
c core #75
c 
c 
c Core size: 18	Core Weight: 2224	Total Weight: 8619173
c
c
c core #76
c 
c 
c Core size: 19	Core Weight: 1008	Total Weight: 8620181
c
c
c core #77
c 
c 
c Core size: 20	Core Weight: 592	Total Weight: 8620773
c
c
c core #78
c 
c 
c Core size: 18	Core Weight: 72985	Total Weight: 8693758
c
c
c core #79
c 
c 
c Core size: 18	Core Weight: 12317	Total Weight: 8706075
c
c
c core #80
c 
c 
c Core size: 18	Core Weight: 15385	Total Weight: 8721460
c
c
c core #81
c 
c 
c Core size: 18	Core Weight: 3360	Total Weight: 8724820
c
c
c core #82
c 
c 
c Core size: 19	Core Weight: 1448	Total Weight: 8726268
c
c
c core #83
c 
c 
c Core size: 18	Core Weight: 38591	Total Weight: 8764859
c
c
c core #84
c 
c 
c Core size: 19	Core Weight: 7611	Total Weight: 8772470
c
c
c core #85
c 
c 
c Core size: 20	Core Weight: 6380	Total Weight: 8778850
c
c
c core #86
c 
c 
c Core size: 21	Core Weight: 9389	Total Weight: 8788239
c
c
c core #87
c 
c 
c Core size: 18	Core Weight: 44838	Total Weight: 8833077
c
c
c core #88
c 
c 
c Core size: 19	Core Weight: 8694	Total Weight: 8841771
c
c
c core #89
c 
c 
c Core size: 18	Core Weight: 66869	Total Weight: 8908640
c
c
c core #90
c 
c 
c Core size: 18	Core Weight: 37526	Total Weight: 8946166
c
c
c core #91
c 
c 
c Core size: 18	Core Weight: 14973	Total Weight: 8961139
c
c
c core #92
c 
c 
c Core size: 18	Core Weight: 31011	Total Weight: 8992150
c
c
c core #93
c 
c 
c Core size: 18	Core Weight: 3160	Total Weight: 8995310
c
c
c core #94
c 
c 
c Core size: 18	Core Weight: 75000	Total Weight: 9070310
c
c
c core #95
c 
c 
c Core size: 18	Core Weight: 29583	Total Weight: 9099893
c
c
c core #96
c 
c 
c Core size: 18	Core Weight: 44302	Total Weight: 9144195
c
c
c core #97
c 
c 
c Core size: 18	Core Weight: 4072	Total Weight: 9148267
c
c
c core #98
c 
c 
c Core size: 19	Core Weight: 346	Total Weight: 9148613
c
c
c core #99
c 
c 
c Core size: 18	Core Weight: 36048	Total Weight: 9184661
c
c
c core #100
c 
c 
c Core size: 19	Core Weight: 18178	Total Weight: 9202839
c
c
c core #101
c 
c 
c Core size: 18	Core Weight: 4100	Total Weight: 9206939
c
c
c core #102
c 
c 
c Core size: 37	Core Weight: 1916	Total Weight: 9208855
c
c
c core #103
c 
c 
c Core size: 55	Core Weight: 4022	Total Weight: 9212877
c
c
c core #104
c 
c 
c Core size: 56	Core Weight: 2621	Total Weight: 9215498
c
c
c core #105
c 
c 
c Core size: 75	Core Weight: 1807	Total Weight: 9217305
c
c
c core #106
c 
c 
c Core size: 38	Core Weight: 3502	Total Weight: 9220807
c
c
c core #107
c 
c 
c Core size: 57	Core Weight: 772	Total Weight: 9221579
c
c
c core #108
c 
c 
c Core size: 75	Core Weight: 305	Total Weight: 9221884
c
c
c core #109
c 
c 
c Core size: 37	Core Weight: 2507	Total Weight: 9224391
c
c
c core #110
c 
c 
c Core size: 37	Core Weight: 18216	Total Weight: 9242607
c
c
c core #111
c 
c 
c Core size: 37	Core Weight: 465	Total Weight: 9243072
c
c
c core #112
c 
c 
c Core size: 55	Core Weight: 713	Total Weight: 9243785
c
c
c core #113
c 
c 
c Core size: 38	Core Weight: 629	Total Weight: 9244414
c
c
c core #114
c 
c 
c Core size: 37	Core Weight: 15752	Total Weight: 9260166
c
c
c core #115
c 
c 
c Core size: 37	Core Weight: 5483	Total Weight: 9265649
c
c
c core #116
c 
c 
c Core size: 55	Core Weight: 8131	Total Weight: 9273780
c
c
c core #117
c 
c 
c Core size: 37	Core Weight: 495	Total Weight: 9274275
c
c
c core #118
c 
c 
c Core size: 55	Core Weight: 710	Total Weight: 9274985
c
c
c core #119
c 
c 
c Core size: 37	Core Weight: 1008	Total Weight: 9275993
c
c
c core #120
c 
c 
c Core size: 55	Core Weight: 592	Total Weight: 9276585
c
c
c core #121
c 
c 
c Core size: 39	Core Weight: 1585	Total Weight: 9278170
c
c
c core #122
c 
c 
c Core size: 39	Core Weight: 1726	Total Weight: 9279896
c
c
c core #123
c 
c 
c Core size: 39	Core Weight: 2768	Total Weight: 9282664
c
c
c core #124
c 
c 
c Core size: 39	Core Weight: 3612	Total Weight: 9286276
c
c
c core #125
c 
c 
c Core size: 39	Core Weight: 3152	Total Weight: 9289428
c
c
c core #126
c 
c 
c Core size: 37	Core Weight: 2125	Total Weight: 9291553
c
c
c core #127
c 
c 
c Core size: 38	Core Weight: 8	Total Weight: 9291561
c
c
c core #128
c 
c 
c Core size: 38	Core Weight: 4104	Total Weight: 9295665
c
c
c core #129
c 
c 
c Core size: 37	Core Weight: 7425	Total Weight: 9303090
c
c
c core #130
c 
c 
c Core size: 37	Core Weight: 1269	Total Weight: 9304359
c
c
c core #131
c 
c 
c Core size: 80	Core Weight: 1807	Total Weight: 9306166
c
c
c core #132
c 
c 
c Core size: 62	Core Weight: 316	Total Weight: 9306482
c
c
c core #133
c 
c 
c Core size: 61	Core Weight: 456	Total Weight: 9306938
c
c
c core #134
c 
c 
c Core size: 78	Core Weight: 305	Total Weight: 9307243
c
c
c core #135
c 
c 
c Core size: 81	Core Weight: 250	Total Weight: 9307493
c
c
c core #136
c 
c 
c Core size: 79	Core Weight: 18	Total Weight: 9307511
c
c
c core #137
c 
c 
c Core size: 78	Core Weight: 305	Total Weight: 9307816
c
c
c core #138
c 
c 
c Core size: 77	Core Weight: 843	Total Weight: 9308659
c
c
c core #139
c 
c 
c Core size: 78	Core Weight: 696	Total Weight: 9309355
c
c
c core #140
c 
c 
c Core size: 56	Core Weight: 592	Total Weight: 9309947
c
c
c core #141
c 
c 
c Core size: 58	Core Weight: 2160	Total Weight: 9312107
c
c
c core #142
c 
c 
c Core size: 59	Core Weight: 461	Total Weight: 9312568
c
c
c core #143
c 
c 
c Core size: 56	Core Weight: 710	Total Weight: 9313278
c
c
c core #144
c 
c 
c Core size: 65	Core Weight: 461	Total Weight: 9313739
c
c
c core #145
c 
c 
c Core size: 56	Core Weight: 8131	Total Weight: 9321870
c
c
c core #146
c 
c 
c Core size: 56	Core Weight: 713	Total Weight: 9322583
c
c
c core #147
c 
c 
c Core size: 62	Core Weight: 1203	Total Weight: 9323786
c
c
c core #148
c 
c 
c Core size: 100	Core Weight: 456	Total Weight: 9324242
c
c
c core #149
c 
c 
c Core size: 64	Core Weight: 316	Total Weight: 9324558
c
c
c core #150
c 
c 
c Core size: 100	Core Weight: 250	Total Weight: 9324808
c
c
c core #151
c 
c 
c Core size: 62	Core Weight: 180	Total Weight: 9324988
c
c
c core #152
c 
c 
c Core size: 87	Core Weight: 55	Total Weight: 9325043
c
c
c core #153
c 
c 
c Core size: 91	Core Weight: 18	Total Weight: 9325061
c
c
c core #154
c 
c 
c Core size: 87	Core Weight: 18	Total Weight: 9325079
c
c
c core #155
c 
c 
c Core size: 88	Core Weight: 17	Total Weight: 9325096
c
c
c core #156
c 
c 
c Core size: 114	Core Weight: 17	Total Weight: 9325113
c
c
c core #157
c 
c 
c Core size: 116	Core Weight: 115	Total Weight: 9325228
c
c
c core #158
c 
c 
c Core size: 113	Core Weight: 416	Total Weight: 9325644
c
c
c core #159
c 
c 
c Core size: 116	Core Weight: 222	Total Weight: 9325866
c
c
c core #160
c 
c 
c Core size: 143	Core Weight: 17	Total Weight: 9325883
c
c
c core #161
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 9325884
c
c
c core #162
c 
c 
c Core size: 142	Core Weight: 16	Total Weight: 9325900
c
c
c core #163
c 
c 
c Core size: 127	Core Weight: 21	Total Weight: 9325921
c
c
c core #164
c 
c 
c Core size: 152	Core Weight: 1	Total Weight: 9325922
c
c
c core #165
c 
c 
c Core size: 167	Core Weight: 1	Total Weight: 9325923
c
c
c core #166
c 
c 
c Core size: 142	Core Weight: 6	Total Weight: 9325929
c
c
c core #167
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 9325930
c
c
c core #168
c 
c 
c Core size: 149	Core Weight: 6	Total Weight: 9325936
c
c
c core #169
c 
c 
c Core size: 149	Core Weight: 1	Total Weight: 9325937
c
c
c core #170
c 
c 
c Core size: 115	Core Weight: 3	Total Weight: 9325940
c
c
c core #171
c 
c 
c Core size: 123	Core Weight: 3	Total Weight: 9325943
c
c
c core #172
c 
c 
c Core size: 127	Core Weight: 38	Total Weight: 9325981
c
c
c core #173
c 
c 
c Core size: 159	Core Weight: 1	Total Weight: 9325982
c
c
c core #174
c 
c 
c Core size: 174	Core Weight: 1	Total Weight: 9325983
c
c
c core #175
c 
c 
c Core size: 160	Core Weight: 1	Total Weight: 9325984
c
c
c core #176
c 
c 
c Core size: 167	Core Weight: 1	Total Weight: 9325985
c
c
c core #177
c 
c 
c Core size: 173	Core Weight: 1	Total Weight: 9325986
c
c
c core #178
c 
c 
c Core size: 170	Core Weight: 1	Total Weight: 9325987
c
c
c core #179
c 
c 
c Core size: 187	Core Weight: 1	Total Weight: 9325988
c
c
c core #180
c 
c 
c Core size: 159	Core Weight: 3	Total Weight: 9325991
c
c
c core #181
c 
c 
c Core size: 158	Core Weight: 1	Total Weight: 9325992
c
c
c core #182
c 
c 
c Core size: 168	Core Weight: 5	Total Weight: 9325997
c
c
c core #183
c 
c 
c Core size: 153	Core Weight: 1	Total Weight: 9325998
c
c
c core #184
c 
c 
c Core size: 150	Core Weight: 1	Total Weight: 9325999
c
c
c core #185
c 
c 
c Core size: 199	Core Weight: 1	Total Weight: 9326000
c
c
c core #186
c 
c 
c Core size: 185	Core Weight: 1	Total Weight: 9326001
c
c
c core #187
c 
c 
c Core size: 170	Core Weight: 1	Total Weight: 9326002
c
c
c core #188
c 
c 
c Core size: 178	Core Weight: 1	Total Weight: 9326003
c
c
c core #189
c 
c 
c Core size: 168	Core Weight: 1	Total Weight: 9326004
c
c
c core #190
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 9326005
c
c
c core #191
c 
c 
c Core size: 185	Core Weight: 1	Total Weight: 9326006
c
c
c core #192
c 
c 
c Core size: 145	Core Weight: 1	Total Weight: 9326007
c
c
c core #193
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 9326008
c
c
c core #194
c 
c 
c Core size: 160	Core Weight: 1	Total Weight: 9326009
c
c
c core #195
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 9326010
c
c
c core #196
c 
c 
c Core size: 235	Core Weight: 1	Total Weight: 9326011
c
c
c core #197
c 
c 
c Core size: 148	Core Weight: 1	Total Weight: 9326012
c
c
c core #198
c 
c 
c Core size: 227	Core Weight: 1	Total Weight: 9326013
c
c
c core #199
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 9326014
c
c
c core #200
c 
c 
c Core size: 248	Core Weight: 1	Total Weight: 9326015
c
c
c core #201
c 
c 
c Core size: 284	Core Weight: 1	Total Weight: 9326016
c
c
c core #202
c 
c 
c Core size: 199	Core Weight: 1	Total Weight: 9326017
c
c
c core #203
c 
c 
c Core size: 309	Core Weight: 1	Total Weight: 9326018
c
c
c core #204
c 
c 
c Core size: 447	Core Weight: 1	Total Weight: 9326019
c
c
c core #205
c 
c 
c Core size: 348	Core Weight: 1	Total Weight: 9326020
c
c
c core #206
c 
c 
c Core size: 553	Core Weight: 1	Total Weight: 9326021
c
c
c core #207
c 
c 
c Core size: 469	Core Weight: 1	Total Weight: 9326022
c
c
c core #208
c 
c 
c Core size: 749	Core Weight: 1	Total Weight: 9326023
c
c