Trace number 4280613

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
choco-solver 4.0.5 par (2017-08-18)SAT (TO)365 20031.699 2520.1399

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-28.xml
MD5SUMf7605bb50abdbd05cc6d9fedf17196d1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1831
Number of constraints1072
Number of domains4
Minimum domain size2
Maximum domain size1801
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree1
Maximum variable degree31
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints896
Number of intensional constraints141
Distribution of constraint types[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280613-1503116469.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280613-1503116469.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
7.11/2.66	c solve instance...
12.93/3.41	o 0 
12.93/3.48	o 4 
12.93/3.48	o 6 
12.93/3.49	o 8 
13.67/3.51	o 10 
13.67/3.52	o 12 
13.67/3.57	o 14 
14.34/3.61	o 16 
14.34/3.68	o 18 
15.63/3.82	o 20 
17.87/4.23	o 22 
18.41/4.36	o 23 
19.61/4.53	o 24 
21.40/4.83	o 25 
21.40/4.84	o 26 
21.40/4.84	o 27 
21.40/4.85	o 28 
21.40/4.86	o 29 
21.40/4.87	o 30 
21.40/4.88	o 31 
21.40/4.89	o 32 
21.40/4.89	o 33 
21.79/4.90	o 34 
21.79/4.90	o 35 
21.79/4.91	o 36 
21.79/4.92	o 37 
21.79/4.95	o 38 
21.79/4.95	o 39 
21.79/4.96	o 40 
21.79/4.96	o 41 
21.79/4.97	o 42 
21.79/4.98	o 43 
21.79/4.98	o 44 
21.79/4.99	o 45 
21.79/4.99	o 46 
21.79/5.00	o 47 
21.79/5.00	o 48 
21.79/5.01	o 49 
21.79/5.01	o 50 
22.42/5.02	o 51 
22.42/5.02	o 52 
22.42/5.03	o 53 
22.42/5.03	o 54 
22.42/5.04	o 55 
22.42/5.04	o 56 
22.42/5.05	o 57 
22.42/5.05	o 58 
22.42/5.06	o 59 
22.42/5.07	o 60 
22.42/5.07	o 61 
22.42/5.08	o 62 
22.42/5.09	o 63 
22.42/5.09	o 64 
22.42/5.10	o 65 
22.42/5.10	o 66 
22.88/5.11	o 67 
22.88/5.13	o 68 
22.88/5.14	o 69 
22.88/5.14	o 70 
22.88/5.15	o 71 
22.88/5.15	o 72 
22.88/5.15	o 73 
22.88/5.16	o 74 
22.88/5.16	o 75 
22.88/5.17	o 76 
22.88/5.18	o 77 
22.88/5.18	o 78 
22.88/5.19	o 79 
22.88/5.19	o 80 
23.42/5.20	o 81 
23.42/5.20	o 82 
23.42/5.21	o 83 
23.42/5.21	o 84 
23.42/5.22	o 85 
23.42/5.22	o 86 
23.42/5.23	o 87 
23.42/5.23	o 88 
23.42/5.24	o 89 
23.42/5.24	o 90 
23.42/5.25	o 91 
23.42/5.25	o 92 
23.42/5.26	o 93 
23.42/5.27	o 94 
23.42/5.28	o 95 
23.42/5.28	o 96 
23.42/5.29	o 97 
23.42/5.29	o 98 
23.91/5.30	o 99 
23.91/5.30	o 100 
23.91/5.31	o 101 
23.91/5.31	o 102 
23.91/5.32	o 103 
23.91/5.32	o 104 
23.91/5.35	o 105 
23.91/5.35	o 106 
23.91/5.35	o 107 
23.91/5.36	o 108 
23.91/5.36	o 109 
23.91/5.37	o 110 
23.91/5.37	o 111 
23.91/5.38	o 112 
23.91/5.38	o 113 
23.91/5.39	o 114 
24.46/5.40	o 115 
24.46/5.40	o 116 
24.46/5.41	o 117 
24.46/5.41	o 118 
24.46/5.42	o 119 
24.46/5.42	o 120 
24.46/5.43	o 121 
24.46/5.43	o 122 
24.46/5.44	o 123 
24.46/5.44	o 124 
24.46/5.45	o 125 
24.46/5.46	o 126 
24.46/5.46	o 127 
24.46/5.47	o 128 
24.46/5.47	o 129 
24.46/5.48	o 130 
24.46/5.48	o 131 
24.46/5.49	o 132 
24.46/5.49	o 133 
24.46/5.50	o 134 
24.96/5.51	o 135 
24.96/5.53	o 136 
24.96/5.54	o 137 
24.96/5.55	o 138 
24.96/5.55	o 139 
24.96/5.56	o 140 
24.96/5.56	o 141 
24.96/5.57	o 142 
24.96/5.57	o 143 
24.96/5.58	o 144 
24.96/5.58	o 145 
24.96/5.59	o 146 
24.96/5.59	o 147 
24.96/5.60	o 148 
25.44/5.60	o 149 
25.44/5.61	o 150 
25.44/5.63	o 151 
25.44/5.63	o 152 
25.44/5.64	o 153 
25.44/5.64	o 154 
25.44/5.65	o 155 
25.44/5.65	o 156 
25.44/5.66	o 157 
25.44/5.66	o 158 
25.44/5.67	o 159 
25.44/5.68	o 160 
25.44/5.69	o 161 
25.44/5.69	o 162 
25.44/5.70	o 163 
25.94/5.70	o 164 
25.94/5.71	o 165 
25.94/5.71	o 166 
25.94/5.72	o 167 
25.94/5.72	o 168 
25.94/5.73	o 169 
25.94/5.73	o 170 
25.94/5.74	o 171 
25.94/5.75	o 172 
25.94/5.75	o 173 
25.94/5.76	o 174 
25.94/5.76	o 175 
25.94/5.77	o 176 
25.94/5.77	o 177 
25.94/5.78	o 178 
25.94/5.79	o 179 
25.94/5.79	o 180 
25.94/5.80	o 181 
26.45/5.80	o 182 
26.45/5.81	o 183 
26.45/5.82	o 184 
26.45/5.82	o 185 
26.45/5.83	o 186 
26.45/5.84	o 187 
26.45/5.84	o 188 
26.45/5.85	o 189 
26.45/5.86	o 190 
26.45/5.86	o 191 
26.45/5.87	o 192 
26.45/5.88	o 193 
26.45/5.88	o 194 
26.45/5.89	o 195 
26.45/5.90	o 196 
26.89/5.91	o 197 
26.89/5.91	o 198 
26.89/5.92	o 199 
26.89/5.92	o 200 
26.89/5.93	o 201 
26.89/5.93	o 202 
26.89/5.95	o 203 
26.89/5.96	o 204 
26.89/5.98	o 205 
27.73/6.23	o 206 
27.73/6.24	o 207 
27.73/6.24	o 208 
27.73/6.25	o 209 
27.73/6.26	o 210 
27.73/6.26	o 211 
27.73/6.27	o 212 
27.73/6.27	o 213 
27.73/6.28	o 214 
27.73/6.28	o 215 
27.73/6.29	o 216 
27.73/6.29	o 217 
28.13/6.30	o 218 
28.13/6.31	o 219 
28.13/6.31	o 220 
28.13/6.32	o 221 
28.13/6.32	o 222 
28.13/6.33	o 223 
28.13/6.34	o 224 
28.13/6.34	o 225 
28.13/6.35	o 226 
28.13/6.35	o 227 
28.13/6.36	o 228 
28.13/6.37	o 229 
28.13/6.37	o 230 
28.13/6.38	o 231 
28.13/6.38	o 232 
28.13/6.39	o 233 
28.62/6.40	o 234 
28.62/6.41	o 235 
28.62/6.41	o 236 
28.62/6.42	o 237 
28.62/6.43	o 238 
28.62/6.43	o 239 
28.62/6.44	o 240 
28.62/6.45	o 241 
28.62/6.45	o 242 
28.62/6.46	o 243 
28.62/6.46	o 244 
28.62/6.47	o 245 
28.62/6.47	o 246 
28.62/6.48	o 247 
28.62/6.48	o 248 
28.62/6.49	o 249 
28.62/6.50	o 250 
29.11/6.51	o 251 
29.11/6.51	o 252 
29.11/6.52	o 253 
29.11/6.52	o 254 
29.11/6.53	o 255 
29.11/6.54	o 256 
29.11/6.55	o 257 
29.11/6.55	o 258 
29.11/6.56	o 259 
29.11/6.57	o 260 
29.11/6.57	o 261 
29.11/6.58	o 262 
29.11/6.59	o 263 
29.11/6.59	o 264 
29.57/6.60	o 265 
29.57/6.61	o 266 
29.57/6.61	o 267 
29.57/6.62	o 268 
29.57/6.63	o 269 
29.57/6.63	o 270 
29.57/6.64	o 271 
29.57/6.65	o 272 
29.57/6.65	o 273 
29.57/6.66	o 274 
29.57/6.67	o 275 
29.57/6.67	o 276 
29.57/6.68	o 277 
29.57/6.69	o 278 
29.57/6.70	o 279 
30.06/6.71	o 280 
30.06/6.71	o 281 
30.06/6.72	o 282 
30.06/6.72	o 283 
30.06/6.73	o 284 
30.06/6.74	o 285 
30.06/6.74	o 286 
30.06/6.75	o 287 
30.06/6.75	o 288 
30.06/6.76	o 289 
30.06/6.77	o 290 
30.06/6.77	o 291 
30.06/6.78	o 292 
30.06/6.79	o 293 
30.55/6.80	o 294 
30.55/6.80	o 295 
30.55/6.81	o 296 
30.55/6.82	o 297 
30.55/6.82	o 298 
30.55/6.83	o 299 
30.55/6.84	o 300 
30.55/6.84	o 301 
30.55/6.85	o 302 
30.55/6.86	o 303 
30.55/6.87	o 304 
30.55/6.87	o 305 
30.55/6.88	o 306 
30.55/6.89	o 307 
30.55/6.89	o 308 
31.01/6.90	o 309 
31.01/6.91	o 310 
31.01/6.92	o 311 
31.01/6.93	o 312 
31.01/6.93	o 313 
31.01/6.94	o 314 
31.01/6.95	o 315 
31.01/6.95	o 316 
31.01/6.96	o 317 
31.01/6.97	o 318 
31.01/6.98	o 319 
31.01/6.99	o 320 
31.01/6.99	o 321 
31.01/7.00	o 322 
31.01/7.01	o 323 
31.52/7.01	o 324 
31.52/7.02	o 325 
31.52/7.03	o 326 
31.52/7.03	o 327 
31.52/7.04	o 328 
31.52/7.05	o 329 
31.52/7.06	o 330 
31.52/7.06	o 331 
31.52/7.07	o 332 
31.52/7.08	o 333 
31.52/7.10	o 334 
32.06/7.11	o 335 
32.06/7.12	o 336 
32.06/7.13	o 337 
32.06/7.13	o 338 
32.06/7.14	o 339 
32.06/7.15	o 340 
32.06/7.16	o 341 
32.06/7.16	o 342 
32.06/7.17	o 343 
32.06/7.18	o 344 
32.06/7.19	o 345 
32.49/7.20	o 346 
32.49/7.21	o 347 
32.49/7.21	o 348 
32.49/7.22	o 349 
32.49/7.23	o 350 
32.49/7.24	o 351 
32.49/7.24	o 352 
32.49/7.25	o 353 
32.49/7.26	o 354 
32.49/7.26	o 355 
32.49/7.27	o 356 
32.49/7.28	o 357 
32.49/7.28	o 358 
32.49/7.29	o 359 
34.60/7.51	o 360 
34.60/7.53	o 361 
62.26/11.03	o 362 
63.55/11.28	o 363 
1319.61/168.84	o 364 
13895.02/1748.87	o 365 
20030.91/2520.09	s SATISFIABLE
20030.91/2520.09	v <instantiation>
20030.91/2520.09	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[0][29] 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[1][29] 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[2][29] 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[3][29] 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[4][29] 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[5][29] 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[6][29] 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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] 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[0][29] 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[1][29] 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[2][29] 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[3][29] 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[4][29] 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[5][29] 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[6][29] 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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] 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] ws[29] z </list>
20030.91/2520.09	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 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 1 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 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 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 1 1 0 0 0 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 1 0 0 0 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 1 0 1 0 1 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 0 1 0 1 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 1 0 0 0 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 1 0 1 1 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 0 1 0 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 1 0 0 0 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 0 0 0 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 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 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 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 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 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 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 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 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 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 1 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 1 0 2 1 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 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 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 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 2 0 1 1 0 2 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 9 10 10 20 20 21 53 60 62 64 68 70 92 102 109 111 115 124 135 138 145 156 158 160 171 178 185 191 206 220 365 </values>
20030.91/2520.09	v </instantiation>
20030.91/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	365

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280613-1503116469/watcher-4280613-1503116469 -o /tmp/evaluation-result-4280613-1503116469/solver-4280613-1503116469 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503110566-20305 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1350552830 HOME/instance-4280613-1503116469.xml 

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

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

solver pid=21311, runsolver pid=21308

[startup+0.100155 s]*
/proc/loadavg: 8.21 8.15 8.16 2/199 21332
/proc/meminfo: memFree=25507956/32770624 swapFree=67108860/67108860
[pid=21311] ppid=21308 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21311/stat : 21311 (xcsp3-exec) S 21308 21311 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144727846 9740288 345 33554432000 4194304 5098028 140732645261312 140732645259416 140017565397628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37498880 140732645262436 140732645262647 140732645262647 140732645265387 0
/proc/21311/statm: 2378 345 289 221 0 87 0
[pid=21313] ppid=21311 vsize=25999808 memory=28256 CPUtime=0.11 cores=0-7
/proc/21313/stat : 21313 (java) S 21311 21311 20278 0 -1 1077944320 5453 0 0 0 9 2 0 0 20 0 20 0 144727846 26623803392 7064 33554432000 4194304 4196468 140724322704016 140724322686560 140030566272759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
/proc/21313/statm: 6499952 7064 2843 1 0 6488269 0
[pid=21313/tid=21314] ppid=21311 vsize=25999808 memory=7896388429291625624 CPUtime=0.08 cores=0-7
/proc/21313/task/21314/stat : 21314 (java) R 21311 21311 20278 0 -1 4202560 3474 0 0 0 7 1 0 0 20 0 20 0 144727847 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030570488912 140030177783012 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21315] ppid=21311 vsize=25999808 memory=732369871931534309 CPUtime=0 cores=0-7
/proc/21313/task/21315/stat : 21315 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030518893584 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21316] ppid=21311 vsize=25999808 memory=139733594080896 CPUtime=0 cores=0-7
/proc/21313/task/21316/stat : 21316 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030517841040 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21317] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21317/stat : 21317 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030516787984 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21318] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21318/stat : 21318 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030515735440 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21319] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21319/stat : 21319 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030514682384 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21320] ppid=21311 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21313/task/21320/stat : 21320 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030513629840 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21321] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21321/stat : 21321 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030512576784 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21322] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21322/stat : 21322 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26623803392 7064 33554432000 4194304 4196468 140724322704016 140030511524240 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21323] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21323/stat : 21323 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727849 26623803392 7064 33554432000 4194304 4196468 140724322704016 140029626481392 140030566283906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21324] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21324/stat : 21324 (java) S 21311 21311 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144727850 26623803392 7064 33554432000 4194304 4196468 140724322704016 140029625427616 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21325] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21325/stat : 21325 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727850 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028701828336 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21326] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21326/stat : 21326 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727852 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028700776912 140030566291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21327] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21327/stat : 21327 (java) S 21311 21311 20278 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 144727852 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028699724016 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21328] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21328/stat : 21328 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144727852 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028698671472 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21329] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21329/stat : 21329 (java) S 21311 21311 20278 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 144727852 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028697618416 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21330] ppid=21311 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21313/task/21330/stat : 21330 (java) R 21311 21311 20278 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 144727852 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028696565872 140030566294106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21331] ppid=21311 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21331/stat : 21331 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144727852 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028695514080 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21332] ppid=21311 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21313/task/21332/stat : 21332 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727853 26623803392 7064 33554432000 4194304 4196468 140724322704016 140028694461616 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29636 KiB

[startup+0.210127 s]*
/proc/loadavg: 8.21 8.15 8.16 3/199 21332
/proc/meminfo: memFree=25496684/32770624 swapFree=67108860/67108860
[pid=21311] ppid=21308 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21311/stat : 21311 (xcsp3-exec) S 21308 21311 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144727846 9740288 345 33554432000 4194304 5098028 140732645261312 140732645259416 140017565397628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37498880 140732645262436 140732645262647 140732645262647 140732645265387 0
/proc/21311/statm: 2378 345 289 221 0 87 0
[pid=21313] ppid=21311 vsize=26004064 memory=41120 CPUtime=0.32 cores=0-7
/proc/21313/stat : 21313 (java) S 21311 21311 20278 0 -1 1077944320 8322 0 0 0 29 3 0 0 20 0 20 0 144727846 26628161536 10280 33554432000 4194304 4196468 140724322704016 140724322686560 140030566272759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
/proc/21313/statm: 6501016 10280 3055 1 0 6488269 0
[pid=21313/tid=21314] ppid=21311 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/21313/task/21314/stat : 21314 (java) R 21311 21311 20278 0 -1 4202560 5384 0 0 0 17 2 0 0 20 0 20 0 144727847 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030570493584 140030550353246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21315] ppid=21311 vsize=26004064 memory=732369871931534309 CPUtime=0 cores=0-7
/proc/21313/task/21315/stat : 21315 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030518893584 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21316] ppid=21311 vsize=26004064 memory=139733594080896 CPUtime=0 cores=0-7
/proc/21313/task/21316/stat : 21316 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030517841040 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21317] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21317/stat : 21317 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030516787984 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21318] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21318/stat : 21318 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030515735440 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21319] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21319/stat : 21319 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030514682384 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21320] ppid=21311 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21313/task/21320/stat : 21320 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030513629840 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21321] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21321/stat : 21321 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030512576784 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21322] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21322/stat : 21322 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 10280 33554432000 4194304 4196468 140724322704016 140030511524240 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21323] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21323/stat : 21323 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727849 26628161536 10280 33554432000 4194304 4196468 140724322704016 140029626481392 140030566283906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21324] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21324/stat : 21324 (java) S 21311 21311 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144727850 26628161536 10280 33554432000 4194304 4196468 140724322704016 140029625427616 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21325] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21325/stat : 21325 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727850 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028701828336 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21326] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21326/stat : 21326 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727852 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028700776912 140030566291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21327] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21327/stat : 21327 (java) S 21311 21311 20278 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 20 0 144727852 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028699724016 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21328] ppid=21311 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21313/task/21328/stat : 21328 (java) S 21311 21311 20278 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 144727852 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028698671472 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21329] ppid=21311 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21313/task/21329/stat : 21329 (java) S 21311 21311 20278 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 144727852 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028697618416 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21330] ppid=21311 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/21313/task/21330/stat : 21330 (java) S 21311 21311 20278 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 20 0 144727852 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028696565872 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21331] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21331/stat : 21331 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144727852 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028695514080 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21332] ppid=21311 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21313/task/21332/stat : 21332 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727853 26628161536 10280 33554432000 4194304 4196468 140724322704016 140028694461616 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42500 KiB

[startup+0.30939 s]*
/proc/loadavg: 8.21 8.15 8.16 3/199 21332
/proc/meminfo: memFree=25492220/32770624 swapFree=67108860/67108860
[pid=21311] ppid=21308 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21311/stat : 21311 (xcsp3-exec) S 21308 21311 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144727846 9740288 345 33554432000 4194304 5098028 140732645261312 140732645259416 140017565397628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37498880 140732645262436 140732645262647 140732645262647 140732645265387 0
/proc/21311/statm: 2378 345 289 221 0 87 0
[pid=21313] ppid=21311 vsize=26004064 memory=47556 CPUtime=0.49 cores=0-7
/proc/21313/stat : 21313 (java) S 21311 21311 20278 0 -1 1077944320 9125 0 0 0 46 3 0 0 20 0 20 0 144727846 26628161536 11889 33554432000 4194304 4196468 140724322704016 140724322686560 140030566272759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
/proc/21313/statm: 6501016 11889 3069 1 0 6488269 0
[pid=21313/tid=21314] ppid=21311 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21313/task/21314/stat : 21314 (java) R 21311 21311 20278 0 -1 4202560 6063 0 0 0 27 2 0 0 20 0 20 0 144727847 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030570512096 140030177854241 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21315] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21315/stat : 21315 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030518893584 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21316] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21316/stat : 21316 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030517841040 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21317] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21317/stat : 21317 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030516787984 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21318] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21318/stat : 21318 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030515735440 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21319] ppid=21311 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21313/task/21319/stat : 21319 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030514682384 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21320] ppid=21311 vsize=26004064 memory=139733472736175 CPUtime=0 cores=0-7
/proc/21313/task/21320/stat : 21320 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030513629840 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21321] ppid=21311 vsize=26004064 memory=139733472738480 CPUtime=0 cores=0-7
/proc/21313/task/21321/stat : 21321 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030512576784 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21322] ppid=21311 vsize=26004064 memory=139733472740784 CPUtime=0 cores=0-7
/proc/21313/task/21322/stat : 21322 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26628161536 11889 33554432000 4194304 4196468 140724322704016 140030511524240 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21323] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21323/stat : 21323 (java) S 21311 21311 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144727849 26628161536 11889 33554432000 4194304 4196468 140724322704016 140029626481392 140030566283906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21324] ppid=21311 vsize=26004064 memory=279466945488528 CPUtime=0 cores=0-7
/proc/21313/task/21324/stat : 21324 (java) S 21311 21311 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144727850 26628161536 11889 33554432000 4194304 4196468 140724322704016 140029625427616 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21325] ppid=21311 vsize=26004064 memory=279466945495440 CPUtime=0 cores=0-7
/proc/21313/task/21325/stat : 21325 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727850 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028701828336 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21326] ppid=21311 vsize=26004064 memory=279466945436720 CPUtime=0 cores=0-7
/proc/21313/task/21326/stat : 21326 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727852 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028700776912 140030566291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21327] ppid=21311 vsize=26004064 memory=279466945509264 CPUtime=0.01 cores=0-7
/proc/21313/task/21327/stat : 21327 (java) S 21311 21311 20278 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 144727852 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028699724016 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21328] ppid=21311 vsize=26004064 memory=279466945516176 CPUtime=0.03 cores=0-7
/proc/21313/task/21328/stat : 21328 (java) S 21311 21311 20278 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 20 0 144727852 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028698671472 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21329] ppid=21311 vsize=26004064 memory=279466945513872 CPUtime=0.02 cores=0-7
/proc/21313/task/21329/stat : 21329 (java) S 21311 21311 20278 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 144727852 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028697618416 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21330] ppid=21311 vsize=26004064 memory=279466945530032 CPUtime=0.12 cores=0-7
/proc/21313/task/21330/stat : 21330 (java) R 21311 21311 20278 0 -1 4202560 835 0 0 0 12 0 0 0 20 0 20 0 144727852 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028696563680 140030550526064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21331] ppid=21311 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21313/task/21331/stat : 21331 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144727852 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028695514080 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21332] ppid=21311 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21313/task/21332/stat : 21332 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727853 26628161536 11889 33554432000 4194304 4196468 140724322704016 140028694461616 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48936 KiB

[startup+0.700959 s]
/proc/loadavg: 8.21 8.15 8.16 4/199 21332
/proc/meminfo: memFree=25468368/32770624 swapFree=67108860/67108860
[pid=21311] ppid=21308 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21311/stat : 21311 (xcsp3-exec) S 21308 21311 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144727846 9740288 345 33554432000 4194304 5098028 140732645261312 140732645259416 140017565397628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37498880 140732645262436 140732645262647 140732645262647 140732645265387 0
/proc/21311/statm: 2378 345 289 221 0 87 0
[pid=21313] ppid=21311 vsize=26006188 memory=82856 CPUtime=1.94 cores=0-7
/proc/21313/stat : 21313 (java) S 21311 21311 20278 0 -1 1077944320 12820 0 0 0 189 5 0 0 20 0 20 0 144727846 26630336512 20714 33554432000 4194304 4196468 140724322704016 140724322686560 140030566272759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
/proc/21313/statm: 6501547 20714 3204 1 0 6488781 0
[pid=21313/tid=21314] ppid=21311 vsize=26006188 memory=279466945824960 CPUtime=0.67 cores=0-7
/proc/21313/task/21314/stat : 21314 (java) R 21311 21311 20278 0 -1 4202560 6590 0 0 0 65 2 0 0 20 0 20 0 144727847 26630336512 20714 33554432000 4194304 4196468 140724322704016 140030570510000 140030551642128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21315] ppid=21311 vsize=26006188 memory=12136 CPUtime=0 cores=0-7
/proc/21313/task/21315/stat : 21315 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26630336512 20714 33554432000 4194304 4196468 140724322704016 140030518893584 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21316] ppid=21311 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/21313/task/21316/stat : 21316 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26630336512 20714 33554432000 4194304 4196468 140724322704016 140030517841040 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21317] ppid=21311 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/21313/task/21317/stat : 21317 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144727848 26630336512 20714 33554432000 4194304 4196468 140724322704016 140030516787984 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0

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

/proc/meminfo: memFree=18127612/32770624 swapFree=67108860/67108860
[pid=21311] ppid=21308 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21311/stat : 21311 (xcsp3-exec) S 21308 21311 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144727846 9740288 345 33554432000 4194304 5098028 140732645261312 140732645259416 140017565397628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37498880 140732645262436 140732645262647 140732645262647 140732645265387 0
/proc/21311/statm: 2378 345 289 221 0 87 0
[pid=21313] ppid=21311 vsize=26607312 memory=7395044 CPUtime=19890 cores=0-7
/proc/21313/stat : 21313 (java) S 21311 21311 20278 0 -1 1077944320 811676 0 0 0 1988131 869 0 0 20 0 28 0 144727846 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140724322686560 140030566272759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
/proc/21313/statm: 6651828 1848761 3303 1 0 6639062 0
[pid=21313/tid=21314] ppid=21311 vsize=26607312 memory=7395044 CPUtime=2.88 cores=0-7
/proc/21313/task/21314/stat : 21314 (java) S 21311 21311 20278 0 -1 1077944384 10189 0 0 0 280 8 0 0 20 0 28 0 144727847 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030570513456 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21315] ppid=21311 vsize=26607312 memory=7395044 CPUtime=4.92 cores=0-7
/proc/21313/task/21315/stat : 21315 (java) S 21311 21311 20278 0 -1 1077944384 23854 0 0 0 476 16 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030518893584 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21316] ppid=21311 vsize=26607312 memory=7395044 CPUtime=4.89 cores=0-7
/proc/21313/task/21316/stat : 21316 (java) S 21311 21311 20278 0 -1 1077944384 29319 0 0 0 471 18 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030517841040 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21317] ppid=21311 vsize=26607312 memory=7395044 CPUtime=4.94 cores=0-7
/proc/21313/task/21317/stat : 21317 (java) S 21311 21311 20278 0 -1 1077944384 26146 0 0 0 479 15 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030516787984 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21318] ppid=21311 vsize=26607312 memory=7395044 CPUtime=4.89 cores=0-7
/proc/21313/task/21318/stat : 21318 (java) S 21311 21311 20278 0 -1 1077944384 23388 0 0 0 473 16 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030515735440 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21319] ppid=21311 vsize=26607312 memory=183137405544078 CPUtime=4.93 cores=0-7
/proc/21313/task/21319/stat : 21319 (java) S 21311 21311 20278 0 -1 1077944384 28000 0 0 0 476 17 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030514682384 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21320] ppid=21311 vsize=26607312 memory=0 CPUtime=4.94 cores=0-7
/proc/21313/task/21320/stat : 21320 (java) S 21311 21311 20278 0 -1 1077944384 26397 0 0 0 478 16 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030513629840 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21321] ppid=21311 vsize=26607312 memory=1380 CPUtime=4.96 cores=0-7
/proc/21313/task/21321/stat : 21321 (java) S 21311 21311 20278 0 -1 1077944384 25641 0 0 0 478 18 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030512576784 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21322] ppid=21311 vsize=26607312 memory=7395044 CPUtime=4.91 cores=0-7
/proc/21313/task/21322/stat : 21322 (java) S 21311 21311 20278 0 -1 1077944384 24703 0 0 0 473 18 0 0 20 0 28 0 144727848 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140030511524240 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21323] ppid=21311 vsize=26607312 memory=1380 CPUtime=2.55 cores=0-7
/proc/21313/task/21323/stat : 21323 (java) S 21311 21311 20278 0 -1 1077944384 108558 0 0 0 208 47 0 0 20 0 28 0 144727849 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140029626481392 140030566283906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21324] ppid=21311 vsize=26607312 memory=7395044 CPUtime=0 cores=0-7
/proc/21313/task/21324/stat : 21324 (java) S 21311 21311 20278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 144727850 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140029625427680 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21325] ppid=21311 vsize=26607312 memory=1380 CPUtime=0 cores=0-7
/proc/21313/task/21325/stat : 21325 (java) S 21311 21311 20278 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 144727850 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028701828352 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21326] ppid=21311 vsize=26607312 memory=1380 CPUtime=0 cores=0-7
/proc/21313/task/21326/stat : 21326 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144727852 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028700776912 140030566291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21327] ppid=21311 vsize=26607312 memory=1380 CPUtime=3.98 cores=0-7
/proc/21313/task/21327/stat : 21327 (java) S 21311 21311 20278 0 -1 1077944384 27334 0 0 0 394 4 0 0 20 0 28 0 144727852 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028699724016 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21328] ppid=21311 vsize=26607312 memory=7395044 CPUtime=3.41 cores=0-7
/proc/21313/task/21328/stat : 21328 (java) S 21311 21311 20278 0 -1 1077944384 24262 0 0 0 339 2 0 0 20 0 28 0 144727852 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028698671472 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21329] ppid=21311 vsize=26607312 memory=6791534058613427641 CPUtime=3.28 cores=0-7
/proc/21313/task/21329/stat : 21329 (java) S 21311 21311 20278 0 -1 1077944384 18522 0 0 0 325 3 0 0 20 0 28 0 144727852 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028697618416 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21330] ppid=21311 vsize=26607312 memory=4096 CPUtime=1.25 cores=0-7
/proc/21313/task/21330/stat : 21330 (java) S 21311 21311 20278 0 -1 1077944384 17098 0 0 0 122 3 0 0 20 0 28 0 144727852 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028696565872 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21331] ppid=21311 vsize=26607312 memory=40772 CPUtime=0 cores=0-7
/proc/21313/task/21331/stat : 21331 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144727852 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028695514080 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21332] ppid=21311 vsize=26607312 memory=1380 CPUtime=0.93 cores=0-7
/proc/21313/task/21332/stat : 21332 (java) S 21311 21311 20278 0 -1 1077944384 6671 0 0 0 0 93 0 0 20 0 28 0 144727853 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028694461616 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24191] ppid=21311 vsize=26607312 memory=1380 CPUtime=746.02 cores=0-7
/proc/21313/task/24191/stat : 24191 (java) R 21311 21311 20278 0 -1 4202560 9706 0 0 0 74598 4 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028071074968 140030187060974 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24192] ppid=21311 vsize=26607312 memory=1380 CPUtime=748.64 cores=0-7
/proc/21313/task/24192/stat : 24192 (java) R 21311 21311 20278 0 -1 4202560 6845 0 0 0 74862 2 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028686451784 140030187058307 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24193] ppid=21311 vsize=26607312 memory=7395044 CPUtime=746.42 cores=0-7
/proc/21313/task/24193/stat : 24193 (java) R 21311 21311 20278 0 -1 4202560 8010 0 0 0 74639 3 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028077386664 140030187058307 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24194] ppid=21311 vsize=26607312 memory=1004 CPUtime=748.68 cores=0-7
/proc/21313/task/24194/stat : 24194 (java) R 21311 21311 20278 0 -1 4202560 11214 0 0 0 74863 5 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028074225992 140030181526455 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24195] ppid=21311 vsize=26607312 memory=40772 CPUtime=746.1 cores=0-7
/proc/21313/task/24195/stat : 24195 (java) R 21311 21311 20278 0 -1 4202560 9105 0 0 0 74606 4 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028075278376 140030187669294 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24196] ppid=21311 vsize=26607312 memory=2428 CPUtime=749.36 cores=0-7
/proc/21313/task/24196/stat : 24196 (java) R 21311 21311 20278 0 -1 4202560 6928 0 0 0 74933 3 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028079492672 140030187615309 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24197] ppid=21311 vsize=26607312 memory=1292 CPUtime=748.7 cores=0-7
/proc/21313/task/24197/stat : 24197 (java) R 21311 21311 20278 0 -1 4202560 14720 0 0 0 74862 8 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028078436624 140030186927938 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24198] ppid=21311 vsize=26607312 memory=7395044 CPUtime=746.02 cores=0-7
/proc/21313/task/24198/stat : 24198 (java) R 21311 21311 20278 0 -1 4202560 17086 0 0 0 74597 5 0 0 20 0 28 0 144902734 27245887488 1848761 33554432000 4194304 4196468 140724322704016 140028080542344 140030185065621 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
Current children cumulated CPU time: 19890 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 7396424 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.55 8.38 8.33 9/207 24206
/proc/meminfo: memFree=18127508/32770624 swapFree=67108860/67108860
[pid=21311] ppid=21308 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21311/stat : 21311 (xcsp3-exec) S 21308 21311 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144727846 9740288 345 33554432000 4194304 5098028 140732645261312 140732645259416 140017565397628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37498880 140732645262436 140732645262647 140732645262647 140732645265387 0
/proc/21311/statm: 2378 345 289 221 0 87 0
[pid=21313] ppid=21311 vsize=26607312 memory=7395052 CPUtime=20030.9 cores=0-7
/proc/21313/stat : 21313 (java) S 21311 21311 20278 0 -1 1077944320 813756 0 0 0 2002221 870 0 0 20 0 28 0 144727846 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140724322686560 140030566272759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
/proc/21313/statm: 6651828 1848763 3303 1 0 6639062 0
[pid=21313/tid=21314] ppid=21311 vsize=26607312 memory=792 CPUtime=2.88 cores=0-7
/proc/21313/task/21314/stat : 21314 (java) S 21311 21311 20278 0 -1 1077944384 10189 0 0 0 280 8 0 0 20 0 28 0 144727847 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030570513456 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21315] ppid=21311 vsize=26607312 memory=1204 CPUtime=4.95 cores=0-7
/proc/21313/task/21315/stat : 21315 (java) S 21311 21311 20278 0 -1 1077944384 23916 0 0 0 479 16 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030518893584 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21316] ppid=21311 vsize=26607312 memory=-7003737579269690708 CPUtime=4.92 cores=0-7
/proc/21313/task/21316/stat : 21316 (java) S 21311 21311 20278 0 -1 1077944384 29420 0 0 0 474 18 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030517841040 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21317] ppid=21311 vsize=26607312 memory=7395044 CPUtime=4.97 cores=0-7
/proc/21313/task/21317/stat : 21317 (java) S 21311 21311 20278 0 -1 1077944384 26284 0 0 0 482 15 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030516787984 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21318] ppid=21311 vsize=26607312 memory=2240 CPUtime=4.92 cores=0-7
/proc/21313/task/21318/stat : 21318 (java) S 21311 21311 20278 0 -1 1077944384 23657 0 0 0 476 16 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030515735440 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21319] ppid=21311 vsize=26607312 memory=2424 CPUtime=4.96 cores=0-7
/proc/21313/task/21319/stat : 21319 (java) S 21311 21311 20278 0 -1 1077944384 28045 0 0 0 478 18 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030514682384 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21320] ppid=21311 vsize=26607312 memory=4080 CPUtime=4.96 cores=0-7
/proc/21313/task/21320/stat : 21320 (java) S 21311 21311 20278 0 -1 1077944384 26457 0 0 0 480 16 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030513629840 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21321] ppid=21311 vsize=26607312 memory=932 CPUtime=4.98 cores=0-7
/proc/21313/task/21321/stat : 21321 (java) S 21311 21311 20278 0 -1 1077944384 25683 0 0 0 480 18 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030512576784 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21322] ppid=21311 vsize=26607312 memory=1380 CPUtime=4.93 cores=0-7
/proc/21313/task/21322/stat : 21322 (java) S 21311 21311 20278 0 -1 1077944384 24746 0 0 0 475 18 0 0 20 0 28 0 144727848 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140030511524240 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21323] ppid=21311 vsize=26607312 memory=1380 CPUtime=2.56 cores=0-7
/proc/21313/task/21323/stat : 21323 (java) S 21311 21311 20278 0 -1 1077944384 108904 0 0 0 209 47 0 0 20 0 28 0 144727849 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140029626481392 140030566283906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21324] ppid=21311 vsize=26607312 memory=7395052 CPUtime=0 cores=0-7
/proc/21313/task/21324/stat : 21324 (java) S 21311 21311 20278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 144727850 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140029625427680 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21325] ppid=21311 vsize=26607312 memory=2428 CPUtime=0 cores=0-7
/proc/21313/task/21325/stat : 21325 (java) S 21311 21311 20278 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 144727850 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028701828352 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21326] ppid=21311 vsize=26607312 memory=1292 CPUtime=0 cores=0-7
/proc/21313/task/21326/stat : 21326 (java) S 21311 21311 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144727852 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028700776912 140030566291355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21327] ppid=21311 vsize=26607312 memory=1728 CPUtime=3.98 cores=0-7
/proc/21313/task/21327/stat : 21327 (java) S 21311 21311 20278 0 -1 1077944384 27336 0 0 0 394 4 0 0 20 0 28 0 144727852 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028699724016 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21328] ppid=21311 vsize=26607312 memory=12136 CPUtime=3.41 cores=0-7
/proc/21313/task/21328/stat : 21328 (java) S 21311 21311 20278 0 -1 1077944384 24265 0 0 0 339 2 0 0 20 0 28 0 144727852 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028698671472 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21329] ppid=21311 vsize=26607312 memory=1004 CPUtime=3.28 cores=0-7
/proc/21313/task/21329/stat : 21329 (java) S 21311 21311 20278 0 -1 1077944384 18524 0 0 0 325 3 0 0 20 0 28 0 144727852 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028697618416 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21330] ppid=21311 vsize=26607312 memory=1228 CPUtime=1.25 cores=0-7
/proc/21313/task/21330/stat : 21330 (java) S 21311 21311 20278 0 -1 1077944384 17100 0 0 0 122 3 0 0 20 0 28 0 144727852 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028696565872 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21331] ppid=21311 vsize=26607312 memory=8620 CPUtime=0 cores=0-7
/proc/21313/task/21331/stat : 21331 (java) S 21311 21311 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144727852 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028695514080 140030566282965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=21332] ppid=21311 vsize=26607312 memory=792 CPUtime=0.94 cores=0-7
/proc/21313/task/21332/stat : 21332 (java) S 21311 21311 20278 0 -1 1077944384 6691 0 0 0 0 94 0 0 20 0 28 0 144727853 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028694461616 140030566283906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24191] ppid=21311 vsize=26607312 memory=1204 CPUtime=763.58 cores=0-7
/proc/21313/task/24191/stat : 24191 (java) R 21311 21311 20278 0 -1 4202560 9851 0 0 0 76354 4 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028071074696 140030186928672 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24192] ppid=21311 vsize=26607312 memory=1728 CPUtime=766.28 cores=0-7
/proc/21313/task/24192/stat : 24192 (java) R 21311 21311 20278 0 -1 4202560 6930 0 0 0 76626 2 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028686451080 140030188042321 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24193] ppid=21311 vsize=26607312 memory=1440 CPUtime=763.98 cores=0-7
/proc/21313/task/24193/stat : 24193 (java) R 21311 21311 20278 0 -1 4202560 8098 0 0 0 76395 3 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028077383416 140030187614860 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24194] ppid=21311 vsize=26607312 memory=15880 CPUtime=766.34 cores=0-7
/proc/21313/task/24194/stat : 24194 (java) R 21311 21311 20278 0 -1 4202560 11321 0 0 0 76628 6 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028074225632 140030187057935 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24195] ppid=21311 vsize=26607312 memory=16432 CPUtime=763.61 cores=0-7
/proc/21313/task/24195/stat : 24195 (java) R 21311 21311 20278 0 -1 4202560 9256 0 0 0 76357 4 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028075278088 140030187058307 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24196] ppid=21311 vsize=26607312 memory=23340 CPUtime=767 cores=0-7
/proc/21313/task/24196/stat : 24196 (java) R 21311 21311 20278 0 -1 4202560 7000 0 0 0 76697 3 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028079489016 140030187058307 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24197] ppid=21311 vsize=26607312 memory=1380 CPUtime=766.37 cores=0-7
/proc/21313/task/24197/stat : 24197 (java) R 21311 21311 20278 0 -1 4202560 14801 0 0 0 76629 8 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028078439952 140030187670140 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
[pid=21313/tid=24198] ppid=21311 vsize=26607312 memory=7395052 CPUtime=763.5 cores=0-7
/proc/21313/task/24198/stat : 24198 (java) R 21311 21311 20278 0 -1 4202560 17302 0 0 0 76345 5 0 0 20 0 28 0 144902734 27245887488 1848763 33554432000 4194304 4196468 140724322704016 140028080542208 140030188362741 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 21184512 140724322710674 140724322710851 140724322710851 140724322713551 0
Current children cumulated CPU time: 20030.9 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 7396432 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.55 8.38 8.33 2/180 24208
/proc/meminfo: memFree=23840292/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001958 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20031.7
CPU user time (s): 20023
CPU system time (s): 8.74555
CPU usage (%): 794.864
Max. virtual memory (cumulated for all children) (KiB): 26616824
Max. memory (cumulated for all children) (KiB): 7601604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20023
system time used= 8.74555
maximum resident set size= 7601844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815542
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229542
involuntary context switches= 209807


# summary of solver processes directly reported to runsolver:
#   pid: 21311,21313
#   total CPU time (s): 20031.7
#   total CPU user time (s): 20023
#   total CPU system time (s): 8.74555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1744 second user time and 28.3366 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 06:06:49
IDJOB=4280613
IDBENCH=115904
IDSOLVER=2675
FILE ID=node148/4280613-1503116469
RUNJOBID= node148-1503110566-20305
PBS_JOBID= 20630754
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280613-1503116469/watcher-4280613-1503116469 -o /tmp/evaluation-result-4280613-1503116469/solver-4280613-1503116469 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503110566-20305 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1350552830 HOME/instance-4280613-1503116469.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=1350552830

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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	: 4
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.19
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.19
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.19
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.19
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25525588 kB
MemAvailable:   31978536 kB
Buffers:          287960 kB
Cached:          6459192 kB
SwapCached:            0 kB
Active:          1151216 kB
Inactive:        5648420 kB
Active(anon):       3632 kB
Inactive(anon):    84708 kB
Active(file):    1147584 kB
Inactive(file):  5563712 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:         60248 kB
Mapped:            50676 kB
Shmem:             33416 kB
Slab:             141612 kB
SReclaimable:     114976 kB
SUnreclaim:        26636 kB
KernelStack:        3216 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61936 MiB
End job on node148 at 2017-08-19 06:48:50