Trace number 4281605

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)475 1969.77 252.14999

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-32.xml
MD5SUM3de3ac871f1e1c584be6c245f66daf9e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark491
Best CPU time to get the best result obtained on this benchmark251.978
Satisfiable
(Un)Satisfiability was proved
Number of variables2347
Number of constraints1352
Number of domains4
Minimum domain size2
Maximum domain size2313
Distribution of domain sizes[{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}]
Minimum variable degree1
Maximum variable degree35
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}]
Minimum constraint arity2
Maximum constraint arity36
Distribution of constraint arities[{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}]
Number of extensional constraints1152
Number of intensional constraints161
Distribution of constraint types[{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"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-4281605-1503180476.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281605-1503180476.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
7.79/3.16	c solve instance...
14.35/4.03	o 0 
15.05/4.15	o 4 
15.05/4.17	o 6 
15.05/4.18	o 8 
15.05/4.19	o 10 
15.65/4.21	o 12 
15.65/4.23	o 14 
15.65/4.26	o 16 
16.33/4.35	o 18 
18.22/4.62	o 20 
19.63/5.17	o 22 
21.47/5.41	o 24 
22.25/5.50	o 25 
22.87/5.72	o 26 
22.87/5.74	o 27 
23.50/6.18	o 28 
23.50/6.19	o 29 
23.65/6.20	o 30 
23.65/6.21	o 31 
23.65/6.22	o 32 
23.65/6.23	o 33 
23.65/6.23	o 34 
23.65/6.24	o 35 
23.65/6.25	o 36 
23.65/6.25	o 37 
23.65/6.26	o 38 
24.16/6.30	o 39 
24.16/6.31	o 40 
24.16/6.31	o 41 
24.16/6.33	o 42 
24.16/6.34	o 43 
24.16/6.34	o 44 
24.16/6.35	o 45 
24.16/6.36	o 46 
24.16/6.36	o 47 
24.16/6.37	o 48 
24.76/6.41	o 49 
24.76/6.41	o 50 
24.76/6.42	o 51 
24.76/6.43	o 52 
24.76/6.44	o 53 
24.76/6.45	o 54 
24.76/6.46	o 55 
24.76/6.46	o 56 
24.76/6.47	o 57 
24.76/6.48	o 58 
24.76/6.48	o 59 
24.76/6.49	o 60 
25.26/6.50	o 61 
25.26/6.50	o 62 
25.26/6.51	o 63 
25.26/6.52	o 64 
25.26/6.52	o 65 
25.26/6.53	o 66 
25.26/6.54	o 67 
25.26/6.55	o 68 
25.26/6.57	o 69 
25.26/6.58	o 70 
25.26/6.59	o 71 
25.26/6.59	o 72 
25.76/6.60	o 73 
25.76/6.61	o 74 
25.76/6.61	o 75 
25.76/6.62	o 76 
25.76/6.63	o 77 
25.76/6.63	o 78 
25.76/6.64	o 79 
25.76/6.65	o 80 
25.76/6.65	o 81 
25.76/6.66	o 82 
25.76/6.67	o 83 
25.76/6.67	o 84 
25.76/6.68	o 85 
25.76/6.69	o 86 
25.76/6.69	o 87 
26.20/6.70	o 88 
26.20/6.70	o 89 
26.20/6.71	o 90 
26.20/6.72	o 91 
26.20/6.72	o 92 
26.20/6.73	o 93 
26.20/6.73	o 94 
26.20/6.74	o 95 
26.20/6.75	o 96 
26.20/6.75	o 97 
26.20/6.76	o 98 
26.20/6.77	o 99 
26.20/6.78	o 100 
26.20/6.78	o 101 
26.20/6.79	o 102 
26.20/6.79	o 103 
26.74/6.80	o 104 
26.74/6.81	o 105 
26.74/6.81	o 106 
26.74/6.82	o 107 
26.74/6.83	o 108 
26.74/6.83	o 109 
26.74/6.84	o 110 
26.74/6.86	o 111 
26.74/6.87	o 112 
26.74/6.88	o 113 
26.74/6.89	o 114 
26.74/6.89	o 115 
27.26/6.90	o 116 
27.26/6.91	o 117 
27.26/6.91	o 118 
27.26/6.92	o 119 
27.26/6.93	o 120 
27.26/6.93	o 121 
27.26/6.94	o 122 
27.26/6.95	o 123 
27.26/6.95	o 124 
27.26/6.96	o 125 
27.26/6.97	o 126 
27.26/6.98	o 127 
27.26/6.98	o 128 
27.26/6.99	o 129 
27.26/7.00	o 130 
27.26/7.00	o 131 
27.78/7.01	o 132 
27.78/7.02	o 133 
27.78/7.03	o 134 
27.78/7.04	o 135 
27.78/7.04	o 136 
27.78/7.05	o 137 
27.78/7.06	o 138 
27.78/7.07	o 139 
27.78/7.07	o 140 
27.78/7.08	o 141 
27.78/7.09	o 142 
27.78/7.10	o 143 
27.78/7.10	o 144 
28.20/7.11	o 145 
28.20/7.12	o 146 
28.20/7.12	o 147 
28.20/7.15	o 148 
28.20/7.16	o 149 
28.20/7.17	o 150 
28.20/7.17	o 151 
28.20/7.18	o 152 
28.20/7.19	o 153 
28.20/7.20	o 154 
28.72/7.21	o 155 
28.72/7.21	o 156 
28.72/7.22	o 157 
28.72/7.22	o 158 
28.72/7.23	o 159 
28.72/7.23	o 160 
28.72/7.24	o 161 
28.72/7.25	o 162 
28.72/7.25	o 163 
28.72/7.26	o 164 
28.72/7.27	o 165 
28.72/7.28	o 166 
28.72/7.28	o 167 
28.72/7.29	o 168 
28.72/7.30	o 169 
29.23/7.30	o 170 
29.23/7.31	o 171 
29.23/7.32	o 172 
29.23/7.33	o 173 
29.23/7.34	o 174 
29.23/7.34	o 175 
29.23/7.35	o 176 
29.23/7.36	o 177 
29.23/7.36	o 178 
29.23/7.37	o 179 
29.23/7.38	o 180 
29.23/7.38	o 181 
29.23/7.39	o 182 
29.77/7.40	o 183 
29.77/7.41	o 184 
29.77/7.41	o 185 
29.77/7.42	o 186 
29.77/7.43	o 187 
29.77/7.43	o 188 
29.77/7.44	o 189 
29.77/7.45	o 190 
29.77/7.46	o 191 
29.77/7.46	o 192 
29.77/7.47	o 193 
29.77/7.48	o 194 
29.77/7.49	o 195 
29.77/7.50	o 196 
30.23/7.50	o 197 
30.23/7.51	o 198 
30.23/7.52	o 199 
30.23/7.52	o 200 
30.23/7.53	o 201 
30.23/7.54	o 202 
30.23/7.55	o 203 
30.23/7.55	o 204 
30.23/7.56	o 205 
30.23/7.57	o 206 
30.23/7.58	o 207 
30.23/7.58	o 208 
30.23/7.59	o 209 
30.23/7.60	o 210 
30.74/7.60	o 211 
30.74/7.61	o 212 
30.74/7.62	o 213 
30.74/7.63	o 214 
30.74/7.64	o 215 
30.74/7.64	o 216 
30.74/7.65	o 217 
30.74/7.65	o 218 
30.74/7.66	o 219 
30.74/7.66	o 220 
30.74/7.67	o 221 
30.74/7.68	o 222 
30.74/7.69	o 223 
30.74/7.69	o 224 
31.27/7.70	o 225 
31.27/7.71	o 226 
31.27/7.71	o 227 
31.27/7.72	o 228 
31.27/7.73	o 229 
31.27/7.74	o 230 
31.27/7.75	o 231 
31.27/7.75	o 232 
31.27/7.76	o 233 
31.27/7.77	o 234 
31.27/7.78	o 235 
31.27/7.79	o 236 
31.27/7.79	o 237 
31.76/7.80	o 238 
31.76/7.81	o 239 
31.76/7.82	o 240 
31.76/7.83	o 241 
31.76/7.84	o 242 
31.76/7.85	o 243 
31.76/7.85	o 244 
31.76/7.86	o 245 
31.76/7.87	o 246 
31.76/7.88	o 247 
31.76/7.88	o 248 
31.76/7.89	o 249 
32.29/7.90	o 250 
32.29/7.91	o 251 
32.29/7.91	o 252 
32.29/7.92	o 253 
32.29/7.93	o 254 
32.29/7.93	o 255 
32.29/7.94	o 256 
32.29/7.95	o 257 
32.29/7.96	o 258 
32.29/7.96	o 259 
32.29/7.97	o 260 
32.29/7.98	o 261 
32.29/7.99	o 262 
32.29/8.00	o 263 
32.29/8.00	o 264 
32.86/8.01	o 265 
32.86/8.02	o 266 
32.86/8.03	o 267 
32.86/8.03	o 268 
32.86/8.06	o 269 
33.17/8.11	o 270 
34.04/8.53	o 271 
34.04/8.54	o 272 
34.04/8.55	o 273 
34.04/8.55	o 274 
34.04/8.56	o 275 
34.04/8.57	o 276 
34.04/8.58	o 277 
34.04/8.59	o 278 
34.04/8.60	o 279 
34.42/8.60	o 280 
34.42/8.61	o 281 
34.42/8.62	o 282 
34.42/8.63	o 283 
34.42/8.64	o 284 
34.42/8.65	o 285 
34.42/8.65	o 286 
34.42/8.66	o 287 
34.42/8.67	o 288 
34.42/8.68	o 289 
34.42/8.69	o 290 
34.95/8.70	o 291 
34.95/8.71	o 292 
34.95/8.71	o 293 
34.95/8.72	o 294 
34.95/8.73	o 295 
34.95/8.74	o 296 
34.95/8.74	o 297 
34.95/8.75	o 298 
34.95/8.76	o 299 
34.95/8.77	o 300 
34.95/8.78	o 301 
34.95/8.79	o 302 
35.45/8.80	o 303 
35.45/8.81	o 304 
35.45/8.82	o 305 
35.45/8.83	o 306 
35.45/8.84	o 307 
35.45/8.84	o 308 
35.45/8.85	o 309 
35.45/8.86	o 310 
35.45/8.87	o 311 
35.45/8.88	o 312 
35.45/8.88	o 313 
35.45/8.89	o 314 
35.89/8.90	o 315 
35.89/8.91	o 316 
35.89/8.92	o 317 
35.89/8.93	o 318 
35.89/8.94	o 319 
35.89/8.94	o 320 
35.89/8.95	o 321 
35.89/8.96	o 322 
35.89/8.96	o 323 
35.89/8.97	o 324 
35.89/8.98	o 325 
35.89/8.99	o 326 
35.89/9.00	o 327 
35.89/9.01	o 328 
36.39/9.01	o 329 
36.39/9.02	o 330 
36.39/9.03	o 331 
36.39/9.04	o 332 
36.39/9.04	o 333 
36.39/9.06	o 334 
36.39/9.06	o 335 
36.39/9.07	o 336 
36.39/9.08	o 337 
36.39/9.08	o 338 
36.39/9.09	o 339 
36.39/9.10	o 340 
36.88/9.11	o 341 
36.88/9.12	o 342 
36.88/9.13	o 343 
36.88/9.13	o 344 
36.88/9.14	o 345 
36.88/9.15	o 346 
36.88/9.16	o 347 
36.88/9.17	o 348 
36.88/9.18	o 349 
36.88/9.19	o 350 
36.88/9.20	o 351 
37.33/9.21	o 352 
37.33/9.22	o 353 
37.33/9.23	o 354 
37.33/9.24	o 355 
37.33/9.25	o 356 
37.33/9.25	o 357 
37.33/9.26	o 358 
37.33/9.27	o 359 
37.33/9.28	o 360 
37.33/9.29	o 361 
37.33/9.30	o 362 
37.83/9.30	o 363 
37.83/9.31	o 364 
37.83/9.32	o 365 
37.83/9.33	o 366 
37.83/9.34	o 367 
37.83/9.35	o 368 
37.83/9.36	o 369 
37.83/9.37	o 370 
37.83/9.38	o 371 
37.83/9.39	o 372 
37.83/9.39	o 373 
38.38/9.40	o 374 
38.38/9.41	o 375 
38.38/9.42	o 376 
38.38/9.43	o 377 
38.38/9.44	o 378 
38.38/9.45	o 379 
38.38/9.46	o 380 
38.38/9.47	o 381 
38.38/9.48	o 382 
38.38/9.49	o 383 
38.38/9.49	o 384 
38.38/9.50	o 385 
38.88/9.51	o 386 
38.88/9.52	o 387 
38.88/9.53	o 388 
38.88/9.54	o 389 
38.88/9.55	o 390 
38.88/9.55	o 391 
38.88/9.56	o 392 
38.88/9.57	o 393 
38.88/9.58	o 394 
38.88/9.59	o 395 
38.88/9.60	o 396 
39.40/9.61	o 397 
39.40/9.62	o 398 
39.40/9.63	o 399 
39.40/9.64	o 400 
39.40/9.65	o 401 
39.40/9.66	o 402 
39.40/9.67	o 403 
39.40/9.68	o 404 
39.40/9.69	o 405 
39.40/9.69	o 406 
39.91/9.70	o 407 
39.91/9.71	o 408 
39.91/9.72	o 409 
39.91/9.73	o 410 
39.91/9.74	o 411 
39.91/9.75	o 412 
39.91/9.76	o 413 
39.91/9.77	o 414 
39.91/9.78	o 415 
39.91/9.79	o 416 
39.91/9.80	o 417 
40.35/9.81	o 418 
40.35/9.82	o 419 
40.35/9.83	o 420 
40.35/9.84	o 421 
40.35/9.85	o 422 
40.35/9.86	o 423 
40.35/9.87	o 424 
40.35/9.87	o 425 
40.35/9.88	o 426 
40.35/9.89	o 427 
40.89/9.90	o 428 
40.89/9.91	o 429 
40.89/9.92	o 430 
40.89/9.93	o 431 
40.89/9.94	o 432 
40.89/9.96	o 433 
40.89/9.97	o 434 
40.89/9.98	o 435 
40.89/9.99	o 436 
40.89/10.00	o 437 
41.47/10.01	o 438 
41.47/10.02	o 439 
41.47/10.03	o 440 
41.47/10.04	o 441 
41.47/10.05	o 442 
41.47/10.06	o 443 
41.47/10.07	o 444 
41.47/10.08	o 445 
41.47/10.09	o 446 
41.47/10.10	o 447 
41.47/10.11	o 448 
41.99/10.11	o 449 
41.99/10.12	o 450 
41.99/10.13	o 451 
41.99/10.14	o 452 
41.99/10.15	o 453 
41.99/10.16	o 454 
41.99/10.17	o 455 
41.99/10.18	o 456 
41.99/10.20	o 457 
42.48/10.21	o 458 
42.48/10.22	o 459 
42.48/10.23	o 460 
42.48/10.24	o 461 
42.48/10.25	o 462 
42.48/10.26	o 463 
42.48/10.27	o 464 
42.48/10.29	o 465 
43.84/10.44	o 466 
305.27/43.22	o 467 
305.27/43.23	o 468 
305.27/43.24	o 469 
305.27/43.25	o 470 
305.27/43.29	o 471 
644.70/85.97	o 472 
644.70/85.99	o 473 
644.97/86.02	o 474 
1633.15/209.95	o 475 
1969.01/252.09	s SATISFIABLE
1969.01/252.09	v <instantiation>
1969.01/252.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[0][32] x[0][33] 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[1][32] x[1][33] 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[2][32] x[2][33] 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[3][32] x[3][33] 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[4][32] x[4][33] 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[5][32] x[5][33] 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[6][32] x[6][33] 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[7][32] x[7][33] 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[8][32] x[8][33] 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[9][32] x[9][33] 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[10][32] x[10][33] 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[11][32] x[11][33] 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[12][32] x[12][33] 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[13][32] x[13][33] 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[14][32] x[14][33] 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[15][32] x[15][33] 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[16][32] x[16][33] 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[17][32] x[17][33] 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[18][32] x[18][33] 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[19][32] x[19][33] 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[20][32] x[20][33] 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[21][32] x[21][33] 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[22][32] x[22][33] 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[23][32] x[23][33] 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[24][32] x[24][33] 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[25][32] x[25][33] 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[26][32] x[26][33] 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[27][32] x[27][33] 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[28][32] x[28][33] 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[29][32] x[29][33] 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[30][32] x[30][33] 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] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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[0][32] w[0][33] 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[1][32] w[1][33] 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[2][32] w[2][33] 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[3][32] w[3][33] 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[4][32] w[4][33] 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[5][32] w[5][33] 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[6][32] w[6][33] 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[7][32] w[7][33] 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[8][32] w[8][33] 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[9][32] w[9][33] 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[10][32] w[10][33] 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[11][32] w[11][33] 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[12][32] w[12][33] 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[13][32] w[13][33] 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[14][32] w[14][33] 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[15][32] w[15][33] 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[16][32] w[16][33] 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[17][32] w[17][33] 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[18][32] w[18][33] 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[19][32] w[19][33] 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[20][32] w[20][33] 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[21][32] w[21][33] 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[22][32] w[22][33] 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[23][32] w[23][33] 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[24][32] w[24][33] 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[25][32] w[25][33] 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[26][32] w[26][33] 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[27][32] w[27][33] 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[28][32] w[28][33] 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[29][32] w[29][33] 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[30][32] w[30][33] 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] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] 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] ws[32] ws[33] z </list>
1969.01/252.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 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 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 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 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 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 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 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 1 1 0 1 0 0 0 0 1 1 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 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 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 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 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 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 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 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 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 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 0 0 1 0 0 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 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 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 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 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 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 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 2 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 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 2 2 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 1 2 1 0 0 0 2 1 0 0 0 0 1 1 2 1 2 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 10 10 10 22 22 22 59 63 64 66 70 72 102 107 109 110 113 120 139 140 142 155 155 159 174 179 189 203 206 209 223 236 257 276 475 </values>
1969.01/252.09	v </instantiation>
1969.01/252.09	c Unexpected resolution interruption!

Verifier Data 

OK	475

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281605-1503180476/watcher-4281605-1503180476 -o /tmp/evaluation-result-4281605-1503180476/solver-4281605-1503180476 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503168892-23304 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1034655747 HOME/instance-4281605-1503180476.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=28343, runsolver pid=28340

[startup+0.100137 s]*
/proc/loadavg: 8.05 6.08 3.67 2/201 28364
/proc/meminfo: memFree=27179100/32770624 swapFree=67108860/67108860
[pid=28343] ppid=28340 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28343/stat : 28343 (xcsp3-exec) S 28340 28343 23277 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151135072 9740288 345 33554432000 4194304 5098028 140734888369456 140734888367560 140661468676732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34811904 140734888371306 140734888371516 140734888371516 140734888374251 0
/proc/28343/statm: 2378 345 289 221 0 87 0
[pid=28345] ppid=28343 vsize=25999808 memory=26496 CPUtime=0.11 cores=0-7
/proc/28345/stat : 28345 (java) S 28343 28343 23277 0 -1 1077944320 5486 0 0 0 10 1 0 0 20 0 20 0 151135072 26623803392 6624 33554432000 4194304 4196468 140736314101312 140736314083856 140244224622327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
/proc/28345/statm: 6499952 6624 2876 1 0 6488269 0
[pid=28345/tid=28346] ppid=28343 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28345/task/28346/stat : 28346 (java) R 28343 28343 23277 0 -1 4202560 3496 0 0 0 8 1 0 0 20 0 20 0 151135072 26623803392 6624 33554432000 4194304 4196468 140736314101312 140244228848864 140243852427668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28347] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28347/stat : 28347 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140244177243152 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28348] ppid=28343 vsize=25999808 memory=139889492637312 CPUtime=0 cores=0-7
/proc/28345/task/28348/stat : 28348 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140244176190608 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28349] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28349/stat : 28349 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140244175137552 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28350] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28350/stat : 28350 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140244174085008 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28351] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28351/stat : 28351 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140244173031952 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28352] ppid=28343 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28345/task/28352/stat : 28352 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140243777223312 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28353] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28353/stat : 28353 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140243776170256 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28354] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28354/stat : 28354 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26623803392 6624 33554432000 4194304 4196468 140736314101312 140243775117712 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28355] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28355/stat : 28355 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135075 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242966792944 140244224633474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28356] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28356/stat : 28356 (java) S 28343 28343 23277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151135075 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242965739168 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28357] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28357/stat : 28357 (java) S 28343 28343 23277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151135075 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242964686064 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28358] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28358/stat : 28358 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135078 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242896021968 140244224640923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28359] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28359/stat : 28359 (java) S 28343 28343 23277 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 151135078 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242894969072 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28360] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28360/stat : 28360 (java) R 28343 28343 23277 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 151135078 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242893916528 140244224633474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28361] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28361/stat : 28361 (java) R 28343 28343 23277 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 151135078 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242892863472 140244224633474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28362] ppid=28343 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28345/task/28362/stat : 28362 (java) R 28343 28343 23277 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 151135078 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242891810928 140244205874896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28363] ppid=28343 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28363/stat : 28363 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151135078 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242890759136 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28364] ppid=28343 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28345/task/28364/stat : 28364 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135078 26623803392 6624 33554432000 4194304 4196468 140736314101312 140242889706672 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27876 KiB

[startup+0.213664 s]*
/proc/loadavg: 8.05 6.08 3.67 3/201 28364
/proc/meminfo: memFree=27167920/32770624 swapFree=67108860/67108860
[pid=28343] ppid=28340 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28343/stat : 28343 (xcsp3-exec) S 28340 28343 23277 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151135072 9740288 345 33554432000 4194304 5098028 140734888369456 140734888367560 140661468676732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34811904 140734888371306 140734888371516 140734888371516 140734888374251 0
/proc/28343/statm: 2378 345 289 221 0 87 0
[pid=28345] ppid=28343 vsize=26004096 memory=39220 CPUtime=0.33 cores=0-7
/proc/28345/stat : 28345 (java) S 28343 28343 23277 0 -1 1077944320 8405 0 0 0 31 2 0 0 20 0 20 0 151135072 26628194304 9805 33554432000 4194304 4196468 140736314101312 140736314083856 140244224622327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
/proc/28345/statm: 6501024 9805 3080 1 0 6488277 0
[pid=28345/tid=28346] ppid=28343 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28345/task/28346/stat : 28346 (java) D 28343 28343 23277 0 -1 1077944384 5513 0 0 0 18 2 0 0 20 0 20 0 151135072 26628161536 9805 33554432000 4194304 4196468 140736314101312 140244228833232 140244217301549 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28347] ppid=28343 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/28345/task/28347/stat : 28347 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 9805 33554432000 4194304 4196468 140736314101312 140244177243152 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28348] ppid=28343 vsize=26004064 memory=3977155030901339808 CPUtime=0 cores=0-7
/proc/28345/task/28348/stat : 28348 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 9805 33554432000 4194304 4196468 140736314101312 140244176190608 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28349] ppid=28343 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28345/task/28349/stat : 28349 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 9805 33554432000 4194304 4196468 140736314101312 140244175137552 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28350] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28350/stat : 28350 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 9805 33554432000 4194304 4196468 140736314101312 140244174085008 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28351] ppid=28343 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28351/stat : 28351 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26628194304 9805 33554432000 4194304 4196468 140736314101312 140244173031952 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28352] ppid=28343 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28345/task/28352/stat : 28352 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 9805 33554432000 4194304 4196468 140736314101312 140243777223312 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28353] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28353/stat : 28353 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 9805 33554432000 4194304 4196468 140736314101312 140243776170256 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28354] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28354/stat : 28354 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 9805 33554432000 4194304 4196468 140736314101312 140243775117712 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28355] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28355/stat : 28355 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135075 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242966792944 140244224633474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28356] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28356/stat : 28356 (java) S 28343 28343 23277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151135075 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242965739168 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28357] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28357/stat : 28357 (java) S 28343 28343 23277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151135075 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242964686064 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28358] ppid=28343 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28358/stat : 28358 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135078 26628194304 9805 33554432000 4194304 4196468 140736314101312 140242896021968 140244224640923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28359] ppid=28343 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/28345/task/28359/stat : 28359 (java) S 28343 28343 23277 0 -1 1077944384 677 0 0 0 2 0 0 0 20 0 20 0 151135078 26628194304 9805 33554432000 4194304 4196468 140736314101312 140242894969072 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28360] ppid=28343 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28345/task/28360/stat : 28360 (java) S 28343 28343 23277 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 20 0 151135078 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242893916528 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28361] ppid=28343 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28345/task/28361/stat : 28361 (java) S 28343 28343 23277 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 151135078 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242892863472 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28362] ppid=28343 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/28345/task/28362/stat : 28362 (java) S 28343 28343 23277 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 20 0 151135078 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242891810928 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28363] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28363/stat : 28363 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151135078 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242890759136 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28364] ppid=28343 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28345/task/28364/stat : 28364 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135078 26628161536 9805 33554432000 4194304 4196468 140736314101312 140242889706672 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40600 KiB

[startup+0.310405 s]*
/proc/loadavg: 8.05 6.08 3.67 3/201 28364
/proc/meminfo: memFree=27163392/32770624 swapFree=67108860/67108860
[pid=28343] ppid=28340 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28343/stat : 28343 (xcsp3-exec) S 28340 28343 23277 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151135072 9740288 345 33554432000 4194304 5098028 140734888369456 140734888367560 140661468676732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34811904 140734888371306 140734888371516 140734888371516 140734888374251 0
/proc/28343/statm: 2378 345 289 221 0 87 0
[pid=28345] ppid=28343 vsize=26004064 memory=46088 CPUtime=0.5 cores=0-7
/proc/28345/stat : 28345 (java) S 28343 28343 23277 0 -1 1077944320 9201 0 0 0 47 3 0 0 20 0 20 0 151135072 26628161536 11522 33554432000 4194304 4196468 140736314101312 140736314083856 140244224622327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
/proc/28345/statm: 6501016 11522 3096 1 0 6488269 0
[pid=28345/tid=28346] ppid=28343 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28345/task/28346/stat : 28346 (java) R 28343 28343 23277 0 -1 4202560 6076 0 0 0 27 2 0 0 20 0 20 0 151135072 26628161536 11522 33554432000 4194304 4196468 140736314101312 140244228861552 140243854399628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28347] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28347/stat : 28347 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140244177243152 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28348] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28348/stat : 28348 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140244176190608 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28349] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28349/stat : 28349 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140244175137552 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28350] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28350/stat : 28350 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140244174085008 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28351] ppid=28343 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28345/task/28351/stat : 28351 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140244173031952 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28352] ppid=28343 vsize=26004064 memory=139889366627247 CPUtime=0 cores=0-7
/proc/28345/task/28352/stat : 28352 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140243777223312 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28353] ppid=28343 vsize=26004064 memory=139889366629552 CPUtime=0 cores=0-7
/proc/28345/task/28353/stat : 28353 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140243776170256 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28354] ppid=28343 vsize=26004064 memory=139889366631856 CPUtime=0 cores=0-7
/proc/28345/task/28354/stat : 28354 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26628161536 11522 33554432000 4194304 4196468 140736314101312 140243775117712 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28355] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28355/stat : 28355 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135075 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242966792944 140244224633474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28356] ppid=28343 vsize=26004064 memory=279778733270672 CPUtime=0 cores=0-7
/proc/28345/task/28356/stat : 28356 (java) S 28343 28343 23277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151135075 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242965739168 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28357] ppid=28343 vsize=26004064 memory=279778733277584 CPUtime=0 cores=0-7
/proc/28345/task/28357/stat : 28357 (java) S 28343 28343 23277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151135075 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242964686064 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28358] ppid=28343 vsize=26004064 memory=279778733218864 CPUtime=0 cores=0-7
/proc/28345/task/28358/stat : 28358 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135078 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242896021968 140244224640923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28359] ppid=28343 vsize=26004064 memory=279778733291408 CPUtime=0.03 cores=0-7
/proc/28345/task/28359/stat : 28359 (java) S 28343 28343 23277 0 -1 1077944384 686 0 0 0 3 0 0 0 20 0 20 0 151135078 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242894969072 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28360] ppid=28343 vsize=26004064 memory=279778733298320 CPUtime=0.02 cores=0-7
/proc/28345/task/28360/stat : 28360 (java) R 28343 28343 23277 0 -1 4202560 158 0 0 0 2 0 0 0 20 0 20 0 151135078 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242893916528 140244205322624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28361] ppid=28343 vsize=26004064 memory=279778733296016 CPUtime=0.01 cores=0-7
/proc/28345/task/28361/stat : 28361 (java) S 28343 28343 23277 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 151135078 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242892863472 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28362] ppid=28343 vsize=26004064 memory=279778733312176 CPUtime=0.12 cores=0-7
/proc/28345/task/28362/stat : 28362 (java) R 28343 28343 23277 0 -1 4202560 886 0 0 0 12 0 0 0 20 0 20 0 151135078 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242891811056 140244217719203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28363] ppid=28343 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28363/stat : 28363 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151135078 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242890759136 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28364] ppid=28343 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28345/task/28364/stat : 28364 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135078 26628161536 11522 33554432000 4194304 4196468 140736314101312 140242889706672 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47468 KiB

[startup+0.701056 s]
/proc/loadavg: 8.05 6.08 3.67 6/201 28364
/proc/meminfo: memFree=27136592/32770624 swapFree=67108860/67108860
[pid=28343] ppid=28340 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28343/stat : 28343 (xcsp3-exec) S 28340 28343 23277 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151135072 9740288 345 33554432000 4194304 5098028 140734888369456 140734888367560 140661468676732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34811904 140734888371306 140734888371516 140734888371516 140734888374251 0
/proc/28343/statm: 2378 345 289 221 0 87 0
[pid=28345] ppid=28343 vsize=26006188 memory=85356 CPUtime=1.89 cores=0-7
/proc/28345/stat : 28345 (java) S 28343 28343 23277 0 -1 1077944320 12386 0 0 0 184 5 0 0 20 0 20 0 151135072 26630336512 21339 33554432000 4194304 4196468 140736314101312 140736314083856 140244224622327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
/proc/28345/statm: 6501547 21339 3198 1 0 6488781 0
[pid=28345/tid=28346] ppid=28343 vsize=26006188 memory=279778733670064 CPUtime=0.67 cores=0-7
/proc/28345/task/28346/stat : 28346 (java) R 28343 28343 23277 0 -1 4202560 6611 0 0 0 64 3 0 0 20 0 20 0 151135072 26630336512 21339 33554432000 4194304 4196468 140736314101312 140244228858032 140244206911648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28347] ppid=28343 vsize=26006188 memory=139889366836080 CPUtime=0 cores=0-7
/proc/28345/task/28347/stat : 28347 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26630336512 21339 33554432000 4194304 4196468 140736314101312 140244177243152 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28348] ppid=28343 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/28345/task/28348/stat : 28348 (java) S 28343 28343 23277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151135073 26630336512 21339 33554432000 4194304 4196468 140736314101312 140244176190608 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28349] ppid=28343 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/28345/task/28349/stat : 28349 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151135073 26630336512 21339 33554432000 4194304 4196468 140736314101312 140244175137552 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0

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

/proc/meminfo: memFree=19652308/32770624 swapFree=67108860/67108860
[pid=28343] ppid=28340 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28343/stat : 28343 (xcsp3-exec) S 28340 28343 23277 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151135072 9740288 345 33554432000 4194304 5098028 140734888369456 140734888367560 140661468676732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34811904 140734888371306 140734888371516 140734888371516 140734888374251 0
/proc/28343/statm: 2378 345 289 221 0 87 0
[pid=28345] ppid=28343 vsize=26607312 memory=7498180 CPUtime=1732.01 cores=0-7
/proc/28345/stat : 28345 (java) S 28343 28343 23277 0 -1 1077944320 186218 0 0 0 172785 416 0 0 20 0 28 0 151135072 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140736314083856 140244224622327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
/proc/28345/statm: 6651828 1874545 3288 1 0 6639062 0
[pid=28345/tid=28346] ppid=28343 vsize=26607312 memory=7543628 CPUtime=3.52 cores=0-7
/proc/28345/task/28346/stat : 28346 (java) S 28343 28343 23277 0 -1 1077944384 10507 0 0 0 343 9 0 0 20 0 28 0 151135072 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140244228863024 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28347] ppid=28343 vsize=26607312 memory=7543628 CPUtime=0.22 cores=0-7
/proc/28345/task/28347/stat : 28347 (java) S 28343 28343 23277 0 -1 1077944384 457 0 0 0 15 7 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140244177243152 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28348] ppid=28343 vsize=26607312 memory=7543260 CPUtime=0.22 cores=0-7
/proc/28345/task/28348/stat : 28348 (java) S 28343 28343 23277 0 -1 1077944384 762 0 0 0 14 8 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140244176190608 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28349] ppid=28343 vsize=26607312 memory=7543268 CPUtime=0.23 cores=0-7
/proc/28345/task/28349/stat : 28349 (java) S 28343 28343 23277 0 -1 1077944384 645 0 0 0 15 8 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140244175137552 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28350] ppid=28343 vsize=26607312 memory=7498180 CPUtime=0.19 cores=0-7
/proc/28345/task/28350/stat : 28350 (java) S 28343 28343 23277 0 -1 1077944384 795 0 0 0 13 6 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140244174085008 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28351] ppid=28343 vsize=26607312 memory=1380 CPUtime=0.21 cores=0-7
/proc/28345/task/28351/stat : 28351 (java) S 28343 28343 23277 0 -1 1077944384 1272 0 0 0 14 7 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140244173031952 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28352] ppid=28343 vsize=26607312 memory=0 CPUtime=0.21 cores=0-7
/proc/28345/task/28352/stat : 28352 (java) S 28343 28343 23277 0 -1 1077944384 757 0 0 0 14 7 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140243777223312 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28353] ppid=28343 vsize=26607312 memory=7544656 CPUtime=0.23 cores=0-7
/proc/28345/task/28353/stat : 28353 (java) S 28343 28343 23277 0 -1 1077944384 797 0 0 0 15 8 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140243776170256 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28354] ppid=28343 vsize=26607312 memory=7543100 CPUtime=0.23 cores=0-7
/proc/28345/task/28354/stat : 28354 (java) S 28343 28343 23277 0 -1 1077944384 833 0 0 0 16 7 0 0 20 0 28 0 151135073 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140243775117712 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28355] ppid=28343 vsize=26607312 memory=7543328 CPUtime=0.05 cores=0-7
/proc/28345/task/28355/stat : 28355 (java) S 28343 28343 23277 0 -1 1077944384 5926 0 0 0 4 1 0 0 20 0 28 0 151135075 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242966792944 140244224633474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28356] ppid=28343 vsize=26607312 memory=7543328 CPUtime=0 cores=0-7
/proc/28345/task/28356/stat : 28356 (java) S 28343 28343 23277 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 151135075 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242965739232 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28357] ppid=28343 vsize=26607312 memory=1380 CPUtime=0 cores=0-7
/proc/28345/task/28357/stat : 28357 (java) S 28343 28343 23277 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 151135075 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242964686080 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28358] ppid=28343 vsize=26607312 memory=7544656 CPUtime=0 cores=0-7
/proc/28345/task/28358/stat : 28358 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151135078 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242896021968 140244224640923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28359] ppid=28343 vsize=26607312 memory=11830 CPUtime=3.43 cores=0-7
/proc/28345/task/28359/stat : 28359 (java) S 28343 28343 23277 0 -1 1077944384 16392 0 0 0 341 2 0 0 20 0 28 0 151135078 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242894969072 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28360] ppid=28343 vsize=26607312 memory=11727 CPUtime=3.29 cores=0-7
/proc/28345/task/28360/stat : 28360 (java) S 28343 28343 23277 0 -1 1077944384 16710 0 0 0 326 3 0 0 20 0 28 0 151135078 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242893916528 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28361] ppid=28343 vsize=26607312 memory=330 CPUtime=3.3 cores=0-7
/proc/28345/task/28361/stat : 28361 (java) S 28343 28343 23277 0 -1 1077944384 15779 0 0 0 327 3 0 0 20 0 28 0 151135078 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242892863472 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28362] ppid=28343 vsize=26607312 memory=128 CPUtime=1.28 cores=0-7
/proc/28345/task/28362/stat : 28362 (java) S 28343 28343 23277 0 -1 1077944384 13370 0 0 0 126 2 0 0 20 0 28 0 151135078 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242891810928 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28363] ppid=28343 vsize=26607312 memory=8658345577278747894 CPUtime=0 cores=0-7
/proc/28345/task/28363/stat : 28363 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151135078 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242890759136 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28364] ppid=28343 vsize=26607312 memory=8658345577277958182 CPUtime=0.09 cores=0-7
/proc/28345/task/28364/stat : 28364 (java) S 28343 28343 23277 0 -1 1077944384 1979 0 0 0 3 6 0 0 20 0 28 0 151135078 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242889706672 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32070] ppid=28343 vsize=26607312 memory=1440 CPUtime=12.31 cores=0-7
/proc/28345/task/32070/stat : 32070 (java) R 28343 28343 23277 0 -1 4202560 352 0 0 0 1230 1 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242875874224 140243861889360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32071] ppid=28343 vsize=26607312 memory=5796 CPUtime=12.33 cores=0-7
/proc/28345/task/32071/stat : 32071 (java) R 28343 28343 23277 0 -1 4202560 319 0 0 0 1233 0 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242874823160 140243855020224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32072] ppid=28343 vsize=26607312 memory=1380 CPUtime=12.33 cores=0-7
/proc/28345/task/32072/stat : 32072 (java) R 28343 28343 23277 0 -1 4202560 193 0 0 0 1233 0 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242881138528 140243862012640 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32073] ppid=28343 vsize=26607312 memory=4100 CPUtime=12.32 cores=0-7
/proc/28345/task/32073/stat : 32073 (java) R 28343 28343 23277 0 -1 4202560 1986 0 0 0 1231 1 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242879036128 140243861364978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32074] ppid=28343 vsize=26607312 memory=164 CPUtime=12.33 cores=0-7
/proc/28345/task/32074/stat : 32074 (java) R 28343 28343 23277 0 -1 4202560 333 0 0 0 1231 2 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242871672256 140243861889947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32075] ppid=28343 vsize=26607312 memory=7523376918531162212 CPUtime=12.33 cores=0-7
/proc/28345/task/32075/stat : 32075 (java) R 28343 28343 23277 0 -1 4202560 445 0 0 0 1232 1 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242876928128 140243862078377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32076] ppid=28343 vsize=26607312 memory=41704 CPUtime=12.33 cores=0-7
/proc/28345/task/32076/stat : 32076 (java) R 28343 28343 23277 0 -1 4202560 646 0 0 0 1233 0 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242877981304 140243861342227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32077] ppid=28343 vsize=26607312 memory=1292 CPUtime=12.08 cores=0-7
/proc/28345/task/32077/stat : 32077 (java) R 28343 28343 23277 0 -1 4202560 288 0 0 0 1208 0 0 0 20 0 28 0 151156067 27245887488 1874545 33554432000 4194304 4196468 140736314101312 140242882192120 140243861406635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
Current children cumulated CPU time: 1732.01 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 7499560 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.41 7.38 4.78 10/208 32077
/proc/meminfo: memFree=19698316/32770624 swapFree=67108860/67108860
[pid=28343] ppid=28340 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28343/stat : 28343 (xcsp3-exec) S 28340 28343 23277 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151135072 9740288 345 33554432000 4194304 5098028 140734888369456 140734888367560 140661468676732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34811904 140734888371306 140734888371516 140734888371516 140734888374251 0
/proc/28343/statm: 2378 345 289 221 0 87 0
[pid=28345] ppid=28343 vsize=26607312 memory=7497156 CPUtime=1969.01 cores=0-7
/proc/28345/stat : 28345 (java) S 28343 28343 23277 0 -1 1077944320 199886 0 0 0 196467 434 0 0 20 0 28 0 151135072 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140736314083856 140244224622327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
/proc/28345/statm: 6651828 1874289 3288 1 0 6639062 0
[pid=28345/tid=28346] ppid=28343 vsize=26607312 memory=6791534058613427641 CPUtime=3.52 cores=0-7
/proc/28345/task/28346/stat : 28346 (java) S 28343 28343 23277 0 -1 1077944384 10507 0 0 0 343 9 0 0 20 0 28 0 151135072 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140244228863024 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28347] ppid=28343 vsize=26607312 memory=41704 CPUtime=0.22 cores=0-7
/proc/28345/task/28347/stat : 28347 (java) S 28343 28343 23277 0 -1 1077944384 471 0 0 0 15 7 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140244177243152 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28348] ppid=28343 vsize=26607312 memory=1292 CPUtime=0.23 cores=0-7
/proc/28345/task/28348/stat : 28348 (java) S 28343 28343 23277 0 -1 1077944384 795 0 0 0 15 8 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140244176190608 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28349] ppid=28343 vsize=26607312 memory=2448 CPUtime=0.23 cores=0-7
/proc/28345/task/28349/stat : 28349 (java) S 28343 28343 23277 0 -1 1077944384 670 0 0 0 15 8 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140244175137552 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28350] ppid=28343 vsize=26607312 memory=1732 CPUtime=0.19 cores=0-7
/proc/28345/task/28350/stat : 28350 (java) S 28343 28343 23277 0 -1 1077944384 887 0 0 0 13 6 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140244174085008 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28351] ppid=28343 vsize=26607312 memory=1948 CPUtime=0.21 cores=0-7
/proc/28345/task/28351/stat : 28351 (java) S 28343 28343 23277 0 -1 1077944384 1362 0 0 0 14 7 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140244173031952 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28352] ppid=28343 vsize=26607312 memory=800 CPUtime=0.21 cores=0-7
/proc/28345/task/28352/stat : 28352 (java) S 28343 28343 23277 0 -1 1077944384 810 0 0 0 14 7 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140243777223312 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28353] ppid=28343 vsize=26607312 memory=12132 CPUtime=0.23 cores=0-7
/proc/28345/task/28353/stat : 28353 (java) S 28343 28343 23277 0 -1 1077944384 1162 0 0 0 15 8 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140243776170256 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28354] ppid=28343 vsize=26607312 memory=1440 CPUtime=0.23 cores=0-7
/proc/28345/task/28354/stat : 28354 (java) S 28343 28343 23277 0 -1 1077944384 946 0 0 0 16 7 0 0 20 0 28 0 151135073 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140243775117712 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28355] ppid=28343 vsize=26607312 memory=5796 CPUtime=0.05 cores=0-7
/proc/28345/task/28355/stat : 28355 (java) S 28343 28343 23277 0 -1 1077944384 6263 0 0 0 4 1 0 0 20 0 28 0 151135075 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242966792944 140244224633474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28356] ppid=28343 vsize=26607312 memory=1224 CPUtime=0 cores=0-7
/proc/28345/task/28356/stat : 28356 (java) S 28343 28343 23277 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 151135075 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242965739232 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28357] ppid=28343 vsize=26607312 memory=8716 CPUtime=0 cores=0-7
/proc/28345/task/28357/stat : 28357 (java) S 28343 28343 23277 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 151135075 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242964686080 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28358] ppid=28343 vsize=26607312 memory=1712 CPUtime=0 cores=0-7
/proc/28345/task/28358/stat : 28358 (java) S 28343 28343 23277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151135078 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242896021968 140244224640923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28359] ppid=28343 vsize=26607312 memory=1292 CPUtime=3.43 cores=0-7
/proc/28345/task/28359/stat : 28359 (java) S 28343 28343 23277 0 -1 1077944384 16432 0 0 0 341 2 0 0 20 0 28 0 151135078 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242894969072 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28360] ppid=28343 vsize=26607312 memory=2448 CPUtime=3.29 cores=0-7
/proc/28345/task/28360/stat : 28360 (java) S 28343 28343 23277 0 -1 1077944384 16726 0 0 0 326 3 0 0 20 0 28 0 151135078 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242893916528 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28361] ppid=28343 vsize=26607312 memory=1732 CPUtime=3.3 cores=0-7
/proc/28345/task/28361/stat : 28361 (java) S 28343 28343 23277 0 -1 1077944384 15801 0 0 0 327 3 0 0 20 0 28 0 151135078 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242892863472 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28362] ppid=28343 vsize=26607312 memory=1948 CPUtime=1.28 cores=0-7
/proc/28345/task/28362/stat : 28362 (java) S 28343 28343 23277 0 -1 1077944384 13392 0 0 0 126 2 0 0 20 0 28 0 151135078 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242891810928 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28363] ppid=28343 vsize=26607312 memory=800 CPUtime=0 cores=0-7
/proc/28345/task/28363/stat : 28363 (java) S 28343 28343 23277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151135078 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242890759136 140244224632533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=28364] ppid=28343 vsize=26607312 memory=12132 CPUtime=0.1 cores=0-7
/proc/28345/task/28364/stat : 28364 (java) S 28343 28343 23277 0 -1 1077944384 2154 0 0 0 3 7 0 0 20 0 28 0 151135078 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242889706672 140244224633474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32070] ppid=28343 vsize=26607312 memory=1440 CPUtime=42.02 cores=0-7
/proc/28345/task/32070/stat : 32070 (java) R 28343 28343 23277 0 -1 4202560 974 0 0 0 4199 3 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242875874368 140243862078352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32071] ppid=28343 vsize=26607312 memory=5796 CPUtime=41.8 cores=0-7
/proc/28345/task/32071/stat : 32071 (java) R 28343 28343 23277 0 -1 4202560 1053 0 0 0 4180 0 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242874823704 140243862920614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32072] ppid=28343 vsize=26607312 memory=1224 CPUtime=42.03 cores=0-7
/proc/28345/task/32072/stat : 32072 (java) R 28343 28343 23277 0 -1 4202560 791 0 0 0 4203 0 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242881138712 140243862520344 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32073] ppid=28343 vsize=26607312 memory=8716 CPUtime=42.02 cores=0-7
/proc/28345/task/32073/stat : 32073 (java) R 28343 28343 23277 0 -1 4202560 8331 0 0 0 4190 12 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242879036336 140243861889923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32074] ppid=28343 vsize=26607312 memory=1712 CPUtime=42.04 cores=0-7
/proc/28345/task/32074/stat : 32074 (java) R 28343 28343 23277 0 -1 4202560 895 0 0 0 4200 4 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242871672392 140243861889594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32075] ppid=28343 vsize=26607312 memory=4612 CPUtime=42.04 cores=0-7
/proc/28345/task/32075/stat : 32075 (java) R 28343 28343 23277 0 -1 4202560 1515 0 0 0 4200 4 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242876928024 140243861889900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32076] ppid=28343 vsize=26607312 memory=1004 CPUtime=41.73 cores=0-7
/proc/28345/task/32076/stat : 32076 (java) R 28343 28343 23277 0 -1 4202560 2271 0 0 0 4173 0 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242877981304 140243861342223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
[pid=28345/tid=32077] ppid=28343 vsize=26607312 memory=1200 CPUtime=41.67 cores=0-7
/proc/28345/task/32077/stat : 32077 (java) R 28343 28343 23277 0 -1 4202560 1003 0 0 0 4167 0 0 0 20 0 28 0 151156067 27245887488 1874289 33554432000 4194304 4196468 140736314101312 140242882192664 140243861406266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6684672 140736314107032 140736314107208 140736314107208 140736314109903 0
Current children cumulated CPU time: 1969.01 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 7498536 KiB

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

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

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

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

[startup+252.127 s]*
/proc/loadavg: 8.41 7.38 4.78 2/181 32079
/proc/meminfo: memFree=24674616/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001918 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.15
CPU time (s): 1969.77
CPU user time (s): 1965.37
CPU system time (s): 4.40054
CPU usage (%): 781.19
Max. virtual memory (cumulated for all children) (KiB): 26616824
Max. memory (cumulated for all children) (KiB): 7592728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1965.37
system time used= 4.40054
maximum resident set size= 7592888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41733
involuntary context switches= 20688


# summary of solver processes directly reported to runsolver:
#   pid: 28343,28345
#   total CPU time (s): 1969.77
#   total CPU user time (s): 1965.37
#   total CPU system time (s): 4.40054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33653 second user time and 2.8659 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-19 23:53:36
IDJOB=4281605
IDBENCH=115918
IDSOLVER=2676
FILE ID=node113/4281605-1503180476
RUNJOBID= node113-1503168892-23304
PBS_JOBID= 20630835
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281605-1503180476/watcher-4281605-1503180476 -o /tmp/evaluation-result-4281605-1503180476/solver-4281605-1503180476 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503168892-23304 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1034655747 HOME/instance-4281605-1503180476.xml

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

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=1034655747

node113.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.89
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.89
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.89
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.89
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:        27195576 kB
MemAvailable:   31970256 kB
Buffers:          254356 kB
Cached:          4810280 kB
SwapCached:            0 kB
Active:          1254492 kB
Inactive:        3863596 kB
Active(anon):       3644 kB
Inactive(anon):    85924 kB
Active(file):    1250848 kB
Inactive(file):  3777672 kB
Unevictable:        7480 kB
Mlocked:            7480 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8072 kB
Writeback:             0 kB
AnonPages:         54820 kB
Mapped:            51136 kB
Shmem:             33416 kB
Slab:             150644 kB
SReclaimable:     123992 kB
SUnreclaim:        26652 kB
KernelStack:        3264 kB
PageTables:         4684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61684 MiB
End job on node113 at 2017-08-19 23:57:48