2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	209	20063.5	2520.13

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297365-1532690665.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297365-1532690665.xml, -tl, 20160s, -p, 8]
0.12/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
5.89/1.72	c solve instance...
9.58/2.25	o 0 
9.58/2.26	o 4 
10.31/2.32	o 6 
10.31/2.33	o 8 
10.31/2.33	o 10 
10.31/2.34	o 12 
11.22/2.50	o 14 
11.22/2.58	o 16 
11.96/2.63	o 18 
11.96/2.69	o 19 
11.96/2.69	o 20 
11.96/2.70	o 21 
12.74/2.70	o 22 
12.74/2.70	o 23 
12.74/2.70	o 24 
12.74/2.70	o 25 
12.74/2.71	o 26 
12.74/2.71	o 27 
12.74/2.71	o 28 
12.74/2.71	o 29 
12.74/2.71	o 30 
12.74/2.72	o 31 
12.74/2.72	o 32 
12.74/2.72	o 33 
12.74/2.72	o 34 
12.74/2.72	o 35 
12.74/2.73	o 36 
12.74/2.73	o 37 
13.41/2.80	o 38 
13.41/2.84	o 39 
13.41/2.84	o 40 
13.41/2.84	o 41 
13.41/2.84	o 42 
13.41/2.84	o 43 
13.41/2.85	o 44 
13.41/2.86	o 45 
13.41/2.86	o 46 
13.41/2.88	o 47 
13.41/2.88	o 48 
13.41/2.88	o 49 
13.41/2.89	o 50 
13.41/2.89	o 51 
13.41/2.89	o 52 
13.41/2.89	o 53 
13.41/2.89	o 54 
14.08/2.91	o 55 
14.08/2.91	o 56 
14.08/2.92	o 57 
14.08/2.92	o 58 
14.08/2.93	o 59 
14.08/2.93	o 60 
14.08/2.93	o 61 
14.08/2.93	o 62 
14.08/2.93	o 63 
14.08/2.94	o 64 
14.08/2.94	o 65 
14.08/2.94	o 66 
14.08/2.94	o 67 
14.08/2.94	o 68 
14.08/2.94	o 69 
14.08/2.95	o 70 
14.08/2.95	o 71 
14.08/2.95	o 72 
14.08/2.96	o 73 
14.08/2.96	o 74 
14.08/2.96	o 75 
14.08/2.96	o 76 
14.08/2.97	o 77 
14.08/2.97	o 78 
14.08/2.97	o 79 
14.08/2.97	o 80 
14.08/2.98	o 81 
14.08/2.98	o 82 
14.08/2.98	o 83 
14.08/2.98	o 84 
14.62/3.01	o 85 
14.62/3.01	o 86 
14.62/3.02	o 87 
14.62/3.02	o 88 
14.62/3.02	o 89 
14.62/3.02	o 90 
14.62/3.04	o 91 
14.62/3.04	o 92 
14.62/3.04	o 93 
14.62/3.05	o 94 
14.62/3.05	o 95 
14.62/3.07	o 96 
14.62/3.07	o 97 
14.62/3.08	o 98 
14.62/3.08	o 99 
14.62/3.08	o 100 
14.62/3.09	o 101 
14.62/3.09	o 102 
14.62/3.09	o 103 
14.62/3.09	o 104 
14.62/3.09	o 105 
14.62/3.10	o 106 
14.62/3.10	o 107 
14.62/3.10	o 108 
14.62/3.11	o 109 
15.16/3.11	o 110 
15.16/3.11	o 111 
15.16/3.11	o 112 
15.16/3.12	o 113 
15.16/3.12	o 114 
15.16/3.14	o 115 
15.16/3.14	o 116 
15.16/3.15	o 117 
15.16/3.15	o 118 
15.16/3.15	o 119 
15.16/3.15	o 120 
15.16/3.15	o 121 
15.16/3.16	o 122 
15.16/3.16	o 123 
15.16/3.16	o 124 
15.16/3.18	o 125 
15.16/3.18	o 126 
15.16/3.18	o 127 
15.16/3.19	o 128 
15.16/3.19	o 129 
15.72/3.20	o 130 
15.72/3.21	o 131 
15.72/3.21	o 132 
15.72/3.21	o 133 
15.72/3.22	o 134 
15.72/3.22	o 135 
15.72/3.22	o 136 
15.72/3.23	o 137 
15.72/3.23	o 138 
15.72/3.23	o 139 
15.72/3.24	o 140 
15.72/3.24	o 141 
15.72/3.24	o 142 
15.72/3.24	o 143 
15.72/3.25	o 144 
15.72/3.25	o 145 
15.72/3.25	o 146 
15.72/3.26	o 147 
15.72/3.26	o 148 
15.72/3.26	o 149 
15.72/3.26	o 150 
15.72/3.27	o 151 
15.72/3.27	o 152 
15.72/3.27	o 153 
15.72/3.27	o 154 
15.72/3.28	o 155 
15.72/3.28	o 156 
15.72/3.28	o 157 
15.72/3.29	o 158 
16.21/3.31	o 159 
16.21/3.31	o 160 
16.21/3.32	o 161 
16.21/3.34	o 162 
16.21/3.34	o 163 
16.21/3.34	o 164 
16.21/3.35	o 165 
16.21/3.35	o 166 
16.58/3.43	o 167 
16.58/3.43	o 168 
16.58/3.44	o 169 
16.58/3.44	o 170 
16.58/3.44	o 171 
16.58/3.44	o 172 
16.58/3.44	o 173 
16.58/3.45	o 174 
16.58/3.45	o 175 
16.58/3.45	o 176 
16.58/3.46	o 177 
16.58/3.46	o 178 
16.58/3.46	o 179 
16.58/3.47	o 180 
16.58/3.47	o 181 
16.58/3.47	o 182 
16.58/3.47	o 183 
16.58/3.48	o 184 
16.58/3.48	o 185 
16.58/3.48	o 186 
16.58/3.48	o 187 
16.58/3.49	o 188 
16.58/3.49	o 189 
16.58/3.49	o 190 
16.58/3.49	o 191 
16.90/3.50	o 192 
16.90/3.50	o 193 
16.90/3.50	o 194 
16.90/3.51	o 195 
16.90/3.52	o 196 
16.90/3.52	o 197 
16.90/3.53	o 198 
16.90/3.53	o 199 
16.90/3.53	o 200 
16.90/3.54	o 201 
17.34/3.61	o 202 
23.57/4.49	o 203 
315.36/41.03	o 204 
316.84/41.27	o 205 
2564.62/323.06	o 206 
3128.44/393.77	o 207 
8829.98/1108.48	o 208 
14566.99/1828.73	o 209 
20062.78/2520.08	s SATISFIABLE
20062.78/2520.08	v <instantiation>
20062.78/2520.08	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] z </list>
20062.78/2520.08	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 7 9 11 21 22 23 47 55 58 61 63 67 80 85 88 92 97 101 107 112 116 122 130 209 </values>
20062.78/2520.08	v </instantiation>
20062.78/2520.08	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9579 MiB free)
  memory of node 1: 16384 MiB (10182 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297365-1532690665/watcher-4297365-1532690665 -o /tmp/evaluation-result-4297365-1532690665/solver-4297365-1532690665 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532683098-14919 --watchdog 2580 HOME/xcsp3-exec -seed 556910516 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297365-1532690665.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15625, runsolver pid=15622

[startup+0.100134 s]*
/proc/loadavg: 8.52 8.43 8.43 2/200 15646
/proc/meminfo: memFree=20219844/32770624 swapFree=67108860/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 14892 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86629691 115843072 363 33554432000 4194304 5098028 140731527037408 140731527035512 140111387013756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8126464 140731527046198 140731527046400 140731527046400 140731527049162 0
/proc/15625/statm: 28282 363 305 221 0 87 0
[pid=15627] ppid=15625 vsize=26104152 memory=27704 CPUtime=0.12 cores=0-7
/proc/15627/stat : 15627 (java) S 15625 15625 14892 0 -1 1077944320 5857 0 0 0 10 2 0 0 20 0 20 0 86629692 26730651648 6926 33554432000 4194304 4196468 140732041508256 140732041490800 140466621624055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
/proc/15627/statm: 6526038 6926 2999 1 0 6488315 0
[pid=15627/tid=15628] ppid=15625 vsize=26104152 memory=8113686011800625305 CPUtime=0.09 cores=0-7
/proc/15627/task/15628/stat : 15628 (java) R 15625 15625 14892 0 -1 4202560 3866 0 0 0 8 1 0 0 20 0 20 0 86629692 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466625857328 140466621635990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15629] ppid=15625 vsize=26104152 memory=732369855479479269 CPUtime=0 cores=0-7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466574244624 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15630] ppid=15625 vsize=26104152 memory=139717142025856 CPUtime=0 cores=0-7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466573192080 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15631] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466572139536 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15632] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466571086992 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15633] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466175998224 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15634] ppid=15625 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466174945680 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15635] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466173893136 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15636] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 6926 33554432000 4194304 4196468 140732041508256 140466172840592 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15637] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 14892 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 86629694 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465363761648 140466621635202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15638] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 14892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86629695 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465160578464 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15639] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 14892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86629695 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465159525872 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15640] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629697 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465158474448 140466621642651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15641] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 14892 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 86629697 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465157421040 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15642] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15642/stat : 15642 (java) S 15625 15625 14892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86629697 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465156368496 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15643] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15643/stat : 15643 (java) S 15625 15625 14892 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86629698 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465155315952 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15644] ppid=15625 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15627/task/15644/stat : 15644 (java) R 15625 15625 14892 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 86629698 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465154263408 140466621635990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15645] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15645/stat : 15645 (java) S 15625 15625 14892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86629698 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465153211104 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15646] ppid=15625 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15627/task/15646/stat : 15646 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629698 26730651648 6926 33554432000 4194304 4196468 140732041508256 140465152158640 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29156 KiB

[startup+0.210505 s]*
/proc/loadavg: 8.52 8.43 8.43 3/200 15646
/proc/meminfo: memFree=20208524/32770624 swapFree=67108860/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 14892 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86629691 115843072 363 33554432000 4194304 5098028 140731527037408 140731527035512 140111387013756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8126464 140731527046198 140731527046400 140731527046400 140731527049162 0
/proc/15625/statm: 28282 363 305 221 0 87 0
[pid=15627] ppid=15625 vsize=26104152 memory=39372 CPUtime=0.34 cores=0-7
/proc/15627/stat : 15627 (java) S 15625 15625 14892 0 -1 1077944320 8512 0 0 0 31 3 0 0 20 0 20 0 86629692 26730651648 9843 33554432000 4194304 4196468 140732041508256 140732041490800 140466621624055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
/proc/15627/statm: 6526038 9843 3167 1 0 6488315 0
[pid=15627/tid=15628] ppid=15625 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/15627/task/15628/stat : 15628 (java) R 15625 15625 14892 0 -1 4202560 5607 0 0 0 18 1 0 0 20 0 20 0 86629692 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466625859040 140466605667685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15629] ppid=15625 vsize=26104152 memory=732369855479479269 CPUtime=0 cores=0-7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466574244624 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15630] ppid=15625 vsize=26104152 memory=139717142025856 CPUtime=0 cores=0-7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466573192080 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15631] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466572139536 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15632] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466571086992 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15633] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466175998224 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15634] ppid=15625 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466174945680 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15635] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466173893136 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15636] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26730651648 9843 33554432000 4194304 4196468 140732041508256 140466172840592 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15637] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 14892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 86629694 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465363761648 140466621635202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15638] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 14892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86629695 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465160578464 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15639] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 14892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86629695 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465159525872 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15640] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629697 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465158474448 140466621642651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15641] ppid=15625 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 14892 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 86629697 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465157421040 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15642] ppid=15625 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15627/task/15642/stat : 15642 (java) S 15625 15625 14892 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 86629697 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465156368496 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15643] ppid=15625 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15627/task/15643/stat : 15643 (java) S 15625 15625 14892 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 86629698 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465155315952 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15644] ppid=15625 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/15627/task/15644/stat : 15644 (java) R 15625 15625 14892 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 20 0 86629698 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465154263408 140466621645402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15645] ppid=15625 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15645/stat : 15645 (java) S 15625 15625 14892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86629698 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465153211104 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15646] ppid=15625 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15627/task/15646/stat : 15646 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629698 26730651648 9843 33554432000 4194304 4196468 140732041508256 140465152158640 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40824 KiB

[startup+0.310402 s]*
/proc/loadavg: 8.52 8.43 8.43 6/200 15646
/proc/meminfo: memFree=20201948/32770624 swapFree=67108860/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 14892 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86629691 115843072 363 33554432000 4194304 5098028 140731527037408 140731527035512 140111387013756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8126464 140731527046198 140731527046400 140731527046400 140731527049162 0
/proc/15625/statm: 28282 363 305 221 0 87 0
[pid=15627] ppid=15625 vsize=26108408 memory=46684 CPUtime=0.52 cores=0-7
/proc/15627/stat : 15627 (java) S 15625 15625 14892 0 -1 1077944320 9377 0 0 0 49 3 0 0 20 0 20 0 86629692 26735009792 11671 33554432000 4194304 4196468 140732041508256 140732041490800 140466621624055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
/proc/15627/statm: 6527102 11671 3258 1 0 6488315 0
[pid=15627/tid=15628] ppid=15625 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15627/task/15628/stat : 15628 (java) R 15625 15625 14892 0 -1 4202560 6298 0 0 0 27 2 0 0 20 0 20 0 86629692 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466625857360 140466621645981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15629] ppid=15625 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466574244624 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15630] ppid=15625 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466573192080 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15631] ppid=15625 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466572139536 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15632] ppid=15625 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466571086992 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15633] ppid=15625 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466175998224 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15634] ppid=15625 vsize=26108408 memory=139717031064495 CPUtime=0 cores=0-7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466174945680 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15635] ppid=15625 vsize=26108408 memory=139717031066800 CPUtime=0 cores=0-7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466173893136 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15636] ppid=15625 vsize=26108408 memory=139717031069104 CPUtime=0 cores=0-7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26735009792 11671 33554432000 4194304 4196468 140732041508256 140466172840592 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15637] ppid=15625 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 14892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 86629694 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465363761648 140466621635202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15638] ppid=15625 vsize=26108408 memory=279434062145168 CPUtime=0 cores=0-7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 14892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86629695 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465160578464 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15639] ppid=15625 vsize=26108408 memory=279434062152080 CPUtime=0 cores=0-7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 14892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86629695 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465159525872 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15640] ppid=15625 vsize=26108408 memory=279434062093360 CPUtime=0 cores=0-7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629697 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465158474448 140466621642651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15641] ppid=15625 vsize=26108408 memory=279434062165904 CPUtime=0.02 cores=0-7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 14892 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 20 0 86629697 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465157421040 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15642] ppid=15625 vsize=26108408 memory=279434062172816 CPUtime=0.04 cores=0-7
/proc/15627/task/15642/stat : 15642 (java) R 15625 15625 14892 0 -1 4202560 144 0 0 0 4 0 0 0 20 0 20 0 86629697 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465156349512 140466606548402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15643] ppid=15625 vsize=26108408 memory=279434062170512 CPUtime=0.01 cores=0-7
/proc/15627/task/15643/stat : 15643 (java) S 15625 15625 14892 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 20 0 86629698 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465155315952 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15644] ppid=15625 vsize=26108408 memory=279434062186672 CPUtime=0.12 cores=0-7
/proc/15627/task/15644/stat : 15644 (java) S 15625 15625 14892 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 86629698 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465154263408 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15645] ppid=15625 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15645/stat : 15645 (java) S 15625 15625 14892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86629698 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465153211104 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15646] ppid=15625 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/15627/task/15646/stat : 15646 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629698 26735009792 11671 33554432000 4194304 4196468 140732041508256 140465152158640 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48136 KiB

[startup+0.700992 s]
/proc/loadavg: 8.52 8.43 8.43 6/200 15646
/proc/meminfo: memFree=20183444/32770624 swapFree=67108860/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 14892 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86629691 115843072 363 33554432000 4194304 5098028 140731527037408 140731527035512 140111387013756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8126464 140731527046198 140731527046400 140731527046400 140731527049162 0
/proc/15625/statm: 28282 363 305 221 0 87 0
[pid=15627] ppid=15625 vsize=26110532 memory=93640 CPUtime=1.66 cores=0-7
/proc/15627/stat : 15627 (java) S 15625 15625 14892 0 -1 1077944320 12498 0 0 0 161 5 0 0 20 0 20 0 86629692 26737184768 23410 33554432000 4194304 4196468 140732041508256 140732041490800 140466621624055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
/proc/15627/statm: 6527633 23410 3350 1 0 6488827 0
[pid=15627/tid=15628] ppid=15625 vsize=26110532 memory=279434062481600 CPUtime=0.66 cores=0-7
/proc/15627/task/15628/stat : 15628 (java) R 15625 15625 14892 0 -1 4202560 7084 0 0 0 64 2 0 0 20 0 20 0 86629692 26737184768 23410 33554432000 4194304 4196468 140732041508256 140466625861440 140466255550260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15629] ppid=15625 vsize=26110532 memory=1228 CPUtime=0 cores=0-7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26737184768 23410 33554432000 4194304 4196468 140732041508256 140466574244624 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15630] ppid=15625 vsize=26110532 memory=1428 CPUtime=0 cores=0-7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86629693 26737184768 23410 33554432000 4194304 4196468 140732041508256 140466573192080 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15631] ppid=15625 vsize=26110532 memory=1196 CPUtime=0 cores=0-7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 14892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86629693 26737184768 23410 33554432000 4194304 4196468 140732041508256 140466572139536 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0

################
# More data... #
################

[pid=15627/tid=17270] ppid=15625 vsize=26844784 memory=6983464 CPUtime=606.03 cores=0-7
/proc/15627/task/17270/stat : 17270 (java) R 15625 15625 14892 0 -1 4202560 26319 0 0 0 60588 15 0 0 20 0 28 0 86812565 27489058816 1745482 33554432000 4194304 4196468 140732041508256 140465141465264 140466261414855 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
Current children cumulated CPU time: 19444.8 s
Current children cumulated vsize: 26957912 KiB
Current children cumulated memory: 6983380 KiB

[startup+2502.3 s]
/proc/loadavg: 8.20 8.18 8.23 9/207 17301
/proc/meminfo: memFree=13271960/32770624 swapFree=67108860/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 14892 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86629691 115843072 363 33554432000 4194304 5098028 140731527037408 140731527035512 140111387013756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8126464 140731527046198 140731527046400 140731527046400 140731527049162 0
/proc/15625/statm: 28282 363 305 221 0 87 0
[pid=15627] ppid=15625 vsize=26844784 memory=6961000 CPUtime=19921.8 cores=0-7
/proc/15627/stat : 15627 (java) S 15625 15625 14892 0 -1 1077944320 833129 0 0 0 1991095 1090 0 0 20 0 28 0 86629692 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140732041490800 140466621624055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
/proc/15627/statm: 6711196 1740250 3461 1 0 6672390 0
[pid=15627/tid=15628] ppid=15625 vsize=26844784 memory=1452 CPUtime=1.7 cores=0-7
/proc/15627/task/15628/stat : 15628 (java) S 15625 15625 14892 0 -1 1077944384 9517 0 0 0 165 5 0 0 20 0 28 0 86629692 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466625864864 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15629] ppid=15625 vsize=26844784 memory=6961000 CPUtime=4.03 cores=0-7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 14892 0 -1 1077944384 24417 0 0 0 385 18 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466574244624 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15630] ppid=15625 vsize=26844784 memory=6961516 CPUtime=4.02 cores=0-7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 14892 0 -1 1077944384 20828 0 0 0 384 18 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466573192080 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15631] ppid=15625 vsize=26844784 memory=1452 CPUtime=4.04 cores=0-7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 14892 0 -1 1077944384 25868 0 0 0 385 19 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466572139536 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15632] ppid=15625 vsize=26844784 memory=6961516 CPUtime=4.1 cores=0-7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 14892 0 -1 1077944384 25877 0 0 0 393 17 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466571086992 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15633] ppid=15625 vsize=26844784 memory=6961000 CPUtime=4.07 cores=0-7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 14892 0 -1 1077944384 27453 0 0 0 388 19 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466175998224 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15634] ppid=15625 vsize=26844784 memory=1452 CPUtime=4.03 cores=0-7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 14892 0 -1 1077944384 24611 0 0 0 384 19 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466174945680 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15635] ppid=15625 vsize=26844784 memory=6975336 CPUtime=4.05 cores=0-7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 14892 0 -1 1077944384 26353 0 0 0 383 22 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466173893136 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15636] ppid=15625 vsize=26844784 memory=6977900 CPUtime=4.04 cores=0-7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 14892 0 -1 1077944384 23479 0 0 0 387 17 0 0 20 0 28 0 86629693 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140466172840592 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15637] ppid=15625 vsize=26844784 memory=1452 CPUtime=1.6 cores=0-7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 14892 0 -1 1077944384 97878 0 0 0 127 33 0 0 20 0 28 0 86629694 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465363761648 140466621635202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15638] ppid=15625 vsize=26844784 memory=1452 CPUtime=0 cores=0-7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 14892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 86629695 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465160578528 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15639] ppid=15625 vsize=26844784 memory=1452 CPUtime=0 cores=0-7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 14892 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 86629695 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465159525888 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15640] ppid=15625 vsize=26844784 memory=0 CPUtime=0 cores=0-7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86629697 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465158474448 140466621642651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15641] ppid=15625 vsize=26844784 memory=1452 CPUtime=3.4 cores=0-7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 14892 0 -1 1077944384 19363 0 0 0 336 4 0 0 20 0 28 0 86629697 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465157421040 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15642] ppid=15625 vsize=26844784 memory=1452 CPUtime=2.99 cores=0-7
/proc/15627/task/15642/stat : 15642 (java) S 15625 15625 14892 0 -1 1077944384 20444 0 0 0 294 5 0 0 20 0 28 0 86629697 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465156368496 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15643] ppid=15625 vsize=26844784 memory=1952 CPUtime=2.99 cores=0-7
/proc/15627/task/15643/stat : 15643 (java) S 15625 15625 14892 0 -1 1077944384 17687 0 0 0 297 2 0 0 20 0 28 0 86629698 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465155315952 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15644] ppid=15625 vsize=26844784 memory=8580 CPUtime=1.22 cores=0-7
/proc/15627/task/15644/stat : 15644 (java) S 15625 15625 14892 0 -1 1077944384 16002 0 0 0 118 4 0 0 20 0 28 0 86629698 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465154263408 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15645] ppid=15625 vsize=26844784 memory=1452 CPUtime=0 cores=0-7
/proc/15627/task/15645/stat : 15645 (java) S 15625 15625 14892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86629698 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465153211104 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15646] ppid=15625 vsize=26844784 memory=6966644 CPUtime=1.01 cores=0-7
/proc/15627/task/15646/stat : 15646 (java) S 15625 15625 14892 0 -1 1077944384 6664 0 0 0 24 77 0 0 20 0 28 0 86629698 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465152158640 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17263] ppid=15625 vsize=26844784 memory=1452 CPUtime=668.26 cores=0-7
/proc/15627/task/17263/stat : 17263 (java) R 15625 15625 14892 0 -1 4202560 13205 0 0 0 66819 7 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465139358880 140466260269461 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17264] ppid=15625 vsize=26844784 memory=4140 CPUtime=665.48 cores=0-7
/proc/15627/task/17264/stat : 17264 (java) R 15625 15625 14892 0 -1 4202560 13342 0 0 0 66538 10 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465140413136 140466260876293 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17265] ppid=15625 vsize=26844784 memory=1452 CPUtime=668.52 cores=0-7
/proc/15627/task/17265/stat : 17265 (java) R 15625 15625 14892 0 -1 4202560 15714 0 0 0 66846 6 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465131991648 140466260269678 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17266] ppid=15625 vsize=26844784 memory=1452 CPUtime=665.58 cores=0-7
/proc/15627/task/17266/stat : 17266 (java) R 15625 15625 14892 0 -1 4202560 17607 0 0 0 66550 8 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465138306728 140466257552513 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17267] ppid=15625 vsize=26844784 memory=6791534058613427641 CPUtime=666.52 cores=0-7
/proc/15627/task/17267/stat : 17267 (java) R 15625 15625 14892 0 -1 4202560 15458 0 0 0 66640 12 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465130938264 140466260403940 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17268] ppid=15625 vsize=26844784 memory=952 CPUtime=668.1 cores=0-7
/proc/15627/task/17268/stat : 17268 (java) R 15625 15625 14892 0 -1 4202560 11305 0 0 0 66806 4 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465134096272 140466260437946 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17269] ppid=15625 vsize=26844784 memory=4140 CPUtime=665.53 cores=0-7
/proc/15627/task/17269/stat : 17269 (java) R 15625 15625 14892 0 -1 4202560 32322 0 0 0 66529 24 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465133046880 140466259140229 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17270] ppid=15625 vsize=26844784 memory=25288 CPUtime=665.24 cores=0-7
/proc/15627/task/17270/stat : 17270 (java) R 15625 15625 14892 0 -1 4202560 27520 0 0 0 66508 16 0 0 20 0 28 0 86812565 27489058816 1740250 33554432000 4194304 4196468 140732041508256 140465141464944 140466260621188 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
Current children cumulated CPU time: 19921.8 s
Current children cumulated vsize: 26957912 KiB
Current children cumulated memory: 6962452 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.31 8.20 8.24 9/207 17301
/proc/meminfo: memFree=13278456/32770624 swapFree=67108860/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 14892 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86629691 115843072 363 33554432000 4194304 5098028 140731527037408 140731527035512 140111387013756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8126464 140731527046198 140731527046400 140731527046400 140731527049162 0
/proc/15625/statm: 28282 363 305 221 0 87 0
[pid=15627] ppid=15625 vsize=26844784 memory=6955360 CPUtime=20062.8 cores=0-7
/proc/15627/stat : 15627 (java) S 15625 15625 14892 0 -1 1077944320 842886 0 0 0 2005184 1094 0 0 20 0 28 0 86629692 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140732041490800 140466621624055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
/proc/15627/statm: 6711196 1738840 3461 1 0 6672390 0
[pid=15627/tid=15628] ppid=15625 vsize=26844784 memory=6791534058613427641 CPUtime=1.7 cores=0-7
/proc/15627/task/15628/stat : 15628 (java) S 15625 15625 14892 0 -1 1077944384 9517 0 0 0 165 5 0 0 20 0 28 0 86629692 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466625864864 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15629] ppid=15625 vsize=26844784 memory=-7003737579269690708 CPUtime=4.08 cores=0-7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 14892 0 -1 1077944384 24602 0 0 0 390 18 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466574244624 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15630] ppid=15625 vsize=26844784 memory=5624 CPUtime=4.08 cores=0-7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 14892 0 -1 1077944384 21879 0 0 0 390 18 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466573192080 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15631] ppid=15625 vsize=26844784 memory=4100 CPUtime=4.1 cores=0-7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 14892 0 -1 1077944384 26358 0 0 0 391 19 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466572139536 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15632] ppid=15625 vsize=26844784 memory=1408 CPUtime=4.17 cores=0-7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 14892 0 -1 1077944384 26039 0 0 0 399 18 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466571086992 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15633] ppid=15625 vsize=26844784 memory=1452 CPUtime=4.13 cores=0-7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 14892 0 -1 1077944384 27761 0 0 0 394 19 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466175998224 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15634] ppid=15625 vsize=26844784 memory=6955872 CPUtime=4.09 cores=0-7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 14892 0 -1 1077944384 24857 0 0 0 390 19 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466174945680 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15635] ppid=15625 vsize=26844784 memory=0 CPUtime=4.1 cores=0-7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 14892 0 -1 1077944384 27021 0 0 0 388 22 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466173893136 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15636] ppid=15625 vsize=26844784 memory=302585819829645664 CPUtime=4.1 cores=0-7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 14892 0 -1 1077944384 24099 0 0 0 393 17 0 0 20 0 28 0 86629693 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140466172840592 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15637] ppid=15625 vsize=26844784 memory=13564886228035442 CPUtime=1.63 cores=0-7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 14892 0 -1 1077944384 99158 0 0 0 129 34 0 0 20 0 28 0 86629694 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465363761648 140466621635202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15638] ppid=15625 vsize=26844784 memory=519305 CPUtime=0 cores=0-7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 14892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 86629695 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465160578528 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15639] ppid=15625 vsize=26844784 memory=1452 CPUtime=0 cores=0-7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 14892 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 86629695 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465159525888 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15640] ppid=15625 vsize=26844784 memory=792 CPUtime=0 cores=0-7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 14892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86629697 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465158474448 140466621642651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15641] ppid=15625 vsize=26844784 memory=1716 CPUtime=3.4 cores=0-7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 14892 0 -1 1077944384 19367 0 0 0 336 4 0 0 20 0 28 0 86629697 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465157421040 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15642] ppid=15625 vsize=26844784 memory=1952 CPUtime=2.99 cores=0-7
/proc/15627/task/15642/stat : 15642 (java) S 15625 15625 14892 0 -1 1077944384 20448 0 0 0 294 5 0 0 20 0 28 0 86629697 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465156368496 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15643] ppid=15625 vsize=26844784 memory=8580 CPUtime=2.99 cores=0-7
/proc/15627/task/15643/stat : 15643 (java) S 15625 15625 14892 0 -1 1077944384 17691 0 0 0 297 2 0 0 20 0 28 0 86629698 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465155315952 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15644] ppid=15625 vsize=26844784 memory=6955360 CPUtime=1.22 cores=0-7
/proc/15627/task/15644/stat : 15644 (java) S 15625 15625 14892 0 -1 1077944384 16008 0 0 0 118 4 0 0 20 0 28 0 86629698 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465154263408 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15645] ppid=15625 vsize=26844784 memory=25288 CPUtime=0 cores=0-7
/proc/15627/task/15645/stat : 15645 (java) S 15625 15625 14892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86629698 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465153211104 140466621634261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=15646] ppid=15625 vsize=26844784 memory=1296 CPUtime=1.01 cores=0-7
/proc/15627/task/15646/stat : 15646 (java) S 15625 15625 14892 0 -1 1077944384 6738 0 0 0 24 77 0 0 20 0 28 0 86629698 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465152158640 140466621635202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17263] ppid=15625 vsize=26844784 memory=2412 CPUtime=685.86 cores=0-7
/proc/15627/task/17263/stat : 17263 (java) R 15625 15625 14892 0 -1 4202560 13591 0 0 0 68579 7 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465139359096 140466260843867 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17264] ppid=15625 vsize=26844784 memory=1724 CPUtime=682.92 cores=0-7
/proc/15627/task/17264/stat : 17264 (java) R 15625 15625 14892 0 -1 4202560 13763 0 0 0 68282 10 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465140412952 140466261414928 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17265] ppid=15625 vsize=26844784 memory=1228 CPUtime=686.09 cores=0-7
/proc/15627/task/17265/stat : 17265 (java) R 15625 15625 14892 0 -1 4202560 16192 0 0 0 68603 6 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465131991896 140466260843932 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17266] ppid=15625 vsize=26844784 memory=1428 CPUtime=683.05 cores=0-7
/proc/15627/task/17266/stat : 17266 (java) R 15625 15625 14892 0 -1 4202560 18117 0 0 0 68297 8 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465138307544 140466260271493 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17267] ppid=15625 vsize=26844784 memory=1196 CPUtime=684.1 cores=0-7
/proc/15627/task/17267/stat : 17267 (java) R 15625 15625 14892 0 -1 4202560 15896 0 0 0 68398 12 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465130938320 140466261415213 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17268] ppid=15625 vsize=26844784 memory=5788 CPUtime=685.68 cores=0-7
/proc/15627/task/17268/stat : 17268 (java) R 15625 15625 14892 0 -1 4202560 11702 0 0 0 68564 4 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465134099184 140466260843932 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17269] ppid=15625 vsize=26844784 memory=4616 CPUtime=683.12 cores=0-7
/proc/15627/task/17269/stat : 17269 (java) R 15625 15625 14892 0 -1 4202560 33554 0 0 0 68288 24 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465133043672 140466255078330 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
[pid=15627/tid=17270] ppid=15625 vsize=26844784 memory=12032 CPUtime=682.81 cores=0-7
/proc/15627/task/17270/stat : 17270 (java) R 15625 15625 14892 0 -1 4202560 28313 0 0 0 68265 16 0 0 20 0 28 0 86812565 27489058816 1738840 33554432000 4194304 4196468 140732041508256 140465141465368 140466257552513 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 7061504 140732041516161 140732041516333 140732041516333 140732041519055 0
Current children cumulated CPU time: 20062.8 s
Current children cumulated vsize: 26957912 KiB
Current children cumulated memory: 6956812 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 15625 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001132 s, system=0.001132 s

[startup+2520.13 s]
# the end of solver process 15627 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20052.5 s, system=10.9828 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.13
CPU time (s): 20063.5
CPU user time (s): 20052.5
CPU system time (s): 10.9828
CPU usage (%): 796.13
Max. virtual memory (cumulated for all children) (KiB): 26957912
Max. memory (cumulated for all children) (KiB): 7624572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20052.5
system time used= 10.9828
maximum resident set size= 7627888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164452
involuntary context switches= 212941


# summary of solver processes directly reported to runsolver:
#   pid: 15625,15627
#   total CPU time (s): 20063.5
#   total CPU user time (s): 20052.5
#   total CPU system time (s): 10.9828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.8685 second user time and 26.8384 second system time

The end

Name	StillLife/ StillLife-wastage-21_c18.xml
MD5SUM	a6f0507a9e94bceb0819229116432592
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	209
Best CPU time to get the best result obtained on this benchmark	20063.5
Satisfiable
(Un)Satisfiability was proved
Number of variables	1082
Number of constraints	659
Number of domains	4
Minimum domain size	2
Maximum domain size	1059
Distribution of domain sizes	[{"size":2,"count":529},{"size":3,"count":529},{"size":442,"count":1},{"size":1059,"count":23}]
Minimum variable degree	1
Maximum variable degree	24
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":526},{"degree":3,"count":26},{"degree":4,"count":84},{"degree":8,"count":80},{"degree":9,"count":361},{"degree":24,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	25
Distribution of constraint arities	[{"arity":2,"count":107},{"arity":3,"count":84},{"arity":10,"count":441},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":22}]
Number of extensional constraints	525
Number of intensional constraints	106
Distribution of constraint types	[{"type":"extension","count":525},{"type":"intension","count":106},{"type":"sum","count":24},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4297365

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data