Trace number 4297367

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.7b par (e747e1e)SAT (TO)420 20055.7 2520.15

General information on the benchmark

NameStillLife/
StillLife-wastage-30_c18.xml
MD5SUMbc7ca4ef6af3dcde4f5a5d75f0a5d481
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark420
Best CPU time to get the best result obtained on this benchmark20055.7
Satisfiable
(Un)Satisfiability was proved
Number of variables2081
Number of constraints1208
Number of domains4
Minimum domain size2
Maximum domain size2049
Distribution of domain sizes[{"size":2,"count":1024},{"size":3,"count":1024},{"size":901,"count":1},{"size":2049,"count":32}]
Minimum variable degree1
Maximum variable degree33
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1021},{"degree":3,"count":35},{"degree":4,"count":120},{"degree":8,"count":116},{"degree":9,"count":784},{"degree":33,"count":1}]
Minimum constraint arity2
Maximum constraint arity34
Distribution of constraint arities[{"arity":2,"count":152},{"arity":3,"count":120},{"arity":10,"count":900},{"arity":32,"count":4},{"arity":33,"count":1},{"arity":34,"count":31}]
Number of extensional constraints1020
Number of intensional constraints151
Distribution of constraint types[{"type":"extension","count":1020},{"type":"intension","count":151},{"type":"sum","count":33},{"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-4297367-1532689181.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297367-1532689181.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
11.15/2.87	c solve instance...
16.11/3.58	o 0 
16.11/3.60	o 4 
19.92/4.02	o 6 
19.92/4.02	o 8 
19.92/4.02	o 10 
19.92/4.02	o 12 
19.92/4.02	o 14 
19.92/4.02	o 16 
19.92/4.02	o 18 
19.92/4.02	o 20 
20.71/4.11	o 22 
22.81/4.62	o 23 
22.81/4.63	o 24 
22.81/4.63	o 25 
22.81/4.64	o 26 
22.81/4.64	o 27 
22.81/4.64	o 28 
22.81/4.64	o 29 
22.81/4.65	o 30 
22.81/4.65	o 31 
22.81/4.65	o 32 
22.81/4.65	o 33 
22.81/4.66	o 34 
22.81/4.66	o 35 
22.81/4.67	o 36 
22.81/4.67	o 37 
22.81/4.67	o 38 
22.81/4.67	o 39 
22.81/4.68	o 40 
22.81/4.68	o 41 
23.14/4.70	o 42 
23.14/4.70	o 43 
23.14/4.70	o 44 
23.14/4.71	o 45 
23.14/4.71	o 46 
23.14/4.75	o 47 
23.14/4.75	o 48 
23.14/4.75	o 49 
23.14/4.76	o 50 
23.14/4.76	o 51 
23.14/4.77	o 52 
23.14/4.77	o 53 
23.14/4.77	o 54 
23.14/4.78	o 55 
23.14/4.78	o 56 
23.14/4.78	o 57 
23.14/4.79	o 58 
23.14/4.80	o 59 
23.68/4.81	o 60 
23.68/4.82	o 61 
23.68/4.82	o 62 
23.68/4.82	o 63 
23.68/4.82	o 64 
23.68/4.83	o 65 
23.68/4.85	o 66 
23.68/4.85	o 67 
23.68/4.85	o 68 
23.68/4.86	o 69 
23.68/4.86	o 70 
23.68/4.86	o 71 
23.68/4.86	o 72 
23.68/4.87	o 73 
23.68/4.87	o 74 
23.68/4.87	o 75 
23.68/4.87	o 76 
23.68/4.88	o 77 
23.68/4.88	o 78 
23.68/4.88	o 79 
23.68/4.89	o 80 
23.68/4.89	o 81 
24.17/4.91	o 82 
24.17/4.91	o 83 
24.17/4.91	o 84 
24.17/4.91	o 85 
24.17/4.92	o 86 
24.17/4.92	o 87 
24.17/4.92	o 88 
24.17/4.92	o 89 
24.17/4.93	o 90 
24.17/4.93	o 91 
24.17/4.93	o 92 
24.17/4.94	o 93 
24.17/4.94	o 94 
24.17/4.94	o 95 
24.17/4.94	o 96 
24.17/4.96	o 97 
24.17/4.96	o 98 
24.17/4.97	o 99 
24.17/4.97	o 100 
24.17/4.97	o 101 
24.17/4.97	o 102 
24.17/4.98	o 103 
24.17/4.98	o 104 
24.17/4.98	o 105 
24.17/4.98	o 106 
24.17/4.99	o 107 
24.17/4.99	o 108 
24.17/4.99	o 109 
24.17/4.99	o 110 
24.17/5.00	o 111 
24.17/5.00	o 112 
24.17/5.00	o 113 
24.17/5.01	o 114 
24.59/5.01	o 115 
24.59/5.01	o 116 
24.59/5.02	o 117 
24.59/5.02	o 118 
24.59/5.02	o 119 
24.59/5.03	o 120 
24.59/5.03	o 121 
24.59/5.03	o 122 
24.59/5.03	o 123 
24.59/5.04	o 124 
24.59/5.04	o 125 
24.59/5.04	o 126 
24.59/5.05	o 127 
24.59/5.05	o 128 
24.59/5.05	o 129 
24.59/5.06	o 130 
24.59/5.06	o 131 
24.59/5.06	o 132 
24.59/5.06	o 133 
24.59/5.08	o 134 
24.59/5.09	o 135 
24.59/5.09	o 136 
24.59/5.10	o 137 
25.03/5.11	o 138 
25.03/5.11	o 139 
25.03/5.11	o 140 
25.03/5.12	o 141 
25.03/5.12	o 142 
25.03/5.12	o 143 
25.03/5.12	o 144 
25.03/5.13	o 145 
25.03/5.13	o 146 
25.03/5.13	o 147 
25.03/5.13	o 148 
25.03/5.14	o 149 
25.03/5.14	o 150 
25.03/5.14	o 151 
25.03/5.14	o 152 
25.03/5.15	o 153 
25.03/5.15	o 154 
25.03/5.15	o 155 
25.03/5.15	o 156 
25.03/5.16	o 157 
25.03/5.16	o 158 
25.03/5.16	o 159 
25.03/5.16	o 160 
25.03/5.17	o 161 
25.03/5.17	o 162 
25.03/5.17	o 163 
25.03/5.18	o 164 
25.03/5.18	o 165 
25.03/5.18	o 166 
25.03/5.19	o 167 
25.03/5.19	o 168 
25.03/5.19	o 169 
25.33/5.20	o 170 
25.33/5.22	o 171 
25.33/5.22	o 172 
25.33/5.22	o 173 
25.33/5.23	o 174 
25.33/5.23	o 175 
25.33/5.23	o 176 
25.33/5.24	o 177 
25.33/5.24	o 178 
25.33/5.24	o 179 
25.33/5.24	o 180 
25.33/5.25	o 181 
25.33/5.25	o 182 
25.33/5.25	o 183 
25.33/5.26	o 184 
25.33/5.26	o 185 
25.33/5.26	o 186 
25.33/5.26	o 187 
25.33/5.27	o 188 
25.33/5.27	o 189 
25.33/5.28	o 190 
25.33/5.28	o 191 
25.33/5.28	o 192 
25.33/5.29	o 193 
25.33/5.29	o 194 
25.33/5.30	o 195 
25.76/5.30	o 196 
25.76/5.30	o 197 
25.76/5.31	o 198 
25.76/5.31	o 199 
25.76/5.31	o 200 
25.76/5.32	o 201 
25.76/5.32	o 202 
25.76/5.32	o 203 
25.76/5.33	o 204 
25.76/5.33	o 205 
25.76/5.34	o 206 
25.76/5.34	o 207 
25.76/5.36	o 208 
25.76/5.37	o 209 
25.76/5.38	o 210 
25.76/5.38	o 211 
25.76/5.39	o 212 
25.76/5.39	o 213 
25.76/5.39	o 214 
25.76/5.40	o 215 
26.24/5.40	o 216 
26.24/5.40	o 217 
26.24/5.40	o 218 
26.24/5.41	o 219 
26.24/5.41	o 220 
26.24/5.42	o 221 
26.24/5.42	o 222 
26.24/5.42	o 223 
26.24/5.43	o 224 
26.24/5.43	o 225 
26.24/5.44	o 226 
26.24/5.44	o 227 
26.24/5.44	o 228 
26.24/5.45	o 229 
26.24/5.45	o 230 
26.24/5.45	o 231 
26.24/5.46	o 232 
26.24/5.46	o 233 
26.24/5.46	o 234 
26.24/5.47	o 235 
26.24/5.47	o 236 
26.24/5.48	o 237 
26.24/5.48	o 238 
26.24/5.49	o 239 
26.24/5.49	o 240 
26.24/5.50	o 241 
26.69/5.50	o 242 
26.69/5.50	o 243 
26.69/5.51	o 244 
26.69/5.52	o 245 
26.69/5.52	o 246 
26.69/5.53	o 247 
26.69/5.53	o 248 
26.69/5.54	o 249 
26.69/5.54	o 250 
26.69/5.54	o 251 
26.69/5.56	o 252 
26.69/5.57	o 253 
26.69/5.57	o 254 
26.69/5.57	o 255 
26.69/5.58	o 256 
26.69/5.58	o 257 
26.69/5.58	o 258 
26.69/5.59	o 259 
26.69/5.60	o 260 
27.15/5.60	o 261 
27.15/5.60	o 262 
27.15/5.61	o 263 
27.15/5.62	o 264 
27.15/5.62	o 265 
27.15/5.62	o 266 
27.15/5.63	o 267 
27.15/5.64	o 268 
27.15/5.64	o 269 
27.15/5.64	o 270 
27.15/5.65	o 271 
27.15/5.65	o 272 
27.15/5.66	o 273 
27.15/5.66	o 274 
27.15/5.67	o 275 
27.15/5.67	o 276 
27.15/5.68	o 277 
27.15/5.68	o 278 
27.15/5.69	o 279 
27.15/5.69	o 280 
27.60/5.70	o 281 
27.60/5.71	o 282 
27.60/5.71	o 283 
27.60/5.72	o 284 
27.60/5.72	o 285 
27.60/5.73	o 286 
27.60/5.73	o 287 
27.60/5.74	o 288 
27.60/5.74	o 289 
27.60/5.75	o 290 
27.60/5.75	o 291 
27.60/5.76	o 292 
27.60/5.76	o 293 
27.60/5.77	o 294 
27.60/5.77	o 295 
27.60/5.78	o 296 
27.60/5.78	o 297 
27.60/5.79	o 298 
27.60/5.79	o 299 
28.06/5.80	o 300 
28.06/5.80	o 301 
28.06/5.81	o 302 
28.06/5.81	o 303 
28.06/5.82	o 304 
28.06/5.82	o 305 
28.06/5.83	o 306 
28.06/5.83	o 307 
28.06/5.84	o 308 
28.06/5.84	o 309 
28.06/5.85	o 310 
28.06/5.85	o 311 
28.06/5.86	o 312 
28.06/5.86	o 313 
28.06/5.87	o 314 
28.06/5.88	o 315 
28.06/5.88	o 316 
28.06/5.89	o 317 
28.06/5.89	o 318 
28.54/5.90	o 319 
28.54/5.91	o 320 
28.54/5.91	o 321 
28.54/5.92	o 322 
28.54/5.93	o 323 
28.54/5.93	o 324 
28.54/5.95	o 325 
28.54/5.95	o 326 
28.54/5.95	o 327 
28.54/5.96	o 328 
28.54/5.97	o 329 
28.54/5.97	o 330 
28.54/5.98	o 331 
28.54/5.98	o 332 
28.54/5.99	o 333 
28.54/5.99	o 334 
28.54/6.01	o 335 
28.54/6.01	o 336 
29.08/6.02	o 337 
29.08/6.03	o 338 
29.08/6.03	o 339 
29.08/6.04	o 340 
29.08/6.06	o 341 
29.08/6.07	o 342 
29.08/6.08	o 343 
29.08/6.09	o 344 
29.08/6.10	o 345 
29.08/6.10	o 346 
29.59/6.11	o 347 
29.59/6.12	o 348 
29.59/6.12	o 349 
29.59/6.13	o 350 
29.59/6.13	o 351 
29.59/6.14	o 352 
29.59/6.14	o 353 
29.59/6.15	o 354 
29.59/6.16	o 355 
29.59/6.16	o 356 
29.59/6.17	o 357 
29.59/6.18	o 358 
29.59/6.19	o 359 
29.59/6.19	o 360 
30.07/6.20	o 361 
30.07/6.21	o 362 
30.07/6.21	o 363 
30.07/6.22	o 364 
30.07/6.23	o 365 
30.07/6.24	o 366 
30.07/6.25	o 367 
30.07/6.26	o 368 
30.07/6.27	o 369 
30.07/6.28	o 370 
30.07/6.28	o 371 
30.07/6.29	o 372 
30.07/6.30	o 373 
30.52/6.30	o 374 
30.52/6.31	o 375 
30.52/6.32	o 376 
30.52/6.33	o 377 
30.52/6.33	o 378 
30.52/6.34	o 379 
30.52/6.35	o 380 
30.52/6.36	o 381 
30.52/6.36	o 382 
30.52/6.37	o 383 
30.52/6.38	o 384 
30.52/6.39	o 385 
30.52/6.39	o 386 
30.52/6.40	o 387 
31.08/6.41	o 388 
31.08/6.41	o 389 
31.08/6.42	o 390 
31.08/6.43	o 391 
31.08/6.43	o 392 
31.08/6.44	o 393 
31.08/6.45	o 394 
31.08/6.46	o 395 
31.08/6.46	o 396 
31.08/6.47	o 397 
31.08/6.48	o 398 
31.08/6.48	o 399 
31.08/6.49	o 400 
31.08/6.50	o 401 
31.54/6.50	o 402 
31.54/6.51	o 403 
31.54/6.51	o 404 
31.54/6.52	o 405 
31.54/6.52	o 406 
31.54/6.53	o 407 
31.54/6.54	o 408 
31.54/6.54	o 409 
31.54/6.55	o 410 
31.54/6.55	o 411 
31.54/6.56	o 412 
31.54/6.57	o 413 
31.54/6.58	o 414 
31.54/6.58	o 415 
32.90/6.79	o 416 
32.90/6.80	o 417 
33.63/6.81	o 418 
37.68/7.48	o 419 
226.08/31.18	o 420 
20054.82/2520.09	s SATISFIABLE
20054.82/2520.09	v <instantiation>
20054.82/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[0][30] x[0][31] 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[1][30] x[1][31] 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[2][30] x[2][31] 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[3][30] x[3][31] 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[4][30] x[4][31] 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[5][30] x[5][31] 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[6][30] x[6][31] 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[7][30] x[7][31] 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[8][30] x[8][31] 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[9][30] x[9][31] 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[10][30] x[10][31] 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[11][30] x[11][31] 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[12][30] x[12][31] 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[13][30] x[13][31] 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[14][30] x[14][31] 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[15][30] x[15][31] 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[16][30] x[16][31] 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[17][30] x[17][31] 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[18][30] x[18][31] 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[19][30] x[19][31] 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[20][30] x[20][31] 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[21][30] x[21][31] 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[22][30] x[22][31] 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[23][30] x[23][31] 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[24][30] x[24][31] 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[25][30] x[25][31] 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[26][30] x[26][31] 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[27][30] x[27][31] 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[28][30] x[28][31] 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] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] 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[0][30] w[0][31] 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[1][30] w[1][31] 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[2][30] w[2][31] 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[3][30] w[3][31] 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[4][30] w[4][31] 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[5][30] w[5][31] 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[6][30] w[6][31] 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[7][30] w[7][31] 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[8][30] w[8][31] 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[9][30] w[9][31] 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[10][30] w[10][31] 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[11][30] w[11][31] 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[12][30] w[12][31] 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[13][30] w[13][31] 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[14][30] w[14][31] 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[15][30] w[15][31] 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[16][30] w[16][31] 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[17][30] w[17][31] 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[18][30] w[18][31] 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[19][30] w[19][31] 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[20][30] w[20][31] 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[21][30] w[21][31] 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[22][30] w[22][31] 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[23][30] w[23][31] 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[24][30] w[24][31] 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[25][30] w[25][31] 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[26][30] w[26][31] 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[27][30] w[27][31] 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[28][30] w[28][31] 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] w[29][30] w[29][31] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] 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] ws[30] ws[31] z </list>
20054.82/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 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 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 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 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 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 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 2 2 1 2 2 1 2 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 10 12 14 27 28 29 65 73 76 79 81 85 110 115 118 122 125 131 146 149 153 163 164 167 176 180 184 192 197 202 223 240 420 </values>
20054.82/2520.09	v </instantiation>
20054.82/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	420

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 (11588 MiB free)
  memory of node 1: 16384 MiB (15137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297367-1532689181/watcher-4297367-1532689181 -o /tmp/evaluation-result-4297367-1532689181/solver-4297367-1532689181 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532684138-15543 --watchdog 2580 HOME/xcsp3-exec -seed 299751005 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297367-1532689181.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=15893, runsolver pid=15890

[startup+0.100168 s]*
/proc/loadavg: 8.55 8.74 8.81 2/207 15914
/proc/meminfo: memFree=27348972/32770624 swapFree=67108860/67108860
[pid=15893] ppid=15890 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15893/stat : 15893 (xcsp3-exec) S 15890 15893 15516 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86481258 115843072 363 33554432000 4194304 5098028 140727373921264 140727373919368 140354802090620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29786112 140727373927478 140727373927680 140727373927680 140727373930442 0
/proc/15893/statm: 28282 363 306 221 0 87 0
[pid=15895] ppid=15893 vsize=26104152 memory=28928 CPUtime=0.11 cores=0-7
/proc/15895/stat : 15895 (java) S 15893 15893 15516 0 -1 1077944320 5652 0 0 0 10 1 0 0 20 0 20 0 86481259 26730651648 7232 33554432000 4194304 4196468 140726772104960 140726772087504 140018557263607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
/proc/15895/statm: 6526038 7232 3002 1 0 6488315 0
[pid=15895/tid=15896] ppid=15893 vsize=26104152 memory=8257801199876480672 CPUtime=0.08 cores=0-7
/proc/15895/task/15896/stat : 15896 (java) R 15893 15893 15516 0 -1 4202560 3661 0 0 0 8 0 0 0 20 0 20 0 86481259 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018561496880 140018541307237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15897] ppid=15893 vsize=26104152 memory=732370219280083941 CPUtime=0 cores=0-7
/proc/15895/task/15897/stat : 15897 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018509883664 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15898] ppid=15893 vsize=26104152 memory=140080942630528 CPUtime=0 cores=0-7
/proc/15895/task/15898/stat : 15898 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018508831120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15899] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15899/stat : 15899 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018507778576 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15900] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15900/stat : 15900 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018506726032 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15901] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15901/stat : 15901 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018505673488 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15902] ppid=15893 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15895/task/15902/stat : 15902 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018504620944 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15903] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15903/stat : 15903 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018503568400 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15904] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15904/stat : 15904 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 7232 33554432000 4194304 4196468 140726772104960 140018502515856 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15905] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15905/stat : 15905 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481261 26730651648 7232 33554432000 4194304 4196468 140726772104960 140017617557488 140018557274754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15906] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15906/stat : 15906 (java) S 15893 15893 15516 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86481262 26730651648 7232 33554432000 4194304 4196468 140726772104960 140017616503712 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15907] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15907/stat : 15907 (java) S 15893 15893 15516 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86481262 26730651648 7232 33554432000 4194304 4196468 140726772104960 140017615451120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15908] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15908/stat : 15908 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481264 26730651648 7232 33554432000 4194304 4196468 140726772104960 140017614399696 140018557282203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15909] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15909/stat : 15909 (java) S 15893 15893 15516 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 86481264 26730651648 7232 33554432000 4194304 4196468 140726772104960 140017613347312 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15910] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15910/stat : 15910 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481264 26730651648 7232 33554432000 4194304 4196468 140726772104960 140016689343088 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15911] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15911/stat : 15911 (java) S 15893 15893 15516 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86481264 26730651648 7232 33554432000 4194304 4196468 140726772104960 140016688290544 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15912] ppid=15893 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15895/task/15912/stat : 15912 (java) R 15893 15893 15516 0 -1 4202560 238 0 0 0 1 0 0 0 20 0 20 0 86481265 26730651648 7232 33554432000 4194304 4196468 140726772104960 140016687238000 140018557275542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15913] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15913/stat : 15913 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481265 26730651648 7232 33554432000 4194304 4196468 140726772104960 140016686184672 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15914] ppid=15893 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15895/task/15914/stat : 15914 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481265 26730651648 7232 33554432000 4194304 4196468 140726772104960 140016685132208 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30380 KiB

[startup+0.210587 s]*
/proc/loadavg: 8.55 8.74 8.81 3/207 15914
/proc/meminfo: memFree=27337988/32770624 swapFree=67108860/67108860
[pid=15893] ppid=15890 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15893/stat : 15893 (xcsp3-exec) S 15890 15893 15516 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86481258 115843072 363 33554432000 4194304 5098028 140727373921264 140727373919368 140354802090620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29786112 140727373927478 140727373927680 140727373927680 140727373930442 0
/proc/15893/statm: 28282 363 306 221 0 87 0
[pid=15895] ppid=15893 vsize=26104152 memory=41768 CPUtime=0.34 cores=0-7
/proc/15895/stat : 15895 (java) S 15893 15893 15516 0 -1 1077944320 8486 0 0 0 31 3 0 0 20 0 20 0 86481259 26730651648 10442 33554432000 4194304 4196468 140726772104960 140726772087504 140018557263607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
/proc/15895/statm: 6526038 10442 3189 1 0 6488315 0
[pid=15895/tid=15896] ppid=15893 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/15895/task/15896/stat : 15896 (java) R 15893 15893 15516 0 -1 4202560 5556 0 0 0 18 1 0 0 20 0 20 0 86481259 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018561502608 140018541344094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15897] ppid=15893 vsize=26104152 memory=732370219280083941 CPUtime=0 cores=0-7
/proc/15895/task/15897/stat : 15897 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018509883664 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15898] ppid=15893 vsize=26104152 memory=140080942630528 CPUtime=0 cores=0-7
/proc/15895/task/15898/stat : 15898 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018508831120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15899] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15899/stat : 15899 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018507778576 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15900] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15900/stat : 15900 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018506726032 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15901] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15901/stat : 15901 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018505673488 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15902] ppid=15893 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15895/task/15902/stat : 15902 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018504620944 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15903] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15903/stat : 15903 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018503568400 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15904] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15904/stat : 15904 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481260 26730651648 10442 33554432000 4194304 4196468 140726772104960 140018502515856 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15905] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15905/stat : 15905 (java) S 15893 15893 15516 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 86481261 26730651648 10442 33554432000 4194304 4196468 140726772104960 140017617557488 140018557274754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15906] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15906/stat : 15906 (java) S 15893 15893 15516 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86481262 26730651648 10442 33554432000 4194304 4196468 140726772104960 140017616503712 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15907] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15907/stat : 15907 (java) S 15893 15893 15516 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86481262 26730651648 10442 33554432000 4194304 4196468 140726772104960 140017615451120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15908] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15908/stat : 15908 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481264 26730651648 10442 33554432000 4194304 4196468 140726772104960 140017614399696 140018557282203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15909] ppid=15893 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/15895/task/15909/stat : 15909 (java) S 15893 15893 15516 0 -1 1077944384 639 0 0 0 2 0 0 0 20 0 20 0 86481264 26730651648 10442 33554432000 4194304 4196468 140726772104960 140017613347312 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15910] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15910/stat : 15910 (java) S 15893 15893 15516 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 86481264 26730651648 10442 33554432000 4194304 4196468 140726772104960 140016689343088 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15911] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15911/stat : 15911 (java) S 15893 15893 15516 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 20 0 86481264 26730651648 10442 33554432000 4194304 4196468 140726772104960 140016688290544 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15912] ppid=15893 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/15895/task/15912/stat : 15912 (java) S 15893 15893 15516 0 -1 1077944384 756 0 0 0 7 0 0 0 20 0 20 0 86481265 26730651648 10442 33554432000 4194304 4196468 140726772104960 140016687238000 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15913] ppid=15893 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15913/stat : 15913 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481265 26730651648 10442 33554432000 4194304 4196468 140726772104960 140016686184672 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15914] ppid=15893 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15895/task/15914/stat : 15914 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481265 26730651648 10442 33554432000 4194304 4196468 140726772104960 140016685132208 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43220 KiB

[startup+0.310441 s]*
/proc/loadavg: 8.55 8.74 8.81 5/207 15914
/proc/meminfo: memFree=27331908/32770624 swapFree=67108860/67108860
[pid=15893] ppid=15890 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15893/stat : 15893 (xcsp3-exec) S 15890 15893 15516 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86481258 115843072 363 33554432000 4194304 5098028 140727373921264 140727373919368 140354802090620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29786112 140727373927478 140727373927680 140727373927680 140727373930442 0
/proc/15893/statm: 28282 363 306 221 0 87 0
[pid=15895] ppid=15893 vsize=26108408 memory=48608 CPUtime=0.52 cores=0-7
/proc/15895/stat : 15895 (java) S 15893 15893 15516 0 -1 1077944320 9384 0 0 0 48 4 0 0 20 0 20 0 86481259 26735009792 12152 33554432000 4194304 4196468 140726772104960 140726772087504 140018557263607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
/proc/15895/statm: 6527102 12152 3231 1 0 6488315 0
[pid=15895/tid=15896] ppid=15893 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15895/task/15896/stat : 15896 (java) R 15893 15893 15516 0 -1 4202560 6264 0 0 0 27 2 0 0 20 0 20 0 86481259 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018561494720 140018541344094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15897] ppid=15893 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15897/stat : 15897 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018509883664 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15898] ppid=15893 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15898/stat : 15898 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018508831120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15899] ppid=15893 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15899/stat : 15899 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018507778576 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15900] ppid=15893 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15900/stat : 15900 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018506726032 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15901] ppid=15893 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/15895/task/15901/stat : 15901 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018505673488 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15902] ppid=15893 vsize=26108408 memory=140080828216239 CPUtime=0 cores=0-7
/proc/15895/task/15902/stat : 15902 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018504620944 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15903] ppid=15893 vsize=26108408 memory=140080828218544 CPUtime=0 cores=0-7
/proc/15895/task/15903/stat : 15903 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018503568400 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15904] ppid=15893 vsize=26108408 memory=140080828220848 CPUtime=0 cores=0-7
/proc/15895/task/15904/stat : 15904 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481260 26735009792 12152 33554432000 4194304 4196468 140726772104960 140018502515856 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15905] ppid=15893 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15905/stat : 15905 (java) S 15893 15893 15516 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 86481261 26735009792 12152 33554432000 4194304 4196468 140726772104960 140017617557488 140018557274754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15906] ppid=15893 vsize=26108408 memory=280161656448656 CPUtime=0 cores=0-7
/proc/15895/task/15906/stat : 15906 (java) S 15893 15893 15516 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86481262 26735009792 12152 33554432000 4194304 4196468 140726772104960 140017616503712 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15907] ppid=15893 vsize=26108408 memory=280161656455568 CPUtime=0 cores=0-7
/proc/15895/task/15907/stat : 15907 (java) S 15893 15893 15516 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86481262 26735009792 12152 33554432000 4194304 4196468 140726772104960 140017615451120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15908] ppid=15893 vsize=26108408 memory=280161656396848 CPUtime=0 cores=0-7
/proc/15895/task/15908/stat : 15908 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481264 26735009792 12152 33554432000 4194304 4196468 140726772104960 140017614399696 140018557282203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15909] ppid=15893 vsize=26108408 memory=280161656469392 CPUtime=0.03 cores=0-7
/proc/15895/task/15909/stat : 15909 (java) S 15893 15893 15516 0 -1 1077944384 646 0 0 0 3 0 0 0 20 0 20 0 86481264 26735009792 12152 33554432000 4194304 4196468 140726772104960 140017613347312 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15910] ppid=15893 vsize=26108408 memory=280161656476304 CPUtime=0.01 cores=0-7
/proc/15895/task/15910/stat : 15910 (java) S 15893 15893 15516 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 20 0 86481264 26735009792 12152 33554432000 4194304 4196468 140726772104960 140016689343088 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15911] ppid=15893 vsize=26108408 memory=280161656474000 CPUtime=0.03 cores=0-7
/proc/15895/task/15911/stat : 15911 (java) R 15893 15893 15516 0 -1 4202560 326 0 0 0 3 0 0 0 20 0 20 0 86481264 26735009792 12152 33554432000 4194304 4196468 140726772104960 140016688280928 140018536950020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15912] ppid=15893 vsize=26108408 memory=280161656490160 CPUtime=0.11 cores=0-7
/proc/15895/task/15912/stat : 15912 (java) S 15893 15893 15516 0 -1 1077944384 814 0 0 0 11 0 0 0 20 0 20 0 86481265 26735009792 12152 33554432000 4194304 4196468 140726772104960 140016687238000 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15913] ppid=15893 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15895/task/15913/stat : 15913 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86481265 26735009792 12152 33554432000 4194304 4196468 140726772104960 140016686184672 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15914] ppid=15893 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/15895/task/15914/stat : 15914 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481265 26735009792 12152 33554432000 4194304 4196468 140726772104960 140016685132208 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 50060 KiB

[startup+0.701048 s]
/proc/loadavg: 8.02 8.62 8.78 4/207 15914
/proc/meminfo: memFree=27309452/32770624 swapFree=67108860/67108860
[pid=15893] ppid=15890 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15893/stat : 15893 (xcsp3-exec) S 15890 15893 15516 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86481258 115843072 363 33554432000 4194304 5098028 140727373921264 140727373919368 140354802090620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29786112 140727373927478 140727373927680 140727373927680 140727373930442 0
/proc/15893/statm: 28282 363 306 221 0 87 0
[pid=15895] ppid=15893 vsize=26110532 memory=95936 CPUtime=1.98 cores=0-7
/proc/15895/stat : 15895 (java) S 15893 15893 15516 0 -1 1077944320 14133 0 0 0 193 5 0 0 20 0 20 0 86481259 26737184768 23984 33554432000 4194304 4196468 140726772104960 140726772087504 140018557263607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
/proc/15895/statm: 6527633 23984 3353 1 0 6488827 0
[pid=15895/tid=15896] ppid=15893 vsize=26110532 memory=280161656785088 CPUtime=0.66 cores=0-7
/proc/15895/task/15896/stat : 15896 (java) R 15893 15893 15516 0 -1 4202560 7093 0 0 0 64 2 0 0 20 0 20 0 86481259 26737184768 23984 33554432000 4194304 4196468 140726772104960 140018561500896 140018169922531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15897] ppid=15893 vsize=26110532 memory=792 CPUtime=0 cores=0-7
/proc/15895/task/15897/stat : 15897 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26737184768 23984 33554432000 4194304 4196468 140726772104960 140018509883664 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15898] ppid=15893 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/15895/task/15898/stat : 15898 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86481260 26737184768 23984 33554432000 4194304 4196468 140726772104960 140018508831120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15899] ppid=15893 vsize=26110532 memory=1944 CPUtime=0 cores=0-7
/proc/15895/task/15899/stat : 15899 (java) S 15893 15893 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86481260 26737184768 23984 33554432000 4194304 4196468 140726772104960 140018507778576 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0

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

[pid=15895/tid=19197] ppid=15893 vsize=26712684 memory=25300 CPUtime=2399.37 cores=0-7
/proc/15895/task/19197/stat : 19197 (java) R 15893 15893 15516 0 -1 4202560 51288 0 0 0 239905 32 0 0 20 0 28 0 86484377 27353788416 638712 33554432000 4194304 4196468 140726772104960 140016362529032 140018172083552 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
Current children cumulated CPU time: 19435 s
Current children cumulated vsize: 26825812 KiB
Current children cumulated memory: 2556300 KiB

[startup+2502.3 s]
/proc/loadavg: 8.83 8.58 8.46 9/212 19267
/proc/meminfo: memFree=24819440/32770624 swapFree=67108860/67108860
[pid=15893] ppid=15890 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15893/stat : 15893 (xcsp3-exec) S 15890 15893 15516 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86481258 115843072 363 33554432000 4194304 5098028 140727373921264 140727373919368 140354802090620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29786112 140727373927478 140727373927680 140727373927680 140727373930442 0
/proc/15893/statm: 28282 363 306 221 0 87 0
[pid=15895] ppid=15893 vsize=26712684 memory=2551768 CPUtime=19913.5 cores=0-7
/proc/15895/stat : 15895 (java) S 15893 15893 15516 0 -1 1077944320 730390 0 2 0 1990678 674 0 0 20 0 28 0 86481259 27353788416 637942 33554432000 4194304 4196468 140726772104960 140726772087504 140018557263607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
/proc/15895/statm: 6678171 637942 3463 1 0 6639365 0
[pid=15895/tid=15896] ppid=15893 vsize=26712684 memory=2551768 CPUtime=2.67 cores=0-7
/proc/15895/task/15896/stat : 15896 (java) S 15893 15893 15516 0 -1 1077944384 8690 0 0 0 260 7 0 0 20 0 28 0 86481259 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018561504320 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15897] ppid=15893 vsize=26712684 memory=2551768 CPUtime=5.12 cores=0-7
/proc/15895/task/15897/stat : 15897 (java) S 15893 15893 15516 0 -1 1077944384 27277 0 0 0 483 29 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018509883664 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15898] ppid=15893 vsize=26712684 memory=2552280 CPUtime=5.05 cores=0-7
/proc/15895/task/15898/stat : 15898 (java) S 15893 15893 15516 0 -1 1077944384 24785 0 0 0 477 28 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018508831120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15899] ppid=15893 vsize=26712684 memory=2551768 CPUtime=5.1 cores=0-7
/proc/15895/task/15899/stat : 15899 (java) S 15893 15893 15516 0 -1 1077944384 25507 0 0 0 479 31 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018507778576 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15900] ppid=15893 vsize=26712684 memory=2551768 CPUtime=5.05 cores=0-7
/proc/15895/task/15900/stat : 15900 (java) S 15893 15893 15516 0 -1 1077944384 26094 0 0 0 477 28 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018506726032 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15901] ppid=15893 vsize=26712684 memory=2551768 CPUtime=5.09 cores=0-7
/proc/15895/task/15901/stat : 15901 (java) S 15893 15893 15516 0 -1 1077944384 26965 0 0 0 485 24 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018505673488 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15902] ppid=15893 vsize=26712684 memory=1452 CPUtime=5.12 cores=0-7
/proc/15895/task/15902/stat : 15902 (java) S 15893 15893 15516 0 -1 1077944384 25073 0 0 0 482 30 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018504620944 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15903] ppid=15893 vsize=26712684 memory=280161658413824 CPUtime=5.06 cores=0-7
/proc/15895/task/15903/stat : 15903 (java) S 15893 15893 15516 0 -1 1077944384 24621 0 0 0 478 28 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018503568400 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15904] ppid=15893 vsize=26712684 memory=2551768 CPUtime=5.11 cores=0-7
/proc/15895/task/15904/stat : 15904 (java) S 15893 15893 15516 0 -1 1077944384 22729 0 0 0 484 27 0 0 20 0 28 0 86481260 27353788416 637942 33554432000 4194304 4196468 140726772104960 140018502515856 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15905] ppid=15893 vsize=26712684 memory=968 CPUtime=1.61 cores=0-7
/proc/15895/task/15905/stat : 15905 (java) S 15893 15893 15516 0 -1 1077944384 73356 0 0 0 127 34 0 0 20 0 28 0 86481261 27353788416 637942 33554432000 4194304 4196468 140726772104960 140017617557488 140018557274754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15906] ppid=15893 vsize=26712684 memory=12040 CPUtime=0 cores=0-7
/proc/15895/task/15906/stat : 15906 (java) S 15893 15893 15516 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 86481262 27353788416 637942 33554432000 4194304 4196468 140726772104960 140017616503840 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15907] ppid=15893 vsize=26712684 memory=1452 CPUtime=0 cores=0-7
/proc/15895/task/15907/stat : 15907 (java) S 15893 15893 15516 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 86481262 27353788416 637942 33554432000 4194304 4196468 140726772104960 140017615451200 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15908] ppid=15893 vsize=26712684 memory=2551768 CPUtime=0 cores=0-7
/proc/15895/task/15908/stat : 15908 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86481264 27353788416 637942 33554432000 4194304 4196468 140726772104960 140017614399696 140018557282203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15909] ppid=15893 vsize=26712684 memory=3560 CPUtime=3.84 cores=0-7
/proc/15895/task/15909/stat : 15909 (java) S 15893 15893 15516 0 -1 1077944384 21827 0 2 0 379 5 0 0 20 0 28 0 86481264 27353788416 637942 33554432000 4194304 4196468 140726772104960 140017613347312 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15910] ppid=15893 vsize=26712684 memory=25300 CPUtime=3.88 cores=0-7
/proc/15895/task/15910/stat : 15910 (java) S 15893 15893 15516 0 -1 1077944384 22378 0 0 0 383 5 0 0 20 0 28 0 86481264 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016689343088 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15911] ppid=15893 vsize=26712684 memory=1452 CPUtime=4.12 cores=0-7
/proc/15895/task/15911/stat : 15911 (java) S 15893 15893 15516 0 -1 1077944384 21113 0 0 0 407 5 0 0 20 0 28 0 86481264 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016688290544 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15912] ppid=15893 vsize=26712684 memory=2554848 CPUtime=1.29 cores=0-7
/proc/15895/task/15912/stat : 15912 (java) S 15893 15893 15516 0 -1 1077944384 15073 0 0 0 126 3 0 0 20 0 28 0 86481265 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016687238000 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15913] ppid=15893 vsize=26712684 memory=1452 CPUtime=0 cores=0-7
/proc/15895/task/15913/stat : 15913 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86481265 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016686184672 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15914] ppid=15893 vsize=26712684 memory=1452 CPUtime=1.03 cores=0-7
/proc/15895/task/15914/stat : 15914 (java) S 15893 15893 15516 0 -1 1077944384 5522 0 0 0 34 69 0 0 20 0 28 0 86481265 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016685132208 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19190] ppid=15893 vsize=26712684 memory=2551768 CPUtime=2456.84 cores=0-7
/proc/15895/task/19190/stat : 19190 (java) R 15893 15893 15516 0 -1 4202560 25304 0 0 0 245660 24 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016673386536 140018175761881 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19191] ppid=15893 vsize=26712684 memory=245761 CPUtime=2454.57 cores=0-7
/proc/15895/task/19191/stat : 19191 (java) R 15893 15893 15516 0 -1 4202560 27249 0 0 0 245442 15 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016674440408 140018176000061 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19192] ppid=15893 vsize=26712684 memory=245319 CPUtime=2455.79 cores=0-7
/proc/15895/task/19192/stat : 19192 (java) R 15893 15893 15516 0 -1 4202560 27836 0 0 0 245556 23 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016363581848 140018177170858 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19193] ppid=15893 vsize=26712684 memory=245910 CPUtime=2458.92 cores=0-7
/proc/15895/task/19193/stat : 19193 (java) R 15893 15893 15516 0 -1 4202560 28557 0 0 0 245864 28 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016357267856 140018175270440 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19194] ppid=15893 vsize=26712684 memory=6791534058613427641 CPUtime=2450.94 cores=0-7
/proc/15895/task/19194/stat : 19194 (java) R 15893 15893 15516 0 -1 4202560 86440 0 0 0 244992 102 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016360423624 140018176765008 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19195] ppid=15893 vsize=26712684 memory=5484 CPUtime=2457.8 cores=0-7
/proc/15895/task/19195/stat : 19195 (java) R 15893 15893 15516 0 -1 4202560 27061 0 0 0 245757 23 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016364634264 140018175999645 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19196] ppid=15893 vsize=26712684 memory=1444 CPUtime=2453.38 cores=0-7
/proc/15895/task/19196/stat : 19196 (java) R 15893 15893 15516 0 -1 4202560 37851 0 0 0 245301 37 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016358318424 140018170776198 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19197] ppid=15893 vsize=26712684 memory=1160 CPUtime=2459.3 cores=0-7
/proc/15895/task/19197/stat : 19197 (java) R 15893 15893 15516 0 -1 4202560 51893 0 0 0 245897 33 0 0 20 0 28 0 86484377 27353788416 637942 33554432000 4194304 4196468 140726772104960 140016362528640 140018166351264 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
Current children cumulated CPU time: 19913.5 s
Current children cumulated vsize: 26825812 KiB
Current children cumulated memory: 2553220 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.71 8.57 8.46 10/213 19268
/proc/meminfo: memFree=24820680/32770624 swapFree=67108860/67108860
[pid=15893] ppid=15890 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15893/stat : 15893 (xcsp3-exec) S 15890 15893 15516 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86481258 115843072 363 33554432000 4194304 5098028 140727373921264 140727373919368 140354802090620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29786112 140727373927478 140727373927680 140727373927680 140727373930442 0
/proc/15893/statm: 28282 363 306 221 0 87 0
[pid=15895] ppid=15893 vsize=26712684 memory=2550744 CPUtime=20054.8 cores=0-7
/proc/15895/stat : 15895 (java) S 15893 15893 15516 0 -1 1077944320 734803 0 2 0 2004807 675 0 0 20 0 28 0 86481259 27353788416 637686 33554432000 4194304 4196468 140726772104960 140726772087504 140018557263607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
/proc/15895/statm: 6678171 637686 3463 1 0 6639365 0
[pid=15895/tid=15896] ppid=15893 vsize=26712684 memory=6791534058613427641 CPUtime=2.67 cores=0-7
/proc/15895/task/15896/stat : 15896 (java) S 15893 15893 15516 0 -1 1077944384 8690 0 0 0 260 7 0 0 20 0 28 0 86481259 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018561504320 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15897] ppid=15893 vsize=26712684 memory=-7003737579269690708 CPUtime=5.13 cores=0-7
/proc/15895/task/15897/stat : 15897 (java) S 15893 15893 15516 0 -1 1077944384 27445 0 0 0 484 29 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018509883664 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15898] ppid=15893 vsize=26712684 memory=2376 CPUtime=5.06 cores=0-7
/proc/15895/task/15898/stat : 15898 (java) S 15893 15893 15516 0 -1 1077944384 24995 0 0 0 478 28 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018508831120 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15899] ppid=15893 vsize=26712684 memory=1536 CPUtime=5.12 cores=0-7
/proc/15895/task/15899/stat : 15899 (java) S 15893 15893 15516 0 -1 1077944384 25691 0 0 0 481 31 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018507778576 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15900] ppid=15893 vsize=26712684 memory=928 CPUtime=5.07 cores=0-7
/proc/15895/task/15900/stat : 15900 (java) S 15893 15893 15516 0 -1 1077944384 26509 0 0 0 479 28 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018506726032 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15901] ppid=15893 vsize=26712684 memory=2244 CPUtime=5.1 cores=0-7
/proc/15895/task/15901/stat : 15901 (java) S 15893 15893 15516 0 -1 1077944384 27103 0 0 0 486 24 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018505673488 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15902] ppid=15893 vsize=26712684 memory=4132 CPUtime=5.13 cores=0-7
/proc/15895/task/15902/stat : 15902 (java) S 15893 15893 15516 0 -1 1077944384 25522 0 0 0 483 30 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018504620944 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15903] ppid=15893 vsize=26712684 memory=6791534058613427641 CPUtime=5.07 cores=0-7
/proc/15895/task/15903/stat : 15903 (java) S 15893 15893 15516 0 -1 1077944384 24725 0 0 0 479 28 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018503568400 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15904] ppid=15893 vsize=26712684 memory=2551256 CPUtime=5.12 cores=0-7
/proc/15895/task/15904/stat : 15904 (java) S 15893 15893 15516 0 -1 1077944384 22752 0 0 0 485 27 0 0 20 0 28 0 86481260 27353788416 637686 33554432000 4194304 4196468 140726772104960 140018502515856 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15905] ppid=15893 vsize=26712684 memory=14410419259311685 CPUtime=1.62 cores=0-7
/proc/15895/task/15905/stat : 15905 (java) S 15893 15893 15516 0 -1 1077944384 73829 0 0 0 127 35 0 0 20 0 28 0 86481261 27353788416 637686 33554432000 4194304 4196468 140726772104960 140017617557488 140018557274754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15906] ppid=15893 vsize=26712684 memory=14410419259311685 CPUtime=0 cores=0-7
/proc/15895/task/15906/stat : 15906 (java) S 15893 15893 15516 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 86481262 27353788416 637686 33554432000 4194304 4196468 140726772104960 140017616503840 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15907] ppid=15893 vsize=26712684 memory=1796 CPUtime=0 cores=0-7
/proc/15895/task/15907/stat : 15907 (java) S 15893 15893 15516 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 86481262 27353788416 637686 33554432000 4194304 4196468 140726772104960 140017615451200 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15908] ppid=15893 vsize=26712684 memory=912 CPUtime=0 cores=0-7
/proc/15895/task/15908/stat : 15908 (java) S 15893 15893 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86481264 27353788416 637686 33554432000 4194304 4196468 140726772104960 140017614399696 140018557282203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15909] ppid=15893 vsize=26712684 memory=5744 CPUtime=3.84 cores=0-7
/proc/15895/task/15909/stat : 15909 (java) S 15893 15893 15516 0 -1 1077944384 21829 0 2 0 379 5 0 0 20 0 28 0 86481264 27353788416 637686 33554432000 4194304 4196468 140726772104960 140017613347312 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15910] ppid=15893 vsize=26712684 memory=4104 CPUtime=3.88 cores=0-7
/proc/15895/task/15910/stat : 15910 (java) S 15893 15893 15516 0 -1 1077944384 22380 0 0 0 383 5 0 0 20 0 28 0 86481264 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016689343088 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15911] ppid=15893 vsize=26712684 memory=1408 CPUtime=4.12 cores=0-7
/proc/15895/task/15911/stat : 15911 (java) S 15893 15893 15516 0 -1 1077944384 21117 0 0 0 407 5 0 0 20 0 28 0 86481264 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016688290544 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15912] ppid=15893 vsize=26712684 memory=3924 CPUtime=1.29 cores=0-7
/proc/15895/task/15912/stat : 15912 (java) S 15893 15893 15516 0 -1 1077944384 15077 0 0 0 126 3 0 0 20 0 28 0 86481265 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016687238000 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15913] ppid=15893 vsize=26712684 memory=1452 CPUtime=0 cores=0-7
/proc/15895/task/15913/stat : 15913 (java) S 15893 15893 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86481265 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016686184672 140018557273813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=15914] ppid=15893 vsize=26712684 memory=1232 CPUtime=1.05 cores=0-7
/proc/15895/task/15914/stat : 15914 (java) S 15893 15893 15516 0 -1 1077944384 5552 0 0 0 35 70 0 0 20 0 28 0 86481265 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016685132208 140018557274754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19190] ppid=15893 vsize=26712684 memory=644 CPUtime=2474.54 cores=0-7
/proc/15895/task/19190/stat : 19190 (java) R 15893 15893 15516 0 -1 4202560 25565 0 0 0 247430 24 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016673385912 140018175270538 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19191] ppid=15893 vsize=26712684 memory=1452 CPUtime=2472.27 cores=0-7
/proc/15895/task/19191/stat : 19191 (java) R 15893 15893 15516 0 -1 4202560 27638 0 0 0 247212 15 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016674442592 140018175998816 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19192] ppid=15893 vsize=26712684 memory=1452 CPUtime=2473.48 cores=0-7
/proc/15895/task/19192/stat : 19192 (java) R 15893 15893 15516 0 -1 4202560 28049 0 0 0 247325 23 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016363581192 140018175340781 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19193] ppid=15893 vsize=26712684 memory=2550744 CPUtime=2476.62 cores=0-7
/proc/15895/task/19193/stat : 19193 (java) R 15893 15893 15516 0 -1 4202560 28763 0 0 0 247634 28 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016357265944 140018175340586 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19194] ppid=15893 vsize=26712684 memory=928 CPUtime=2468.4 cores=0-7
/proc/15895/task/19194/stat : 19194 (java) R 15893 15893 15516 0 -1 4202560 86731 0 0 0 246738 102 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016360423304 140018175340281 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19195] ppid=15893 vsize=26712684 memory=2244 CPUtime=2475.5 cores=0-7
/proc/15895/task/19195/stat : 19195 (java) R 15893 15893 15516 0 -1 4202560 27294 0 0 0 247527 23 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016364634000 140018168091360 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19196] ppid=15893 vsize=26712684 memory=4132 CPUtime=2470.93 cores=0-7
/proc/15895/task/19196/stat : 19196 (java) R 15893 15893 15516 0 -1 4202560 38035 0 0 0 247056 37 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016358318184 140018169907122 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
[pid=15895/tid=19197] ppid=15893 vsize=26712684 memory=2192 CPUtime=2476.99 cores=0-7
/proc/15895/task/19197/stat : 19197 (java) R 15893 15893 15516 0 -1 4202560 52323 0 0 0 247666 33 0 0 20 0 28 0 86484377 27353788416 637686 33554432000 4194304 4196468 140726772104960 140016362529256 140018172733845 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 26386432 140726772110465 140726772110637 140726772110637 140726772113359 0
Current children cumulated CPU time: 20054.8 s
Current children cumulated vsize: 26825812 KiB
Current children cumulated memory: 2552196 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.15
CPU time (s): 20055.7
CPU user time (s): 20048.9
CPU system time (s): 6.77042
CPU usage (%): 795.815
Max. virtual memory (cumulated for all children) (KiB): 26825812
Max. memory (cumulated for all children) (KiB): 2718412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20048.9
system time used= 6.77042
maximum resident set size= 2717008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735998
page faults= 2
swaps= 0
block input operations= 296
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 173524
involuntary context switches= 227413


# summary of solver processes directly reported to runsolver:
#   pid: 15893,15895
#   total CPU time (s): 20055.7
#   total CPU user time (s): 20048.9
#   total CPU system time (s): 6.77042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4552 second user time and 31.6326 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-27 12:59:41
IDJOB=4297367
IDBENCH=141028
IDSOLVER=2760
FILE ID=node135/4297367-1532689181
RUNJOBID= node135-1532684138-15543
PBS_JOBID= 21022270
Free space on /tmp= 48368 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/StillLife/StillLife-wastage-30_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297367-1532689181/watcher-4297367-1532689181 -o /tmp/evaluation-result-4297367-1532689181/solver-4297367-1532689181 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532684138-15543 --watchdog 2580  HOME/xcsp3-exec -seed 299751005 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297367-1532689181.xml

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

MD5SUM BENCH= bc7ca4ef6af3dcde4f5a5d75f0a5d481
RANDOM SEED=299751005

node135.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.50
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.50
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.50
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.50
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:        27367932 kB
MemAvailable:   31929592 kB
Buffers:          157448 kB
Cached:          4637584 kB
SwapCached:            0 kB
Active:          1620036 kB
Inactive:        3231264 kB
Active(anon):       6948 kB
Inactive(anon):    77236 kB
Active(file):    1613088 kB
Inactive(file):  3154028 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             22036 kB
Writeback:             0 kB
AnonPages:         62904 kB
Mapped:            41312 kB
Shmem:             25248 kB
Slab:             248108 kB
SReclaimable:     220756 kB
SUnreclaim:        27352 kB
KernelStack:        3232 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48344 MiB
End job on node135 at 2018-07-27 13:41:41