Trace number 4244837

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)475 2400.61 307.812

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-4244837-1500684527.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4244837-1500684527.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.27	c 8 solvers in parallel
0.00/0.33	c parse instance...
9.09/3.41	c solve instance...
16.00/4.35	o 0 
16.70/4.48	o 4 
16.70/4.49	o 6 
17.17/4.51	o 8 
17.93/4.98	o 10 
18.14/5.01	o 12 
18.82/5.13	o 14 
22.91/5.69	o 15 
25.48/6.06	o 16 
26.87/6.53	o 18 
30.62/7.00	o 20 
31.16/7.19	o 22 
33.29/7.73	o 23 
33.29/7.74	o 24 
33.29/7.75	o 25 
33.29/7.76	o 26 
33.29/7.78	o 27 
33.29/7.79	o 28 
33.29/7.80	o 29 
33.29/7.80	o 30 
33.74/7.81	o 31 
33.74/7.83	o 32 
33.74/7.84	o 33 
33.74/7.85	o 34 
33.74/7.86	o 35 
33.74/7.87	o 36 
33.74/7.88	o 37 
33.74/7.89	o 38 
33.74/7.90	o 39 
34.26/7.93	o 40 
34.26/7.94	o 41 
34.26/7.95	o 42 
34.26/7.96	o 43 
34.26/7.97	o 44 
34.26/7.98	o 45 
34.26/7.99	o 46 
34.79/8.00	o 47 
34.79/8.01	o 48 
34.79/8.01	o 49 
34.79/8.02	o 50 
34.79/8.03	o 51 
34.79/8.04	o 52 
34.79/8.04	o 53 
34.79/8.05	o 54 
34.79/8.06	o 55 
34.79/8.06	o 56 
35.16/8.10	o 57 
35.16/8.12	o 58 
35.16/8.13	o 59 
35.16/8.13	o 60 
35.16/8.18	o 61 
35.16/8.19	o 62 
35.16/8.19	o 63 
35.69/8.20	o 64 
35.69/8.21	o 65 
35.69/8.22	o 66 
35.69/8.22	o 67 
35.69/8.23	o 68 
35.69/8.24	o 69 
35.69/8.26	o 70 
35.69/8.27	o 71 
35.69/8.28	o 72 
35.69/8.28	o 73 
35.69/8.29	o 74 
35.69/8.30	o 75 
36.21/8.31	o 76 
36.21/8.31	o 77 
36.21/8.32	o 78 
36.21/8.33	o 79 
36.21/8.33	o 80 
36.21/8.34	o 81 
36.21/8.35	o 82 
36.21/8.36	o 83 
36.21/8.37	o 84 
36.21/8.38	o 85 
36.21/8.39	o 86 
36.21/8.40	o 87 
36.80/8.40	o 88 
36.80/8.41	o 89 
36.80/8.42	o 90 
36.80/8.43	o 91 
36.80/8.44	o 92 
36.80/8.45	o 93 
36.80/8.46	o 94 
36.80/8.47	o 95 
36.80/8.47	o 96 
36.80/8.48	o 97 
36.80/8.49	o 98 
37.28/8.50	o 99 
37.28/8.51	o 100 
37.28/8.52	o 101 
37.28/8.52	o 102 
37.28/8.56	o 103 
37.28/8.57	o 104 
37.28/8.58	o 105 
37.28/8.59	o 106 
37.89/8.63	o 107 
37.89/8.64	o 108 
37.89/8.65	o 109 
37.89/8.65	o 110 
37.89/8.66	o 111 
37.89/8.67	o 112 
37.89/8.68	o 113 
37.89/8.69	o 114 
38.37/8.70	o 115 
38.37/8.71	o 116 
38.37/8.72	o 117 
38.37/8.73	o 118 
38.37/8.73	o 119 
38.37/8.74	o 120 
38.37/8.75	o 121 
38.37/8.76	o 122 
38.37/8.76	o 123 
38.37/8.77	o 124 
38.37/8.78	o 125 
38.37/8.79	o 126 
38.37/8.79	o 127 
38.37/8.80	o 128 
38.37/8.80	o 129 
38.88/8.81	o 130 
38.88/8.82	o 131 
38.88/8.83	o 132 
38.88/8.84	o 133 
38.88/8.84	o 134 
38.88/8.85	o 135 
38.88/8.86	o 136 
38.88/8.87	o 137 
38.88/8.87	o 138 
39.41/8.91	o 139 
39.41/8.92	o 140 
39.41/8.93	o 141 
39.41/8.94	o 142 
39.41/8.95	o 143 
39.41/8.96	o 144 
39.41/8.97	o 145 
39.41/8.97	o 146 
39.41/8.98	o 147 
39.41/8.99	o 148 
39.41/9.00	o 149 
39.90/9.00	o 150 
39.90/9.01	o 151 
39.90/9.02	o 152 
39.90/9.03	o 153 
39.90/9.04	o 154 
39.90/9.05	o 155 
39.90/9.06	o 156 
39.90/9.07	o 157 
39.90/9.07	o 158 
39.90/9.08	o 159 
39.90/9.09	o 160 
39.90/9.09	o 161 
40.46/9.10	o 162 
40.46/9.11	o 163 
40.46/9.11	o 164 
40.46/9.12	o 165 
40.46/9.13	o 166 
40.46/9.13	o 167 
40.46/9.14	o 168 
40.46/9.15	o 169 
40.46/9.16	o 170 
40.46/9.17	o 171 
40.46/9.18	o 172 
40.46/9.19	o 173 
41.03/9.20	o 174 
41.03/9.21	o 175 
41.03/9.21	o 176 
41.03/9.22	o 177 
41.03/9.23	o 178 
41.03/9.24	o 179 
41.03/9.24	o 180 
41.03/9.25	o 181 
41.03/9.26	o 182 
41.03/9.27	o 183 
41.03/9.28	o 184 
41.03/9.28	o 185 
41.03/9.29	o 186 
41.03/9.29	o 187 
41.03/9.30	o 188 
41.58/9.31	o 189 
41.58/9.32	o 190 
41.58/9.32	o 191 
41.58/9.33	o 192 
41.58/9.34	o 193 
41.58/9.34	o 194 
41.58/9.36	o 195 
41.58/9.36	o 196 
41.58/9.37	o 197 
41.58/9.38	o 198 
41.58/9.38	o 199 
41.58/9.39	o 200 
42.07/9.40	o 201 
42.07/9.41	o 202 
42.07/9.41	o 203 
42.07/9.42	o 204 
42.07/9.43	o 205 
42.07/9.44	o 206 
42.07/9.45	o 207 
42.07/9.45	o 208 
42.07/9.46	o 209 
42.07/9.47	o 210 
42.07/9.48	o 211 
42.07/9.48	o 212 
42.07/9.49	o 213 
42.59/9.50	o 214 
42.59/9.51	o 215 
42.59/9.52	o 216 
42.59/9.53	o 217 
42.59/9.54	o 218 
42.59/9.54	o 219 
42.59/9.55	o 220 
42.59/9.56	o 221 
42.59/9.56	o 222 
42.59/9.57	o 223 
42.59/9.58	o 224 
42.59/9.59	o 225 
43.16/9.60	o 226 
43.16/9.61	o 227 
43.16/9.62	o 228 
43.16/9.63	o 229 
43.16/9.63	o 230 
43.16/9.64	o 231 
43.16/9.65	o 232 
43.16/9.65	o 233 
43.16/9.66	o 234 
43.16/9.67	o 235 
43.16/9.67	o 236 
43.16/9.68	o 237 
43.16/9.69	o 238 
43.16/9.69	o 239 
43.64/9.70	o 240 
43.64/9.71	o 241 
43.64/9.72	o 242 
43.64/9.72	o 243 
43.64/9.73	o 244 
43.64/9.74	o 245 
43.64/9.75	o 246 
43.64/9.77	o 247 
43.64/9.78	o 248 
43.64/9.79	o 249 
44.18/9.80	o 250 
44.18/9.81	o 251 
44.18/9.82	o 252 
44.18/9.83	o 253 
44.18/9.84	o 254 
44.18/9.84	o 255 
44.18/9.85	o 256 
44.18/9.86	o 257 
44.18/9.86	o 258 
44.18/9.87	o 259 
44.18/9.88	o 260 
44.18/9.90	o 261 
44.80/9.91	o 262 
44.80/9.92	o 263 
44.80/9.93	o 264 
44.80/9.93	o 265 
44.80/9.94	o 266 
44.80/9.95	o 267 
44.80/9.96	o 268 
44.80/9.97	o 269 
44.80/10.00	o 270 
44.80/10.01	o 271 
44.80/10.01	o 272 
45.19/10.02	o 273 
45.19/10.03	o 274 
45.19/10.04	o 275 
45.19/10.05	o 276 
45.19/10.06	o 277 
45.19/10.09	o 278 
45.60/10.12	o 279 
45.60/10.13	o 280 
46.13/10.50	o 281 
46.13/10.51	o 282 
46.13/10.52	o 283 
46.13/10.53	o 284 
46.13/10.54	o 285 
46.13/10.55	o 286 
46.13/10.55	o 287 
46.13/10.56	o 288 
46.13/10.57	o 289 
46.13/10.58	o 290 
46.13/10.58	o 291 
46.13/10.59	o 292 
46.63/10.60	o 293 
46.63/10.61	o 294 
46.63/10.62	o 295 
46.63/10.65	o 296 
46.63/10.66	o 297 
46.63/10.67	o 298 
46.63/10.68	o 299 
46.63/10.69	o 300 
46.63/10.70	o 301 
47.05/10.71	o 302 
47.05/10.71	o 303 
47.05/10.72	o 304 
47.05/10.73	o 305 
47.05/10.74	o 306 
47.05/10.75	o 307 
47.05/10.76	o 308 
47.05/10.77	o 309 
47.05/10.78	o 310 
47.05/10.80	o 311 
47.59/10.81	o 312 
47.59/10.81	o 313 
47.59/10.83	o 314 
47.59/10.83	o 315 
47.59/10.84	o 316 
47.59/10.85	o 317 
47.59/10.86	o 318 
47.59/10.87	o 319 
47.59/10.88	o 320 
47.59/10.89	o 321 
47.59/10.90	o 322 
48.16/10.91	o 323 
48.16/10.91	o 324 
48.16/10.92	o 325 
48.16/10.93	o 326 
48.16/10.94	o 327 
48.16/10.95	o 328 
48.16/10.96	o 329 
48.16/10.98	o 330 
48.16/10.99	o 331 
48.16/10.99	o 332 
48.16/11.00	o 333 
48.69/11.01	o 334 
48.69/11.03	o 335 
48.69/11.03	o 336 
48.69/11.07	o 337 
48.69/11.08	o 338 
48.69/11.09	o 339 
48.69/11.10	o 340 
48.69/11.11	o 341 
49.11/11.11	o 342 
49.11/11.12	o 343 
49.11/11.14	o 344 
49.11/11.15	o 345 
49.11/11.16	o 346 
49.11/11.17	o 347 
49.11/11.18	o 348 
49.11/11.19	o 349 
49.61/11.20	o 350 
49.61/11.22	o 351 
49.61/11.23	o 352 
49.61/11.23	o 353 
49.61/11.24	o 354 
49.61/11.25	o 355 
49.61/11.26	o 356 
49.61/11.27	o 357 
49.61/11.28	o 358 
49.61/11.30	o 359 
50.21/11.31	o 360 
50.21/11.32	o 361 
50.21/11.32	o 362 
50.21/11.33	o 363 
50.21/11.34	o 364 
50.21/11.35	o 365 
50.21/11.36	o 366 
50.21/11.37	o 367 
50.21/11.38	o 368 
50.21/11.39	o 369 
50.69/11.40	o 370 
50.69/11.41	o 371 
50.69/11.42	o 372 
50.69/11.43	o 373 
50.69/11.44	o 374 
50.69/11.45	o 375 
51.05/11.51	o 376 
51.05/11.52	o 377 
51.05/11.53	o 378 
51.05/11.54	o 379 
51.05/11.55	o 380 
51.05/11.56	o 381 
51.05/11.57	o 382 
51.05/11.58	o 383 
51.05/11.59	o 384 
51.49/11.60	o 385 
51.49/11.61	o 386 
51.49/11.61	o 387 
51.49/11.63	o 388 
51.49/11.64	o 389 
51.49/11.65	o 390 
51.49/11.66	o 391 
51.49/11.67	o 392 
51.49/11.68	o 393 
51.49/11.69	o 394 
52.06/11.71	o 395 
52.06/11.72	o 396 
52.06/11.73	o 397 
52.06/11.74	o 398 
52.06/11.76	o 399 
52.06/11.77	o 400 
52.06/11.79	o 401 
52.06/11.80	o 402 
52.62/11.81	o 403 
52.62/11.82	o 404 
52.62/11.83	o 405 
52.62/11.84	o 406 
52.62/11.85	o 407 
52.62/11.86	o 408 
52.62/11.87	o 409 
52.62/11.88	o 410 
52.62/11.89	o 411 
52.62/11.90	o 412 
53.14/11.91	o 413 
53.14/11.91	o 414 
53.14/11.92	o 415 
53.14/11.93	o 416 
53.14/11.94	o 417 
53.14/11.95	o 418 
53.14/11.97	o 419 
53.14/11.98	o 420 
53.14/11.99	o 421 
53.14/12.00	o 422 
53.61/12.01	o 423 
53.61/12.02	o 424 
53.61/12.04	o 425 
53.61/12.05	o 426 
53.61/12.06	o 427 
53.61/12.08	o 428 
53.61/12.09	o 429 
53.61/12.10	o 430 
54.21/12.11	o 431 
54.21/12.12	o 432 
54.21/12.14	o 433 
54.21/12.15	o 434 
54.21/12.16	o 435 
54.21/12.17	o 436 
54.21/12.18	o 437 
54.21/12.19	o 438 
54.21/12.21	o 439 
54.80/12.21	o 440 
54.80/12.23	o 441 
54.80/12.24	o 442 
54.80/12.25	o 443 
54.80/12.26	o 444 
54.80/12.27	o 445 
54.80/12.29	o 446 
55.36/12.31	o 447 
55.36/12.33	o 448 
55.36/12.34	o 449 
55.36/12.37	o 450 
56.08/12.74	o 451 
56.08/12.74	o 452 
56.08/12.76	o 453 
56.08/12.77	o 454 
56.08/12.78	o 455 
56.08/12.79	o 456 
56.51/12.81	o 457 
57.26/12.94	o 458 
57.26/12.95	o 459 
57.26/12.97	o 460 
57.26/12.98	o 461 
57.26/12.99	o 462 
57.64/13.00	o 463 
57.64/13.04	o 464 
60.79/13.66	o 465 
66.06/14.40	o 466 
282.19/41.60	o 467 
282.19/41.62	o 468 
282.19/41.66	o 469 
285.87/42.16	o 470 
296.68/43.52	o 471 
1085.62/142.64	o 472 
1085.62/142.66	o 473 
1085.62/142.67	o 474 
1086.33/142.71	o 475 
2400.61/307.83	s SATISFIABLE
2400.61/307.83	v <instantiation>
2400.61/307.83	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.61/307.84	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.61/307.84	v </instantiation>
2400.61/307.84	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-4244837-1500684527/watcher-4244837-1500684527 -o /tmp/evaluation-result-4244837-1500684527/solver-4244837-1500684527 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 491360930 HOME/instance-4244837-1500684527.xml 

pid=28236
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: 15.95 15.34 14.48 9/276 28239
/proc/meminfo: memFree=28980000/32770624 swapFree=5900/219016
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0

[startup+0.100079 s]
/proc/loadavg: 15.95 15.34 14.48 9/276 28239
/proc/meminfo: memFree=28980000/32770624 swapFree=5900/219016
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200346 s]
/proc/loadavg: 15.95 15.34 14.48 9/276 28239
/proc/meminfo: memFree=28980000/32770624 swapFree=5900/219016
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300338 s]
/proc/loadavg: 15.95 15.34 14.48 9/276 28239
/proc/meminfo: memFree=28980000/32770624 swapFree=5900/219016
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700206 s]
/proc/loadavg: 15.95 15.34 14.48 9/276 28239
/proc/meminfo: memFree=28980000/32770624 swapFree=5900/219016
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50118 s]
/proc/loadavg: 15.56 15.27 14.46 12/297 28260
/proc/meminfo: memFree=28889240/32770624 swapFree=5900/219116
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
[pid=28240] ppid=28239 vsize=13269256 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/28240/stat : 28240 (java) S 28239 28239 16913 0 -1 1077944320 19446 0 0 0 386 8 0 0 20 0 20 0 3719704 13587718144 38099 33554432000 4194304 4196468 140734975729856 140734975712400 140503229116151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
/proc/28240/statm: 3317314 38099 3224 1 0 3304547 0
[pid=28240/tid=28241] ppid=28239 vsize=13269256 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28241/stat : 28241 (java) R 28239 28239 16913 0 -1 4202560 8421 0 0 0 142 4 0 0 20 0 20 0 3719705 13587718144 38099 33554432000 4194304 4196468 140734975729856 140503233351176 140502831500285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28243] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28243/stat : 28243 (java) S 28239 28239 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3719705 13587718144 38099 33554432000 4194304 4196468 140734975729856 140503147596944 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28244] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28244/stat : 28244 (java) S 28239 28239 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3719706 13587718144 38099 33554432000 4194304 4196468 140734975729856 140503146544144 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28245] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28245/stat : 28245 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719706 13587718144 38099 33554432000 4194304 4196468 140734975729856 140503145491344 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28246] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28246/stat : 28246 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719706 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502825429776 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28247] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28247/stat : 28247 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719706 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502824376976 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28248] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28248/stat : 28248 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719706 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502823324176 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28249] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28249/stat : 28249 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719706 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502822271376 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28250] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28250/stat : 28250 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719706 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502821218576 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28251] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28251/stat : 28251 (java) S 28239 28239 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 3719708 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502422989680 140503229127298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28252] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28252/stat : 28252 (java) S 28239 28239 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3719709 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502421935648 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28253] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28253/stat : 28253 (java) S 28239 28239 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3719709 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502420882800 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28254] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28254/stat : 28254 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719713 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502419831120 140503229134747 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28255] ppid=28239 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28255/stat : 28255 (java) S 28239 28239 16913 0 -1 1077944384 2172 0 0 0 67 0 0 0 20 0 20 0 3719713 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502418778480 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28256] ppid=28239 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28256/stat : 28256 (java) S 28239 28239 16913 0 -1 1077944384 2289 0 0 0 62 0 0 0 20 0 20 0 3719713 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502417725680 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28257] ppid=28239 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28257/stat : 28257 (java) S 28239 28239 16913 0 -1 1077944384 1954 0 0 0 59 1 0 0 20 0 20 0 3719713 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502416672880 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28258] ppid=28239 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28258/stat : 28258 (java) S 28239 28239 16913 0 -1 1077944384 3287 0 0 0 53 0 0 0 20 0 20 0 3719713 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502415620080 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28259] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28259/stat : 28259 (java) S 28239 28239 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3719714 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502414568544 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28260] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28260/stat : 28260 (java) S 28239 28239 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3719714 13587718144 38099 33554432000 4194304 4196468 140734975729856 140502413515824 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13278768

[startup+3.1008 s]
/proc/loadavg: 15.56 15.27 14.46 13/297 28260
/proc/meminfo: memFree=28766624/32770624 swapFree=5900/219116
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
[pid=28240] ppid=28239 vsize=13269256 CPUtime=8.66 cores=0,2,4,6,8,10,12,14
/proc/28240/stat : 28240 (java) S 28239 28239 16913 0 -1 1077944320 25461 0 0 0 808 58 0 0 20 0 20 0 3719704 13587718144 72927 33554432000 4194304 4196468 140734975729856 140734975712400 140503229116151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
/proc/28240/statm: 3317314 72927 3260 1 0 3304547 0
[pid=28240/tid=28241] ppid=28239 vsize=13269256 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28241/stat : 28241 (java) R 28239 28239 16913 0 -1 4202560 9441 0 0 0 290 5 0 0 20 0 20 0 3719705 13587718144 72927 33554432000 4194304 4196468 140734975729856 140503233351272 140502831486927 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28243] ppid=28239 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28243/stat : 28243 (java) S 28239 28239 16913 0 -1 1077944384 122 0 0 0 4 5 0 0 20 0 20 0 3719705 13587718144 72927 33554432000 4194304 4196468 140734975729856 140503147596944 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28244] ppid=28239 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28244/stat : 28244 (java) S 28239 28239 16913 0 -1 1077944384 120 0 0 0 4 5 0 0 20 0 20 0 3719706 13587718144 72927 33554432000 4194304 4196468 140734975729856 140503146544144 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28245] ppid=28239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28245/stat : 28245 (java) S 28239 28239 16913 0 -1 1077944384 102 0 0 0 4 6 0 0 20 0 20 0 3719706 13587718144 72927 33554432000 4194304 4196468 140734975729856 140503145491344 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28246] ppid=28239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28246/stat : 28246 (java) S 28239 28239 16913 0 -1 1077944384 80 0 0 0 4 6 0 0 20 0 20 0 3719706 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502825429776 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28247] ppid=28239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28247/stat : 28247 (java) S 28239 28239 16913 0 -1 1077944384 143 0 0 0 4 6 0 0 20 0 20 0 3719706 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502824376976 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28248] ppid=28239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28248/stat : 28248 (java) S 28239 28239 16913 0 -1 1077944384 122 0 0 0 4 6 0 0 20 0 20 0 3719706 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502823324176 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28249] ppid=28239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28249/stat : 28249 (java) S 28239 28239 16913 0 -1 1077944384 300 0 0 0 5 5 0 0 20 0 20 0 3719706 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502822271376 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28250] ppid=28239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28250/stat : 28250 (java) S 28239 28239 16913 0 -1 1077944384 71 0 0 0 4 6 0 0 20 0 20 0 3719706 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502821218576 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28251] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28251/stat : 28251 (java) S 28239 28239 16913 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 3719708 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502422989680 140503229127298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28252] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28252/stat : 28252 (java) S 28239 28239 16913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3719709 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502421935712 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28253] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28253/stat : 28253 (java) S 28239 28239 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3719709 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502420882816 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28254] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28254/stat : 28254 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3719713 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502419831120 140503229134747 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28255] ppid=28239 vsize=13269256 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28255/stat : 28255 (java) S 28239 28239 16913 0 -1 1077944384 2651 0 0 0 138 0 0 0 20 0 20 0 3719713 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502418778480 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28256] ppid=28239 vsize=13269256 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28256/stat : 28256 (java) S 28239 28239 16913 0 -1 1077944384 3469 0 0 0 134 0 0 0 20 0 20 0 3719713 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502417725680 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28257] ppid=28239 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28257/stat : 28257 (java) S 28239 28239 16913 0 -1 1077944384 3080 0 0 0 134 1 0 0 20 0 20 0 3719713 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502416672880 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28258] ppid=28239 vsize=13269256 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28258/stat : 28258 (java) S 28239 28239 16913 0 -1 1077944384 4239 0 0 0 71 1 0 0 20 0 20 0 3719713 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502415620080 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28259] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28259/stat : 28259 (java) S 28239 28239 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3719714 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502414568544 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28260] ppid=28239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28260/stat : 28260 (java) S 28239 28239 16913 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 3719714 13587718144 72927 33554432000 4194304 4196468 140734975729856 140502413515824 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 13278768

[startup+6.30081 s]
/proc/loadavg: 15.83 15.33 14.48 20/305 28324
/proc/meminfo: memFree=28521008/32770624 swapFree=5900/219088
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
[pid=28240] ppid=28239 vsize=13870380 CPUtime=26.66 cores=0,2,4,6,8,10,12,14
/proc/28240/stat : 28240 (java) S 28239 28239 16913 0 -1 1077944320 47948 0 0 0 2565 101 0 0 20 0 28 0 3719704 14203269120 122023 33554432000 4194304 4196468 140734975729856 140734975712400 140503229116151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
/proc/28240/statm: 3467595 122023 3286 1 0 3454828 0
[pid=28240/tid=28241] ppid=28239 vsize=13870380 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28241/stat : 28241 (java) S 28239 28239 16913 0 -1 1077944384 9830 0 0 0 325 5 0 0 20 0 28 0 3719705 14203269120 122023 33554432000 4194304 4196468 140734975729856 140503233356928 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28243] ppid=28239 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28243/stat : 28243 (java) S 28239 28239 16913 0 -1 1077944384 275 0 0 0 7 10 0 0 20 0 28 0 3719705 14203269120 122023 33554432000 4194304 4196468 140734975729856 140503147596944 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28244] ppid=28239 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28244/stat : 28244 (java) S 28239 28239 16913 0 -1 1077944384 158 0 0 0 7 10 0 0 20 0 28 0 3719706 14203269120 122023 33554432000 4194304 4196468 140734975729856 140503146544144 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28245] ppid=28239 vsize=13870380 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28245/stat : 28245 (java) S 28239 28239 16913 0 -1 1077944384 254 0 0 0 8 10 0 0 20 0 28 0 3719706 14203269120 122023 33554432000 4194304 4196468 140734975729856 140503145491344 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28246] ppid=28239 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28246/stat : 28246 (java) S 28239 28239 16913 0 -1 1077944384 128 0 0 0 7 10 0 0 20 0 28 0 3719706 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502825429776 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28247] ppid=28239 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28247/stat : 28247 (java) S 28239 28239 16913 0 -1 1077944384 183 0 0 0 7 10 0 0 20 0 28 0 3719706 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502824376976 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28248] ppid=28239 vsize=13870380 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28248/stat : 28248 (java) S 28239 28239 16913 0 -1 1077944384 169 0 0 0 8 10 0 0 20 0 28 0 3719706 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502823324176 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28249] ppid=28239 vsize=13870380 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28249/stat : 28249 (java) S 28239 28239 16913 0 -1 1077944384 348 0 0 0 8 10 0 0 20 0 28 0 3719706 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502822271376 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28250] ppid=28239 vsize=13870380 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28250/stat : 28250 (java) S 28239 28239 16913 0 -1 1077944384 125 0 0 0 8 10 0 0 20 0 28 0 3719706 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502821218576 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28251] ppid=28239 vsize=13870380 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28251/stat : 28251 (java) S 28239 28239 16913 0 -1 1077944384 325 0 0 0 0 2 0 0 20 0 28 0 3719708 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502422989680 140503229127298 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28252] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28252/stat : 28252 (java) S 28239 28239 16913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3719709 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502421935712 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28253] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28253/stat : 28253 (java) S 28239 28239 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3719709 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502420882816 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28254] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28254/stat : 28254 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3719713 14203269120 122023 33554432000 4194304 4196468 140734975729856 140502419831120 140503229134747 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0

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

[pid=28240/tid=32178] ppid=28239 vsize=13870380 CPUtime=79.37 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32178/stat : 32178 (java) R 28239 28239 16913 0 -1 4202560 2032 0 0 0 7937 0 0 0 20 0 28 0 3733975 14203269120 856998 33554432000 4194304 4196468 140734975729856 140502332576792 140502835226061 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32179] ppid=28239 vsize=13870380 CPUtime=79.08 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32179/stat : 32179 (java) R 28239 28239 16913 0 -1 4202560 655 0 0 0 7908 0 0 0 20 0 28 0 3733975 14203269120 856998 33554432000 4194304 4196468 140734975729856 140502327321128 140502835226061 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
Current children cumulated CPU time (s) 1720.12
Current children cumulated vsize (KiB) 13879892

[startup+282.301 s]
/proc/loadavg: 15.90 15.59 14.80 17/304 32181
/proc/meminfo: memFree=26871060/32770624 swapFree=5900/219448
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
[pid=28240] ppid=28239 vsize=13870380 CPUtime=2197.69 cores=0,2,4,6,8,10,12,14
/proc/28240/stat : 28240 (java) S 28239 28239 16913 0 -1 1077944320 174914 0 0 0 219465 304 0 0 20 0 28 0 3719704 14203269120 836886 33554432000 4194304 4196468 140734975729856 140734975712400 140503229116151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
/proc/28240/statm: 3467595 836886 3288 1 0 3454828 0
[pid=28240/tid=28241] ppid=28239 vsize=13870380 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28241/stat : 28241 (java) S 28239 28239 16913 0 -1 1077944384 10335 0 0 0 359 8 0 0 20 0 28 0 3719705 14203269120 836886 33554432000 4194304 4196468 140734975729856 140503233356864 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28243] ppid=28239 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28243/stat : 28243 (java) S 28239 28239 16913 0 -1 1077944384 988 0 0 0 24 17 0 0 20 0 28 0 3719705 14203269120 836886 33554432000 4194304 4196468 140734975729856 140503147596944 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28244] ppid=28239 vsize=13870380 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28244/stat : 28244 (java) S 28239 28239 16913 0 -1 1077944384 905 0 0 0 22 16 0 0 20 0 28 0 3719706 14203269120 836886 33554432000 4194304 4196468 140734975729856 140503146544144 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28245] ppid=28239 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28245/stat : 28245 (java) S 28239 28239 16913 0 -1 1077944384 643 0 0 0 25 16 0 0 20 0 28 0 3719706 14203269120 836886 33554432000 4194304 4196468 140734975729856 140503145491344 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28246] ppid=28239 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28246/stat : 28246 (java) S 28239 28239 16913 0 -1 1077944384 1257 0 0 0 25 18 0 0 20 0 28 0 3719706 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502825429776 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28247] ppid=28239 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28247/stat : 28247 (java) S 28239 28239 16913 0 -1 1077944384 1715 0 0 0 24 18 0 0 20 0 28 0 3719706 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502824376976 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28248] ppid=28239 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28248/stat : 28248 (java) S 28239 28239 16913 0 -1 1077944384 586 0 0 0 24 18 0 0 20 0 28 0 3719706 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502823324176 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28249] ppid=28239 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28249/stat : 28249 (java) S 28239 28239 16913 0 -1 1077944384 1189 0 0 0 25 17 0 0 20 0 28 0 3719706 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502822271376 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28250] ppid=28239 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28250/stat : 28250 (java) S 28239 28239 16913 0 -1 1077944384 1585 0 0 0 25 18 0 0 20 0 28 0 3719706 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502821218576 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28251] ppid=28239 vsize=13870380 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28251/stat : 28251 (java) S 28239 28239 16913 0 -1 1077944384 5254 0 0 0 8 12 0 0 20 0 28 0 3719708 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502422989680 140503229127298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28252] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28252/stat : 28252 (java) S 28239 28239 16913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3719709 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502421935712 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28253] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28253/stat : 28253 (java) S 28239 28239 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3719709 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502420882816 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28254] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28254/stat : 28254 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3719713 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502419831120 140503229134747 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28255] ppid=28239 vsize=13870380 CPUtime=4.73 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28255/stat : 28255 (java) S 28239 28239 16913 0 -1 1077944384 14452 0 0 0 472 1 0 0 20 0 28 0 3719713 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502418778480 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28256] ppid=28239 vsize=13870380 CPUtime=4.65 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28256/stat : 28256 (java) S 28239 28239 16913 0 -1 1077944384 17482 0 0 0 461 4 0 0 20 0 28 0 3719713 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502417725680 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28257] ppid=28239 vsize=13870380 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28257/stat : 28257 (java) S 28239 28239 16913 0 -1 1077944384 24076 0 0 0 494 3 0 0 20 0 28 0 3719713 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502416672880 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28258] ppid=28239 vsize=13870380 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28258/stat : 28258 (java) S 28239 28239 16913 0 -1 1077944384 12002 0 0 0 151 2 0 0 20 0 28 0 3719713 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502415620080 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28259] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28259/stat : 28259 (java) S 28239 28239 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3719714 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502414568544 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28260] ppid=28239 vsize=13870380 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28260/stat : 28260 (java) S 28239 28239 16913 0 -1 1077944384 1108 0 0 0 5 8 0 0 20 0 28 0 3719714 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502413515824 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32172] ppid=28239 vsize=13870380 CPUtime=138.63 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32172/stat : 32172 (java) R 28239 28239 16913 0 -1 4202560 1798 0 0 0 13862 1 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502336785688 140502826572212 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32173] ppid=28239 vsize=13870380 CPUtime=139.27 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32173/stat : 32173 (java) R 28239 28239 16913 0 -1 4202560 1893 0 0 0 13926 1 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502331523160 140502835709924 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32174] ppid=28239 vsize=13870380 CPUtime=138.97 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32174/stat : 32174 (java) R 28239 28239 16913 0 -1 4202560 897 0 0 0 13897 0 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502335733728 140502835100177 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32175] ppid=28239 vsize=13870380 CPUtime=138.74 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32175/stat : 32175 (java) R 28239 28239 16913 0 -1 4202560 8909 0 0 0 13869 5 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502334681208 140502829309708 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32176] ppid=28239 vsize=13870380 CPUtime=138.2 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32176/stat : 32176 (java) R 28239 28239 16913 0 -1 4202560 1197 0 0 0 13820 0 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502330470344 140502834700244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32177] ppid=28239 vsize=13870380 CPUtime=139.09 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32177/stat : 32177 (java) R 28239 28239 16913 0 -1 4202560 763 0 0 0 13909 0 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502407597944 140502834699295 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32178] ppid=28239 vsize=13870380 CPUtime=139.24 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32178/stat : 32178 (java) R 28239 28239 16913 0 -1 4202560 2462 0 0 0 13924 0 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502332578912 140502835694340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32179] ppid=28239 vsize=13870380 CPUtime=138.07 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32179/stat : 32179 (java) R 28239 28239 16913 0 -1 4202560 830 0 0 0 13807 0 0 0 20 0 28 0 3733975 14203269120 836886 33554432000 4194304 4196468 140734975729856 140502327321240 140502834744957 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
Current children cumulated CPU time (s) 2197.69
Current children cumulated vsize (KiB) 13879892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+307.801 s]
/proc/loadavg: 15.94 15.62 14.83 17/303 32182
/proc/meminfo: memFree=25994036/32770624 swapFree=5900/219488
[pid=28239] ppid=28236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28239/stat : 28239 (xcsp3-exec) S 28236 28239 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3719704 9740288 345 33554432000 4194304 5098028 140734396484880 140734396482984 139836130038396 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16474112 140734396486799 140734396487008 140734396487008 140734396489707 0
/proc/28239/statm: 2378 345 289 221 0 87 0
[pid=28240] ppid=28239 vsize=13870380 CPUtime=2400.61 cores=0,2,4,6,8,10,12,14
/proc/28240/stat : 28240 (java) S 28239 28239 16913 0 -1 1077944320 177584 0 0 0 239753 308 0 0 20 0 28 0 3719704 14203269120 831637 33554432000 4194304 4196468 140734975729856 140734975712400 140503229116151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
/proc/28240/statm: 3467595 831637 3288 1 0 3454828 0
[pid=28240/tid=28241] ppid=28239 vsize=13870380 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28241/stat : 28241 (java) S 28239 28239 16913 0 -1 1077944384 10335 0 0 0 359 8 0 0 20 0 28 0 3719705 14203269120 831637 33554432000 4194304 4196468 140734975729856 140503233356864 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28243] ppid=28239 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28243/stat : 28243 (java) S 28239 28239 16913 0 -1 1077944384 1042 0 0 0 25 17 0 0 20 0 28 0 3719705 14203269120 831637 33554432000 4194304 4196468 140734975729856 140503147596944 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28244] ppid=28239 vsize=13870380 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28244/stat : 28244 (java) S 28239 28239 16913 0 -1 1077944384 945 0 0 0 23 17 0 0 20 0 28 0 3719706 14203269120 831637 33554432000 4194304 4196468 140734975729856 140503146544144 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28245] ppid=28239 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28245/stat : 28245 (java) S 28239 28239 16913 0 -1 1077944384 649 0 0 0 26 17 0 0 20 0 28 0 3719706 14203269120 831637 33554432000 4194304 4196468 140734975729856 140503145491344 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28246] ppid=28239 vsize=13870380 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28246/stat : 28246 (java) S 28239 28239 16913 0 -1 1077944384 1683 0 0 0 26 18 0 0 20 0 28 0 3719706 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502825429776 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28247] ppid=28239 vsize=13870380 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28247/stat : 28247 (java) S 28239 28239 16913 0 -1 1077944384 1770 0 0 0 24 18 0 0 20 0 28 0 3719706 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502824376976 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28248] ppid=28239 vsize=13870380 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28248/stat : 28248 (java) S 28239 28239 16913 0 -1 1077944384 601 0 0 0 25 19 0 0 20 0 28 0 3719706 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502823324176 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28249] ppid=28239 vsize=13870380 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28249/stat : 28249 (java) S 28239 28239 16913 0 -1 1077944384 1196 0 0 0 26 17 0 0 20 0 28 0 3719706 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502822271376 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28250] ppid=28239 vsize=13870380 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28250/stat : 28250 (java) S 28239 28239 16913 0 -1 1077944384 1655 0 0 0 26 18 0 0 20 0 28 0 3719706 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502821218576 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28251] ppid=28239 vsize=13870380 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28251/stat : 28251 (java) S 28239 28239 16913 0 -1 1077944384 5577 0 0 0 8 14 0 0 20 0 28 0 3719708 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502422989680 140503229127298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28252] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28252/stat : 28252 (java) S 28239 28239 16913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3719709 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502421935712 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28253] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28253/stat : 28253 (java) S 28239 28239 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3719709 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502420882816 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28254] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28254/stat : 28254 (java) S 28239 28239 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3719713 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502419831120 140503229134747 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28255] ppid=28239 vsize=13870380 CPUtime=4.73 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28255/stat : 28255 (java) S 28239 28239 16913 0 -1 1077944384 14454 0 0 0 472 1 0 0 20 0 28 0 3719713 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502418778480 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28256] ppid=28239 vsize=13870380 CPUtime=4.65 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28256/stat : 28256 (java) S 28239 28239 16913 0 -1 1077944384 17484 0 0 0 461 4 0 0 20 0 28 0 3719713 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502417725680 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28257] ppid=28239 vsize=13870380 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28257/stat : 28257 (java) S 28239 28239 16913 0 -1 1077944384 24079 0 0 0 494 3 0 0 20 0 28 0 3719713 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502416672880 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28258] ppid=28239 vsize=13870380 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28258/stat : 28258 (java) S 28239 28239 16913 0 -1 1077944384 12178 0 0 0 151 2 0 0 20 0 28 0 3719713 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502415620080 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28259] ppid=28239 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28259/stat : 28259 (java) S 28239 28239 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3719714 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502414568544 140503229126357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=28260] ppid=28239 vsize=13870380 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28240/task/28260/stat : 28260 (java) S 28239 28239 16913 0 -1 1077944384 1134 0 0 0 6 9 0 0 20 0 28 0 3719714 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502413515824 140503229127298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32172] ppid=28239 vsize=13870380 CPUtime=164.06 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32172/stat : 32172 (java) R 28239 28239 16913 0 -1 4202560 1894 0 0 0 16405 1 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502336788528 140502835053465 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32173] ppid=28239 vsize=13870380 CPUtime=164.59 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32173/stat : 32173 (java) R 28239 28239 16913 0 -1 4202560 2015 0 0 0 16458 1 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502331523480 140502835079380 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32174] ppid=28239 vsize=13870380 CPUtime=164.41 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32174/stat : 32174 (java) R 28239 28239 16913 0 -1 4202560 959 0 0 0 16441 0 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502335733632 140502828194200 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32175] ppid=28239 vsize=13870380 CPUtime=164.04 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32175/stat : 32175 (java) R 28239 28239 16913 0 -1 4202560 9500 0 0 0 16398 6 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502334680904 140502834713703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32176] ppid=28239 vsize=13870380 CPUtime=163.63 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32176/stat : 32176 (java) R 28239 28239 16913 0 -1 4202560 1372 0 0 0 16363 0 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502330470104 140502828194200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32177] ppid=28239 vsize=13870380 CPUtime=164.53 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32177/stat : 32177 (java) R 28239 28239 16913 0 -1 4202560 862 0 0 0 16453 0 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502407597944 140502834744648 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32178] ppid=28239 vsize=13870380 CPUtime=164.65 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32178/stat : 32178 (java) R 28239 28239 16913 0 -1 4202560 2678 0 0 0 16465 0 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502332576440 140502834699986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
[pid=28240/tid=32179] ppid=28239 vsize=13870380 CPUtime=163.11 cores=0,2,4,6,8,10,12,14
/proc/28240/task/32179/stat : 32179 (java) R 28239 28239 16913 0 -1 4202560 934 0 0 0 16311 0 0 0 20 0 28 0 3733975 14203269120 831637 33554432000 4194304 4196468 140734975729856 140502327321096 140502835033108 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140734975734972 140734975735148 140734975735148 140734975737807 0
Current children cumulated CPU time (s) 2400.61
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 28240 sig 9
??? kill 28239 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 28239 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1487
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1487
# CPU time returned by wait4() is 0.002974
# while last known CPU time is 2400.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 307.812
CPU time (s): 2400.61
CPU user time (s): 2397.53
CPU system time (s): 3.08
CPU usage (%): 779.895
Max. virtual memory (cumulated for all children) (KiB): 13881940

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.57109 second user time and 4.21522 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 02:48:48
IDJOB=4244837
IDBENCH=115918
IDSOLVER=2625
FILE ID=node133/4244837-1500684527
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
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-4244837-1500684527/watcher-4244837-1500684527 -o /tmp/evaluation-result-4244837-1500684527/solver-4244837-1500684527 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 491360930 HOME/instance-4244837-1500684527.xml

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

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=491360930

node133.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		: 1600.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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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	: 5229.85
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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	: 5229.85
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		: 1733.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	: 5334.13
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	: 5229.85
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		: 1733.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	: 5334.13
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	: 5229.85
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		: 1600.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	: 5334.13
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	: 5229.85
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		: 1600.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	: 5334.13
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	: 5229.85
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		: 1733.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	: 5334.13
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	: 5229.85
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		: 1600.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	: 5334.13
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		: 2668.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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28980852 kB
MemAvailable:   29031276 kB
Buffers:           50560 kB
Cached:           308684 kB
SwapCached:            0 kB
Active:          3181204 kB
Inactive:         227772 kB
Active(anon):    3052340 kB
Inactive(anon):     8756 kB
Active(file):     128864 kB
Inactive(file):   219016 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8044 kB
Writeback:             0 kB
AnonPages:       3054916 kB
Mapped:            42996 kB
Shmem:              8872 kB
Slab:              70060 kB
SReclaimable:      36756 kB
SUnreclaim:        33304 kB
KernelStack:        4736 kB
PageTables:        11932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3754364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2924544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 02:53:56