Trace number 4244781

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)341 2400 304.412

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-27.xml
MD5SUM7effaf54e6298c2e2ce7b82787858117
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark373
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables1712
Number of constraints1007
Number of domains4
Minimum domain size2
Maximum domain size1683
Distribution of domain sizes[{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}]
Minimum variable degree1
Maximum variable degree30
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}]
Number of extensional constraints837
Number of intensional constraints136
Distribution of constraint types[{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244781-1500684398.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4244781-1500684398.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.27	c 8 solvers in parallel
0.00/0.34	c parse instance...
7.63/2.77	c solve instance...
12.70/3.46	o 0 
13.37/3.50	o 13 
13.37/3.53	o 14 
13.37/3.55	o 15 
13.37/3.59	o 16 
14.05/3.62	o 17 
14.05/3.65	o 18 
14.05/3.68	o 19 
14.77/3.70	o 20 
14.77/3.72	o 21 
14.77/3.75	o 22 
14.77/3.77	o 23 
14.77/3.79	o 24 
15.48/3.83	o 25 
16.20/3.93	o 26 
16.20/3.96	o 27 
16.20/4.00	o 28 
16.88/4.04	o 29 
16.88/4.09	o 30 
17.66/4.12	o 31 
17.66/4.15	o 32 
17.66/4.18	o 33 
18.37/4.20	o 34 
18.37/4.21	o 35 
18.37/4.22	o 36 
18.37/4.23	o 37 
18.37/4.24	o 38 
18.37/4.25	o 39 
18.37/4.25	o 40 
18.37/4.26	o 41 
18.37/4.27	o 42 
18.37/4.28	o 43 
18.37/4.29	o 44 
18.37/4.29	o 45 
19.01/4.32	o 46 
19.01/4.33	o 47 
19.01/4.38	o 48 
19.01/4.39	o 49 
19.01/4.39	o 50 
19.01/4.41	o 51 
19.71/4.41	o 52 
19.71/4.42	o 53 
19.71/4.43	o 54 
19.71/4.43	o 55 
19.71/4.44	o 56 
19.71/4.45	o 57 
19.71/4.45	o 58 
19.71/4.46	o 59 
19.71/4.47	o 60 
19.71/4.48	o 61 
19.71/4.49	o 62 
19.71/4.49	o 63 
19.71/4.50	o 64 
20.34/4.51	o 65 
20.34/4.52	o 66 
20.34/4.52	o 67 
20.34/4.53	o 68 
20.34/4.54	o 69 
20.34/4.55	o 70 
20.34/4.56	o 71 
20.98/4.61	o 72 
20.98/4.62	o 73 
20.98/4.62	o 74 
20.98/4.63	o 75 
20.98/4.64	o 76 
20.98/4.64	o 77 
20.98/4.65	o 78 
20.98/4.66	o 79 
20.98/4.66	o 80 
20.98/4.68	o 81 
20.98/4.69	o 82 
21.68/4.70	o 83 
21.68/4.71	o 84 
21.68/4.72	o 85 
21.68/4.72	o 86 
21.68/4.73	o 87 
21.68/4.74	o 88 
21.68/4.79	o 89 
21.68/4.79	o 90 
22.24/4.82	o 91 
22.24/4.83	o 92 
22.24/4.84	o 93 
22.24/4.85	o 94 
22.24/4.86	o 95 
22.24/4.88	o 96 
22.24/4.89	o 97 
22.24/4.89	o 98 
22.92/4.90	o 99 
22.92/4.91	o 100 
22.92/4.91	o 101 
22.92/4.92	o 102 
22.92/4.93	o 103 
22.92/4.94	o 104 
22.92/4.95	o 105 
22.92/4.95	o 106 
22.92/5.00	o 107 
23.60/5.00	o 108 
23.60/5.01	o 109 
23.60/5.02	o 110 
23.60/5.03	o 111 
23.60/5.03	o 112 
23.60/5.04	o 113 
23.60/5.05	o 114 
23.60/5.06	o 115 
23.60/5.06	o 116 
23.60/5.07	o 117 
23.60/5.08	o 118 
23.60/5.09	o 119 
23.60/5.10	o 120 
24.19/5.10	o 121 
24.19/5.11	o 122 
24.19/5.12	o 123 
24.19/5.12	o 124 
24.19/5.13	o 125 
24.19/5.14	o 126 
24.19/5.15	o 127 
24.19/5.15	o 128 
24.19/5.16	o 129 
24.19/5.17	o 130 
24.19/5.18	o 131 
24.19/5.19	o 132 
24.19/5.19	o 133 
24.19/5.20	o 134 
24.81/5.20	o 135 
24.81/5.21	o 136 
24.81/5.21	o 137 
24.81/5.22	o 138 
24.81/5.23	o 139 
24.81/5.24	o 140 
24.81/5.26	o 141 
24.81/5.27	o 142 
25.32/5.31	o 143 
25.32/5.32	o 144 
25.32/5.33	o 145 
25.32/5.33	o 146 
25.32/5.34	o 147 
25.32/5.35	o 148 
25.32/5.36	o 149 
25.32/5.36	o 150 
25.32/5.37	o 151 
25.32/5.38	o 152 
25.32/5.39	o 153 
25.32/5.40	o 154 
25.95/5.40	o 155 
25.95/5.41	o 156 
25.95/5.42	o 157 
25.95/5.43	o 158 
25.95/5.43	o 159 
25.95/5.44	o 160 
25.95/5.45	o 161 
25.95/5.45	o 162 
25.95/5.46	o 163 
25.95/5.47	o 164 
25.95/5.48	o 165 
25.95/5.48	o 166 
25.95/5.49	o 167 
25.95/5.50	o 168 
25.95/5.50	o 169 
26.60/5.51	o 170 
26.60/5.55	o 171 
26.60/5.56	o 172 
26.60/5.57	o 173 
26.60/5.57	o 174 
26.60/5.58	o 175 
26.60/5.59	o 176 
26.60/5.60	o 177 
27.06/5.62	o 178 
27.06/5.63	o 179 
27.06/5.63	o 180 
27.06/5.64	o 181 
27.06/5.65	o 182 
27.06/5.66	o 183 
27.06/5.66	o 184 
27.06/5.67	o 185 
27.06/5.68	o 186 
27.06/5.69	o 187 
27.58/5.70	o 188 
27.58/5.71	o 189 
27.58/5.72	o 190 
27.58/5.73	o 191 
27.58/5.74	o 192 
27.58/5.75	o 193 
27.58/5.76	o 194 
27.58/5.76	o 195 
27.58/5.77	o 196 
27.58/5.78	o 197 
27.58/5.79	o 198 
28.23/5.80	o 199 
28.23/5.81	o 200 
28.23/5.82	o 201 
28.23/5.83	o 202 
28.23/5.84	o 203 
28.23/5.84	o 204 
28.23/5.86	o 205 
28.89/5.96	o 206 
28.89/5.97	o 207 
28.89/5.98	o 208 
28.89/5.98	o 209 
28.89/6.00	o 210 
29.57/6.04	o 211 
29.57/6.05	o 212 
29.57/6.06	o 213 
29.57/6.06	o 214 
29.57/6.07	o 215 
29.57/6.08	o 216 
29.57/6.08	o 217 
29.57/6.09	o 218 
29.99/6.10	o 219 
29.99/6.11	o 220 
29.99/6.11	o 221 
29.99/6.12	o 222 
29.99/6.13	o 223 
29.99/6.14	o 224 
29.99/6.15	o 225 
29.99/6.15	o 226 
29.99/6.16	o 227 
29.99/6.17	o 228 
29.99/6.18	o 229 
29.99/6.19	o 230 
30.53/6.20	o 231 
30.53/6.21	o 232 
30.53/6.22	o 233 
30.53/6.22	o 234 
30.53/6.23	o 235 
30.53/6.24	o 236 
30.53/6.25	o 237 
30.53/6.26	o 238 
30.53/6.27	o 239 
30.53/6.28	o 240 
30.53/6.29	o 241 
30.53/6.29	o 242 
31.14/6.30	o 243 
31.14/6.31	o 244 
31.14/6.32	o 245 
31.14/6.33	o 246 
31.14/6.34	o 247 
31.14/6.35	o 248 
31.14/6.35	o 249 
31.14/6.36	o 250 
31.14/6.37	o 251 
31.14/6.38	o 252 
31.14/6.39	o 253 
31.73/6.40	o 254 
31.73/6.41	o 255 
31.73/6.42	o 256 
31.73/6.43	o 257 
31.73/6.44	o 258 
31.73/6.46	o 259 
31.73/6.47	o 260 
31.73/6.48	o 261 
31.73/6.49	o 262 
32.30/6.50	o 263 
32.30/6.51	o 264 
32.30/6.52	o 265 
32.30/6.53	o 266 
32.30/6.54	o 267 
32.30/6.55	o 268 
32.30/6.56	o 269 
32.30/6.57	o 270 
32.30/6.58	o 271 
32.30/6.59	o 272 
32.30/6.62	o 273 
32.99/6.63	o 274 
32.99/6.64	o 275 
32.99/6.65	o 276 
32.99/6.66	o 277 
32.99/6.67	o 278 
32.99/6.68	o 279 
32.99/6.69	o 280 
32.99/6.70	o 281 
32.99/6.71	o 282 
33.59/6.72	o 283 
33.59/6.73	o 284 
33.59/6.74	o 285 
33.59/6.75	o 286 
33.59/6.76	o 287 
33.59/6.77	o 288 
33.59/6.78	o 289 
33.59/6.79	o 290 
33.59/6.79	o 291 
34.08/6.80	o 292 
34.08/6.82	o 293 
34.08/6.82	o 294 
34.08/6.83	o 295 
34.08/6.84	o 296 
34.08/6.88	o 297 
34.08/6.89	o 298 
34.56/6.90	o 299 
34.56/6.91	o 300 
34.56/6.92	o 301 
34.56/6.93	o 302 
34.56/6.94	o 303 
34.56/6.95	o 304 
34.56/6.96	o 305 
34.56/6.97	o 306 
34.56/6.98	o 307 
34.56/6.99	o 308 
35.11/7.00	o 309 
35.11/7.01	o 310 
35.11/7.02	o 311 
35.11/7.03	o 312 
35.11/7.04	o 313 
35.11/7.04	o 314 
35.11/7.05	o 315 
35.11/7.06	o 316 
35.11/7.07	o 317 
35.11/7.08	o 318 
35.11/7.08	o 319 
35.11/7.09	o 320 
35.64/7.10	o 321 
35.64/7.12	o 322 
35.64/7.13	o 323 
35.64/7.14	o 324 
35.64/7.14	o 325 
35.64/7.15	o 326 
35.64/7.16	o 327 
35.64/7.17	o 328 
35.64/7.18	o 329 
35.64/7.19	o 330 
35.64/7.20	o 331 
36.19/7.21	o 332 
36.19/7.22	o 333 
36.19/7.23	o 334 
36.19/7.23	o 335 
36.19/7.25	o 336 
36.85/7.35	o 337 
68.51/11.37	o 338 
68.51/11.37	o 339 
75.75/12.26	o 340 
78.50/12.66	o 341 
2400.00/304.43	s SATISFIABLE
2400.00/304.43	v <instantiation>
2400.00/304.43	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[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] 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[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] 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[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] 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[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] 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[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] 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[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] 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[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] 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[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] 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[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] 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[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] 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[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] 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[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] 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[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] 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[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] 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[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] 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[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] 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[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] 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[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] 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[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] 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[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] 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[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] 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[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] 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] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] 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[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] 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[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] 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[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] 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[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] 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[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] 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[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] 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[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] 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[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] 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[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] 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[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] 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[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] 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[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] 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[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] 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[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] 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[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] 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[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] 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[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] 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[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] 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[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] 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[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] 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[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] 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[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] 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] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] 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] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z </list>
2400.00/304.43	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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 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 0 1 0 0 0 0 0 0 1 2 1 1 2 1 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 0 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 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 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 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 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 0 0 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 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 1 1 2 2 1 2 2 0 1 0 1 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 9 11 13 25 26 27 59 67 70 73 75 79 100 105 108 112 115 121 134 137 141 149 150 153 160 165 170 187 202 341 </values>
2400.00/304.43	v </instantiation>
2400.00/304.43	c Unexpected resolution interruption!

Verifier Data 

OK	341

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244781-1500684398/watcher-4244781-1500684398 -o /tmp/evaluation-result-4244781-1500684398/solver-4244781-1500684398 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 94684057 HOME/instance-4244781-1500684398.xml 

pid=11178
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 14.47 13.31 12.15 10/270 11181
/proc/meminfo: memFree=30682320/32770624 swapFree=5880/239144
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0

[startup+0.100063 s]
/proc/loadavg: 14.47 13.31 12.15 10/270 11181
/proc/meminfo: memFree=30682320/32770624 swapFree=5880/239144
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200291 s]
/proc/loadavg: 14.47 13.31 12.15 10/270 11181
/proc/meminfo: memFree=30682320/32770624 swapFree=5880/239144
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300313 s]
/proc/loadavg: 14.47 13.31 12.15 10/270 11181
/proc/meminfo: memFree=30682320/32770624 swapFree=5880/239144
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700182 s]
/proc/loadavg: 14.47 13.31 12.15 10/270 11181
/proc/meminfo: memFree=30682320/32770624 swapFree=5880/239144
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50119 s]
/proc/loadavg: 14.47 13.31 12.15 13/291 11202
/proc/meminfo: memFree=30579884/32770624 swapFree=5880/239200
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
[pid=11182] ppid=11181 vsize=13269256 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/11182/stat : 11182 (java) S 11181 11181 7744 0 -1 1077944320 19331 0 0 0 390 9 0 0 20 0 20 0 3707449 13587718144 40540 33554432000 4194304 4196468 140730021301888 140730021284432 139698623835895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
/proc/11182/statm: 3317314 40540 3227 1 0 3304547 0
[pid=11182/tid=11183] ppid=11181 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11183/stat : 11183 (java) R 11181 11181 7744 0 -1 4202560 8441 0 0 0 142 5 0 0 20 0 20 0 3707450 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698628070680 139698261639455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11185] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11185/stat : 11185 (java) S 11181 11181 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698223118736 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11186] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11186/stat : 11186 (java) S 11181 11181 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698222065936 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11187] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11187/stat : 11187 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698221013648 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11188] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11188/stat : 11188 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698219960848 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11189] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11189/stat : 11189 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698218908560 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11190] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11190/stat : 11190 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698217855760 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11191] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11191/stat : 11191 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698216803472 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11192] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11192/stat : 11192 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3707451 13587718144 40540 33554432000 4194304 4196468 140730021301888 139698215750672 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11193] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11193/stat : 11193 (java) S 11181 11181 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 3707453 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697817557104 139698623847042 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11194] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11194/stat : 11194 (java) S 11181 11181 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3707454 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697816503072 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11195] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11195/stat : 11195 (java) S 11181 11181 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3707455 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697815450736 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11196] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11196/stat : 11196 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3707459 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697814399056 139698623854491 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11197] ppid=11181 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11197/stat : 11197 (java) S 11181 11181 7744 0 -1 1077944384 2410 0 0 0 71 0 0 0 20 0 20 0 3707459 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697813346928 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11198] ppid=11181 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11198/stat : 11198 (java) S 11181 11181 7744 0 -1 1077944384 1728 0 0 0 56 0 0 0 20 0 20 0 3707459 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697812294128 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11199] ppid=11181 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11199/stat : 11199 (java) R 11181 11181 7744 0 -1 4202560 2450 0 0 0 59 0 0 0 20 0 20 0 3707459 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697811242136 139698601432055 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11200] ppid=11181 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11200/stat : 11200 (java) S 11181 11181 7744 0 -1 1077944384 2979 0 0 0 60 1 0 0 20 0 20 0 3707459 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697810189040 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11201] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11201/stat : 11201 (java) S 11181 11181 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3707459 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697809135968 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11202] ppid=11181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11202/stat : 11202 (java) S 11181 11181 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3707459 13587718144 40540 33554432000 4194304 4196468 140730021301888 139697808083248 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13278768

[startup+3.10129 s]
/proc/loadavg: 14.47 13.31 12.15 10/291 11202
/proc/meminfo: memFree=30468744/32770624 swapFree=5880/239196
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
[pid=11182] ppid=11181 vsize=13801768 CPUtime=10.26 cores=1,3,5,7,9,11,13,15
/proc/11182/stat : 11182 (java) S 11181 11181 7744 0 -1 1077944320 26132 0 0 0 972 54 0 0 20 0 28 0 3707449 14133010432 72962 33554432000 4194304 4196468 140730021301888 140730021284432 139698623835895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
/proc/11182/statm: 3450442 72962 3263 1 0 3437675 0
[pid=11182/tid=11183] ppid=11181 vsize=13801768 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11183/stat : 11183 (java) S 11181 11181 7744 0 -1 1077944384 9728 0 0 0 259 6 0 0 20 0 28 0 3707450 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698628076672 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11185] ppid=11181 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11185/stat : 11185 (java) S 11181 11181 7744 0 -1 1077944384 150 0 0 0 4 4 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698223118736 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11186] ppid=11181 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11186/stat : 11186 (java) S 11181 11181 7744 0 -1 1077944384 88 0 0 0 4 5 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698222065936 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11187] ppid=11181 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11187/stat : 11187 (java) S 11181 11181 7744 0 -1 1077944384 62 0 0 0 3 4 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698221013648 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11188] ppid=11181 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11188/stat : 11188 (java) S 11181 11181 7744 0 -1 1077944384 91 0 0 0 5 5 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698219960848 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11189] ppid=11181 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11189/stat : 11189 (java) S 11181 11181 7744 0 -1 1077944384 93 0 0 0 5 4 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698218908560 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11190] ppid=11181 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11190/stat : 11190 (java) S 11181 11181 7744 0 -1 1077944384 339 0 0 0 4 5 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698217855760 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11191] ppid=11181 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11191/stat : 11191 (java) S 11181 11181 7744 0 -1 1077944384 104 0 0 0 4 6 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698216803472 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11192] ppid=11181 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11192/stat : 11192 (java) S 11181 11181 7744 0 -1 1077944384 141 0 0 0 4 5 0 0 20 0 28 0 3707451 14133010432 72962 33554432000 4194304 4196468 140730021301888 139698215750672 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11193] ppid=11181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11193/stat : 11193 (java) S 11181 11181 7744 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 28 0 3707453 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697817557104 139698623847042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11194] ppid=11181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11194/stat : 11194 (java) S 11181 11181 7744 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3707454 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697816503136 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11195] ppid=11181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11195/stat : 11195 (java) S 11181 11181 7744 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3707455 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697815450752 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11196] ppid=11181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11196/stat : 11196 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3707459 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697814399056 139698623854491 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11197] ppid=11181 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11197/stat : 11197 (java) R 11181 11181 7744 0 -1 4202560 3548 0 0 0 151 1 0 0 20 0 28 0 3707459 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697813337928 139698608764128 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11198] ppid=11181 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11198/stat : 11198 (java) R 11181 11181 7744 0 -1 4202560 2831 0 0 0 134 1 0 0 20 0 28 0 3707459 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697812281288 139698608225265 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11199] ppid=11181 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11199/stat : 11199 (java) R 11181 11181 7744 0 -1 4202560 3119 0 0 0 129 1 0 0 20 0 28 0 3707459 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697811232816 139698607367378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11200] ppid=11181 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11200/stat : 11200 (java) R 11181 11181 7744 0 -1 1077944384 3894 0 0 0 89 1 0 0 20 0 28 0 3707459 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697810189040 139698623847042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11201] ppid=11181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11201/stat : 11201 (java) S 11181 11181 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3707459 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697809135968 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11202] ppid=11181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11202/stat : 11202 (java) S 11181 11181 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3707459 14133010432 72962 33554432000 4194304 4196468 140730021301888 139697808083248 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 13811280

[startup+6.30089 s]
/proc/loadavg: 14.51 13.34 12.16 15/299 12466
/proc/meminfo: memFree=29615812/32770624 swapFree=5880/239204
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
[pid=11182] ppid=11181 vsize=13937960 CPUtime=31.14 cores=1,3,5,7,9,11,13,15
/proc/11182/stat : 11182 (java) S 11181 11181 7744 0 -1 1077944320 54002 0 0 0 2979 135 0 0 20 0 28 0 3707449 14272471040 399781 33554432000 4194304 4196468 140730021301888 140730021284432 139698623835895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
/proc/11182/statm: 3484490 399781 3286 1 0 3471723 0
[pid=11182/tid=11183] ppid=11181 vsize=13937960 CPUtime=2.85 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11183/stat : 11183 (java) S 11181 11181 7744 0 -1 1077944384 9751 0 0 0 278 7 0 0 20 0 28 0 3707450 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698628076704 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11185] ppid=11181 vsize=13937960 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11185/stat : 11185 (java) S 11181 11181 7744 0 -1 1077944384 206 0 0 0 12 8 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698223118736 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11186] ppid=11181 vsize=13937960 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11186/stat : 11186 (java) S 11181 11181 7744 0 -1 1077944384 143 0 0 0 12 9 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698222065936 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11187] ppid=11181 vsize=13937960 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11187/stat : 11187 (java) S 11181 11181 7744 0 -1 1077944384 116 0 0 0 13 8 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698221013648 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11188] ppid=11181 vsize=13937960 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11188/stat : 11188 (java) S 11181 11181 7744 0 -1 1077944384 141 0 0 0 14 9 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698219960848 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11189] ppid=11181 vsize=13937960 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11189/stat : 11189 (java) S 11181 11181 7744 0 -1 1077944384 160 0 0 0 16 10 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698218908560 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11190] ppid=11181 vsize=13937960 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11190/stat : 11190 (java) S 11181 11181 7744 0 -1 1077944384 407 0 0 0 16 10 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698217855760 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11191] ppid=11181 vsize=13937960 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11191/stat : 11191 (java) S 11181 11181 7744 0 -1 1077944384 164 0 0 0 12 10 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698216803472 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11192] ppid=11181 vsize=13937960 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11192/stat : 11192 (java) S 11181 11181 7744 0 -1 1077944384 184 0 0 0 12 9 0 0 20 0 28 0 3707451 14272471040 399781 33554432000 4194304 4196468 140730021301888 139698215750672 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11193] ppid=11181 vsize=13937960 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11193/stat : 11193 (java) S 11181 11181 7744 0 -1 1077944384 1685 0 0 0 2 1 0 0 20 0 28 0 3707453 14272471040 399781 33554432000 4194304 4196468 140730021301888 139697817557104 139698623847042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11194] ppid=11181 vsize=13937960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11194/stat : 11194 (java) S 11181 11181 7744 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3707454 14272471040 399781 33554432000 4194304 4196468 140730021301888 139697816503136 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11195] ppid=11181 vsize=13937960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11195/stat : 11195 (java) S 11181 11181 7744 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3707455 14272471040 399781 33554432000 4194304 4196468 140730021301888 139697815450752 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11196] ppid=11181 vsize=13937960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11196/stat : 11196 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3707459 14272471040 399781 33554432000 4194304 4196468 140730021301888 139697814399056 139698623854491 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0

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

[pid=11182/tid=13944] ppid=11181 vsize=13937972 CPUtime=207.98 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13944/stat : 13944 (java) R 11181 11181 7744 0 -1 4202560 1986 0 0 0 20797 1 0 0 20 0 28 0 3708716 14272483328 859788 33554432000 4194304 4196468 140730021301888 139697792704160 139698267275517 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13945] ppid=11181 vsize=13937972 CPUtime=208.43 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13945/stat : 13945 (java) R 11181 11181 7744 0 -1 4202560 1334 0 0 0 20842 1 0 0 20 0 28 0 3708716 14272483328 859788 33554432000 4194304 4196468 140730021301888 139697800068808 139698258724685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
Current children cumulated CPU time (s) 1747.09
Current children cumulated vsize (KiB) 13947484

[startup+282.302 s]
/proc/loadavg: 16.03 14.94 13.14 17/301 16773
/proc/meminfo: memFree=25307648/32770624 swapFree=5880/239580
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
[pid=11182] ppid=11181 vsize=13937972 CPUtime=2224.28 cores=1,3,5,7,9,11,13,15
/proc/11182/stat : 11182 (java) S 11181 11181 7744 0 -1 1077944320 121209 0 0 0 222172 256 0 0 20 0 28 0 3707449 14272483328 831747 33554432000 4194304 4196468 140730021301888 140730021284432 139698623835895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
/proc/11182/statm: 3484493 831747 3289 1 0 3471726 0
[pid=11182/tid=11183] ppid=11181 vsize=13937972 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11183/stat : 11183 (java) S 11181 11181 7744 0 -1 1077944384 9990 0 0 0 284 8 0 0 20 0 28 0 3707450 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698628076592 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11185] ppid=11181 vsize=13937972 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11185/stat : 11185 (java) S 11181 11181 7744 0 -1 1077944384 840 0 0 0 20 12 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698223118736 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11186] ppid=11181 vsize=13937972 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11186/stat : 11186 (java) S 11181 11181 7744 0 -1 1077944384 479 0 0 0 19 13 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698222065936 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11187] ppid=11181 vsize=13937972 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11187/stat : 11187 (java) S 11181 11181 7744 0 -1 1077944384 801 0 0 0 21 12 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698221013648 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11188] ppid=11181 vsize=13937972 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11188/stat : 11188 (java) S 11181 11181 7744 0 -1 1077944384 476 0 0 0 22 12 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698219960848 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11189] ppid=11181 vsize=13937972 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11189/stat : 11189 (java) S 11181 11181 7744 0 -1 1077944384 771 0 0 0 23 13 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698218908560 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11190] ppid=11181 vsize=13937972 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11190/stat : 11190 (java) S 11181 11181 7744 0 -1 1077944384 681 0 0 0 24 14 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698217855760 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11191] ppid=11181 vsize=13937972 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11191/stat : 11191 (java) S 11181 11181 7744 0 -1 1077944384 1359 0 0 0 20 14 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698216803472 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11192] ppid=11181 vsize=13937972 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11192/stat : 11192 (java) S 11181 11181 7744 0 -1 1077944384 794 0 0 0 20 13 0 0 20 0 28 0 3707451 14272483328 831747 33554432000 4194304 4196468 140730021301888 139698215750672 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11193] ppid=11181 vsize=13937972 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11193/stat : 11193 (java) S 11181 11181 7744 0 -1 1077944384 4147 0 0 0 8 8 0 0 20 0 28 0 3707453 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697817557104 139698623847042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11194] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11194/stat : 11194 (java) S 11181 11181 7744 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3707454 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697816503136 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11195] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11195/stat : 11195 (java) S 11181 11181 7744 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3707455 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697815450752 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11196] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11196/stat : 11196 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3707459 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697814399056 139698623854491 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11197] ppid=11181 vsize=13937972 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11197/stat : 11197 (java) S 11181 11181 7744 0 -1 1077944384 9393 0 0 0 392 2 0 0 20 0 28 0 3707459 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697813346928 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11198] ppid=11181 vsize=13937972 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11198/stat : 11198 (java) S 11181 11181 7744 0 -1 1077944384 9636 0 0 0 385 2 0 0 20 0 28 0 3707459 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697812294128 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11199] ppid=11181 vsize=13937972 CPUtime=4.28 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11199/stat : 11199 (java) S 11181 11181 7744 0 -1 1077944384 13937 0 0 0 426 2 0 0 20 0 28 0 3707459 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697811241840 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11200] ppid=11181 vsize=13937972 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11200/stat : 11200 (java) S 11181 11181 7744 0 -1 1077944384 8183 0 0 0 150 2 0 0 20 0 28 0 3707459 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697810189040 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11201] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11201/stat : 11201 (java) S 11181 11181 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3707459 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697809135968 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11202] ppid=11181 vsize=13937972 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11202/stat : 11202 (java) S 11181 11181 7744 0 -1 1077944384 629 0 0 0 10 9 0 0 20 0 28 0 3707459 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697808083248 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13938] ppid=11181 vsize=13937972 CPUtime=268.94 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13938/stat : 13938 (java) R 11181 11181 7744 0 -1 4202560 1805 0 0 0 26893 1 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697788496792 139698266510878 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13939] ppid=11181 vsize=13937972 CPUtime=268.47 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13939/stat : 13939 (java) R 11181 11181 7744 0 -1 4202560 2625 0 0 0 26846 1 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697799016440 140730021882399 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13940] ppid=11181 vsize=13937972 CPUtime=266.54 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13940/stat : 13940 (java) R 11181 11181 7744 0 -1 4202560 1542 0 0 0 26652 2 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697789550736 139698261053954 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13941] ppid=11181 vsize=13937972 CPUtime=267.84 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13941/stat : 13941 (java) R 11181 11181 7744 0 -1 4202560 15723 0 0 0 26755 29 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697787448352 139698267786203 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13942] ppid=11181 vsize=13937972 CPUtime=268.73 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13942/stat : 13942 (java) R 11181 11181 7744 0 -1 4202560 2505 0 0 0 26870 3 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697797964408 139698266510419 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13943] ppid=11181 vsize=13937972 CPUtime=267.98 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13943/stat : 13943 (java) R 11181 11181 7744 0 -1 4202560 1328 0 0 0 26797 1 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697796911640 139698260209974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13944] ppid=11181 vsize=13937972 CPUtime=266.8 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13944/stat : 13944 (java) R 11181 11181 7744 0 -1 4202560 2205 0 0 0 26679 1 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697792700024 139698258725322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13945] ppid=11181 vsize=13937972 CPUtime=268.21 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13945/stat : 13945 (java) R 11181 11181 7744 0 -1 4202560 1567 0 0 0 26820 1 0 0 20 0 28 0 3708716 14272483328 831747 33554432000 4194304 4196468 140730021301888 139697800068392 139698266070988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
Current children cumulated CPU time (s) 2224.28
Current children cumulated vsize (KiB) 13947484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+304.402 s]
/proc/loadavg: 16.02 15.03 13.22 17/301 16773
/proc/meminfo: memFree=25384344/32770624 swapFree=5880/239604
[pid=11181] ppid=11178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11181/stat : 11181 (xcsp3-exec) S 11178 11181 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3707449 9740288 346 33554432000 4194304 5098028 140736912727520 140736912725624 140303893668476 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15589376 140736912733328 140736912733536 140736912733536 140736912736235 0
/proc/11181/statm: 2378 346 289 221 0 87 0
[pid=11182] ppid=11181 vsize=13937972 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/11182/stat : 11182 (java) S 11181 11181 7744 0 -1 1077944320 122319 0 0 0 239739 261 0 0 20 0 28 0 3707449 14272483328 818920 33554432000 4194304 4196468 140730021301888 140730021284432 139698623835895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
/proc/11182/statm: 3484493 818920 3289 1 0 3471726 0
[pid=11182/tid=11183] ppid=11181 vsize=13937972 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11183/stat : 11183 (java) S 11181 11181 7744 0 -1 1077944384 9990 0 0 0 284 8 0 0 20 0 28 0 3707450 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698628076592 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11185] ppid=11181 vsize=13937972 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11185/stat : 11185 (java) S 11181 11181 7744 0 -1 1077944384 851 0 0 0 21 12 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698223118736 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11186] ppid=11181 vsize=13937972 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11186/stat : 11186 (java) S 11181 11181 7744 0 -1 1077944384 489 0 0 0 21 13 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698222065936 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11187] ppid=11181 vsize=13937972 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11187/stat : 11187 (java) S 11181 11181 7744 0 -1 1077944384 815 0 0 0 22 12 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698221013648 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11188] ppid=11181 vsize=13937972 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11188/stat : 11188 (java) S 11181 11181 7744 0 -1 1077944384 490 0 0 0 23 12 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698219960848 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11189] ppid=11181 vsize=13937972 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11189/stat : 11189 (java) S 11181 11181 7744 0 -1 1077944384 784 0 0 0 25 13 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698218908560 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11190] ppid=11181 vsize=13937972 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11190/stat : 11190 (java) S 11181 11181 7744 0 -1 1077944384 686 0 0 0 25 14 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698217855760 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11191] ppid=11181 vsize=13937972 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11191/stat : 11191 (java) S 11181 11181 7744 0 -1 1077944384 1366 0 0 0 22 14 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698216803472 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11192] ppid=11181 vsize=13937972 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11192/stat : 11192 (java) S 11181 11181 7744 0 -1 1077944384 800 0 0 0 21 13 0 0 20 0 28 0 3707451 14272483328 818920 33554432000 4194304 4196468 140730021301888 139698215750672 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11193] ppid=11181 vsize=13937972 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11193/stat : 11193 (java) S 11181 11181 7744 0 -1 1077944384 4159 0 0 0 9 10 0 0 20 0 28 0 3707453 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697817557104 139698623847042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11194] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11194/stat : 11194 (java) S 11181 11181 7744 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3707454 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697816503136 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11195] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11195/stat : 11195 (java) S 11181 11181 7744 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3707455 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697815450752 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11196] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11196/stat : 11196 (java) S 11181 11181 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3707459 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697814399056 139698623854491 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11197] ppid=11181 vsize=13937972 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11197/stat : 11197 (java) S 11181 11181 7744 0 -1 1077944384 9393 0 0 0 392 2 0 0 20 0 28 0 3707459 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697813346928 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11198] ppid=11181 vsize=13937972 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11198/stat : 11198 (java) S 11181 11181 7744 0 -1 1077944384 9636 0 0 0 385 2 0 0 20 0 28 0 3707459 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697812294128 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11199] ppid=11181 vsize=13937972 CPUtime=4.28 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11199/stat : 11199 (java) S 11181 11181 7744 0 -1 1077944384 13937 0 0 0 426 2 0 0 20 0 28 0 3707459 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697811241840 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11200] ppid=11181 vsize=13937972 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11200/stat : 11200 (java) S 11181 11181 7744 0 -1 1077944384 8183 0 0 0 150 2 0 0 20 0 28 0 3707459 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697810189040 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11201] ppid=11181 vsize=13937972 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11201/stat : 11201 (java) S 11181 11181 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3707459 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697809135968 139698623846101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=11202] ppid=11181 vsize=13937972 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/11182/task/11202/stat : 11202 (java) S 11181 11181 7744 0 -1 1077944384 631 0 0 0 10 10 0 0 20 0 28 0 3707459 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697808083248 139698623847042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13938] ppid=11181 vsize=13937972 CPUtime=290.96 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13938/stat : 13938 (java) R 11181 11181 7744 0 -1 4202560 1832 0 0 0 29095 1 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697788496904 139698261721883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13939] ppid=11181 vsize=13937972 CPUtime=290.5 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13939/stat : 13939 (java) R 11181 11181 7744 0 -1 4202560 2661 0 0 0 29049 1 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697799016584 139698260003521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13940] ppid=11181 vsize=13937972 CPUtime=288.25 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13940/stat : 13940 (java) R 11181 11181 7744 0 -1 4202560 1567 0 0 0 28823 2 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697789553696 139698258401783 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13941] ppid=11181 vsize=13937972 CPUtime=289.83 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13941/stat : 13941 (java) R 11181 11181 7744 0 -1 4202560 16457 0 0 0 28953 30 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697787449304 139698260646972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13942] ppid=11181 vsize=13937972 CPUtime=290.71 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13942/stat : 13942 (java) R 11181 11181 7744 0 -1 4202560 2619 0 0 0 29068 3 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697797964552 139698266510878 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13943] ppid=11181 vsize=13937972 CPUtime=289.99 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13943/stat : 13943 (java) R 11181 11181 7744 0 -1 4202560 1350 0 0 0 28998 1 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697796911504 139698266514581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13944] ppid=11181 vsize=13937972 CPUtime=288.58 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13944/stat : 13944 (java) R 11181 11181 7744 0 -1 4202560 2223 0 0 0 28857 1 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697792700936 139698258725322 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
[pid=11182/tid=13945] ppid=11181 vsize=13937972 CPUtime=290.24 cores=1,3,5,7,9,11,13,15
/proc/11182/task/13945/stat : 13945 (java) R 11181 11181 7744 0 -1 4202560 1607 0 0 0 29023 1 0 0 20 0 28 0 3708716 14272483328 818920 33554432000 4194304 4196468 140730021301888 139697800068504 139698267273733 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9216000 140730021303484 140730021303660 140730021303660 140730021306319 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13947484

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11182 sig 9
??? kill 11181 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11181 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1189
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1189
# CPU time returned by wait4() is 0.002378
# while last known CPU time is 2400
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 304.412
CPU time (s): 2400
CPU user time (s): 2397.39
CPU system time (s): 2.61
CPU usage (%): 788.404
Max. virtual memory (cumulated for all children) (KiB): 13947484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001189
system time used= 0.001189
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.06079 second user time and 4.37283 second system time

The end

Launcher Data 

Begin job on node127 at 2017-07-22 02:46:38
IDJOB=4244781
IDBENCH=115900
IDSOLVER=2625
FILE ID=node127/4244781-1500684398
RUNJOBID= node127-1500682387-7776
PBS_JOBID= 20623323
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244781-1500684398/watcher-4244781-1500684398 -o /tmp/evaluation-result-4244781-1500684398/solver-4244781-1500684398 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 94684057 HOME/instance-4244781-1500684398.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117
RANDOM SEED=94684057

node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30682692 kB
MemAvailable:   30732768 kB
Buffers:           46004 kB
Cached:           315016 kB
SwapCached:            0 kB
Active:          1465184 kB
Inactive:         247808 kB
Active(anon):    1354716 kB
Inactive(anon):     8664 kB
Active(file):     110468 kB
Inactive(file):   239144 kB
Unevictable:        5880 kB
Mlocked:            5880 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7844 kB
Writeback:             0 kB
AnonPages:       1357300 kB
Mapped:            42356 kB
Shmem:              8840 kB
Slab:              65428 kB
SReclaimable:      32596 kB
SUnreclaim:        32832 kB
KernelStack:        4624 kB
PageTables:         8468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2492408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1206272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61968 MiB
End job on node127 at 2017-07-22 02:51:42