Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-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/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 17	Core Weight: 38471	Total Weight: 38471
c Current CPU time: 0.010998 s
c
c core #2
c 
c 
c Core size: 17	Core Weight: 17791	Total Weight: 56262
c Current CPU time: 0.012998 s
c
c core #3
c 
c 
c Core size: 17	Core Weight: 49140	Total Weight: 105402
c Current CPU time: 0.015997 s
c
c core #4
c 
c 
c Core size: 17	Core Weight: 200717	Total Weight: 306119
c Current CPU time: 0.018997 s
c
c core #5
c 
c 
c Core size: 17	Core Weight: 9555	Total Weight: 315674
c Current CPU time: 0.021996 s
c
c core #6
c 
c 
c Core size: 17	Core Weight: 64215	Total Weight: 379889
c Current CPU time: 0.024996 s
c
c core #7
c 
c 
c Core size: 17	Core Weight: 284992	Total Weight: 664881
c Current CPU time: 0.027995 s
c
c core #8
c 
c 
c Core size: 17	Core Weight: 63706	Total Weight: 728587
c Current CPU time: 0.030995 s
c
c core #9
c 
c 
c Core size: 17	Core Weight: 12119	Total Weight: 740706
c Current CPU time: 0.032994 s
c
c core #10
c 
c 
c Core size: 17	Core Weight: 5464	Total Weight: 746170
c Current CPU time: 0.035994 s
c
c core #11
c 
c 
c Core size: 17	Core Weight: 126385	Total Weight: 872555
c Current CPU time: 0.039993 s
c
c core #12
c 
c 
c Core size: 17	Core Weight: 12317	Total Weight: 884872
c Current CPU time: 0.042993 s
c
c core #13
c 
c 
c Core size: 17	Core Weight: 51859	Total Weight: 936731
c Current CPU time: 0.045993 s
c
c core #14
c 
c 
c Core size: 17	Core Weight: 19537	Total Weight: 956268
c Current CPU time: 0.048992 s
c
c core #15
c 
c 
c Core size: 17	Core Weight: 73108	Total Weight: 1029376
c Current CPU time: 0.051992 s
c
c core #16
c 
c 
c Core size: 17	Core Weight: 81357	Total Weight: 1110733
c Current CPU time: 0.054991 s
c
c core #17
c 
c 
c Core size: 17	Core Weight: 25425	Total Weight: 1136158
c Current CPU time: 0.057991 s
c
c core #18
c 
c 
c Core size: 17	Core Weight: 114231	Total Weight: 1250389
c Current CPU time: 0.06099 s
c
c core #19
c 
c 
c Core size: 17	Core Weight: 35420	Total Weight: 1285809
c Current CPU time: 0.06399 s
c
c core #20
c 
c 
c Core size: 17	Core Weight: 54673	Total Weight: 1340482
c Current CPU time: 0.066989 s
c
c core #21
c 
c 
c Core size: 17	Core Weight: 6935	Total Weight: 1347417
c Current CPU time: 0.070989 s
c
c core #22
c 
c 
c Core size: 17	Core Weight: 111668	Total Weight: 1459085
c Current CPU time: 0.073988 s
c
c core #23
c 
c 
c Core size: 17	Core Weight: 48830	Total Weight: 1507915
c Current CPU time: 0.076988 s
c
c core #24
c 
c 
c Core size: 17	Core Weight: 52706	Total Weight: 1560621
c Current CPU time: 0.079987 s
c
c core #25
c 
c 
c Core size: 17	Core Weight: 29529	Total Weight: 1590150
c Current CPU time: 0.082987 s
c
c core #26
c 
c 
c Core size: 17	Core Weight: 1240512	Total Weight: 2830662
c Current CPU time: 0.086986 s
c
c core #27
c 
c 
c Core size: 17	Core Weight: 16011	Total Weight: 2846673
c Current CPU time: 0.089986 s
c
c core #28
c 
c 
c Core size: 17	Core Weight: 29582	Total Weight: 2876255
c Current CPU time: 0.092985 s
c
c core #29
c 
c 
c Core size: 17	Core Weight: 80499	Total Weight: 2956754
c Current CPU time: 0.095985 s
c
c core #30
c 
c 
c Core size: 17	Core Weight: 32859	Total Weight: 2989613
c Current CPU time: 0.098984 s
c
c core #31
c 
c 
c Core size: 17	Core Weight: 23989	Total Weight: 3013602
c Current CPU time: 0.101984 s
c
c core #32
c 
c 
c Core size: 17	Core Weight: 73466	Total Weight: 3087068
c Current CPU time: 0.105983 s
c
c core #33
c 
c 
c Core size: 17	Core Weight: 2033640	Total Weight: 5120708
c Current CPU time: 0.108983 s
c
c core #34
c 
c 
c Core size: 17	Core Weight: 48912	Total Weight: 5169620
c Current CPU time: 0.112982 s
c
c core #35
c 
c 
c Core size: 17	Core Weight: 41541	Total Weight: 5211161
c Current CPU time: 0.115982 s
c
c core #36
c 
c 
c Core size: 17	Core Weight: 569463	Total Weight: 5780624
c Current CPU time: 0.119981 s
c
c core #37
c 
c 
c Core size: 17	Core Weight: 150760	Total Weight: 5931384
c Current CPU time: 0.122981 s
c
c core #38
c 
c 
c Core size: 17	Core Weight: 343511	Total Weight: 6274895
c Current CPU time: 0.12698 s
c
c core #39
c 
c 
c Core size: 17	Core Weight: 52111	Total Weight: 6327006
c Current CPU time: 0.13098 s
c
c core #40
c 
c 
c Core size: 17	Core Weight: 100860	Total Weight: 6427866
c Current CPU time: 0.133979 s
c
c core #41
c 
c 
c Core size: 17	Core Weight: 136274	Total Weight: 6564140
c Current CPU time: 0.137979 s
c
c core #42
c 
c 
c Core size: 17	Core Weight: 78856	Total Weight: 6642996
c Current CPU time: 0.141978 s
c
c core #43
c 
c 
c Core size: 17	Core Weight: 93312	Total Weight: 6736308
c Current CPU time: 0.145977 s
c
c core #44
c 
c 
c Core size: 17	Core Weight: 899761	Total Weight: 7636069
c Current CPU time: 0.148977 s
c
c core #45
c 
c 
c Core size: 17	Core Weight: 390505	Total Weight: 8026574
c Current CPU time: 0.151976 s
c
c core #46
c 
c 
c Core size: 17	Core Weight: 101343	Total Weight: 8127917
c Current CPU time: 0.155976 s
c
c core #47
c 
c 
c Core size: 17	Core Weight: 17560	Total Weight: 8145477
c Current CPU time: 0.159975 s
c
c core #48
c 
c 
c Core size: 17	Core Weight: 208071	Total Weight: 8353548
c Current CPU time: 0.163975 s
c
c core #49
c 
c 
c Core size: 17	Core Weight: 26140	Total Weight: 8379688
c Current CPU time: 0.167974 s
c
c core #50
c 
c 
c Core size: 18	Core Weight: 3358	Total Weight: 8383046
c Current CPU time: 0.171973 s
c
c core #51
c 
c 
c Core size: 19	Core Weight: 1916	Total Weight: 8384962
c Current CPU time: 0.175973 s
c
c core #52
c 
c 
c Core size: 20	Core Weight: 6643	Total Weight: 8391605
c Current CPU time: 0.179972 s
c
c core #53
c 
c 
c Core size: 21	Core Weight: 1807	Total Weight: 8393412
c Current CPU time: 0.184971 s
c
c core #54
c 
c 
c Core size: 18	Core Weight: 598	Total Weight: 8394010
c Current CPU time: 0.188971 s
c
c core #55
c 
c 
c Core size: 19	Core Weight: 3502	Total Weight: 8397512
c Current CPU time: 0.19297 s
c
c core #56
c 
c 
c Core size: 20	Core Weight: 772	Total Weight: 8398284
c Current CPU time: 0.197969 s
c
c core #57
c 
c 
c Core size: 21	Core Weight: 305	Total Weight: 8398589
c Current CPU time: 0.201969 s
c
c core #58
c 
c 
c Core size: 18	Core Weight: 42336	Total Weight: 8440925
c Current CPU time: 0.206968 s
c
c core #59
c 
c 
c Core size: 19	Core Weight: 6804	Total Weight: 8447729
c Current CPU time: 0.210967 s
c
c core #60
c 
c 
c Core size: 18	Core Weight: 9526	Total Weight: 8457255
c Current CPU time: 0.215967 s
c
c core #61
c 
c 
c Core size: 19	Core Weight: 2507	Total Weight: 8459762
c Current CPU time: 0.219966 s
c
c core #62
c 
c 
c Core size: 20	Core Weight: 18216	Total Weight: 8477978
c Current CPU time: 0.224965 s
c
c core #63
c 
c 
c Core size: 18	Core Weight: 597	Total Weight: 8478575
c Current CPU time: 0.228965 s
c
c core #64
c 
c 
c Core size: 19	Core Weight: 465	Total Weight: 8479040
c Current CPU time: 0.233964 s
c
c core #65
c 
c 
c Core size: 20	Core Weight: 713	Total Weight: 8479753
c Current CPU time: 0.238963 s
c
c core #66
c 
c 
c Core size: 18	Core Weight: 5450	Total Weight: 8485203
c Current CPU time: 0.242963 s
c
c core #67
c 
c 
c Core size: 19	Core Weight: 629	Total Weight: 8485832
c Current CPU time: 0.247962 s
c
c core #68
c 
c 
c Core size: 18	Core Weight: 75000	Total Weight: 8560832
c Current CPU time: 0.252961 s
c
c core #69
c 
c 
c Core size: 18	Core Weight: 24911	Total Weight: 8585743
c Current CPU time: 0.25796 s
c
c core #70
c 
c 
c Core size: 19	Core Weight: 21235	Total Weight: 8606978
c Current CPU time: 0.26296 s
c
c core #71
c 
c 
c Core size: 20	Core Weight: 8131	Total Weight: 8615109
c Current CPU time: 0.268959 s
c
c core #72
c 
c 
c Core size: 18	Core Weight: 635	Total Weight: 8615744
c Current CPU time: 0.273958 s
c
c core #73
c 
c 
c Core size: 19	Core Weight: 495	Total Weight: 8616239
c Current CPU time: 0.278957 s
c
c core #74
c 
c 
c Core size: 20	Core Weight: 710	Total Weight: 8616949
c Current CPU time: 0.283956 s
c
c core #75
c 
c 
c Core size: 18	Core Weight: 2224	Total Weight: 8619173
c Current CPU time: 0.289955 s
c
c core #76
c 
c 
c Core size: 19	Core Weight: 1008	Total Weight: 8620181
c Current CPU time: 0.294955 s
c
c core #77
c 
c 
c Core size: 20	Core Weight: 592	Total Weight: 8620773
c Current CPU time: 0.300954 s
c
c core #78
c 
c 
c Core size: 18	Core Weight: 72985	Total Weight: 8693758
c Current CPU time: 0.305953 s
c
c core #79
c 
c 
c Core size: 18	Core Weight: 12317	Total Weight: 8706075
c Current CPU time: 0.310952 s
c
c core #80
c 
c 
c Core size: 18	Core Weight: 15385	Total Weight: 8721460
c Current CPU time: 0.316951 s
c
c core #81
c 
c 
c Core size: 18	Core Weight: 3360	Total Weight: 8724820
c Current CPU time: 0.321951 s
c
c core #82
c 
c 
c Core size: 19	Core Weight: 1448	Total Weight: 8726268
c Current CPU time: 0.32695 s
c
c core #83
c 
c 
c Core size: 18	Core Weight: 38591	Total Weight: 8764859
c Current CPU time: 0.332949 s
c
c core #84
c 
c 
c Core size: 19	Core Weight: 7611	Total Weight: 8772470
c Current CPU time: 0.338948 s
c
c core #85
c 
c 
c Core size: 20	Core Weight: 6380	Total Weight: 8778850
c Current CPU time: 0.344947 s
c
c core #86
c 
c 
c Core size: 21	Core Weight: 9389	Total Weight: 8788239
c Current CPU time: 0.350946 s
c
c core #87
c 
c 
c Core size: 18	Core Weight: 44838	Total Weight: 8833077
c Current CPU time: 0.355945 s
c
c core #88
c 
c 
c Core size: 19	Core Weight: 8694	Total Weight: 8841771
c Current CPU time: 0.361944 s
c
c core #89
c 
c 
c Core size: 18	Core Weight: 66869	Total Weight: 8908640
c Current CPU time: 0.367944 s
c
c core #90
c 
c 
c Core size: 18	Core Weight: 37526	Total Weight: 8946166
c Current CPU time: 0.373943 s
c
c core #91
c 
c 
c Core size: 18	Core Weight: 14973	Total Weight: 8961139
c Current CPU time: 0.378942 s
c
c core #92
c 
c 
c Core size: 18	Core Weight: 31011	Total Weight: 8992150
c Current CPU time: 0.384941 s
c
c core #93
c 
c 
c Core size: 18	Core Weight: 3160	Total Weight: 8995310
c Current CPU time: 0.39094 s
c
c core #94
c 
c 
c Core size: 18	Core Weight: 75000	Total Weight: 9070310
c Current CPU time: 0.396939 s
c
c core #95
c 
c 
c Core size: 18	Core Weight: 29583	Total Weight: 9099893
c Current CPU time: 0.402938 s
c
c core #96
c 
c 
c Core size: 18	Core Weight: 44302	Total Weight: 9144195
c Current CPU time: 0.408937 s
c
c core #97
c 
c 
c Core size: 18	Core Weight: 4072	Total Weight: 9148267
c Current CPU time: 0.414936 s
c
c core #98
c 
c 
c Core size: 19	Core Weight: 346	Total Weight: 9148613
c Current CPU time: 0.421935 s
c
c core #99
c 
c 
c Core size: 18	Core Weight: 36048	Total Weight: 9184661
c Current CPU time: 0.426935 s
c
c core #100
c 
c 
c Core size: 19	Core Weight: 18178	Total Weight: 9202839
c Current CPU time: 0.432934 s
c
c core #101
c 
c 
c Core size: 18	Core Weight: 4100	Total Weight: 9206939
c Current CPU time: 0.438933 s
c
c core #102
c 
c 
c Core size: 37	Core Weight: 1916	Total Weight: 9208855
c Current CPU time: 0.444932 s
c
c core #103
c 
c 
c Core size: 55	Core Weight: 4022	Total Weight: 9212877
c Current CPU time: 0.451931 s
c
c core #104
c 
c 
c Core size: 56	Core Weight: 2621	Total Weight: 9215498
c Current CPU time: 0.45893 s
c
c core #105
c 
c 
c Core size: 75	Core Weight: 1807	Total Weight: 9217305
c Current CPU time: 0.464929 s
c
c core #106
c 
c 
c Core size: 38	Core Weight: 3502	Total Weight: 9220807
c Current CPU time: 0.472928 s
c
c core #107
c 
c 
c Core size: 57	Core Weight: 772	Total Weight: 9221579
c Current CPU time: 0.479927 s
c
c core #108
c 
c 
c Core size: 75	Core Weight: 305	Total Weight: 9221884
c Current CPU time: 0.486925 s
c
c core #109
c 
c 
c Core size: 37	Core Weight: 2507	Total Weight: 9224391
c Current CPU time: 0.494924 s
c
c core #110
c 
c 
c Core size: 37	Core Weight: 18216	Total Weight: 9242607
c Current CPU time: 0.501923 s
c
c core #111
c 
c 
c Core size: 37	Core Weight: 465	Total Weight: 9243072
c Current CPU time: 0.509922 s
c
c core #112
c 
c 
c Core size: 55	Core Weight: 713	Total Weight: 9243785
c Current CPU time: 0.517921 s
c
c core #113
c 
c 
c Core size: 38	Core Weight: 629	Total Weight: 9244414
c Current CPU time: 0.52592 s
c
c core #114
c 
c 
c Core size: 37	Core Weight: 15752	Total Weight: 9260166
c Current CPU time: 0.533918 s
c
c core #115
c 
c 
c Core size: 37	Core Weight: 5483	Total Weight: 9265649
c Current CPU time: 0.541917 s
c
c core #116
c 
c 
c Core size: 55	Core Weight: 8131	Total Weight: 9273780
c Current CPU time: 0.549916 s
c
c core #117
c 
c 
c Core size: 37	Core Weight: 495	Total Weight: 9274275
c Current CPU time: 0.558915 s
c
c core #118
c 
c 
c Core size: 55	Core Weight: 710	Total Weight: 9274985
c Current CPU time: 0.567913 s
c
c core #119
c 
c 
c Core size: 37	Core Weight: 1008	Total Weight: 9275993
c Current CPU time: 0.576912 s
c
c core #120
c 
c 
c Core size: 55	Core Weight: 592	Total Weight: 9276585
c Current CPU time: 0.583911 s
c
c core #121
c 
c 
c Core size: 39	Core Weight: 1585	Total Weight: 9278170
c Current CPU time: 0.592909 s
c
c core #122
c 
c 
c Core size: 39	Core Weight: 1726	Total Weight: 9279896
c Current CPU time: 0.600908 s
c
c core #123
c 
c 
c Core size: 39	Core Weight: 2768	Total Weight: 9282664
c Current CPU time: 0.610907 s
c
c core #124
c 
c 
c Core size: 39	Core Weight: 3612	Total Weight: 9286276
c Current CPU time: 0.619905 s
c
c core #125
c 
c 
c Core size: 39	Core Weight: 3152	Total Weight: 9289428
c Current CPU time: 0.629904 s
c
c core #126
c 
c 
c Core size: 37	Core Weight: 2125	Total Weight: 9291553
c Current CPU time: 0.638902 s
c
c core #127
c 
c 
c Core size: 38	Core Weight: 8	Total Weight: 9291561
c Current CPU time: 0.647901 s
c
c core #128
c 
c 
c Core size: 38	Core Weight: 4104	Total Weight: 9295665
c Current CPU time: 0.657899 s
c
c core #129
c 
c 
c Core size: 37	Core Weight: 7425	Total Weight: 9303090
c Current CPU time: 0.667898 s
c
c core #130
c 
c 
c Core size: 37	Core Weight: 1269	Total Weight: 9304359
c Current CPU time: 0.676897 s
c
c core #131
c 
c 
c Core size: 79	Core Weight: 1807	Total Weight: 9306166
c Current CPU time: 0.687895 s
c
c core #132
c 
c 
c Core size: 62	Core Weight: 316	Total Weight: 9306482
c Current CPU time: 0.698893 s
c
c core #133
c 
c 
c Core size: 61	Core Weight: 456	Total Weight: 9306938
c Current CPU time: 0.710891 s
c
c core #134
c 
c 
c Core size: 79	Core Weight: 305	Total Weight: 9307243
c Current CPU time: 0.72189 s
c
c core #135
c 
c 
c Core size: 80	Core Weight: 250	Total Weight: 9307493
c Current CPU time: 0.733888 s
c
c core #136
c 
c 
c Core size: 82	Core Weight: 18	Total Weight: 9307511
c Current CPU time: 0.746886 s
c
c core #137
c 
c 
c Core size: 80	Core Weight: 1148	Total Weight: 9308659
c Current CPU time: 0.758884 s
c
c core #138
c 
c 
c Core size: 81	Core Weight: 391	Total Weight: 9309050
c Current CPU time: 0.770882 s
c
c core #139
c 
c 
c Core size: 58	Core Weight: 2465	Total Weight: 9311515
c Current CPU time: 0.78388 s
c
c core #140
c 
c 
c Core size: 59	Core Weight: 156	Total Weight: 9311671
c Current CPU time: 0.795879 s
c
c core #141
c 
c 
c Core size: 87	Core Weight: 18	Total Weight: 9311689
c Current CPU time: 0.809876 s
c
c core #142
c 
c 
c Core size: 77	Core Weight: 305	Total Weight: 9311994
c Current CPU time: 0.822874 s
c
c core #143
c 
c 
c Core size: 66	Core Weight: 156	Total Weight: 9312150
c Current CPU time: 0.835872 s
c
c core #144
c 
c 
c Core size: 62	Core Weight: 1490	Total Weight: 9313640
c Current CPU time: 0.85087 s
c
c core #145
c 
c 
c Core size: 56	Core Weight: 592	Total Weight: 9314232
c Current CPU time: 0.865868 s
c
c core #146
c 
c 
c Core size: 56	Core Weight: 8131	Total Weight: 9322363
c Current CPU time: 0.879866 s
c
c core #147
c 
c 
c Core size: 80	Core Weight: 456	Total Weight: 9322819
c Current CPU time: 0.894863 s
c
c core #148
c 
c 
c Core size: 76	Core Weight: 250	Total Weight: 9323069
c Current CPU time: 0.909861 s
c
c core #149
c 
c 
c Core size: 56	Core Weight: 710	Total Weight: 9323779
c Current CPU time: 0.925859 s
c
c core #150
c 
c 
c Core size: 56	Core Weight: 713	Total Weight: 9324492
c Current CPU time: 0.941856 s
c
c core #151
c 
c 
c Core size: 73	Core Weight: 113	Total Weight: 9324605
c Current CPU time: 0.956854 s
c
c core #152
c 
c 
c Core size: 100	Core Weight: 18	Total Weight: 9324623
c Current CPU time: 0.977851 s
c
c core #153
c 
c 
c Core size: 100	Core Weight: 305	Total Weight: 9324928
c Current CPU time: 0.996848 s
c
c core #154
c 
c 
c Core size: 94	Core Weight: 50	Total Weight: 9324978
c Current CPU time: 1.01585 s
c
c core #155
c 
c 
c Core size: 82	Core Weight: 118	Total Weight: 9325096
c Current CPU time: 1.03684 s
c
c core #156
c 
c 
c Core size: 115	Core Weight: 118	Total Weight: 9325214
c Current CPU time: 1.05584 s
c
c core #157
c 
c 
c Core size: 112	Core Weight: 50	Total Weight: 9325264
c Current CPU time: 1.07384 s
c
c core #158
c 
c 
c Core size: 112	Core Weight: 776	Total Weight: 9326040
c Current CPU time: 1.09683 s
c
c core #159
c 
c 
c Core size: 154	Core Weight: 8	Total Weight: 9326048
c Current CPU time: 1.11583 s
c
c core #160
c 
c 
c Core size: 151	Core Weight: 8	Total Weight: 9326056
c Current CPU time: 1.13683 s
c
c core #161
c 
c 
c Core size: 141	Core Weight: 2	Total Weight: 9326058
c Current CPU time: 1.16382 s
c
c core #162
c 
c 
c Core size: 141	Core Weight: 2	Total Weight: 9326060
c Current CPU time: 1.18782 s
c
c core #163
c 
c 
c Core size: 129	Core Weight: 8	Total Weight: 9326068
c Current CPU time: 1.21281 s
c
c core #164
c 
c 
c Core size: 136	Core Weight: 6	Total Weight: 9326074
c Current CPU time: 1.23781 s
c
c core #165
c 
c 
c Core size: 129	Core Weight: 2	Total Weight: 9326076
c Current CPU time: 1.26781 s
c
c core #166
c 
c 
c Core size: 130	Core Weight: 14	Total Weight: 9326090
c Current CPU time: 1.2928 s
c
c core #167
c 
c 
c Core size: 129	Core Weight: 2	Total Weight: 9326092
c Current CPU time: 1.3228 s
c
c core #168
c 
c 
c Core size: 131	Core Weight: 6	Total Weight: 9326098
c Current CPU time: 1.3478 s
c
c core #169
c 
c 
c Core size: 169	Core Weight: 2	Total Weight: 9326100
c Current CPU time: 1.38579 s
c
c core #170
c 
c 
c Core size: 191	Core Weight: 2	Total Weight: 9326102
c Current CPU time: 1.42678 s
c
c core #171
c 
c 
c Core size: 166	Core Weight: 2	Total Weight: 9326104
c Current CPU time: 1.46078 s
c
c core #172
c 
c 
c Core size: 163	Core Weight: 2	Total Weight: 9326106
c Current CPU time: 1.49077 s
c
c core #173
c 
c 
c Core size: 202	Core Weight: 2	Total Weight: 9326108
c Current CPU time: 1.53377 s
c
c core #174
c 
c 
c Core size: 312	Core Weight: 2	Total Weight: 9326110
c Current CPU time: 1.60476 s
c
c core #175
c 
c 
c Core size: 345	Core Weight: 2	Total Weight: 9326112
c Current CPU time: 1.74773 s
c
c core #176
c 
c 
c Core size: 395	Core Weight: 2	Total Weight: 9326114
c Current CPU time: 2.07069 s
c
c core #177
c 
c 
c Core size: 507	Core Weight: 2	Total Weight: 9326116
c Current CPU time: 9.51755 s
c
c core #178
c 
c 
c Core size: 589	Core Weight: 2	Total Weight: 9326118
c Current CPU time: 102.244 s
c
c #cores: 178
s UNKNOWN
1800.001u 7.757s 30:18.89 99.3%	0+0k 0+0io 0pf+0w