Trace number 4280616

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)638 19909.1 2520.1399

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-37.xml
MD5SUM45cb885f577274590a53a0b26d80d877
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark686
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables3082
Number of constraints1747
Number of domains4
Minimum domain size2
Maximum domain size3043
Distribution of domain sizes[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree1
Maximum variable degree40
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity2
Maximum constraint arity41
Distribution of constraint arities[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints1517
Number of intensional constraints186
Distribution of constraint types[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280616-1503115253.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280616-1503115253.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.34/0.27	c parse instance...
9.11/4.00	c solve instance...
18.49/5.26	o 0 
18.49/5.29	o 4 
18.49/5.30	o 6 
19.25/5.32	o 8 
19.25/5.33	o 10 
19.25/5.35	o 12 
19.25/5.37	o 14 
19.25/5.39	o 16 
19.81/5.45	o 18 
21.74/5.80	o 20 
23.44/6.66	o 22 
24.59/6.84	o 24 
27.02/7.15	o 26 
27.70/7.24	o 28 
37.09/8.63	o 30 
40.91/9.15	o 31 
43.98/9.51	o 32 
67.81/12.53	o 34 
100.40/16.68	o 35 
110.70/17.99	o 37 
125.69/20.37	o 38 
125.69/20.39	o 39 
125.69/20.40	o 40 
125.89/20.41	o 41 
125.89/20.41	o 42 
125.89/20.42	o 43 
125.89/20.43	o 44 
125.89/20.44	o 45 
125.89/20.45	o 46 
125.89/20.46	o 47 
125.89/20.47	o 48 
125.89/20.48	o 49 
125.89/20.49	o 50 
125.89/20.50	o 51 
126.38/20.51	o 52 
126.38/20.52	o 53 
126.38/20.53	o 54 
126.38/20.54	o 55 
126.38/20.54	o 56 
126.38/20.55	o 57 
126.38/20.56	o 58 
126.38/20.57	o 59 
126.38/20.58	o 60 
126.38/20.58	o 61 
126.38/20.59	o 62 
126.87/20.61	o 63 
126.87/20.61	o 64 
126.87/20.62	o 65 
126.87/20.63	o 66 
126.87/20.64	o 67 
126.87/20.65	o 68 
126.87/20.66	o 69 
126.87/20.67	o 70 
126.87/20.68	o 71 
126.87/20.69	o 72 
126.87/20.69	o 73 
127.29/20.70	o 74 
127.29/20.72	o 75 
127.29/20.73	o 76 
127.29/20.73	o 77 
127.29/20.75	o 78 
127.29/20.75	o 79 
127.29/20.76	o 80 
127.29/20.77	o 81 
127.29/20.78	o 82 
127.29/20.79	o 83 
127.78/20.80	o 84 
127.78/20.81	o 85 
127.78/20.81	o 86 
127.78/20.83	o 87 
127.78/20.83	o 88 
127.78/20.84	o 89 
127.78/20.85	o 90 
127.78/20.86	o 91 
127.78/20.87	o 92 
127.78/20.88	o 93 
127.78/20.89	o 94 
127.78/20.90	o 95 
128.25/20.90	o 96 
128.25/20.91	o 97 
128.25/20.92	o 98 
128.25/20.93	o 99 
128.25/20.93	o 100 
128.25/20.94	o 101 
128.25/20.95	o 102 
128.25/20.96	o 103 
128.25/20.96	o 104 
128.25/20.97	o 105 
128.25/20.98	o 106 
128.25/20.99	o 107 
128.25/21.00	o 108 
128.25/21.00	o 109 
128.79/21.01	o 110 
128.79/21.03	o 111 
128.79/21.03	o 112 
128.79/21.04	o 113 
128.79/21.05	o 114 
128.79/21.06	o 115 
128.79/21.07	o 116 
128.79/21.08	o 117 
128.79/21.09	o 118 
128.79/21.10	o 119 
128.79/21.11	o 120 
129.27/21.12	o 121 
129.27/21.13	o 122 
129.27/21.14	o 123 
129.27/21.15	o 124 
129.27/21.15	o 125 
129.27/21.16	o 126 
129.27/21.17	o 127 
129.27/21.18	o 128 
129.27/21.19	o 129 
129.70/21.20	o 130 
129.70/21.21	o 131 
129.70/21.22	o 132 
129.70/21.23	o 133 
129.70/21.24	o 134 
129.70/21.25	o 135 
129.70/21.26	o 136 
129.70/21.27	o 137 
129.70/21.27	o 138 
129.70/21.28	o 139 
129.70/21.29	o 140 
130.23/21.30	o 141 
130.23/21.31	o 142 
130.23/21.32	o 143 
130.23/21.33	o 144 
130.23/21.34	o 145 
130.23/21.35	o 146 
130.23/21.35	o 147 
130.23/21.36	o 148 
130.23/21.37	o 149 
130.23/21.38	o 150 
130.23/21.39	o 151 
130.72/21.40	o 152 
130.72/21.41	o 153 
130.72/21.42	o 154 
130.72/21.42	o 155 
130.72/21.43	o 156 
130.72/21.44	o 157 
130.72/21.45	o 158 
130.72/21.46	o 159 
130.72/21.46	o 160 
130.72/21.47	o 161 
130.72/21.48	o 162 
130.72/21.49	o 163 
130.72/21.50	o 164 
131.22/21.51	o 165 
131.22/21.52	o 166 
131.22/21.53	o 167 
131.22/21.54	o 168 
131.22/21.55	o 169 
131.22/21.56	o 170 
131.22/21.56	o 171 
131.22/21.57	o 172 
131.22/21.58	o 173 
131.22/21.60	o 174 
131.69/21.61	o 175 
131.69/21.61	o 176 
131.69/21.62	o 177 
131.69/21.64	o 178 
131.69/21.65	o 179 
131.69/21.66	o 180 
131.69/21.67	o 181 
131.69/21.68	o 182 
131.69/21.69	o 183 
131.69/21.70	o 184 
132.19/21.71	o 185 
132.19/21.72	o 186 
132.19/21.72	o 187 
132.19/21.73	o 188 
132.19/21.74	o 189 
132.19/21.76	o 190 
132.19/21.77	o 191 
132.19/21.78	o 192 
132.19/21.79	o 193 
132.19/21.80	o 194 
132.65/21.81	o 195 
132.65/21.81	o 196 
132.65/21.82	o 197 
132.65/21.83	o 198 
132.65/21.84	o 199 
132.65/21.85	o 200 
132.65/21.86	o 201 
132.65/21.87	o 202 
132.65/21.88	o 203 
132.65/21.89	o 204 
132.65/21.90	o 205 
133.16/21.91	o 206 
133.16/21.92	o 207 
133.16/21.93	o 208 
133.16/21.94	o 209 
133.16/21.95	o 210 
133.16/21.96	o 211 
133.16/21.96	o 212 
133.16/21.98	o 213 
133.16/21.98	o 214 
133.16/22.00	o 215 
133.16/22.00	o 216 
133.67/22.01	o 217 
133.67/22.03	o 218 
133.67/22.04	o 219 
133.67/22.04	o 220 
133.67/22.05	o 221 
133.67/22.06	o 222 
133.67/22.07	o 223 
133.67/22.08	o 224 
133.67/22.09	o 225 
133.67/22.10	o 226 
133.67/22.11	o 227 
134.19/22.13	o 228 
134.38/22.26	o 229 
135.04/22.89	o 230 
135.04/22.90	o 231 
135.19/22.91	o 232 
135.19/22.92	o 233 
135.19/22.93	o 234 
135.19/22.94	o 235 
135.19/22.95	o 236 
135.19/22.96	o 237 
135.19/22.97	o 238 
135.19/22.97	o 239 
135.19/22.98	o 240 
135.19/22.99	o 241 
135.19/23.00	o 242 
135.19/23.01	o 243 
135.74/23.02	o 244 
135.74/23.03	o 245 
135.74/23.03	o 246 
135.74/23.04	o 247 
135.74/23.05	o 248 
135.74/23.06	o 249 
135.74/23.07	o 250 
135.74/23.08	o 251 
135.74/23.09	o 252 
135.74/23.10	o 253 
136.27/23.11	o 254 
136.27/23.13	o 255 
136.27/23.14	o 256 
136.27/23.15	o 257 
136.27/23.16	o 258 
136.27/23.17	o 259 
136.27/23.18	o 260 
136.27/23.19	o 261 
136.73/23.20	o 262 
136.73/23.21	o 263 
136.73/23.22	o 264 
136.73/23.23	o 265 
136.73/23.24	o 266 
136.73/23.25	o 267 
136.73/23.26	o 268 
136.73/23.27	o 269 
136.73/23.28	o 270 
136.73/23.29	o 271 
136.73/23.30	o 272 
137.25/23.31	o 273 
137.25/23.32	o 274 
137.25/23.33	o 275 
137.25/23.34	o 276 
137.25/23.35	o 277 
137.25/23.36	o 278 
137.25/23.37	o 279 
137.25/23.38	o 280 
137.25/23.38	o 281 
137.25/23.39	o 282 
137.77/23.40	o 283 
137.77/23.41	o 284 
137.77/23.42	o 285 
137.77/23.43	o 286 
137.77/23.44	o 287 
137.77/23.45	o 288 
137.77/23.46	o 289 
137.77/23.47	o 290 
137.77/23.48	o 291 
137.77/23.49	o 292 
138.26/23.50	o 293 
138.26/23.51	o 294 
138.26/23.52	o 295 
138.26/23.53	o 296 
138.26/23.53	o 297 
138.26/23.54	o 298 
138.26/23.56	o 299 
138.26/23.57	o 300 
138.26/23.58	o 301 
138.26/23.59	o 302 
138.82/23.60	o 303 
138.82/23.61	o 304 
138.82/23.62	o 305 
138.82/23.63	o 306 
138.82/23.64	o 307 
138.82/23.65	o 308 
138.82/23.67	o 309 
138.82/23.68	o 310 
138.82/23.69	o 311 
138.82/23.70	o 312 
139.31/23.71	o 313 
139.31/23.72	o 314 
139.31/23.73	o 315 
139.31/23.74	o 316 
139.31/23.75	o 317 
139.31/23.76	o 318 
139.31/23.76	o 319 
139.31/23.77	o 320 
139.31/23.78	o 321 
139.31/23.79	o 322 
139.90/23.80	o 323 
139.90/23.81	o 324 
139.90/23.83	o 325 
139.90/23.84	o 326 
139.90/23.84	o 327 
139.90/23.86	o 328 
139.90/23.87	o 329 
139.90/23.88	o 330 
139.90/23.89	o 331 
140.41/23.90	o 332 
140.41/23.91	o 333 
140.41/23.92	o 334 
140.41/23.94	o 335 
140.41/23.95	o 336 
140.41/23.96	o 337 
140.41/23.97	o 338 
140.41/23.98	o 339 
140.41/23.99	o 340 
140.41/24.00	o 341 
141.00/24.01	o 342 
141.00/24.02	o 343 
141.00/24.03	o 344 
141.00/24.05	o 345 
141.00/24.06	o 346 
141.00/24.07	o 347 
141.00/24.08	o 348 
141.00/24.09	o 349 
141.00/24.10	o 350 
141.48/24.11	o 351 
141.48/24.12	o 352 
141.48/24.12	o 353 
141.48/24.13	o 354 
141.48/24.14	o 355 
141.48/24.15	o 356 
141.48/24.16	o 357 
141.48/24.17	o 358 
141.48/24.18	o 359 
141.48/24.19	o 360 
142.00/24.21	o 361 
142.00/24.22	o 362 
142.00/24.23	o 363 
142.00/24.23	o 364 
142.00/24.24	o 365 
142.00/24.25	o 366 
142.00/24.26	o 367 
142.00/24.28	o 368 
142.00/24.29	o 369 
142.57/24.30	o 370 
142.57/24.31	o 371 
142.57/24.32	o 372 
142.57/24.33	o 373 
142.57/24.34	o 374 
142.57/24.35	o 375 
142.57/24.36	o 376 
142.57/24.38	o 377 
142.57/24.39	o 378 
143.07/24.40	o 379 
143.07/24.41	o 380 
143.07/24.42	o 381 
143.07/24.44	o 382 
143.07/24.45	o 383 
143.07/24.46	o 384 
143.07/24.47	o 385 
143.07/24.48	o 386 
143.07/24.49	o 387 
143.63/24.51	o 388 
143.63/24.52	o 389 
143.63/24.53	o 390 
143.63/24.54	o 391 
143.63/24.55	o 392 
143.63/24.56	o 393 
143.63/24.57	o 394 
143.63/24.58	o 395 
143.63/24.59	o 396 
143.63/24.60	o 397 
144.16/24.61	o 398 
144.16/24.62	o 399 
144.16/24.63	o 400 
144.16/24.63	o 401 
144.16/24.65	o 402 
144.16/24.66	o 403 
144.16/24.68	o 404 
144.77/24.88	o 405 
145.53/25.50	o 406 
145.53/25.51	o 407 
145.53/25.52	o 408 
145.53/25.53	o 409 
145.53/25.54	o 410 
145.53/25.55	o 411 
145.53/25.56	o 412 
145.53/25.57	o 413 
145.53/25.58	o 414 
145.53/25.59	o 415 
146.09/25.60	o 416 
146.09/25.61	o 417 
146.09/25.62	o 418 
146.09/25.63	o 419 
146.09/25.64	o 420 
146.09/25.65	o 421 
146.09/25.66	o 422 
146.09/25.67	o 423 
146.09/25.68	o 424 
146.09/25.69	o 425 
146.69/25.70	o 426 
146.69/25.71	o 427 
146.69/25.72	o 428 
146.69/25.74	o 429 
146.69/25.75	o 430 
146.69/25.76	o 431 
146.69/25.77	o 432 
146.69/25.78	o 433 
147.20/25.80	o 434 
147.20/25.81	o 435 
147.20/25.82	o 436 
147.20/25.84	o 437 
147.20/25.85	o 438 
147.20/25.86	o 439 
147.20/25.87	o 440 
147.20/25.88	o 441 
147.20/25.89	o 442 
147.20/25.90	o 443 
147.77/25.91	o 444 
147.77/25.92	o 445 
147.77/25.93	o 446 
147.77/25.94	o 447 
147.77/25.95	o 448 
147.77/25.96	o 449 
147.77/25.97	o 450 
147.77/25.98	o 451 
147.77/26.00	o 452 
148.33/26.01	o 453 
148.33/26.02	o 454 
148.33/26.04	o 455 
148.33/26.05	o 456 
148.33/26.06	o 457 
148.33/26.07	o 458 
148.33/26.08	o 459 
148.33/26.09	o 460 
148.33/26.10	o 461 
148.33/26.11	o 462 
148.92/26.13	o 463 
148.92/26.14	o 464 
148.92/26.15	o 465 
148.92/26.16	o 466 
148.92/26.17	o 467 
148.92/26.19	o 468 
149.35/26.20	o 469 
149.35/26.21	o 470 
149.35/26.22	o 471 
149.35/26.23	o 472 
149.35/26.25	o 473 
149.35/26.26	o 474 
149.35/26.27	o 475 
149.35/26.28	o 476 
149.35/26.30	o 477 
149.86/26.31	o 478 
149.86/26.33	o 479 
149.86/26.34	o 480 
149.86/26.36	o 481 
149.86/26.37	o 482 
149.86/26.38	o 483 
149.86/26.39	o 484 
150.43/26.40	o 485 
150.43/26.41	o 486 
150.43/26.43	o 487 
150.43/26.44	o 488 
150.43/26.45	o 489 
150.43/26.46	o 490 
150.43/26.47	o 491 
150.43/26.49	o 492 
150.97/26.50	o 493 
150.97/26.51	o 494 
150.97/26.53	o 495 
150.97/26.54	o 496 
150.97/26.55	o 497 
150.97/26.56	o 498 
150.97/26.57	o 499 
150.97/26.59	o 500 
150.97/26.60	o 501 
151.48/26.61	o 502 
151.48/26.62	o 503 
151.48/26.63	o 504 
151.48/26.64	o 505 
151.48/26.65	o 506 
151.48/26.66	o 507 
151.48/26.68	o 508 
151.48/26.69	o 509 
151.48/26.70	o 510 
152.08/26.71	o 511 
152.08/26.72	o 512 
152.08/26.74	o 513 
152.08/26.75	o 514 
152.08/26.76	o 515 
152.08/26.78	o 516 
152.08/26.79	o 517 
152.64/26.80	o 518 
152.64/26.82	o 519 
152.64/26.83	o 520 
152.64/26.84	o 521 
152.64/26.85	o 522 
152.64/26.87	o 523 
152.64/26.88	o 524 
152.64/26.89	o 525 
153.15/26.91	o 526 
153.15/26.92	o 527 
153.15/26.93	o 528 
153.15/26.95	o 529 
153.15/26.96	o 530 
153.15/26.97	o 531 
153.15/26.99	o 532 
153.15/27.00	o 533 
153.79/27.01	o 534 
153.79/27.02	o 535 
153.79/27.04	o 536 
153.79/27.05	o 537 
153.79/27.06	o 538 
153.79/27.07	o 539 
153.79/27.09	o 540 
153.79/27.10	o 541 
153.79/27.11	o 542 
154.34/27.12	o 543 
154.34/27.14	o 544 
154.34/27.15	o 545 
154.34/27.16	o 546 
154.34/27.17	o 547 
154.34/27.19	o 548 
154.34/27.20	o 549 
154.80/27.21	o 550 
154.80/27.22	o 551 
154.80/27.24	o 552 
154.80/27.25	o 553 
154.80/27.27	o 554 
154.80/27.29	o 555 
154.80/27.30	o 556 
155.32/27.31	o 557 
155.32/27.32	o 558 
155.32/27.33	o 559 
155.32/27.34	o 560 
155.32/27.36	o 561 
155.32/27.37	o 562 
155.32/27.38	o 563 
155.32/27.39	o 564 
155.92/27.40	o 565 
155.92/27.42	o 566 
155.92/27.43	o 567 
155.92/27.44	o 568 
155.92/27.46	o 569 
155.92/27.48	o 570 
155.92/27.49	o 571 
156.43/27.50	o 572 
156.43/27.52	o 573 
156.43/27.53	o 574 
156.43/27.54	o 575 
156.43/27.55	o 576 
156.43/27.56	o 577 
156.43/27.57	o 578 
156.43/27.59	o 579 
156.43/27.60	o 580 
157.00/27.61	o 581 
157.00/27.63	o 582 
157.00/27.64	o 583 
157.00/27.65	o 584 
157.00/27.66	o 585 
157.00/27.67	o 586 
157.00/27.69	o 587 
157.59/27.71	o 588 
157.59/27.72	o 589 
157.59/27.73	o 590 
157.59/27.75	o 591 
157.59/27.76	o 592 
157.94/27.84	o 593 
158.60/28.44	o 594 
158.60/28.46	o 595 
158.60/28.47	o 596 
158.60/28.48	o 597 
158.60/28.49	o 598 
158.60/28.51	o 599 
159.01/28.53	o 600 
159.01/28.54	o 601 
159.01/28.55	o 602 
159.01/28.57	o 603 
159.01/28.58	o 604 
159.50/28.60	o 605 
159.50/28.61	o 606 
159.50/28.63	o 607 
159.50/28.64	o 608 
159.50/28.65	o 609 
159.50/28.67	o 610 
159.50/28.68	o 611 
160.09/28.70	o 612 
160.09/28.71	o 613 
160.09/28.72	o 614 
160.09/28.74	o 615 
160.09/28.75	o 616 
160.09/28.77	o 617 
160.59/28.83	o 618 
161.26/29.42	o 619 
161.26/29.45	o 620 
161.53/29.51	o 621 
162.11/30.11	o 622 
162.21/30.12	o 623 
162.21/30.18	o 624 
163.01/30.78	o 625 
163.17/30.80	o 626 
163.17/30.86	o 627 
163.98/31.46	o 628 
163.98/31.47	o 629 
164.27/31.55	o 630 
165.21/32.16	o 631 
266.73/44.90	o 632 
266.73/44.93	o 633 
266.73/44.94	o 634 
884.01/122.33	o 635 
884.01/122.35	o 636 
5700.53/727.80	o 637 
5912.73/754.62	o 638 
19908.24/2520.09	s SATISFIABLE
19908.24/2520.09	v <instantiation>
19908.24/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] 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[1][34] x[1][35] x[1][36] x[1][37] x[1][38] 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[2][34] x[2][35] x[2][36] x[2][37] x[2][38] 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[3][34] x[3][35] x[3][36] x[3][37] x[3][38] 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[4][34] x[4][35] x[4][36] x[4][37] x[4][38] 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[5][34] x[5][35] x[5][36] x[5][37] x[5][38] 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[6][34] x[6][35] x[6][36] x[6][37] x[6][38] 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[7][34] x[7][35] x[7][36] x[7][37] x[7][38] 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[8][34] x[8][35] x[8][36] x[8][37] x[8][38] 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[9][34] x[9][35] x[9][36] x[9][37] x[9][38] 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[10][34] x[10][35] x[10][36] x[10][37] x[10][38] 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[11][34] x[11][35] x[11][36] x[11][37] x[11][38] 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[12][34] x[12][35] x[12][36] x[12][37] x[12][38] 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[13][34] x[13][35] x[13][36] x[13][37] x[13][38] 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[14][34] x[14][35] x[14][36] x[14][37] x[14][38] 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[15][34] x[15][35] x[15][36] x[15][37] x[15][38] 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[16][34] x[16][35] x[16][36] x[16][37] x[16][38] 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[17][34] x[17][35] x[17][36] x[17][37] x[17][38] 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[18][34] x[18][35] x[18][36] x[18][37] x[18][38] 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[19][34] x[19][35] x[19][36] x[19][37] x[19][38] 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[20][34] x[20][35] x[20][36] x[20][37] x[20][38] 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[21][34] x[21][35] x[21][36] x[21][37] x[21][38] 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[22][34] x[22][35] x[22][36] x[22][37] x[22][38] 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[23][34] x[23][35] x[23][36] x[23][37] x[23][38] 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[24][34] x[24][35] x[24][36] x[24][37] x[24][38] 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[25][34] x[25][35] x[25][36] x[25][37] x[25][38] 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[26][34] x[26][35] x[26][36] x[26][37] x[26][38] 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[27][34] x[27][35] x[27][36] x[27][37] x[27][38] 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[28][34] x[28][35] x[28][36] x[28][37] x[28][38] 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[29][34] x[29][35] x[29][36] x[29][37] x[29][38] 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[30][34] x[30][35] x[30][36] x[30][37] x[30][38] 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[31][34] x[31][35] x[31][36] x[31][37] x[31][38] 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[32][34] x[32][35] x[32][36] x[32][37] x[32][38] 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] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] 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[0][34] w[0][35] w[0][36] w[0][37] w[0][38] 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[1][34] w[1][35] w[1][36] w[1][37] w[1][38] 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[2][34] w[2][35] w[2][36] w[2][37] w[2][38] 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[3][34] w[3][35] w[3][36] w[3][37] w[3][38] 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[4][34] w[4][35] w[4][36] w[4][37] w[4][38] 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[5][34] w[5][35] w[5][36] w[5][37] w[5][38] 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[6][34] w[6][35] w[6][36] w[6][37] w[6][38] 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[7][34] w[7][35] w[7][36] w[7][37] w[7][38] 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[8][34] w[8][35] w[8][36] w[8][37] w[8][38] 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[9][34] w[9][35] w[9][36] w[9][37] w[9][38] 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[10][34] w[10][35] w[10][36] w[10][37] w[10][38] 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[11][34] w[11][35] w[11][36] w[11][37] w[11][38] 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[12][34] w[12][35] w[12][36] w[12][37] w[12][38] 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[13][34] w[13][35] w[13][36] w[13][37] w[13][38] 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[14][34] w[14][35] w[14][36] w[14][37] w[14][38] 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[15][34] w[15][35] w[15][36] w[15][37] w[15][38] 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[16][34] w[16][35] w[16][36] w[16][37] w[16][38] 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[17][34] w[17][35] w[17][36] w[17][37] w[17][38] 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[18][34] w[18][35] w[18][36] w[18][37] w[18][38] 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[19][34] w[19][35] w[19][36] w[19][37] w[19][38] 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[20][34] w[20][35] w[20][36] w[20][37] w[20][38] 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[21][34] w[21][35] w[21][36] w[21][37] w[21][38] 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[22][34] w[22][35] w[22][36] w[22][37] w[22][38] 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[23][34] w[23][35] w[23][36] w[23][37] w[23][38] 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[24][34] w[24][35] w[24][36] w[24][37] w[24][38] 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[25][34] w[25][35] w[25][36] w[25][37] w[25][38] 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[26][34] w[26][35] w[26][36] w[26][37] w[26][38] 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[27][34] w[27][35] w[27][36] w[27][37] w[27][38] 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[28][34] w[28][35] w[28][36] w[28][37] w[28][38] 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[29][34] w[29][35] w[29][36] w[29][37] w[29][38] 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[30][34] w[30][35] w[30][36] w[30][37] w[30][38] 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[31][34] w[31][35] w[31][36] w[31][37] w[31][38] 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[32][34] w[32][35] w[32][36] w[32][37] w[32][38] 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] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] 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] ws[34] ws[35] ws[36] ws[37] ws[38] z </list>
19908.24/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 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 1 1 1 1 1 0 1 0 1 1 0 0 1 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 0 0 0 0 1 1 0 1 0 0 1 1 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 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 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 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 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 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 1 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 0 1 1 0 1 0 1 1 0 1 1 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 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 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 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 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 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 0 0 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 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 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 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 12 13 13 26 26 27 71 78 80 82 86 88 122 132 139 141 145 154 171 174 181 198 200 202 217 221 224 235 238 238 255 265 275 285 293 300 303 315 334 638 </values>
19908.24/2520.09	v </instantiation>
19908.24/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	638

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280616-1503115253/watcher-4280616-1503115253 -o /tmp/evaluation-result-4280616-1503115253/solver-4280616-1503115253 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503111871-12477 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 973018180 HOME/instance-4280616-1503115253.xml 

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

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


[startup+0.101992 s]*
/proc/loadavg: 7.68 8.17 7.79 3/199 12827
/proc/meminfo: memFree=21374732/32770624 swapFree=67108860/67108860
[pid=12806] ppid=12803 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12806/stat : 12806 (xcsp3-exec) S 12803 12806 12450 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144606029 9740288 345 33554432000 4194304 5098028 140731250883328 140731250881432 140660298015356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26296320 140731250885733 140731250885943 140731250885943 140731250888683 0
/proc/12806/statm: 2378 345 289 221 0 87 0
[pid=12808] ppid=12806 vsize=25999808 memory=26648 CPUtime=0.11 cores=0-7
/proc/12808/stat : 12808 (java) S 12806 12806 12450 0 -1 1077944320 5611 0 0 0 11 0 0 0 20 0 20 0 144606029 26623803392 6662 33554432000 4194304 4196468 140733424299520 140733424282064 139626088394487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
/proc/12808/statm: 6499952 6662 2845 1 0 6488269 0
[pid=12808/tid=12809] ppid=12806 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12808/task/12809/stat : 12809 (java) R 12806 12806 12450 0 -1 4202560 3610 0 0 0 9 0 0 0 20 0 20 0 144606029 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626092629024 139626088406422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12810] ppid=12806 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12808/task/12810/stat : 12810 (java) S 12806 12806 12450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626041015440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12811] ppid=12806 vsize=25999808 memory=140636158527104 CPUtime=0 cores=0-7
/proc/12808/task/12811/stat : 12811 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626039962640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12812] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12812/stat : 12812 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626038909840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12813] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12813/stat : 12813 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626037857040 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12814] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12814/stat : 12814 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626036804240 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12815] ppid=12806 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12808/task/12815/stat : 12815 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626035751440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12816] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12816/stat : 12816 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626034698640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12817] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12817/stat : 12817 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606030 26623803392 6662 33554432000 4194304 4196468 140733424299520 139626033645840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12818] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12818/stat : 12818 (java) S 12806 12806 12450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144606031 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624494103408 139626088405634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12819] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12819/stat : 12819 (java) S 12806 12806 12450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144606032 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624493049376 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12820] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12820/stat : 12820 (java) S 12806 12806 12450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144606032 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624491996528 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12821] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12821/stat : 12821 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606034 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624490944848 139626088413083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12822] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12822/stat : 12822 (java) S 12806 12806 12450 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 144606034 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624489892208 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12823] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12823/stat : 12823 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606034 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624018077936 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12824] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12824/stat : 12824 (java) S 12806 12806 12450 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 144606035 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624017025136 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12825] ppid=12806 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12808/task/12825/stat : 12825 (java) R 12806 12806 12450 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 144606035 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624015972336 139626072515704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12826] ppid=12806 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12826/stat : 12826 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606035 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624014920800 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12827] ppid=12806 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12808/task/12827/stat : 12827 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606035 26623803392 6662 33554432000 4194304 4196468 140733424299520 139624013868080 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28028 KiB

[startup+0.210243 s]*
/proc/loadavg: 7.68 8.17 7.79 3/199 12827
/proc/meminfo: memFree=21364320/32770624 swapFree=67108860/67108860
[pid=12806] ppid=12803 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12806/stat : 12806 (xcsp3-exec) S 12803 12806 12450 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144606029 9740288 345 33554432000 4194304 5098028 140731250883328 140731250881432 140660298015356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26296320 140731250885733 140731250885943 140731250885943 140731250888683 0
/proc/12806/statm: 2378 345 289 221 0 87 0
[pid=12808] ppid=12806 vsize=26004064 memory=38576 CPUtime=0.34 cores=0-7
/proc/12808/stat : 12808 (java) S 12806 12806 12450 0 -1 1077944320 8233 0 0 0 32 2 0 0 20 0 20 0 144606029 26628161536 9644 33554432000 4194304 4196468 140733424299520 140733424282064 139626088394487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
/proc/12808/statm: 6501016 9644 3027 1 0 6488269 0
[pid=12808/tid=12809] ppid=12806 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12808/task/12809/stat : 12809 (java) R 12806 12806 12450 0 -1 4202560 5431 0 0 0 18 1 0 0 20 0 20 0 144606029 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626092617376 139626072474974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12810] ppid=12806 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/12808/task/12810/stat : 12810 (java) S 12806 12806 12450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626041015440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12811] ppid=12806 vsize=26004064 memory=288371012310238848 CPUtime=0 cores=0-7
/proc/12808/task/12811/stat : 12811 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626039962640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12812] ppid=12806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12808/task/12812/stat : 12812 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626038909840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12813] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12813/stat : 12813 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626037857040 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12814] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12814/stat : 12814 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626036804240 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12815] ppid=12806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12808/task/12815/stat : 12815 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626035751440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12816] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12816/stat : 12816 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626034698640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12817] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12817/stat : 12817 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 9644 33554432000 4194304 4196468 140733424299520 139626033645840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12818] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12818/stat : 12818 (java) S 12806 12806 12450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 144606031 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624494103408 139626088405634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12819] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12819/stat : 12819 (java) S 12806 12806 12450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144606032 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624493049376 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12820] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12820/stat : 12820 (java) S 12806 12806 12450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144606032 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624491996528 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12821] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12821/stat : 12821 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606034 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624490944848 139626088413083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12822] ppid=12806 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12808/task/12822/stat : 12822 (java) S 12806 12806 12450 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 20 0 144606034 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624489892208 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12823] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12823/stat : 12823 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606034 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624018077936 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12824] ppid=12806 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/12808/task/12824/stat : 12824 (java) S 12806 12806 12450 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 20 0 144606035 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624017025136 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12825] ppid=12806 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/12808/task/12825/stat : 12825 (java) R 12806 12806 12450 0 -1 4202560 708 0 0 0 8 0 0 0 20 0 20 0 144606035 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624015972336 139626088406422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12826] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12826/stat : 12826 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606035 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624014920800 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12827] ppid=12806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12808/task/12827/stat : 12827 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606035 26628161536 9644 33554432000 4194304 4196468 140733424299520 139624013868080 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39956 KiB

[startup+0.31026 s]*
/proc/loadavg: 7.68 8.17 7.79 3/199 12827
/proc/meminfo: memFree=21359156/32770624 swapFree=67108860/67108860
[pid=12806] ppid=12803 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12806/stat : 12806 (xcsp3-exec) S 12803 12806 12450 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144606029 9740288 345 33554432000 4194304 5098028 140731250883328 140731250881432 140660298015356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26296320 140731250885733 140731250885943 140731250885943 140731250888683 0
/proc/12806/statm: 2378 345 289 221 0 87 0
[pid=12808] ppid=12806 vsize=26004064 memory=46056 CPUtime=0.5 cores=0-7
/proc/12808/stat : 12808 (java) S 12806 12806 12450 0 -1 1077944320 9167 0 0 0 47 3 0 0 20 0 20 0 144606029 26628161536 11514 33554432000 4194304 4196468 140733424299520 140733424282064 139626088394487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
/proc/12808/statm: 6501016 11514 3113 1 0 6488269 0
[pid=12808/tid=12809] ppid=12806 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12808/task/12809/stat : 12809 (java) R 12806 12806 12450 0 -1 4202560 6133 0 0 0 28 1 0 0 20 0 20 0 144606029 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626092632672 139625712723713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12810] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12810/stat : 12810 (java) S 12806 12806 12450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626041015440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12811] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12811/stat : 12811 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626039962640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12812] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12812/stat : 12812 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626038909840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12813] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12813/stat : 12813 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626037857040 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12814] ppid=12806 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12808/task/12814/stat : 12814 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626036804240 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12815] ppid=12806 vsize=26004064 memory=140636019848111 CPUtime=0 cores=0-7
/proc/12808/task/12815/stat : 12815 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626035751440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12816] ppid=12806 vsize=26004064 memory=140636019850416 CPUtime=0 cores=0-7
/proc/12808/task/12816/stat : 12816 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626034698640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12817] ppid=12806 vsize=26004064 memory=140636019852720 CPUtime=0 cores=0-7
/proc/12808/task/12817/stat : 12817 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606030 26628161536 11514 33554432000 4194304 4196468 140733424299520 139626033645840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12818] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12818/stat : 12818 (java) S 12806 12806 12450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 144606031 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624494103408 139626088405634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12819] ppid=12806 vsize=26004064 memory=281272039712400 CPUtime=0 cores=0-7
/proc/12808/task/12819/stat : 12819 (java) S 12806 12806 12450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144606032 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624493049376 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12820] ppid=12806 vsize=26004064 memory=281272039719312 CPUtime=0 cores=0-7
/proc/12808/task/12820/stat : 12820 (java) S 12806 12806 12450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144606032 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624491996528 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12821] ppid=12806 vsize=26004064 memory=281272039660592 CPUtime=0 cores=0-7
/proc/12808/task/12821/stat : 12821 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606034 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624490944848 139626088413083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12822] ppid=12806 vsize=26004064 memory=281272039733136 CPUtime=0.02 cores=0-7
/proc/12808/task/12822/stat : 12822 (java) S 12806 12806 12450 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 144606034 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624489892208 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12823] ppid=12806 vsize=26004064 memory=281272039740048 CPUtime=0 cores=0-7
/proc/12808/task/12823/stat : 12823 (java) S 12806 12806 12450 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 144606034 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624018077936 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12824] ppid=12806 vsize=26004064 memory=281272039737744 CPUtime=0.03 cores=0-7
/proc/12808/task/12824/stat : 12824 (java) S 12806 12806 12450 0 -1 1077944384 426 0 0 0 3 0 0 0 20 0 20 0 144606035 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624017025136 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12825] ppid=12806 vsize=26004064 memory=281272039753904 CPUtime=0.12 cores=0-7
/proc/12808/task/12825/stat : 12825 (java) R 12806 12806 12450 0 -1 4202560 820 0 0 0 12 0 0 0 20 0 20 0 144606035 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624015968704 139626088406422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12826] ppid=12806 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12826/stat : 12826 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144606035 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624014920800 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12827] ppid=12806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12808/task/12827/stat : 12827 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606035 26628161536 11514 33554432000 4194304 4196468 140733424299520 139624013868080 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47436 KiB

[startup+0.701 s]
/proc/loadavg: 7.68 8.17 7.79 5/199 12827
/proc/meminfo: memFree=21333080/32770624 swapFree=67108860/67108860
[pid=12806] ppid=12803 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12806/stat : 12806 (xcsp3-exec) S 12803 12806 12450 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144606029 9740288 345 33554432000 4194304 5098028 140731250883328 140731250881432 140660298015356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26296320 140731250885733 140731250885943 140731250885943 140731250888683 0
/proc/12806/statm: 2378 345 289 221 0 87 0
[pid=12808] ppid=12806 vsize=26006188 memory=89292 CPUtime=1.83 cores=0-7
/proc/12808/stat : 12808 (java) S 12806 12806 12450 0 -1 1077944320 12816 0 0 0 179 4 0 0 20 0 20 0 144606029 26630336512 22323 33554432000 4194304 4196468 140733424299520 140733424282064 139626088394487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
/proc/12808/statm: 6501547 22323 3202 1 0 6488781 0
[pid=12808/tid=12809] ppid=12806 vsize=26006188 memory=281272040111792 CPUtime=0.67 cores=0-7
/proc/12808/task/12809/stat : 12809 (java) R 12806 12806 12450 0 -1 4202560 6644 0 0 0 65 2 0 0 20 0 20 0 144606029 26630336512 22323 33554432000 4194304 4196468 140733424299520 139626092629728 139626072438117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12810] ppid=12806 vsize=26006188 memory=140636020056944 CPUtime=0 cores=0-7
/proc/12808/task/12810/stat : 12810 (java) S 12806 12806 12450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144606030 26630336512 22323 33554432000 4194304 4196468 140733424299520 139626041015440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12811] ppid=12806 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12808/task/12811/stat : 12811 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26630336512 22323 33554432000 4194304 4196468 140733424299520 139626039962640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12812] ppid=12806 vsize=26006188 memory=8728 CPUtime=0 cores=0-7
/proc/12808/task/12812/stat : 12812 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144606030 26630336512 22323 33554432000 4194304 4196468 140733424299520 139626038909840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0

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

/proc/meminfo: memFree=17120732/32770624 swapFree=67108860/67108860
[pid=12806] ppid=12803 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12806/stat : 12806 (xcsp3-exec) S 12803 12806 12450 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144606029 9740288 345 33554432000 4194304 5098028 140731250883328 140731250881432 140660298015356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26296320 140731250885733 140731250885943 140731250885943 140731250888683 0
/proc/12806/statm: 2378 345 289 221 0 87 0
[pid=12808] ppid=12806 vsize=26541776 memory=4274620 CPUtime=19767.3 cores=0-7
/proc/12808/stat : 12808 (java) S 12806 12806 12450 0 -1 1077944320 983325 0 0 0 1975811 919 0 0 20 0 28 0 144606029 27178778624 1068655 33554432000 4194304 4196468 140733424299520 140733424282064 139626088394487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
/proc/12808/statm: 6635444 1068655 3303 1 0 6622678 0
[pid=12808/tid=12809] ppid=12806 vsize=26541776 memory=4274620 CPUtime=4.58 cores=0-7
/proc/12808/task/12809/stat : 12809 (java) S 12806 12806 12450 0 -1 1077944384 11622 0 0 0 448 10 0 0 20 0 28 0 144606029 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626092635200 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12810] ppid=12806 vsize=26541776 memory=1380 CPUtime=13.38 cores=0-7
/proc/12808/task/12810/stat : 12810 (java) S 12806 12806 12450 0 -1 1077944384 32175 0 0 0 1309 29 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626041015440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12811] ppid=12806 vsize=26541776 memory=4274620 CPUtime=13.4 cores=0-7
/proc/12808/task/12811/stat : 12811 (java) S 12806 12806 12450 0 -1 1077944384 34475 0 0 0 1310 30 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626039962640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12812] ppid=12806 vsize=26541776 memory=4274620 CPUtime=13.39 cores=0-7
/proc/12808/task/12812/stat : 12812 (java) S 12806 12806 12450 0 -1 1077944384 32555 0 0 0 1310 29 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626038909840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12813] ppid=12806 vsize=26541776 memory=4274620 CPUtime=13.39 cores=0-7
/proc/12808/task/12813/stat : 12813 (java) S 12806 12806 12450 0 -1 1077944384 31284 0 0 0 1308 31 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626037857040 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12814] ppid=12806 vsize=26541776 memory=4274620 CPUtime=13.39 cores=0-7
/proc/12808/task/12814/stat : 12814 (java) S 12806 12806 12450 0 -1 1077944384 36250 0 0 0 1308 31 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626036804240 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12815] ppid=12806 vsize=26541776 memory=1380 CPUtime=13.41 cores=0-7
/proc/12808/task/12815/stat : 12815 (java) S 12806 12806 12450 0 -1 1077944384 30507 0 0 0 1309 32 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626035751440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12816] ppid=12806 vsize=26541776 memory=2257 CPUtime=13.38 cores=0-7
/proc/12808/task/12816/stat : 12816 (java) S 12806 12806 12450 0 -1 1077944384 35970 0 0 0 1309 29 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626034698640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12817] ppid=12806 vsize=26541776 memory=4274620 CPUtime=13.35 cores=0-7
/proc/12808/task/12817/stat : 12817 (java) S 12806 12806 12450 0 -1 1077944384 33689 0 0 0 1307 28 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626033645840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12818] ppid=12806 vsize=26541776 memory=1380 CPUtime=5.56 cores=0-7
/proc/12808/task/12818/stat : 12818 (java) S 12806 12806 12450 0 -1 1077944384 149921 0 0 0 450 106 0 0 20 0 28 0 144606031 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624494103408 139626088405634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12819] ppid=12806 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/12808/task/12819/stat : 12819 (java) S 12806 12806 12450 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 144606032 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624493049504 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12820] ppid=12806 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/12808/task/12820/stat : 12820 (java) S 12806 12806 12450 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 144606032 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624491996608 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12821] ppid=12806 vsize=26541776 memory=4274620 CPUtime=0 cores=0-7
/proc/12808/task/12821/stat : 12821 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144606034 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624490944848 139626088413083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12822] ppid=12806 vsize=26541776 memory=4144 CPUtime=3.94 cores=0-7
/proc/12808/task/12822/stat : 12822 (java) S 12806 12806 12450 0 -1 1077944384 30827 0 0 0 390 4 0 0 20 0 28 0 144606034 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624489892208 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12823] ppid=12806 vsize=26541776 memory=4274620 CPUtime=4.25 cores=0-7
/proc/12808/task/12823/stat : 12823 (java) S 12806 12806 12450 0 -1 1077944384 25778 0 0 0 420 5 0 0 20 0 28 0 144606034 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624018077936 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12824] ppid=12806 vsize=26541776 memory=1380 CPUtime=3.44 cores=0-7
/proc/12808/task/12824/stat : 12824 (java) S 12806 12806 12450 0 -1 1077944384 20655 0 0 0 340 4 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624017025136 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12825] ppid=12806 vsize=26541776 memory=12136 CPUtime=1.3 cores=0-7
/proc/12808/task/12825/stat : 12825 (java) S 12806 12806 12450 0 -1 1077944384 23320 0 0 0 124 6 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624015972336 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12826] ppid=12806 vsize=26541776 memory=5792 CPUtime=0 cores=0-7
/proc/12808/task/12826/stat : 12826 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624014920800 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12827] ppid=12806 vsize=26541776 memory=1380 CPUtime=1.01 cores=0-7
/proc/12808/task/12827/stat : 12827 (java) S 12806 12806 12450 0 -1 1077944384 7530 0 0 0 43 58 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624013868080 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17806] ppid=12806 vsize=26541776 memory=1380 CPUtime=1721.71 cores=0-7
/proc/12808/task/17806/stat : 17806 (java) R 12806 12806 12450 0 -1 4202560 22054 0 0 0 172148 23 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624002142264 139625722173449 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17807] ppid=12806 vsize=26541776 memory=4274620 CPUtime=1720.08 cores=0-7
/proc/12808/task/17807/stat : 17807 (java) R 12806 12806 12450 0 -1 4202560 24903 0 0 0 171987 21 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139623998985104 139625722424061 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17808] ppid=12806 vsize=26541776 memory=4144 CPUtime=1720.77 cores=0-7
/proc/12808/task/17808/stat : 17808 (java) R 12806 12806 12450 0 -1 4202560 23890 0 0 0 172044 33 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624001090456 139625722174099 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17809] ppid=12806 vsize=26541776 memory=40556 CPUtime=1716.37 cores=0-7
/proc/12808/task/17809/stat : 17809 (java) R 12806 12806 12450 0 -1 4202560 90578 0 0 0 171570 67 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624005303536 139625716090149 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17810] ppid=12806 vsize=26541776 memory=1296 CPUtime=1721.81 cores=0-7
/proc/12808/task/17810/stat : 17810 (java) R 12806 12806 12450 0 -1 4202560 19108 0 0 0 172160 21 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624003195544 139625722691572 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17811] ppid=12806 vsize=26541776 memory=288284493578764852 CPUtime=1720.39 cores=0-7
/proc/12808/task/17811/stat : 17811 (java) R 12806 12806 12450 0 -1 4202560 26487 0 0 0 172007 32 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624000036512 139625723646147 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17812] ppid=12806 vsize=26541776 memory=991708 CPUtime=1719.77 cores=0-7
/proc/12808/task/17812/stat : 17812 (java) R 12806 12806 12450 0 -1 4202560 39582 0 0 0 171951 26 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624006356608 139625712919728 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17813] ppid=12806 vsize=26541776 memory=7814140521624135784 CPUtime=1719.02 cores=0-7
/proc/12808/task/17813/stat : 17813 (java) R 12806 12806 12450 0 -1 4202560 21456 0 0 0 171882 20 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139623995835536 139625722610169 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
Current children cumulated CPU time: 19767.3 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4276000 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.17 8.27 8.24 9/207 17864
/proc/meminfo: memFree=17120792/32770624 swapFree=67108860/67108860
[pid=12806] ppid=12803 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12806/stat : 12806 (xcsp3-exec) S 12803 12806 12450 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144606029 9740288 345 33554432000 4194304 5098028 140731250883328 140731250881432 140660298015356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26296320 140731250885733 140731250885943 140731250885943 140731250888683 0
/proc/12806/statm: 2378 345 289 221 0 87 0
[pid=12808] ppid=12806 vsize=26541776 memory=4274620 CPUtime=19908.2 cores=0-7
/proc/12808/stat : 12808 (java) S 12806 12806 12450 0 -1 1077944320 984939 0 0 0 1989904 920 0 0 20 0 28 0 144606029 27178778624 1068655 33554432000 4194304 4196468 140733424299520 140733424282064 139626088394487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
/proc/12808/statm: 6635444 1068655 3303 1 0 6622678 0
[pid=12808/tid=12809] ppid=12806 vsize=26541776 memory=1398720917958146503 CPUtime=4.58 cores=0-7
/proc/12808/task/12809/stat : 12809 (java) S 12806 12806 12450 0 -1 1077944384 11622 0 0 0 448 10 0 0 20 0 28 0 144606029 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626092635200 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12810] ppid=12806 vsize=26541776 memory=4126316290023845779 CPUtime=13.42 cores=0-7
/proc/12808/task/12810/stat : 12810 (java) S 12806 12806 12450 0 -1 1077944384 32222 0 0 0 1313 29 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626041015440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12811] ppid=12806 vsize=26541776 memory=1012 CPUtime=13.45 cores=0-7
/proc/12808/task/12811/stat : 12811 (java) S 12806 12806 12450 0 -1 1077944384 34500 0 0 0 1314 31 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626039962640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12812] ppid=12806 vsize=26541776 memory=1716 CPUtime=13.43 cores=0-7
/proc/12808/task/12812/stat : 12812 (java) S 12806 12806 12450 0 -1 1077944384 32634 0 0 0 1314 29 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626038909840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12813] ppid=12806 vsize=26541776 memory=4274620 CPUtime=13.43 cores=0-7
/proc/12808/task/12813/stat : 12813 (java) S 12806 12806 12450 0 -1 1077944384 31292 0 0 0 1312 31 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626037857040 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12814] ppid=12806 vsize=26541776 memory=1380 CPUtime=13.43 cores=0-7
/proc/12808/task/12814/stat : 12814 (java) S 12806 12806 12450 0 -1 1077944384 36297 0 0 0 1312 31 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626036804240 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12815] ppid=12806 vsize=26541776 memory=6791534058613427641 CPUtime=13.45 cores=0-7
/proc/12808/task/12815/stat : 12815 (java) S 12806 12806 12450 0 -1 1077944384 30528 0 0 0 1313 32 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626035751440 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12816] ppid=12806 vsize=26541776 memory=1380 CPUtime=13.42 cores=0-7
/proc/12808/task/12816/stat : 12816 (java) S 12806 12806 12450 0 -1 1077944384 36176 0 0 0 1313 29 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626034698640 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12817] ppid=12806 vsize=26541776 memory=4274620 CPUtime=13.39 cores=0-7
/proc/12808/task/12817/stat : 12817 (java) S 12806 12806 12450 0 -1 1077944384 33714 0 0 0 1311 28 0 0 20 0 28 0 144606030 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139626033645840 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12818] ppid=12806 vsize=26541776 memory=1012 CPUtime=5.57 cores=0-7
/proc/12808/task/12818/stat : 12818 (java) S 12806 12806 12450 0 -1 1077944384 150205 0 0 0 451 106 0 0 20 0 28 0 144606031 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624494103408 139626088405634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12819] ppid=12806 vsize=26541776 memory=1716 CPUtime=0 cores=0-7
/proc/12808/task/12819/stat : 12819 (java) S 12806 12806 12450 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 144606032 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624493049504 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12820] ppid=12806 vsize=26541776 memory=1952 CPUtime=0 cores=0-7
/proc/12808/task/12820/stat : 12820 (java) S 12806 12806 12450 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 144606032 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624491996608 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12821] ppid=12806 vsize=26541776 memory=8728 CPUtime=0 cores=0-7
/proc/12808/task/12821/stat : 12821 (java) S 12806 12806 12450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144606034 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624490944848 139626088413083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12822] ppid=12806 vsize=26541776 memory=4620 CPUtime=3.94 cores=0-7
/proc/12808/task/12822/stat : 12822 (java) S 12806 12806 12450 0 -1 1077944384 30828 0 0 0 390 4 0 0 20 0 28 0 144606034 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624489892208 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12823] ppid=12806 vsize=26541776 memory=1196 CPUtime=4.25 cores=0-7
/proc/12808/task/12823/stat : 12823 (java) S 12806 12806 12450 0 -1 1077944384 25778 0 0 0 420 5 0 0 20 0 28 0 144606034 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624018077936 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12824] ppid=12806 vsize=26541776 memory=15876 CPUtime=3.44 cores=0-7
/proc/12808/task/12824/stat : 12824 (java) S 12806 12806 12450 0 -1 1077944384 20655 0 0 0 340 4 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624017025136 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12825] ppid=12806 vsize=26541776 memory=18476 CPUtime=1.3 cores=0-7
/proc/12808/task/12825/stat : 12825 (java) S 12806 12806 12450 0 -1 1077944384 23320 0 0 0 124 6 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624015972336 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12826] ppid=12806 vsize=26541776 memory=18476 CPUtime=0 cores=0-7
/proc/12808/task/12826/stat : 12826 (java) S 12806 12806 12450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624014920800 139626088404693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=12827] ppid=12806 vsize=26541776 memory=23448 CPUtime=1.01 cores=0-7
/proc/12808/task/12827/stat : 12827 (java) S 12806 12806 12450 0 -1 1077944384 7535 0 0 0 43 58 0 0 20 0 28 0 144606035 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624013868080 139626088405634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17806] ppid=12806 vsize=26541776 memory=1240 CPUtime=1739.25 cores=0-7
/proc/12808/task/17806/stat : 17806 (java) R 12806 12806 12450 0 -1 4202560 22150 0 0 0 173902 23 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624002141992 139625715712059 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17807] ppid=12806 vsize=26541776 memory=960 CPUtime=1737.68 cores=0-7
/proc/12808/task/17807/stat : 17807 (java) R 12806 12806 12450 0 -1 4202560 24970 0 0 0 173747 21 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139623998984648 139625722173425 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17808] ppid=12806 vsize=26541776 memory=2424 CPUtime=1738.22 cores=0-7
/proc/12808/task/17808/stat : 17808 (java) R 12806 12806 12450 0 -1 4202560 23939 0 0 0 173789 33 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624001089976 139625722173425 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17809] ppid=12806 vsize=26541776 memory=932 CPUtime=1733.93 cores=0-7
/proc/12808/task/17809/stat : 17809 (java) R 12806 12806 12450 0 -1 4202560 90930 0 0 0 173326 67 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624005300424 139625722173402 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17810] ppid=12806 vsize=26541776 memory=1572 CPUtime=1739.46 cores=0-7
/proc/12808/task/17810/stat : 17810 (java) R 12806 12806 12450 0 -1 4202560 19164 0 0 0 173925 21 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624003194784 139625716089209 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17811] ppid=12806 vsize=26541776 memory=2244 CPUtime=1737.95 cores=0-7
/proc/12808/task/17811/stat : 17811 (java) R 12806 12806 12450 0 -1 4202560 26556 0 0 0 173763 32 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624000036808 139625722692606 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17812] ppid=12806 vsize=26541776 memory=4124 CPUtime=1737.39 cores=0-7
/proc/12808/task/17812/stat : 17812 (java) R 12806 12806 12450 0 -1 4202560 39712 0 0 0 173713 26 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139624006356064 139625721915608 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
[pid=12808/tid=17813] ppid=12806 vsize=26541776 memory=2208 CPUtime=1736.64 cores=0-7
/proc/12808/task/17813/stat : 17813 (java) R 12806 12806 12450 0 -1 4202560 21503 0 0 0 173644 20 0 0 20 0 28 0 144681491 27178778624 1068655 33554432000 4194304 4196468 140733424299520 139623995835160 139625722610169 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 15888384 140733424301202 140733424301379 140733424301379 140733424304079 0
Current children cumulated CPU time: 19908.2 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4276000 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.17 8.27 8.24 2/180 17866
/proc/meminfo: memFree=20924524/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001932 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 19909.1
CPU user time (s): 19899.9
CPU system time (s): 9.22897
CPU usage (%): 790
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 4316512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19899.9
system time used= 9.22897
maximum resident set size= 4318000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 986947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 412736
involuntary context switches= 219930


# summary of solver processes directly reported to runsolver:
#   pid: 12806,12808
#   total CPU time (s): 19909.1
#   total CPU user time (s): 19899.9
#   total CPU system time (s): 9.22897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8529 second user time and 30.2244 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-19 05:46:33
IDJOB=4280616
IDBENCH=115896
IDSOLVER=2675
FILE ID=node149/4280616-1503115253
RUNJOBID= node149-1503111871-12477
PBS_JOBID= 20630761
Free space on /tmp= 61768 MiB

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

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=973018180

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21391640 kB
MemAvailable:   31952116 kB
Buffers:          344192 kB
Cached:         10487472 kB
SwapCached:            0 kB
Active:          2157772 kB
Inactive:        8728300 kB
Active(anon):      57356 kB
Inactive(anon):    33116 kB
Active(file):    2100416 kB
Inactive(file):  8695184 kB
Unevictable:        7924 kB
Mlocked:            7924 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7792 kB
Writeback:             0 kB
AnonPages:         62284 kB
Mapped:            50580 kB
Shmem:             33416 kB
Slab:             188272 kB
SReclaimable:     161424 kB
SUnreclaim:        26848 kB
KernelStack:        3168 kB
PageTables:         4704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61760 MiB
End job on node149 at 2017-08-19 06:28:33