Trace number 4244838

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)SAT (TO)475 2400.21 308.212

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 benchmark516
Best CPU time to get the best result obtained on this benchmark2519.78
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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244838-1500684783.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4244838-1500684783.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
9.27/3.45	c solve instance...
16.70/4.44	o 0 
17.47/4.55	o 4 
17.47/4.57	o 6 
17.47/4.59	o 8 
18.11/4.61	o 10 
18.11/4.65	o 12 
18.11/4.68	o 14 
20.31/4.93	o 16 
26.46/6.00	o 18 
30.56/6.55	o 20 
31.42/6.64	o 22 
31.42/6.72	o 23 
34.11/7.11	o 24 
34.11/7.13	o 25 
35.01/7.59	o 26 
35.13/7.60	o 27 
35.13/7.61	o 28 
35.13/7.62	o 29 
35.13/7.63	o 30 
35.13/7.64	o 31 
35.13/7.65	o 32 
35.13/7.66	o 33 
35.13/7.67	o 34 
35.13/7.68	o 35 
35.13/7.69	o 36 
35.13/7.70	o 37 
35.13/7.71	o 38 
35.73/7.72	o 39 
35.73/7.72	o 40 
35.73/7.73	o 41 
35.73/7.74	o 42 
35.73/7.75	o 43 
35.73/7.76	o 44 
35.73/7.77	o 45 
35.73/7.78	o 46 
35.73/7.79	o 47 
35.73/7.80	o 48 
35.73/7.80	o 49 
36.25/7.81	o 50 
36.25/7.82	o 51 
36.25/7.83	o 52 
36.25/7.84	o 53 
36.25/7.85	o 54 
36.25/7.86	o 55 
36.77/7.90	o 56 
36.77/7.91	o 57 
36.77/7.92	o 58 
36.77/7.93	o 59 
36.77/7.94	o 60 
36.77/7.94	o 61 
36.77/7.95	o 62 
36.77/7.96	o 63 
36.77/7.97	o 64 
36.77/7.98	o 65 
37.36/8.00	o 66 
37.36/8.00	o 67 
37.36/8.02	o 68 
37.36/8.03	o 69 
37.36/8.03	o 70 
37.36/8.06	o 71 
37.36/8.07	o 72 
37.36/8.07	o 73 
37.36/8.09	o 74 
37.36/8.09	o 75 
37.99/8.10	o 76 
37.99/8.11	o 77 
37.99/8.12	o 78 
37.99/8.13	o 79 
37.99/8.14	o 80 
37.99/8.15	o 81 
37.99/8.16	o 82 
37.99/8.16	o 83 
37.99/8.17	o 84 
37.99/8.18	o 85 
38.56/8.23	o 86 
38.56/8.24	o 87 
38.56/8.24	o 88 
38.56/8.26	o 89 
38.56/8.27	o 90 
38.56/8.27	o 91 
38.56/8.28	o 92 
38.56/8.29	o 93 
39.14/8.30	o 94 
39.14/8.31	o 95 
39.14/8.32	o 96 
39.14/8.33	o 97 
39.14/8.34	o 98 
39.14/8.35	o 99 
39.14/8.36	o 100 
39.14/8.37	o 101 
39.14/8.37	o 102 
39.14/8.38	o 103 
39.14/8.39	o 104 
39.14/8.39	o 105 
39.65/8.40	o 106 
39.65/8.41	o 107 
39.65/8.41	o 108 
39.65/8.42	o 109 
39.65/8.46	o 110 
39.65/8.47	o 111 
39.65/8.48	o 112 
39.65/8.49	o 113 
40.20/8.50	o 114 
40.20/8.51	o 115 
40.20/8.52	o 116 
40.20/8.53	o 117 
40.20/8.54	o 118 
40.20/8.55	o 119 
40.20/8.55	o 120 
40.20/8.56	o 121 
40.20/8.57	o 122 
40.20/8.58	o 123 
40.20/8.59	o 124 
40.20/8.60	o 125 
40.78/8.60	o 126 
40.78/8.61	o 127 
40.78/8.62	o 128 
40.78/8.63	o 129 
40.78/8.64	o 130 
40.78/8.64	o 131 
40.78/8.65	o 132 
40.78/8.66	o 133 
40.78/8.66	o 134 
40.78/8.67	o 135 
40.78/8.68	o 136 
40.78/8.69	o 137 
41.30/8.70	o 138 
41.30/8.70	o 139 
41.30/8.71	o 140 
41.30/8.72	o 141 
41.30/8.73	o 142 
41.30/8.73	o 143 
41.30/8.74	o 144 
41.30/8.75	o 145 
41.30/8.75	o 146 
41.30/8.77	o 147 
41.30/8.78	o 148 
41.30/8.79	o 149 
41.30/8.80	o 150 
41.88/8.81	o 151 
41.88/8.82	o 152 
41.88/8.83	o 153 
41.88/8.84	o 154 
41.88/8.85	o 155 
41.88/8.85	o 156 
41.88/8.86	o 157 
41.88/8.87	o 158 
41.88/8.87	o 159 
41.88/8.88	o 160 
41.88/8.89	o 161 
41.88/8.90	o 162 
41.88/8.90	o 163 
42.48/8.91	o 164 
42.48/8.92	o 165 
42.48/8.93	o 166 
42.48/8.94	o 167 
42.48/8.94	o 168 
42.48/8.95	o 169 
42.48/8.96	o 170 
42.48/8.96	o 171 
42.48/8.97	o 172 
42.48/8.98	o 173 
42.83/9.03	o 174 
42.83/9.04	o 175 
42.83/9.05	o 176 
42.83/9.06	o 177 
42.83/9.06	o 178 
42.83/9.07	o 179 
42.83/9.08	o 180 
42.83/9.09	o 181 
42.83/9.09	o 182 
43.13/9.10	o 183 
43.13/9.12	o 184 
43.13/9.13	o 185 
43.13/9.14	o 186 
43.13/9.14	o 187 
43.13/9.15	o 188 
43.13/9.16	o 189 
43.13/9.17	o 190 
43.13/9.18	o 191 
43.13/9.19	o 192 
43.73/9.20	o 193 
43.73/9.21	o 194 
43.73/9.22	o 195 
43.73/9.22	o 196 
43.73/9.23	o 197 
43.73/9.24	o 198 
43.73/9.25	o 199 
43.73/9.26	o 200 
43.73/9.27	o 201 
43.73/9.27	o 202 
43.73/9.28	o 203 
44.22/9.31	o 204 
44.22/9.32	o 205 
44.22/9.33	o 206 
44.22/9.34	o 207 
44.22/9.34	o 208 
44.22/9.35	o 209 
44.22/9.36	o 210 
44.22/9.36	o 211 
44.22/9.37	o 212 
44.22/9.38	o 213 
44.22/9.38	o 214 
44.22/9.39	o 215 
44.62/9.40	o 216 
44.62/9.41	o 217 
44.62/9.41	o 218 
44.62/9.42	o 219 
44.62/9.43	o 220 
44.62/9.44	o 221 
44.62/9.45	o 222 
44.62/9.46	o 223 
44.62/9.46	o 224 
44.62/9.47	o 225 
44.62/9.48	o 226 
44.62/9.49	o 227 
45.13/9.50	o 228 
45.13/9.51	o 229 
45.13/9.52	o 230 
45.13/9.52	o 231 
45.13/9.53	o 232 
45.13/9.55	o 233 
45.13/9.55	o 234 
45.13/9.57	o 235 
45.13/9.57	o 236 
45.13/9.58	o 237 
45.13/9.59	o 238 
45.13/9.59	o 239 
45.65/9.60	o 240 
45.65/9.61	o 241 
45.65/9.62	o 242 
45.65/9.63	o 243 
45.65/9.64	o 244 
45.65/9.65	o 245 
45.65/9.65	o 246 
45.65/9.66	o 247 
45.65/9.67	o 248 
45.65/9.68	o 249 
45.65/9.68	o 250 
45.65/9.69	o 251 
46.13/9.70	o 252 
46.13/9.71	o 253 
46.13/9.72	o 254 
46.13/9.72	o 255 
46.13/9.73	o 256 
46.13/9.74	o 257 
46.13/9.74	o 258 
46.13/9.75	o 259 
46.13/9.76	o 260 
46.13/9.77	o 261 
46.13/9.78	o 262 
46.55/9.84	o 263 
46.55/9.85	o 264 
46.55/9.86	o 265 
46.55/9.87	o 266 
46.55/9.88	o 267 
46.55/9.89	o 268 
46.55/9.90	o 269 
46.55/9.91	o 270 
46.94/9.92	o 271 
46.94/9.94	o 272 
46.94/10.00	o 273 
47.34/10.01	o 274 
48.79/10.60	o 275 
48.79/10.61	o 276 
48.79/10.61	o 277 
48.79/10.62	o 278 
48.79/10.63	o 279 
48.79/10.64	o 280 
48.79/10.65	o 281 
48.79/10.66	o 282 
48.79/10.67	o 283 
48.79/10.68	o 284 
48.79/10.69	o 285 
49.36/10.70	o 286 
49.36/10.71	o 287 
49.36/10.72	o 288 
49.36/10.73	o 289 
49.36/10.74	o 290 
49.36/10.75	o 291 
49.36/10.76	o 292 
49.36/10.77	o 293 
49.36/10.77	o 294 
49.36/10.78	o 295 
49.36/10.79	o 296 
49.86/10.80	o 297 
49.86/10.81	o 298 
49.86/10.82	o 299 
49.86/10.83	o 300 
49.86/10.84	o 301 
49.86/10.85	o 302 
49.86/10.86	o 303 
49.86/10.87	o 304 
49.86/10.88	o 305 
49.86/10.88	o 306 
49.86/10.89	o 307 
50.30/10.91	o 308 
50.30/10.92	o 309 
50.30/10.93	o 310 
50.30/10.94	o 311 
50.30/10.94	o 312 
50.30/10.95	o 313 
50.30/10.96	o 314 
50.30/10.97	o 315 
50.30/10.98	o 316 
50.30/10.99	o 317 
50.30/11.00	o 318 
50.98/11.01	o 319 
50.98/11.02	o 320 
50.98/11.03	o 321 
50.98/11.04	o 322 
50.98/11.05	o 323 
50.98/11.06	o 324 
50.98/11.07	o 325 
50.98/11.08	o 326 
50.98/11.09	o 327 
50.98/11.10	o 328 
51.51/11.13	o 329 
51.51/11.14	o 330 
51.51/11.15	o 331 
51.51/11.16	o 332 
51.51/11.17	o 333 
51.51/11.18	o 334 
51.51/11.19	o 335 
51.91/11.20	o 336 
51.91/11.21	o 337 
51.91/11.22	o 338 
51.91/11.23	o 339 
51.91/11.24	o 340 
51.91/11.25	o 341 
51.91/11.26	o 342 
51.91/11.27	o 343 
51.91/11.28	o 344 
52.36/11.30	o 345 
52.36/11.31	o 346 
52.36/11.32	o 347 
52.36/11.33	o 348 
52.36/11.34	o 349 
52.36/11.36	o 350 
52.36/11.37	o 351 
52.36/11.38	o 352 
52.36/11.39	o 353 
52.90/11.40	o 354 
52.90/11.41	o 355 
52.90/11.42	o 356 
52.90/11.43	o 357 
52.90/11.44	o 358 
52.90/11.45	o 359 
52.90/11.46	o 360 
52.90/11.47	o 361 
53.41/11.51	o 362 
53.41/11.52	o 363 
53.41/11.53	o 364 
53.41/11.54	o 365 
53.41/11.56	o 366 
53.41/11.57	o 367 
53.41/11.58	o 368 
53.41/11.59	o 369 
53.86/11.60	o 370 
53.86/11.61	o 371 
53.86/11.62	o 372 
53.86/11.63	o 373 
53.86/11.64	o 374 
53.86/11.65	o 375 
53.86/11.66	o 376 
53.86/11.67	o 377 
53.86/11.68	o 378 
53.86/11.69	o 379 
54.35/11.70	o 380 
54.35/11.71	o 381 
54.35/11.73	o 382 
54.35/11.74	o 383 
54.35/11.75	o 384 
54.35/11.76	o 385 
54.35/11.77	o 386 
54.35/11.78	o 387 
54.35/11.79	o 388 
54.92/11.80	o 389 
54.92/11.81	o 390 
54.92/11.82	o 391 
54.92/11.83	o 392 
54.92/11.84	o 393 
54.92/11.85	o 394 
54.92/11.87	o 395 
54.92/11.88	o 396 
54.92/11.89	o 397 
55.44/11.90	o 398 
55.44/11.91	o 399 
55.44/11.92	o 400 
55.44/11.93	o 401 
55.44/11.94	o 402 
55.44/11.95	o 403 
55.44/11.97	o 404 
55.44/11.98	o 405 
55.44/11.99	o 406 
56.02/12.00	o 407 
56.02/12.01	o 408 
56.02/12.03	o 409 
56.02/12.04	o 410 
56.02/12.05	o 411 
56.02/12.06	o 412 
56.02/12.07	o 413 
56.02/12.09	o 414 
56.02/12.10	o 415 
56.02/12.11	o 416 
56.60/12.12	o 417 
56.60/12.13	o 418 
56.60/12.14	o 419 
56.60/12.15	o 420 
56.60/12.16	o 421 
56.60/12.17	o 422 
56.60/12.18	o 423 
56.60/12.20	o 424 
57.16/12.21	o 425 
57.16/12.23	o 426 
57.16/12.24	o 427 
57.16/12.25	o 428 
57.16/12.26	o 429 
57.16/12.27	o 430 
57.16/12.28	o 431 
57.16/12.29	o 432 
57.66/12.31	o 433 
57.66/12.32	o 434 
57.66/12.33	o 435 
57.66/12.34	o 436 
57.66/12.35	o 437 
57.66/12.36	o 438 
57.66/12.38	o 439 
57.66/12.39	o 440 
58.26/12.40	o 441 
58.26/12.41	o 442 
58.26/12.42	o 443 
58.26/12.44	o 444 
58.26/12.45	o 445 
58.26/12.46	o 446 
58.26/12.48	o 447 
58.79/12.51	o 448 
58.79/12.52	o 449 
59.57/12.90	o 450 
59.57/12.91	o 451 
59.57/12.93	o 452 
59.57/12.94	o 453 
59.57/12.95	o 454 
59.57/12.96	o 455 
59.57/12.98	o 456 
59.57/12.99	o 457 
60.13/13.08	o 458 
60.13/13.09	o 459 
60.90/13.10	o 460 
60.90/13.11	o 461 
60.90/13.12	o 462 
60.90/13.13	o 463 
60.90/13.17	o 464 
63.48/13.72	o 465 
66.47/14.16	o 466 
280.14/41.19	o 467 
280.25/41.21	o 468 
280.25/41.26	o 469 
283.89/41.78	o 470 
294.41/43.13	o 471 
1080.29/142.05	o 472 
1080.50/142.11	o 473 
1080.83/142.46	o 474 
1081.15/142.52	o 475 
2400.21/308.23	s SATISFIABLE
2400.21/308.23	v <instantiation>
2400.21/308.23	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>
2400.21/308.23	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>
2400.21/308.23	v </instantiation>
2400.21/308.23	c Unexpected resolution interruption!

Verifier Data 

OK	475

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244838-1500684783/watcher-4244838-1500684783 -o /tmp/evaluation-result-4244838-1500684783/solver-4244838-1500684783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1914507956 HOME/instance-4244838-1500684783.xml 

pid=24860
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 12.87 13.19 8.54 2/274 24863
/proc/meminfo: memFree=28857804/32770624 swapFree=5700/248104
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0

[startup+0.100137 s]
/proc/loadavg: 12.87 13.19 8.54 2/274 24863
/proc/meminfo: memFree=28857804/32770624 swapFree=5700/248104
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.2003 s]
/proc/loadavg: 12.87 13.19 8.54 2/274 24863
/proc/meminfo: memFree=28857804/32770624 swapFree=5700/248104
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300259 s]
/proc/loadavg: 12.87 13.19 8.54 2/274 24863
/proc/meminfo: memFree=28857804/32770624 swapFree=5700/248104
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700173 s]
/proc/loadavg: 12.87 13.19 8.54 2/274 24863
/proc/meminfo: memFree=28857804/32770624 swapFree=5700/248104
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50086 s]
/proc/loadavg: 12.87 13.19 8.54 14/295 25140
/proc/meminfo: memFree=28800320/32770624 swapFree=5700/248160
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
[pid=24864] ppid=24863 vsize=13269256 CPUtime=3.91 cores=0,2,4,6,8,10,12,14
/proc/24864/stat : 24864 (java) S 24863 24863 7102 0 -1 1077944320 19979 0 0 0 385 6 0 0 20 0 20 0 3745824 13587718144 37300 33554432000 4194304 4196468 140726483742624 140726483725168 139960305954551 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
/proc/24864/statm: 3317314 37300 3215 1 0 3304547 0
[pid=24864/tid=24865] ppid=24863 vsize=13269256 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24865/stat : 24865 (java) R 24863 24863 7102 0 -1 4202560 8513 0 0 0 143 3 0 0 20 0 20 0 3745824 13587718144 37300 33554432000 4194304 4196468 140726483742624 139960310189800 139960291035392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24867] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24867/stat : 24867 (java) S 24863 24863 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139960238091408 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24868] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24868/stat : 24868 (java) S 24863 24863 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139960237038608 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24869] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24869/stat : 24869 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139960235985808 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24870] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24870/stat : 24870 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139960234933008 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24871] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24871/stat : 24871 (java) S 24863 24863 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959901063824 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24872] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24872/stat : 24872 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959900011024 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24873] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24873/stat : 24873 (java) S 24863 24863 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959898958224 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24874] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24874/stat : 24874 (java) S 24863 24863 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3745825 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959897905424 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24875] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24875/stat : 24875 (java) S 24863 24863 7102 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 3745827 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959835364208 139960305965698 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24876] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24876/stat : 24876 (java) S 24863 24863 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3745828 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959834310176 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24877] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24877/stat : 24877 (java) S 24863 24863 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3745828 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959833257328 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24878] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24878/stat : 24878 (java) S 24863 24863 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3745832 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959832205648 139960305973147 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24879] ppid=24863 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24879/stat : 24879 (java) S 24863 24863 7102 0 -1 1077944384 2734 0 0 0 63 0 0 0 20 0 20 0 3745832 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959495289200 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24880] ppid=24863 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24880/stat : 24880 (java) R 24863 24863 7102 0 -1 4202560 1608 0 0 0 60 1 0 0 20 0 20 0 3745832 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959494236696 139960287490677 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24881] ppid=24863 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24881/stat : 24881 (java) S 24863 24863 7102 0 -1 1077944384 2510 0 0 0 60 0 0 0 20 0 20 0 3745832 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959493183600 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24882] ppid=24863 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24882/stat : 24882 (java) S 24863 24863 7102 0 -1 1077944384 3284 0 0 0 57 0 0 0 20 0 20 0 3745832 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959492130800 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24883] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24883/stat : 24883 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3745833 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959491079264 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24884] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24884/stat : 24884 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3745833 13587718144 37300 33554432000 4194304 4196468 140726483742624 139959490026544 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13278768

[startup+3.10135 s]
/proc/loadavg: 12.87 13.19 8.54 12/295 25412
/proc/meminfo: memFree=28673524/32770624 swapFree=5700/248160
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
[pid=24864] ppid=24863 vsize=13269256 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/24864/stat : 24864 (java) S 24863 24863 7102 0 -1 1077944320 26774 0 0 0 837 54 0 0 20 0 20 0 3745824 13587718144 73344 33554432000 4194304 4196468 140726483742624 140726483725168 139960305954551 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
/proc/24864/statm: 3317314 73344 3260 1 0 3304547 0
[pid=24864/tid=24865] ppid=24863 vsize=13269256 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24865/stat : 24865 (java) R 24863 24863 7102 0 -1 4202560 9389 0 0 0 291 4 0 0 20 0 20 0 3745824 13587718144 73344 33554432000 4194304 4196468 140726483742624 139960310190152 139959919406943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24867] ppid=24863 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24867/stat : 24867 (java) S 24863 24863 7102 0 -1 1077944384 136 0 0 0 5 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139960238091408 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24868] ppid=24863 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24868/stat : 24868 (java) S 24863 24863 7102 0 -1 1077944384 408 0 0 0 4 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139960237038608 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24869] ppid=24863 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24869/stat : 24869 (java) S 24863 24863 7102 0 -1 1077944384 77 0 0 0 4 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139960235985808 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24870] ppid=24863 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24870/stat : 24870 (java) S 24863 24863 7102 0 -1 1077944384 91 0 0 0 5 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139960234933008 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24871] ppid=24863 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24871/stat : 24871 (java) S 24863 24863 7102 0 -1 1077944384 84 0 0 0 4 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959901063824 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24872] ppid=24863 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24872/stat : 24872 (java) S 24863 24863 7102 0 -1 1077944384 93 0 0 0 5 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959900011024 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24873] ppid=24863 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24873/stat : 24873 (java) S 24863 24863 7102 0 -1 1077944384 118 0 0 0 5 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959898958224 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24874] ppid=24863 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24874/stat : 24874 (java) S 24863 24863 7102 0 -1 1077944384 101 0 0 0 4 5 0 0 20 0 20 0 3745825 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959897905424 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24875] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24875/stat : 24875 (java) S 24863 24863 7102 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 20 0 3745827 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959835364208 139960305965698 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24876] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24876/stat : 24876 (java) S 24863 24863 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3745828 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959834310240 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24877] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24877/stat : 24877 (java) S 24863 24863 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3745828 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959833257344 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24878] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24878/stat : 24878 (java) S 24863 24863 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3745832 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959832205648 139960305973147 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24879] ppid=24863 vsize=13269256 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24879/stat : 24879 (java) S 24863 24863 7102 0 -1 1077944384 4584 0 0 0 143 0 0 0 20 0 20 0 3745832 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959495289200 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24880] ppid=24863 vsize=13269256 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24880/stat : 24880 (java) S 24863 24863 7102 0 -1 1077944384 2755 0 0 0 141 1 0 0 20 0 20 0 3745832 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959494236400 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24881] ppid=24863 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24881/stat : 24881 (java) S 24863 24863 7102 0 -1 1077944384 3365 0 0 0 144 0 0 0 20 0 20 0 3745832 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959493183600 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24882] ppid=24863 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24882/stat : 24882 (java) S 24863 24863 7102 0 -1 1077944384 4064 0 0 0 76 1 0 0 20 0 20 0 3745832 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959492130800 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24883] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24883/stat : 24883 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3745833 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959491079264 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24884] ppid=24863 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24884/stat : 24884 (java) S 24863 24863 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3745833 13587718144 73344 33554432000 4194304 4196468 140726483742624 139959490026544 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 13278768

[startup+6.30111 s]
/proc/loadavg: 12.80 13.17 8.56 13/303 26028
/proc/meminfo: memFree=28467452/32770624 swapFree=5700/248168
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
[pid=24864] ppid=24863 vsize=13803816 CPUtime=28.97 cores=0,2,4,6,8,10,12,14
/proc/24864/stat : 24864 (java) S 24863 24863 7102 0 -1 1077944320 32432 0 0 0 2815 82 0 0 20 0 28 0 3745824 14135107584 117804 33554432000 4194304 4196468 140726483742624 140726483725168 139960305954551 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
/proc/24864/statm: 3450954 117804 3271 1 0 3438187 0
[pid=24864/tid=24865] ppid=24863 vsize=13803816 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24865/stat : 24865 (java) S 24863 24863 7102 0 -1 1077944384 9624 0 0 0 331 4 0 0 20 0 28 0 3745824 14135107584 117804 33554432000 4194304 4196468 140726483742624 139960310195328 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24867] ppid=24863 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24867/stat : 24867 (java) S 24863 24863 7102 0 -1 1077944384 224 0 0 0 9 7 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139960238091408 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24868] ppid=24863 vsize=13803816 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24868/stat : 24868 (java) S 24863 24863 7102 0 -1 1077944384 615 0 0 0 9 8 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139960237038608 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24869] ppid=24863 vsize=13803816 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24869/stat : 24869 (java) S 24863 24863 7102 0 -1 1077944384 174 0 0 0 9 8 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139960235985808 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24870] ppid=24863 vsize=13803816 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24870/stat : 24870 (java) S 24863 24863 7102 0 -1 1077944384 110 0 0 0 7 7 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139960234933008 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24871] ppid=24863 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24871/stat : 24871 (java) S 24863 24863 7102 0 -1 1077944384 124 0 0 0 8 8 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959901063824 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24872] ppid=24863 vsize=13803816 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24872/stat : 24872 (java) S 24863 24863 7102 0 -1 1077944384 120 0 0 0 7 7 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959900011024 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24873] ppid=24863 vsize=13803816 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24873/stat : 24873 (java) S 24863 24863 7102 0 -1 1077944384 153 0 0 0 9 9 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959898958224 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24874] ppid=24863 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24874/stat : 24874 (java) S 24863 24863 7102 0 -1 1077944384 150 0 0 0 8 8 0 0 20 0 28 0 3745825 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959897905424 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24875] ppid=24863 vsize=13803816 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24875/stat : 24875 (java) S 24863 24863 7102 0 -1 1077944384 289 0 0 0 1 1 0 0 20 0 28 0 3745827 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959835364208 139960305965698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24876] ppid=24863 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24876/stat : 24876 (java) S 24863 24863 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3745828 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959834310240 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24877] ppid=24863 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24877/stat : 24877 (java) S 24863 24863 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3745828 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959833257344 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24878] ppid=24863 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24878/stat : 24878 (java) S 24863 24863 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3745832 14135107584 117804 33554432000 4194304 4196468 140726483742624 139959832205648 139960305973147 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0

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

[pid=24864/tid=29820] ppid=24863 vsize=13870380 CPUtime=79.61 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29820/stat : 29820 (java) R 24863 24863 7102 0 -1 4202560 1874 0 0 0 7961 0 0 0 20 0 28 0 3760077 14203269120 862978 33554432000 4194304 4196468 140726483742624 139959471492856 139959923841588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29821] ppid=24863 vsize=13870380 CPUtime=79.42 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29821/stat : 29821 (java) R 24863 24863 7102 0 -1 4202560 526 0 0 0 7942 0 0 0 20 0 28 0 3760077 14203269120 862978 33554432000 4194304 4196468 140726483742624 139959474642152 139959924235187 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
Current children cumulated CPU time (s) 1716.41
Current children cumulated vsize (KiB) 13879892

[startup+282.302 s]
/proc/loadavg: 15.84 14.87 10.47 17/299 30107
/proc/meminfo: memFree=28379268/32770624 swapFree=5700/248552
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
[pid=24864] ppid=24863 vsize=13870380 CPUtime=2194.01 cores=0,2,4,6,8,10,12,14
/proc/24864/stat : 24864 (java) S 24863 24863 7102 0 -1 1077944320 172737 0 0 0 219109 292 0 0 20 0 28 0 3745824 14203269120 846461 33554432000 4194304 4196468 140726483742624 140726483725168 139960305954551 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
/proc/24864/statm: 3467595 846461 3288 1 0 3454828 0
[pid=24864/tid=24865] ppid=24863 vsize=13870380 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24865/stat : 24865 (java) S 24863 24863 7102 0 -1 1077944384 10240 0 0 0 365 7 0 0 20 0 28 0 3745824 14203269120 846461 33554432000 4194304 4196468 140726483742624 139960310195264 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24867] ppid=24863 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24867/stat : 24867 (java) S 24863 24863 7102 0 -1 1077944384 1205 0 0 0 26 16 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139960238091408 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24868] ppid=24863 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24868/stat : 24868 (java) S 24863 24863 7102 0 -1 1077944384 2341 0 0 0 25 17 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139960237038608 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24869] ppid=24863 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24869/stat : 24869 (java) S 24863 24863 7102 0 -1 1077944384 796 0 0 0 26 15 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139960235985808 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24870] ppid=24863 vsize=13870380 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24870/stat : 24870 (java) S 24863 24863 7102 0 -1 1077944384 568 0 0 0 24 15 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139960234933008 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24871] ppid=24863 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24871/stat : 24871 (java) S 24863 24863 7102 0 -1 1077944384 1385 0 0 0 25 16 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959901063824 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24872] ppid=24863 vsize=13870380 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24872/stat : 24872 (java) S 24863 24863 7102 0 -1 1077944384 1324 0 0 0 24 16 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959900011024 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24873] ppid=24863 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24873/stat : 24873 (java) S 24863 24863 7102 0 -1 1077944384 654 0 0 0 27 16 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959898958224 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24874] ppid=24863 vsize=13870380 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24874/stat : 24874 (java) S 24863 24863 7102 0 -1 1077944384 893 0 0 0 26 18 0 0 20 0 28 0 3745825 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959897905424 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24875] ppid=24863 vsize=13870380 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24875/stat : 24875 (java) S 24863 24863 7102 0 -1 1077944384 5276 0 0 0 8 10 0 0 20 0 28 0 3745827 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959835364208 139960305965698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24876] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24876/stat : 24876 (java) S 24863 24863 7102 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3745828 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959834310240 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24877] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24877/stat : 24877 (java) S 24863 24863 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3745828 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959833257344 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24878] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24878/stat : 24878 (java) S 24863 24863 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3745832 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959832205648 139960305973147 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24879] ppid=24863 vsize=13870380 CPUtime=5.95 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24879/stat : 24879 (java) S 24863 24863 7102 0 -1 1077944384 22682 0 0 0 592 3 0 0 20 0 28 0 3745832 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959495289200 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24880] ppid=24863 vsize=13870380 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24880/stat : 24880 (java) S 24863 24863 7102 0 -1 1077944384 13958 0 0 0 501 3 0 0 20 0 28 0 3745832 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959494236400 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24881] ppid=24863 vsize=13870380 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24881/stat : 24881 (java) S 24863 24863 7102 0 -1 1077944384 16367 0 0 0 469 2 0 0 20 0 28 0 3745832 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959493183600 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24882] ppid=24863 vsize=13870380 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24882/stat : 24882 (java) S 24863 24863 7102 0 -1 1077944384 12105 0 0 0 167 3 0 0 20 0 28 0 3745832 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959492130800 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24883] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24883/stat : 24883 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3745833 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959491079264 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24884] ppid=24863 vsize=13870380 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24884/stat : 24884 (java) S 24863 24863 7102 0 -1 1077944384 1555 0 0 0 9 7 0 0 20 0 28 0 3745833 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959490026544 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29814] ppid=24863 vsize=13870380 CPUtime=139.49 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29814/stat : 29814 (java) R 24863 24863 7102 0 -1 4202560 1740 0 0 0 13949 0 0 0 20 0 28 0 3760076 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959477800760 139959915861876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29815] ppid=24863 vsize=13870380 CPUtime=138.73 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29815/stat : 29815 (java) R 24863 24863 7102 0 -1 4202560 1699 0 0 0 13872 1 0 0 20 0 28 0 3760077 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959476748936 139959924467781 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29816] ppid=24863 vsize=13870380 CPUtime=139.32 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29816/stat : 29816 (java) R 24863 24863 7102 0 -1 4202560 685 0 0 0 13932 0 0 0 20 0 28 0 3760077 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959480959224 139959918784624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29817] ppid=24863 vsize=13870380 CPUtime=138.8 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29817/stat : 29817 (java) R 24863 24863 7102 0 -1 4202560 8863 0 0 0 13874 6 0 0 20 0 28 0 3760077 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959482011736 139959918330508 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29818] ppid=24863 vsize=13870380 CPUtime=139.21 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29818/stat : 29818 (java) R 24863 24863 7102 0 -1 4202560 1915 0 0 0 13920 1 0 0 20 0 28 0 3760077 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959478853864 139959924709795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29819] ppid=24863 vsize=13870380 CPUtime=139 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29819/stat : 29819 (java) R 24863 24863 7102 0 -1 4202560 725 0 0 0 13900 0 0 0 20 0 28 0 3760077 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959475695720 139959917872112 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29820] ppid=24863 vsize=13870380 CPUtime=139.34 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29820/stat : 29820 (java) R 24863 24863 7102 0 -1 4202560 2365 0 0 0 13934 0 0 0 20 0 28 0 3760077 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959471492848 139959923841676 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29821] ppid=24863 vsize=13870380 CPUtime=138.29 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29821/stat : 29821 (java) R 24863 24863 7102 0 -1 4202560 1133 0 0 0 13829 0 0 0 20 0 28 0 3760077 14203269120 846461 33554432000 4194304 4196468 140726483742624 139959474644264 139959925109801 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
Current children cumulated CPU time (s) 2194.01
Current children cumulated vsize (KiB) 13879892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+308.201 s]
/proc/loadavg: 16.02 14.99 10.63 17/299 30108
/proc/meminfo: memFree=28442940/32770624 swapFree=5700/248592
[pid=24863] ppid=24860 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24863/stat : 24863 (xcsp3-exec) S 24860 24863 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3745823 9740288 346 33554432000 4194304 5098028 140727018447824 140727018445928 140693748449916 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20885504 140727018456206 140727018456416 140727018456416 140727018459115 0
/proc/24863/statm: 2378 346 289 221 0 87 0
[pid=24864] ppid=24863 vsize=13870380 CPUtime=2400.21 cores=0,2,4,6,8,10,12,14
/proc/24864/stat : 24864 (java) S 24863 24863 7102 0 -1 1077944320 173469 0 0 0 239725 296 0 0 20 0 28 0 3745824 14203269120 839535 33554432000 4194304 4196468 140726483742624 140726483725168 139960305954551 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
/proc/24864/statm: 3467595 839535 3288 1 0 3454828 0
[pid=24864/tid=24865] ppid=24863 vsize=13870380 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24865/stat : 24865 (java) S 24863 24863 7102 0 -1 1077944384 10240 0 0 0 365 7 0 0 20 0 28 0 3745824 14203269120 839535 33554432000 4194304 4196468 140726483742624 139960310195264 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24867] ppid=24863 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24867/stat : 24867 (java) S 24863 24863 7102 0 -1 1077944384 1211 0 0 0 26 16 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139960238091408 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24868] ppid=24863 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24868/stat : 24868 (java) S 24863 24863 7102 0 -1 1077944384 2345 0 0 0 26 17 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139960237038608 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24869] ppid=24863 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24869/stat : 24869 (java) S 24863 24863 7102 0 -1 1077944384 802 0 0 0 27 16 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139960235985808 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24870] ppid=24863 vsize=13870380 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24870/stat : 24870 (java) S 24863 24863 7102 0 -1 1077944384 571 0 0 0 24 15 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139960234933008 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24871] ppid=24863 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24871/stat : 24871 (java) S 24863 24863 7102 0 -1 1077944384 1389 0 0 0 25 17 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959901063824 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24872] ppid=24863 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24872/stat : 24872 (java) S 24863 24863 7102 0 -1 1077944384 1328 0 0 0 25 16 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959900011024 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24873] ppid=24863 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24873/stat : 24873 (java) S 24863 24863 7102 0 -1 1077944384 662 0 0 0 27 16 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959898958224 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24874] ppid=24863 vsize=13870380 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24874/stat : 24874 (java) S 24863 24863 7102 0 -1 1077944384 895 0 0 0 26 18 0 0 20 0 28 0 3745825 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959897905424 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24875] ppid=24863 vsize=13870380 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24875/stat : 24875 (java) S 24863 24863 7102 0 -1 1077944384 5288 0 0 0 9 10 0 0 20 0 28 0 3745827 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959835364208 139960305965698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24876] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24876/stat : 24876 (java) S 24863 24863 7102 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3745828 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959834310240 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24877] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24877/stat : 24877 (java) S 24863 24863 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3745828 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959833257344 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24878] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24878/stat : 24878 (java) S 24863 24863 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3745832 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959832205648 139960305973147 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24879] ppid=24863 vsize=13870380 CPUtime=5.95 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24879/stat : 24879 (java) S 24863 24863 7102 0 -1 1077944384 22682 0 0 0 592 3 0 0 20 0 28 0 3745832 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959495289200 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24880] ppid=24863 vsize=13870380 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24880/stat : 24880 (java) S 24863 24863 7102 0 -1 1077944384 13958 0 0 0 501 3 0 0 20 0 28 0 3745832 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959494236400 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24881] ppid=24863 vsize=13870380 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24881/stat : 24881 (java) S 24863 24863 7102 0 -1 1077944384 16367 0 0 0 469 2 0 0 20 0 28 0 3745832 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959493183600 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24882] ppid=24863 vsize=13870380 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24882/stat : 24882 (java) S 24863 24863 7102 0 -1 1077944384 12105 0 0 0 167 3 0 0 20 0 28 0 3745832 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959492130800 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24883] ppid=24863 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24883/stat : 24883 (java) S 24863 24863 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3745833 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959491079264 139960305964757 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=24884] ppid=24863 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/24864/task/24884/stat : 24884 (java) S 24863 24863 7102 0 -1 1077944384 1557 0 0 0 9 8 0 0 20 0 28 0 3745833 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959490026544 139960305965698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29814] ppid=24863 vsize=13870380 CPUtime=165.3 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29814/stat : 29814 (java) R 24863 24863 7102 0 -1 4202560 1777 0 0 0 16530 0 0 0 20 0 28 0 3760076 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959477800456 139959924934622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29815] ppid=24863 vsize=13870380 CPUtime=164.57 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29815/stat : 29815 (java) R 24863 24863 7102 0 -1 4202560 1783 0 0 0 16456 1 0 0 20 0 28 0 3760077 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959476748904 139959924467616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29816] ppid=24863 vsize=13870380 CPUtime=165.14 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29816/stat : 29816 (java) R 24863 24863 7102 0 -1 4202560 710 0 0 0 16514 0 0 0 20 0 28 0 3760077 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959480959864 139959915861895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29817] ppid=24863 vsize=13870380 CPUtime=164.66 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29817/stat : 29817 (java) R 24863 24863 7102 0 -1 4202560 9234 0 0 0 16460 6 0 0 20 0 28 0 3760077 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959482011688 139959918330508 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29818] ppid=24863 vsize=13870380 CPUtime=165.06 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29818/stat : 29818 (java) R 24863 24863 7102 0 -1 4202560 1975 0 0 0 16505 1 0 0 20 0 28 0 3760077 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959478856592 139959915861876 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29819] ppid=24863 vsize=13870380 CPUtime=164.87 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29819/stat : 29819 (java) R 24863 24863 7102 0 -1 4202560 751 0 0 0 16487 0 0 0 20 0 28 0 3760077 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959475695720 139959924235911 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29820] ppid=24863 vsize=13870380 CPUtime=164.91 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29820/stat : 29820 (java) R 24863 24863 7102 0 -1 4202560 2421 0 0 0 16491 0 0 0 20 0 28 0 3760077 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959471492592 139959921681429 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
[pid=24864/tid=29821] ppid=24863 vsize=13870380 CPUtime=163.77 cores=0,2,4,6,8,10,12,14
/proc/24864/task/29821/stat : 29821 (java) R 24863 24863 7102 0 -1 4202560 1154 0 0 0 16376 1 0 0 20 0 28 0 3760077 14203269120 839535 33554432000 4194304 4196468 140726483742624 139959474642808 139959924709795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16404480 140726483748028 140726483748204 140726483748204 140726483750863 0
Current children cumulated CPU time (s) 2400.21
Current children cumulated vsize (KiB) 13879892

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 308.212
CPU time (s): 2400.21
CPU user time (s): 2397.25
CPU system time (s): 2.96
CPU usage (%): 778.753
Max. virtual memory (cumulated for all children) (KiB): 13879892

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.77594 second user time and 4.4972 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 02:53:03
IDJOB=4244838
IDBENCH=115918
IDSOLVER=2626
FILE ID=node130/4244838-1500684783
RUNJOBID= node130-1500684118-8559
PBS_JOBID= 20623029
Free space on /tmp= 61952 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244838-1500684783/watcher-4244838-1500684783 -o /tmp/evaluation-result-4244838-1500684783/solver-4244838-1500684783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1914507956 HOME/instance-4244838-1500684783.xml

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

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=1914507956

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28858304 kB
MemAvailable:   28911680 kB
Buffers:           52208 kB
Cached:           312296 kB
SwapCached:            0 kB
Active:          3279000 kB
Inactive:         256948 kB
Active(anon):    3174136 kB
Inactive(anon):     8844 kB
Active(file):     104864 kB
Inactive(file):   248104 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7976 kB
Writeback:             0 kB
AnonPages:       3330560 kB
Mapped:            42472 kB
Shmem:              8844 kB
Slab:              65800 kB
SReclaimable:      32488 kB
SUnreclaim:        33312 kB
KernelStack:        4624 kB
PageTables:        12308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3952908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3188736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61944 MiB
End job on node130 at 2017-07-22 02:58:12