Trace number 4271796

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-09)SAT (TO)636 1884.33 252.12601

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 benchmark636
Best CPU time to get the best result obtained on this benchmark1884.33
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-4271796-1502639649.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271796-1502639649.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
9.38/4.08	c solve instance...
18.73/5.33	o 0 
20.36/5.66	o 4 
21.94/6.51	o 6 
21.94/6.52	o 8 
21.94/6.54	o 10 
21.94/6.55	o 12 
21.94/6.58	o 14 
22.52/6.60	o 16 
22.52/6.63	o 18 
23.24/6.70	o 20 
24.02/6.84	o 22 
24.78/6.97	o 24 
27.98/7.36	o 26 
31.83/7.81	o 28 
42.16/9.13	o 30 
61.58/11.63	o 32 
89.91/15.38	o 34 
125.15/20.11	o 35 
125.81/20.78	o 36 
125.81/20.79	o 37 
125.99/20.80	o 38 
125.99/20.81	o 39 
125.99/20.82	o 40 
125.99/20.83	o 41 
125.99/20.84	o 42 
125.99/20.85	o 43 
125.99/20.86	o 44 
125.99/20.86	o 45 
125.99/20.87	o 46 
125.99/20.88	o 47 
125.99/20.89	o 48 
125.99/20.90	o 49 
126.46/20.91	o 50 
126.46/20.91	o 51 
126.46/20.92	o 52 
126.46/20.93	o 53 
126.46/20.94	o 54 
126.46/20.95	o 55 
126.46/20.96	o 56 
126.46/20.97	o 57 
126.46/20.97	o 58 
126.46/20.98	o 59 
126.46/20.99	o 60 
126.46/21.00	o 61 
126.46/21.01	o 62 
126.98/21.01	o 63 
126.98/21.02	o 64 
126.98/21.03	o 65 
126.98/21.04	o 66 
126.98/21.05	o 67 
126.98/21.06	o 68 
126.98/21.07	o 69 
126.98/21.10	o 70 
127.53/21.11	o 71 
127.53/21.12	o 72 
127.53/21.12	o 73 
127.53/21.13	o 74 
127.53/21.14	o 75 
127.53/21.15	o 76 
127.53/21.15	o 77 
127.53/21.16	o 78 
127.53/21.17	o 79 
127.53/21.18	o 80 
127.53/21.18	o 81 
127.53/21.19	o 82 
127.53/21.20	o 83 
128.06/21.21	o 84 
128.06/21.22	o 85 
128.06/21.23	o 86 
128.06/21.24	o 87 
128.06/21.25	o 88 
128.06/21.26	o 89 
128.06/21.27	o 90 
128.06/21.28	o 91 
128.06/21.29	o 92 
128.54/21.30	o 93 
128.54/21.31	o 94 
128.54/21.32	o 95 
128.54/21.33	o 96 
128.54/21.34	o 97 
128.54/21.35	o 98 
128.54/21.35	o 99 
128.54/21.36	o 100 
128.54/21.37	o 101 
128.54/21.38	o 102 
128.54/21.39	o 103 
129.01/21.40	o 104 
129.01/21.41	o 105 
129.01/21.42	o 106 
129.01/21.43	o 107 
129.01/21.44	o 108 
129.01/21.45	o 109 
129.01/21.45	o 110 
129.01/21.46	o 111 
129.01/21.47	o 112 
129.01/21.48	o 113 
129.01/21.49	o 114 
129.49/21.50	o 115 
129.49/21.51	o 116 
129.49/21.52	o 117 
129.49/21.52	o 118 
129.49/21.53	o 119 
129.49/21.54	o 120 
129.49/21.55	o 121 
129.49/21.55	o 122 
129.49/21.56	o 123 
129.49/21.57	o 124 
129.49/21.59	o 125 
129.99/21.60	o 126 
129.99/21.61	o 127 
129.99/21.62	o 128 
129.99/21.63	o 129 
129.99/21.63	o 130 
129.99/21.64	o 131 
129.99/21.65	o 132 
129.99/21.66	o 133 
129.99/21.67	o 134 
129.99/21.67	o 135 
129.99/21.68	o 136 
129.99/21.69	o 137 
130.54/21.70	o 138 
130.54/21.71	o 139 
130.54/21.72	o 140 
130.54/21.73	o 141 
130.54/21.74	o 142 
130.54/21.74	o 143 
130.54/21.76	o 144 
130.54/21.77	o 145 
130.54/21.78	o 146 
130.54/21.78	o 147 
130.54/21.80	o 148 
131.04/21.80	o 149 
131.04/21.81	o 150 
131.04/21.82	o 151 
131.04/21.83	o 152 
131.04/21.84	o 153 
131.04/21.85	o 154 
131.04/21.86	o 155 
131.04/21.87	o 156 
131.04/21.88	o 157 
131.04/21.89	o 158 
131.55/21.90	o 159 
131.55/21.91	o 160 
131.55/21.92	o 161 
131.55/21.93	o 162 
131.55/21.93	o 163 
131.55/21.94	o 164 
131.55/21.95	o 165 
131.55/21.96	o 166 
131.55/21.97	o 167 
131.55/21.98	o 168 
131.55/21.99	o 169 
131.55/22.00	o 170 
131.55/22.00	o 171 
132.08/22.01	o 172 
132.08/22.02	o 173 
132.08/22.03	o 174 
132.08/22.04	o 175 
132.08/22.05	o 176 
132.08/22.06	o 177 
132.08/22.06	o 178 
132.08/22.08	o 179 
132.08/22.08	o 180 
132.08/22.10	o 181 
132.55/22.11	o 182 
132.55/22.12	o 183 
132.55/22.13	o 184 
132.55/22.14	o 185 
132.55/22.15	o 186 
132.55/22.16	o 187 
132.55/22.17	o 188 
132.55/22.18	o 189 
132.55/22.19	o 190 
133.05/22.20	o 191 
133.05/22.21	o 192 
133.05/22.23	o 193 
133.51/22.53	o 194 
133.51/22.54	o 195 
134.21/23.17	o 196 
134.21/23.18	o 197 
134.21/23.19	o 198 
134.43/23.20	o 199 
134.43/23.21	o 200 
134.43/23.22	o 201 
134.43/23.23	o 202 
134.43/23.24	o 203 
134.43/23.25	o 204 
134.43/23.26	o 205 
134.43/23.27	o 206 
134.43/23.28	o 207 
134.43/23.29	o 208 
134.43/23.30	o 209 
134.92/23.30	o 210 
134.92/23.31	o 211 
134.92/23.32	o 212 
134.92/23.33	o 213 
134.92/23.34	o 214 
134.92/23.35	o 215 
134.92/23.36	o 216 
134.92/23.37	o 217 
134.92/23.38	o 218 
134.92/23.38	o 219 
134.92/23.39	o 220 
135.43/23.40	o 221 
135.43/23.41	o 222 
135.43/23.42	o 223 
135.43/23.43	o 224 
135.43/23.44	o 225 
135.43/23.45	o 226 
135.43/23.45	o 227 
135.43/23.46	o 228 
135.43/23.47	o 229 
135.43/23.48	o 230 
135.43/23.50	o 231 
135.96/23.50	o 232 
135.96/23.51	o 233 
135.96/23.52	o 234 
135.96/23.53	o 235 
135.96/23.54	o 236 
135.96/23.55	o 237 
135.96/23.56	o 238 
135.96/23.57	o 239 
135.96/23.58	o 240 
135.96/23.59	o 241 
136.56/23.60	o 242 
136.56/23.61	o 243 
136.56/23.62	o 244 
136.56/23.63	o 245 
136.56/23.64	o 246 
136.56/23.65	o 247 
136.56/23.66	o 248 
136.56/23.67	o 249 
136.56/23.68	o 250 
136.56/23.69	o 251 
136.56/23.70	o 252 
137.04/23.71	o 253 
137.04/23.72	o 254 
137.04/23.72	o 255 
137.04/23.73	o 256 
137.04/23.74	o 257 
137.04/23.75	o 258 
137.04/23.77	o 259 
137.04/23.78	o 260 
137.04/23.78	o 261 
137.04/23.79	o 262 
137.55/23.81	o 263 
137.55/23.82	o 264 
137.55/23.83	o 265 
137.55/23.84	o 266 
137.55/23.85	o 267 
137.55/23.87	o 268 
137.55/23.88	o 269 
137.55/23.89	o 270 
137.55/23.90	o 271 
138.07/23.91	o 272 
138.07/23.92	o 273 
138.07/23.93	o 274 
138.07/23.94	o 275 
138.07/23.94	o 276 
138.07/23.95	o 277 
138.07/23.96	o 278 
138.07/23.97	o 279 
138.07/23.98	o 280 
138.07/23.99	o 281 
138.66/24.01	o 282 
138.66/24.02	o 283 
138.66/24.03	o 284 
138.66/24.04	o 285 
138.66/24.05	o 286 
138.66/24.06	o 287 
138.66/24.07	o 288 
138.66/24.08	o 289 
138.66/24.09	o 290 
138.66/24.09	o 291 
138.66/24.10	o 292 
138.66/24.11	o 293 
139.25/24.12	o 294 
139.25/24.13	o 295 
139.25/24.14	o 296 
139.25/24.15	o 297 
139.25/24.16	o 298 
139.25/24.17	o 299 
139.25/24.18	o 300 
139.25/24.19	o 301 
139.70/24.20	o 302 
139.70/24.21	o 303 
139.70/24.22	o 304 
139.70/24.23	o 305 
139.70/24.24	o 306 
139.70/24.25	o 307 
139.70/24.26	o 308 
139.70/24.27	o 309 
139.70/24.28	o 310 
139.70/24.29	o 311 
140.25/24.30	o 312 
140.25/24.31	o 313 
140.25/24.32	o 314 
140.25/24.33	o 315 
140.25/24.34	o 316 
140.25/24.35	o 317 
140.25/24.36	o 318 
140.25/24.37	o 319 
140.25/24.38	o 320 
140.25/24.39	o 321 
140.78/24.40	o 322 
140.78/24.41	o 323 
140.78/24.42	o 324 
140.78/24.43	o 325 
140.78/24.44	o 326 
140.78/24.45	o 327 
140.78/24.46	o 328 
140.78/24.47	o 329 
140.78/24.48	o 330 
140.78/24.49	o 331 
141.33/24.50	o 332 
141.33/24.51	o 333 
141.33/24.52	o 334 
141.33/24.54	o 335 
141.33/24.55	o 336 
141.33/24.56	o 337 
141.33/24.57	o 338 
141.33/24.58	o 339 
141.33/24.59	o 340 
141.88/24.60	o 341 
141.88/24.61	o 342 
141.88/24.62	o 343 
141.88/24.63	o 344 
141.88/24.64	o 345 
141.88/24.65	o 346 
141.88/24.66	o 347 
141.88/24.67	o 348 
141.88/24.68	o 349 
141.88/24.69	o 350 
141.88/24.70	o 351 
142.40/24.72	o 352 
142.40/24.73	o 353 
142.40/24.73	o 354 
142.40/24.74	o 355 
142.40/24.76	o 356 
142.40/24.77	o 357 
142.40/24.77	o 358 
142.40/24.78	o 359 
142.40/24.79	o 360 
142.90/24.81	o 361 
142.90/24.82	o 362 
142.90/24.83	o 363 
142.90/24.84	o 364 
142.90/24.85	o 365 
142.90/24.86	o 366 
142.90/24.87	o 367 
142.90/24.88	o 368 
142.90/24.89	o 369 
143.68/25.16	o 370 
144.32/25.79	o 371 
144.47/25.80	o 372 
144.47/25.81	o 373 
144.47/25.83	o 374 
144.47/25.83	o 375 
144.47/25.84	o 376 
144.47/25.85	o 377 
144.47/25.86	o 378 
144.47/25.87	o 379 
144.47/25.88	o 380 
144.47/25.90	o 381 
144.98/25.91	o 382 
144.98/25.92	o 383 
144.98/25.93	o 384 
144.98/25.94	o 385 
144.98/25.95	o 386 
144.98/25.96	o 387 
144.98/25.97	o 388 
144.98/25.98	o 389 
144.98/25.99	o 390 
144.98/26.00	o 391 
145.59/26.01	o 392 
145.59/26.02	o 393 
145.59/26.03	o 394 
145.59/26.04	o 395 
145.59/26.05	o 396 
145.59/26.06	o 397 
145.59/26.07	o 398 
145.59/26.08	o 399 
145.59/26.10	o 400 
145.59/26.11	o 401 
146.09/26.12	o 402 
146.09/26.13	o 403 
146.09/26.15	o 404 
146.09/26.16	o 405 
146.09/26.17	o 406 
146.09/26.18	o 407 
146.09/26.19	o 408 
146.09/26.20	o 409 
146.63/26.22	o 410 
146.63/26.23	o 411 
146.63/26.24	o 412 
146.63/26.25	o 413 
146.63/26.26	o 414 
146.63/26.27	o 415 
146.63/26.28	o 416 
147.19/26.30	o 417 
147.19/26.31	o 418 
147.19/26.32	o 419 
147.19/26.33	o 420 
147.19/26.34	o 421 
147.19/26.35	o 422 
147.19/26.36	o 423 
147.19/26.37	o 424 
147.19/26.38	o 425 
147.19/26.39	o 426 
147.83/26.40	o 427 
147.83/26.41	o 428 
147.83/26.42	o 429 
147.83/26.44	o 430 
147.83/26.45	o 431 
147.83/26.46	o 432 
147.83/26.47	o 433 
147.83/26.48	o 434 
147.83/26.49	o 435 
148.41/26.50	o 436 
148.41/26.51	o 437 
148.41/26.52	o 438 
148.41/26.53	o 439 
148.41/26.55	o 440 
148.41/26.56	o 441 
148.41/26.57	o 442 
148.41/26.58	o 443 
148.41/26.59	o 444 
148.98/26.60	o 445 
148.98/26.61	o 446 
148.98/26.63	o 447 
148.98/26.64	o 448 
148.98/26.65	o 449 
148.98/26.66	o 450 
148.98/26.67	o 451 
148.98/26.68	o 452 
148.98/26.70	o 453 
149.48/26.71	o 454 
149.48/26.72	o 455 
149.48/26.73	o 456 
149.48/26.74	o 457 
149.48/26.75	o 458 
149.48/26.76	o 459 
149.48/26.77	o 460 
149.48/26.78	o 461 
149.48/26.79	o 462 
150.15/26.81	o 463 
150.15/26.82	o 464 
150.15/26.83	o 465 
150.15/26.84	o 466 
150.15/26.85	o 467 
150.15/26.86	o 468 
150.15/26.88	o 469 
150.15/26.89	o 470 
150.15/26.90	o 471 
150.65/26.91	o 472 
150.65/26.92	o 473 
150.65/26.93	o 474 
150.65/26.94	o 475 
150.65/26.95	o 476 
150.65/26.96	o 477 
150.65/26.98	o 478 
150.65/26.99	o 479 
150.65/27.00	o 480 
151.27/27.01	o 481 
151.27/27.02	o 482 
151.27/27.04	o 483 
151.27/27.05	o 484 
151.27/27.06	o 485 
151.27/27.07	o 486 
151.27/27.08	o 487 
151.27/27.09	o 488 
151.27/27.10	o 489 
151.27/27.11	o 490 
151.86/27.12	o 491 
151.86/27.13	o 492 
151.86/27.14	o 493 
151.86/27.16	o 494 
151.86/27.17	o 495 
151.86/27.18	o 496 
151.86/27.19	o 497 
152.39/27.20	o 498 
152.39/27.22	o 499 
152.39/27.23	o 500 
152.39/27.24	o 501 
152.39/27.26	o 502 
152.39/27.27	o 503 
152.39/27.28	o 504 
152.39/27.29	o 505 
152.39/27.30	o 506 
152.94/27.31	o 507 
152.94/27.33	o 508 
152.94/27.34	o 509 
152.94/27.35	o 510 
152.94/27.36	o 511 
152.94/27.37	o 512 
152.94/27.39	o 513 
152.94/27.40	o 514 
153.47/27.41	o 515 
153.47/27.42	o 516 
153.47/27.43	o 517 
153.47/27.45	o 518 
153.47/27.46	o 519 
153.47/27.47	o 520 
153.47/27.48	o 521 
153.47/27.49	o 522 
153.47/27.50	o 523 
154.05/27.51	o 524 
154.05/27.53	o 525 
154.05/27.54	o 526 
154.05/27.56	o 527 
154.05/27.57	o 528 
154.05/27.58	o 529 
154.05/27.59	o 530 
154.60/27.61	o 531 
154.60/27.62	o 532 
154.60/27.63	o 533 
154.60/27.64	o 534 
154.60/27.65	o 535 
154.60/27.66	o 536 
154.60/27.67	o 537 
154.60/27.68	o 538 
154.60/27.70	o 539 
155.20/27.71	o 540 
155.20/27.73	o 541 
155.20/27.74	o 542 
155.20/27.75	o 543 
155.20/27.77	o 544 
155.20/27.78	o 545 
155.20/27.79	o 546 
155.77/27.80	o 547 
155.77/27.81	o 548 
155.77/27.83	o 549 
155.77/27.84	o 550 
155.77/27.85	o 551 
155.77/27.87	o 552 
155.77/27.88	o 553 
155.77/27.90	o 554 
156.28/27.91	o 555 
156.28/27.92	o 556 
156.28/27.93	o 557 
156.28/27.94	o 558 
156.28/27.95	o 559 
156.28/27.96	o 560 
156.28/27.98	o 561 
156.28/27.99	o 562 
156.28/28.01	o 563 
156.88/28.02	o 564 
156.88/28.03	o 565 
156.88/28.05	o 566 
156.88/28.06	o 567 
156.88/28.08	o 568 
156.88/28.09	o 569 
156.88/28.10	o 570 
157.43/28.11	o 571 
157.43/28.13	o 572 
157.43/28.14	o 573 
157.43/28.15	o 574 
157.43/28.16	o 575 
157.43/28.17	o 576 
157.43/28.18	o 577 
157.43/28.20	o 578 
157.92/28.21	o 579 
157.92/28.22	o 580 
157.92/28.24	o 581 
158.26/28.34	o 582 
158.94/28.94	o 583 
158.94/28.96	o 584 
158.94/28.97	o 585 
158.94/28.98	o 586 
158.94/28.99	o 587 
158.94/29.01	o 588 
159.40/29.02	o 589 
159.40/29.04	o 590 
159.40/29.05	o 591 
159.40/29.07	o 592 
159.40/29.08	o 593 
159.40/29.09	o 594 
159.93/29.12	o 595 
160.08/29.20	o 596 
160.75/29.80	o 597 
160.75/29.82	o 598 
160.75/29.90	o 599 
161.66/30.51	o 600 
161.66/30.52	o 601 
161.66/30.53	o 602 
161.66/30.55	o 603 
161.66/30.57	o 604 
161.66/30.58	o 605 
162.16/30.66	o 606 
162.83/31.25	o 607 
162.83/31.28	o 608 
163.05/31.35	o 609 
163.72/31.96	o 610 
163.72/31.98	o 611 
163.96/32.05	o 612 
164.65/32.66	o 613 
164.65/32.67	o 614 
164.88/32.75	o 615 
165.55/33.36	o 616 
165.55/33.38	o 617 
165.55/33.39	o 618 
165.84/33.46	o 619 
166.52/34.07	o 620 
166.52/34.09	o 621 
166.52/34.10	o 622 
166.74/34.17	o 623 
167.44/34.79	o 624 
167.60/34.81	o 625 
167.60/34.88	o 626 
168.41/35.50	o 627 
168.41/35.58	o 628 
168.41/35.59	o 629 
169.71/36.22	o 630 
169.71/36.24	o 631 
279.95/50.33	o 632 
280.21/50.41	o 633 
280.88/51.03	o 634 
1000.70/141.30	o 635 
1000.70/141.32	o 636 
1883.55/252.10	s SATISFIABLE
1883.55/252.10	v <instantiation>
1883.55/252.10	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>
1883.55/252.10	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 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 1 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 1 0 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 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 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 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 302 310 325 342 636 </values>
1883.55/252.10	v </instantiation>
1883.55/252.10	c Unexpected resolution interruption!

Verifier Data 

OK	636

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271796-1502639649/watcher-4271796-1502639649 -o /tmp/evaluation-result-4271796-1502639649/solver-4271796-1502639649 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2090819170 HOME/instance-4271796-1502639649.xml 

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

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


[startup+0.100107 s]*
/proc/loadavg: 5.74 6.74 6.09 2/199 9049
/proc/meminfo: memFree=31651364/32770624 swapFree=67108860/67108860
[pid=9028] ppid=9025 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9028/stat : 9028 (xcsp3-exec) S 9025 9028 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97053150 9740288 346 33554432000 4194304 5098028 140726138376688 140726138374792 140428669751932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31322112 140726138385514 140726138385724 140726138385724 140726138388459 0
/proc/9028/statm: 2378 346 289 221 0 87 0
[pid=9030] ppid=9028 vsize=25999808 memory=26836 CPUtime=0.11 cores=0-7
/proc/9030/stat : 9030 (java) S 9028 9028 8183 0 -1 1077944320 5647 0 0 0 10 1 0 0 20 0 20 0 97053150 26623803392 6709 33554432000 4194304 4196468 140726117085808 140726117068352 140097686052599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
/proc/9030/statm: 6499952 6709 2843 1 0 6488269 0
[pid=9030/tid=9031] ppid=9028 vsize=25999808 memory=4353465105471665047 CPUtime=0.09 cores=0-7
/proc/9030/task/9031/stat : 9031 (java) R 9028 9028 8183 0 -1 4202560 3653 0 0 0 8 1 0 0 20 0 20 0 97053151 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097690282752 140097670096229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9032] ppid=9028 vsize=25999808 memory=732369964081724389 CPUtime=0 cores=0-7
/proc/9030/task/9032/stat : 9032 (java) S 9028 9028 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097608632720 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9033] ppid=9028 vsize=25999808 memory=139825744270976 CPUtime=0 cores=0-7
/proc/9030/task/9033/stat : 9033 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097607579920 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9034] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9034/stat : 9034 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097606527632 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9035] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9035/stat : 9035 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097241504272 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9036] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9036/stat : 9036 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097240451984 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9037] ppid=9028 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9030/task/9037/stat : 9037 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097239399184 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9038] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9038/stat : 9038 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097238346896 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9039] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9039/stat : 9039 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26623803392 6709 33554432000 4194304 4196468 140726117085808 140097237294096 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9040] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9040/stat : 9040 (java) S 9028 9028 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97053153 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095957489776 140097686063746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9041] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9041/stat : 9041 (java) S 9028 9028 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97053154 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095956435744 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9042] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9042/stat : 9042 (java) S 9028 9028 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97053154 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095955383408 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9043] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9043/stat : 9043 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053156 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095954331728 140097686071195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9044] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9044/stat : 9044 (java) S 9028 9028 8183 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 97053156 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095953279600 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9045] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9045/stat : 9045 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053156 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095952226800 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9046] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9046/stat : 9046 (java) S 9028 9028 8183 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97053156 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095951174512 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9047] ppid=9028 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9030/task/9047/stat : 9047 (java) R 9028 9028 8183 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 97053156 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095950121712 140097678289726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9048] ppid=9028 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9048/stat : 9048 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97053157 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095949068640 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9049] ppid=9028 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9030/task/9049/stat : 9049 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053157 26623803392 6709 33554432000 4194304 4196468 140726117085808 140095948015920 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28220 KiB

[startup+0.210223 s]*
/proc/loadavg: 5.74 6.74 6.09 2/199 9049
/proc/meminfo: memFree=31640180/32770624 swapFree=67108860/67108860
[pid=9028] ppid=9025 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9028/stat : 9028 (xcsp3-exec) S 9025 9028 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97053150 9740288 346 33554432000 4194304 5098028 140726138376688 140726138374792 140428669751932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31322112 140726138385514 140726138385724 140726138385724 140726138388459 0
/proc/9028/statm: 2378 346 289 221 0 87 0
[pid=9030] ppid=9028 vsize=26004064 memory=38996 CPUtime=0.33 cores=0-7
/proc/9030/stat : 9030 (java) S 9028 9028 8183 0 -1 1077944320 8277 0 0 0 30 3 0 0 20 0 20 0 97053150 26628161536 9749 33554432000 4194304 4196468 140726117085808 140726117068352 140097686052599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
/proc/9030/statm: 6501016 9749 3057 1 0 6488269 0
[pid=9030/tid=9031] ppid=9028 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/9030/task/9031/stat : 9031 (java) R 9028 9028 8183 0 -1 4202560 5430 0 0 0 18 1 0 0 20 0 20 0 97053151 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097690257296 140097686074525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9032] ppid=9028 vsize=26004064 memory=732369964081724389 CPUtime=0 cores=0-7
/proc/9030/task/9032/stat : 9032 (java) S 9028 9028 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097608632720 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9033] ppid=9028 vsize=26004064 memory=139825744270976 CPUtime=0 cores=0-7
/proc/9030/task/9033/stat : 9033 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097607579920 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9034] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9034/stat : 9034 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097606527632 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9035] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9035/stat : 9035 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097241504272 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9036] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9036/stat : 9036 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097240451984 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9037] ppid=9028 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9030/task/9037/stat : 9037 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097239399184 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9038] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9038/stat : 9038 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097238346896 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9039] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9039/stat : 9039 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 9749 33554432000 4194304 4196468 140726117085808 140097237294096 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9040] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9040/stat : 9040 (java) S 9028 9028 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97053153 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095957489776 140097686063746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9041] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9041/stat : 9041 (java) S 9028 9028 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97053154 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095956435744 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9042] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9042/stat : 9042 (java) S 9028 9028 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97053154 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095955383408 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9043] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9043/stat : 9043 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053156 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095954331728 140097686071195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9044] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9044/stat : 9044 (java) S 9028 9028 8183 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 20 0 97053156 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095953279600 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9045] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9045/stat : 9045 (java) S 9028 9028 8183 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 20 0 97053156 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095952226800 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9046] ppid=9028 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/9030/task/9046/stat : 9046 (java) S 9028 9028 8183 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 20 0 97053156 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095951174512 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9047] ppid=9028 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/9030/task/9047/stat : 9047 (java) S 9028 9028 8183 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 20 0 97053156 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095950121712 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9048] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9048/stat : 9048 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97053157 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095949068640 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9049] ppid=9028 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9030/task/9049/stat : 9049 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053157 26628161536 9749 33554432000 4194304 4196468 140726117085808 140095948015920 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40380 KiB

[startup+0.309565 s]*
/proc/loadavg: 5.74 6.74 6.09 3/199 9049
/proc/meminfo: memFree=31636228/32770624 swapFree=67108860/67108860
[pid=9028] ppid=9025 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9028/stat : 9028 (xcsp3-exec) S 9025 9028 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97053150 9740288 346 33554432000 4194304 5098028 140726138376688 140726138374792 140428669751932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31322112 140726138385514 140726138385724 140726138385724 140726138388459 0
/proc/9028/statm: 2378 346 289 221 0 87 0
[pid=9030] ppid=9028 vsize=26004064 memory=45672 CPUtime=0.49 cores=0-7
/proc/9030/stat : 9030 (java) S 9028 9028 8183 0 -1 1077944320 9120 0 0 0 45 4 0 0 20 0 20 0 97053150 26628161536 11418 33554432000 4194304 4196468 140726117085808 140726117068352 140097686052599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
/proc/9030/statm: 6501016 11418 3070 1 0 6488269 0
[pid=9030/tid=9031] ppid=9028 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9030/task/9031/stat : 9031 (java) R 9028 9028 8183 0 -1 4202560 6105 0 0 0 27 2 0 0 20 0 20 0 97053151 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097690290752 140097286720496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9032] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9032/stat : 9032 (java) S 9028 9028 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097608632720 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9033] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9033/stat : 9033 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097607579920 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9034] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9034/stat : 9034 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097606527632 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9035] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9035/stat : 9035 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097241504272 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9036] ppid=9028 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9030/task/9036/stat : 9036 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097240451984 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9037] ppid=9028 vsize=26004064 memory=139825613206447 CPUtime=0 cores=0-7
/proc/9030/task/9037/stat : 9037 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097239399184 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9038] ppid=9028 vsize=26004064 memory=139825613208752 CPUtime=0 cores=0-7
/proc/9030/task/9038/stat : 9038 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097238346896 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9039] ppid=9028 vsize=26004064 memory=139825613211056 CPUtime=0 cores=0-7
/proc/9030/task/9039/stat : 9039 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26628161536 11418 33554432000 4194304 4196468 140726117085808 140097237294096 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9040] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9040/stat : 9040 (java) S 9028 9028 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97053153 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095957489776 140097686063746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9041] ppid=9028 vsize=26004064 memory=279651226429072 CPUtime=0 cores=0-7
/proc/9030/task/9041/stat : 9041 (java) S 9028 9028 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97053154 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095956435744 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9042] ppid=9028 vsize=26004064 memory=279651226435984 CPUtime=0 cores=0-7
/proc/9030/task/9042/stat : 9042 (java) S 9028 9028 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97053154 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095955383408 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9043] ppid=9028 vsize=26004064 memory=279651226377264 CPUtime=0 cores=0-7
/proc/9030/task/9043/stat : 9043 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053156 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095954331728 140097686071195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9044] ppid=9028 vsize=26004064 memory=279651226449808 CPUtime=0 cores=0-7
/proc/9030/task/9044/stat : 9044 (java) S 9028 9028 8183 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 20 0 97053156 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095953279600 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9045] ppid=9028 vsize=26004064 memory=279651226456720 CPUtime=0.02 cores=0-7
/proc/9030/task/9045/stat : 9045 (java) S 9028 9028 8183 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 20 0 97053156 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095952226800 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9046] ppid=9028 vsize=26004064 memory=279651226454416 CPUtime=0.03 cores=0-7
/proc/9030/task/9046/stat : 9046 (java) S 9028 9028 8183 0 -1 1077944384 362 0 0 0 3 0 0 0 20 0 20 0 97053156 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095951174512 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9047] ppid=9028 vsize=26004064 memory=279651226470576 CPUtime=0.11 cores=0-7
/proc/9030/task/9047/stat : 9047 (java) R 9028 9028 8183 0 -1 4202560 829 0 0 0 11 0 0 0 20 0 20 0 97053156 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095950118888 140097678289726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9048] ppid=9028 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9048/stat : 9048 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97053157 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095949068640 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9049] ppid=9028 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9030/task/9049/stat : 9049 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053157 26628161536 11418 33554432000 4194304 4196468 140726117085808 140095948015920 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47056 KiB

[startup+0.700987 s]
/proc/loadavg: 5.74 6.74 6.09 5/199 9049
/proc/meminfo: memFree=31609116/32770624 swapFree=67108860/67108860
[pid=9028] ppid=9025 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9028/stat : 9028 (xcsp3-exec) S 9025 9028 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97053150 9740288 346 33554432000 4194304 5098028 140726138376688 140726138374792 140428669751932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31322112 140726138385514 140726138385724 140726138385724 140726138388459 0
/proc/9028/statm: 2378 346 289 221 0 87 0
[pid=9030] ppid=9028 vsize=26006188 memory=88832 CPUtime=1.82 cores=0-7
/proc/9030/stat : 9030 (java) S 9028 9028 8183 0 -1 1077944320 12727 0 0 0 176 6 0 0 20 0 20 0 97053150 26630336512 22208 33554432000 4194304 4196468 140726117085808 140726117068352 140097686052599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
/proc/9030/statm: 6501547 22208 3203 1 0 6488781 0
[pid=9030/tid=9031] ppid=9028 vsize=26006188 memory=279651226765504 CPUtime=0.67 cores=0-7
/proc/9030/task/9031/stat : 9031 (java) R 9028 9028 8183 0 -1 4202560 6606 0 0 0 64 3 0 0 20 0 20 0 97053151 26630336512 22208 33554432000 4194304 4196468 140726117085808 140097690286000 140097670096229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9032] ppid=9028 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7
/proc/9030/task/9032/stat : 9032 (java) S 9028 9028 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97053152 26630336512 22208 33554432000 4194304 4196468 140726117085808 140097608632720 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9033] ppid=9028 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9033/stat : 9033 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97053152 26630336512 22208 33554432000 4194304 4196468 140726117085808 140097607579920 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9034] ppid=9028 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9030/task/9034/stat : 9034 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97053152 26630336512 22208 33554432000 4194304 4196468 140726117085808 140097606527632 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0

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

[pid=9030/tid=14023] ppid=9028 vsize=26541776 memory=1384 CPUtime=20.95 cores=0-7
/proc/9030/task/14023/stat : 14023 (java) R 9028 9028 8183 0 -1 4202560 619 0 0 0 2095 0 0 0 20 0 28 0 97067283 27178778624 819150 33554432000 4194304 4196468 140726117085808 140095935237880 140097296308649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
Current children cumulated CPU time: 1168.12 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3277984 KiB

[startup+222.301 s]
/proc/loadavg: 8.19 7.28 6.42 9/208 14023
/proc/meminfo: memFree=28395488/32770624 swapFree=67108860/67108860
[pid=9028] ppid=9025 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9028/stat : 9028 (xcsp3-exec) S 9025 9028 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97053150 9740288 346 33554432000 4194304 5098028 140726138376688 140726138374792 140428669751932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31322112 140726138385514 140726138385724 140726138385724 140726138388459 0
/proc/9028/statm: 2378 346 289 221 0 87 0
[pid=9030] ppid=9028 vsize=26541776 memory=3278484 CPUtime=1646.59 cores=0-7
/proc/9030/stat : 9030 (java) S 9028 9028 8183 0 -1 1077944320 212272 0 0 0 164278 381 0 0 20 0 28 0 97053150 27178778624 819621 33554432000 4194304 4196468 140726117085808 140726117068352 140097686052599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
/proc/9030/statm: 6635444 819621 3288 1 0 6622678 0
[pid=9030/tid=9031] ppid=9028 vsize=26541776 memory=3276600 CPUtime=4.71 cores=0-7
/proc/9030/task/9031/stat : 9031 (java) S 9028 9028 8183 0 -1 1077944384 11194 0 0 0 461 10 0 0 20 0 28 0 97053151 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097690293312 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9032] ppid=9028 vsize=26541776 memory=3274388 CPUtime=0.3 cores=0-7
/proc/9030/task/9032/stat : 9032 (java) S 9028 9028 8183 0 -1 1077944384 1582 0 0 0 20 10 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097608632720 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9033] ppid=9028 vsize=26541776 memory=3278484 CPUtime=0.27 cores=0-7
/proc/9030/task/9033/stat : 9033 (java) S 9028 9028 8183 0 -1 1077944384 2862 0 0 0 17 10 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097607579920 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9034] ppid=9028 vsize=26541776 memory=3278484 CPUtime=0.25 cores=0-7
/proc/9030/task/9034/stat : 9034 (java) S 9028 9028 8183 0 -1 1077944384 1170 0 0 0 17 8 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097606527632 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9035] ppid=9028 vsize=26541776 memory=3278484 CPUtime=0.28 cores=0-7
/proc/9030/task/9035/stat : 9035 (java) S 9028 9028 8183 0 -1 1077944384 2121 0 0 0 19 9 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097241504272 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9036] ppid=9028 vsize=26541776 memory=3278484 CPUtime=0.29 cores=0-7
/proc/9030/task/9036/stat : 9036 (java) S 9028 9028 8183 0 -1 1077944384 1032 0 0 0 20 9 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097240451984 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9037] ppid=9028 vsize=26541776 memory=1384 CPUtime=0.26 cores=0-7
/proc/9030/task/9037/stat : 9037 (java) S 9028 9028 8183 0 -1 1077944384 1531 0 0 0 17 9 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097239399184 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9038] ppid=9028 vsize=26541776 memory=3278484 CPUtime=0.29 cores=0-7
/proc/9030/task/9038/stat : 9038 (java) S 9028 9028 8183 0 -1 1077944384 888 0 0 0 20 9 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097238346896 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9039] ppid=9028 vsize=26541776 memory=3278484 CPUtime=0.29 cores=0-7
/proc/9030/task/9039/stat : 9039 (java) S 9028 9028 8183 0 -1 1077944384 1272 0 0 0 18 11 0 0 20 0 28 0 97053152 27178778624 819621 33554432000 4194304 4196468 140726117085808 140097237294096 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9040] ppid=9028 vsize=26541776 memory=3278484 CPUtime=0.07 cores=0-7
/proc/9030/task/9040/stat : 9040 (java) S 9028 9028 8183 0 -1 1077944384 6816 0 0 0 5 2 0 0 20 0 28 0 97053153 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095957489776 140097686063746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9041] ppid=9028 vsize=26541776 memory=3272952 CPUtime=0 cores=0-7
/proc/9030/task/9041/stat : 9041 (java) S 9028 9028 8183 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97053154 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095956435808 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9042] ppid=9028 vsize=26541776 memory=27968 CPUtime=0 cores=0-7
/proc/9030/task/9042/stat : 9042 (java) S 9028 9028 8183 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97053154 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095955383424 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9043] ppid=9028 vsize=26541776 memory=3274388 CPUtime=0 cores=0-7
/proc/9030/task/9043/stat : 9043 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97053156 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095954331728 140097686071195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9044] ppid=9028 vsize=26541776 memory=1384 CPUtime=3.31 cores=0-7
/proc/9030/task/9044/stat : 9044 (java) S 9028 9028 8183 0 -1 1077944384 17546 0 0 0 326 5 0 0 20 0 28 0 97053156 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095953279600 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9045] ppid=9028 vsize=26541776 memory=1384 CPUtime=4.29 cores=0-7
/proc/9030/task/9045/stat : 9045 (java) S 9028 9028 8183 0 -1 1077944384 19557 0 0 0 424 5 0 0 20 0 28 0 97053156 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095952226800 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9046] ppid=9028 vsize=26541776 memory=4140 CPUtime=4.08 cores=0-7
/proc/9030/task/9046/stat : 9046 (java) S 9028 9028 8183 0 -1 1077944384 24448 0 0 0 403 5 0 0 20 0 28 0 97053156 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095951174512 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9047] ppid=9028 vsize=26541776 memory=3274388 CPUtime=1.27 cores=0-7
/proc/9030/task/9047/stat : 9047 (java) S 9028 9028 8183 0 -1 1077944384 16266 0 0 0 123 4 0 0 20 0 28 0 97053156 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095950121712 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9048] ppid=9028 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/9030/task/9048/stat : 9048 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97053157 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095949068640 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9049] ppid=9028 vsize=26541776 memory=1384 CPUtime=0.09 cores=0-7
/proc/9030/task/9049/stat : 9049 (java) R 9028 9028 8183 0 -1 1077944384 1654 0 0 0 5 4 0 0 20 0 28 0 97053157 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095948015920 140097686063746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14016] ppid=9028 vsize=26541776 memory=3276600 CPUtime=80.89 cores=0-7
/proc/9030/task/14016/stat : 14016 (java) R 9028 9028 8183 0 -1 4202560 2025 0 0 0 8085 4 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095934184712 140097296358883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14017] ppid=9028 vsize=26541776 memory=3277536 CPUtime=80.92 cores=0-7
/proc/9030/task/14017/stat : 14017 (java) R 9028 9028 8183 0 -1 4202560 1843 0 0 0 8091 1 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095937344376 140097296231508 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14018] ppid=9028 vsize=26541776 memory=840 CPUtime=79.3 cores=0-7
/proc/9030/task/14018/stat : 14018 (java) R 9028 9028 8183 0 -1 4202560 1262 0 0 0 7928 2 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095939449064 140097295720912 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14019] ppid=9028 vsize=26541776 memory=1384 CPUtime=80.9 cores=0-7
/proc/9030/task/14019/stat : 14019 (java) R 9028 9028 8183 0 -1 4202560 8651 0 0 0 8066 24 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095938396440 140097293555344 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14020] ppid=9028 vsize=26541776 memory=1384 CPUtime=80.89 cores=0-7
/proc/9030/task/14020/stat : 14020 (java) R 9028 9028 8183 0 -1 4202560 3130 0 0 0 8083 6 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095929986720 140097296355498 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14021] ppid=9028 vsize=26541776 memory=288230574492221466 CPUtime=80.91 cores=0-7
/proc/9030/task/14021/stat : 14021 (java) R 9028 9028 8183 0 -1 4202560 2061 0 0 0 8088 3 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095933133560 140097296231531 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14022] ppid=9028 vsize=26541776 memory=288230604624101684 CPUtime=80.78 cores=0-7
/proc/9030/task/14022/stat : 14022 (java) R 9028 9028 8183 0 -1 4202560 3779 0 0 0 8071 7 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095940501648 140097296231508 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14023] ppid=9028 vsize=26541776 memory=-7003737579269690708 CPUtime=80.86 cores=0-7
/proc/9030/task/14023/stat : 14023 (java) R 9028 9028 8183 0 -1 4202560 1523 0 0 0 8085 1 0 0 20 0 28 0 97067283 27178778624 819621 33554432000 4194304 4196468 140726117085808 140095935238248 140097288644236 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
Current children cumulated CPU time: 1646.59 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3279868 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.32 7.40 6.49 9/208 14023
/proc/meminfo: memFree=28397480/32770624 swapFree=67108860/67108860
[pid=9028] ppid=9025 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9028/stat : 9028 (xcsp3-exec) S 9025 9028 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97053150 9740288 346 33554432000 4194304 5098028 140726138376688 140726138374792 140428669751932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31322112 140726138385514 140726138385724 140726138385724 140726138388459 0
/proc/9028/statm: 2378 346 289 221 0 87 0
[pid=9030] ppid=9028 vsize=26541776 memory=3278480 CPUtime=1883.55 cores=0-7
/proc/9030/stat : 9030 (java) S 9028 9028 8183 0 -1 1077944320 215523 0 0 0 187970 385 0 0 20 0 28 0 97053150 27178778624 819620 33554432000 4194304 4196468 140726117085808 140726117068352 140097686052599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
/proc/9030/statm: 6635444 819620 3288 1 0 6622678 0
[pid=9030/tid=9031] ppid=9028 vsize=26541776 memory=8112282956445269571 CPUtime=4.71 cores=0-7
/proc/9030/task/9031/stat : 9031 (java) S 9028 9028 8183 0 -1 1077944384 11194 0 0 0 461 10 0 0 20 0 28 0 97053151 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097690293312 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9032] ppid=9028 vsize=26541776 memory=-7003737579269690708 CPUtime=0.3 cores=0-7
/proc/9030/task/9032/stat : 9032 (java) S 9028 9028 8183 0 -1 1077944384 1585 0 0 0 20 10 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097608632720 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9033] ppid=9028 vsize=26541776 memory=1296 CPUtime=0.28 cores=0-7
/proc/9030/task/9033/stat : 9033 (java) S 9028 9028 8183 0 -1 1077944384 2867 0 0 0 18 10 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097607579920 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9034] ppid=9028 vsize=26541776 memory=2336 CPUtime=0.27 cores=0-7
/proc/9030/task/9034/stat : 9034 (java) S 9028 9028 8183 0 -1 1077944384 1175 0 0 0 18 9 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097606527632 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9035] ppid=9028 vsize=26541776 memory=1724 CPUtime=0.28 cores=0-7
/proc/9030/task/9035/stat : 9035 (java) S 9028 9028 8183 0 -1 1077944384 2126 0 0 0 19 9 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097241504272 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9036] ppid=9028 vsize=26541776 memory=1012 CPUtime=0.3 cores=0-7
/proc/9030/task/9036/stat : 9036 (java) S 9028 9028 8183 0 -1 1077944384 1035 0 0 0 21 9 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097240451984 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9037] ppid=9028 vsize=26541776 memory=1716 CPUtime=0.26 cores=0-7
/proc/9030/task/9037/stat : 9037 (java) S 9028 9028 8183 0 -1 1077944384 1534 0 0 0 17 9 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097239399184 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9038] ppid=9028 vsize=26541776 memory=5792 CPUtime=0.3 cores=0-7
/proc/9030/task/9038/stat : 9038 (java) S 9028 9028 8183 0 -1 1077944384 892 0 0 0 21 9 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097238346896 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9039] ppid=9028 vsize=26541776 memory=4616 CPUtime=0.3 cores=0-7
/proc/9030/task/9039/stat : 9039 (java) S 9028 9028 8183 0 -1 1077944384 1280 0 0 0 19 11 0 0 20 0 28 0 97053152 27178778624 819620 33554432000 4194304 4196468 140726117085808 140097237294096 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9040] ppid=9028 vsize=26541776 memory=792 CPUtime=0.07 cores=0-7
/proc/9030/task/9040/stat : 9040 (java) S 9028 9028 8183 0 -1 1077944384 6838 0 0 0 5 2 0 0 20 0 28 0 97053153 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095957489776 140097686063746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9041] ppid=9028 vsize=26541776 memory=1420 CPUtime=0 cores=0-7
/proc/9030/task/9041/stat : 9041 (java) S 9028 9028 8183 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97053154 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095956435808 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9042] ppid=9028 vsize=26541776 memory=1228 CPUtime=0 cores=0-7
/proc/9030/task/9042/stat : 9042 (java) S 9028 9028 8183 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97053154 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095955383424 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9043] ppid=9028 vsize=26541776 memory=4616 CPUtime=0 cores=0-7
/proc/9030/task/9043/stat : 9043 (java) S 9028 9028 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97053156 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095954331728 140097686071195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9044] ppid=9028 vsize=26541776 memory=792 CPUtime=3.31 cores=0-7
/proc/9030/task/9044/stat : 9044 (java) S 9028 9028 8183 0 -1 1077944384 17909 0 0 0 326 5 0 0 20 0 28 0 97053156 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095953279600 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9045] ppid=9028 vsize=26541776 memory=1420 CPUtime=4.29 cores=0-7
/proc/9030/task/9045/stat : 9045 (java) S 9028 9028 8183 0 -1 1077944384 19559 0 0 0 424 5 0 0 20 0 28 0 97053156 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095952226800 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9046] ppid=9028 vsize=26541776 memory=13040 CPUtime=4.1 cores=0-7
/proc/9030/task/9046/stat : 9046 (java) S 9028 9028 8183 0 -1 1077944384 25562 0 0 0 405 5 0 0 20 0 28 0 97053156 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095951174512 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9047] ppid=9028 vsize=26541776 memory=1944 CPUtime=1.27 cores=0-7
/proc/9030/task/9047/stat : 9047 (java) S 9028 9028 8183 0 -1 1077944384 16602 0 0 0 123 4 0 0 20 0 28 0 97053156 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095950121712 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9048] ppid=9028 vsize=26541776 memory=1196 CPUtime=0 cores=0-7
/proc/9030/task/9048/stat : 9048 (java) S 9028 9028 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97053157 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095949068640 140097686062805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=9049] ppid=9028 vsize=26541776 memory=8548 CPUtime=0.1 cores=0-7
/proc/9030/task/9049/stat : 9049 (java) S 9028 9028 8183 0 -1 1077944384 1680 0 0 0 6 4 0 0 20 0 28 0 97053157 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095948015920 140097686063746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14016] ppid=9028 vsize=26541776 memory=1228 CPUtime=110.58 cores=0-7
/proc/9030/task/14016/stat : 14016 (java) R 9028 9028 8183 0 -1 4202560 2088 0 0 0 11054 4 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095934184824 140097292386111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14017] ppid=9028 vsize=26541776 memory=15876 CPUtime=110.6 cores=0-7
/proc/9030/task/14017/stat : 14017 (java) R 9028 9028 8183 0 -1 4202560 1967 0 0 0 11059 1 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095937343976 140097292386023 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14018] ppid=9028 vsize=26541776 memory=1384 CPUtime=108.98 cores=0-7
/proc/9030/task/14018/stat : 14018 (java) R 9028 9028 8183 0 -1 4202560 1350 0 0 0 10896 2 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095939449736 140097292917704 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14019] ppid=9028 vsize=26541776 memory=3278480 CPUtime=110.59 cores=0-7
/proc/9030/task/14019/stat : 14019 (java) R 9028 9028 8183 0 -1 4202560 9199 0 0 0 11033 26 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095938396736 140097290456135 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14020] ppid=9028 vsize=26541776 memory=4040 CPUtime=110.58 cores=0-7
/proc/9030/task/14020/stat : 14020 (java) R 9028 9028 8183 0 -1 4202560 3363 0 0 0 11051 7 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095929983976 140097296231508 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14021] ppid=9028 vsize=26541776 memory=1236 CPUtime=110.6 cores=0-7
/proc/9030/task/14021/stat : 14021 (java) R 9028 9028 8183 0 -1 4202560 2206 0 0 0 11057 3 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095933133560 140097292389417 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14022] ppid=9028 vsize=26541776 memory=8112282956445269571 CPUtime=109.82 cores=0-7
/proc/9030/task/14022/stat : 14022 (java) R 9028 9028 8183 0 -1 4202560 3888 0 0 0 10975 7 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095940501576 140097288644798 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
[pid=9030/tid=14023] ppid=9028 vsize=26541776 memory=-7003737579269690708 CPUtime=110.55 cores=0-7
/proc/9030/task/14023/stat : 14023 (java) R 9028 9028 8183 0 -1 4202560 1565 0 0 0 11054 1 0 0 20 0 28 0 97067283 27178778624 819620 33554432000 4194304 4196468 140726117085808 140095935238264 140097291946371 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38027264 140726117090456 140726117090632 140726117090632 140726117093327 0
Current children cumulated CPU time: 1883.55 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3279864 KiB

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

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

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

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

Child status: 143
Real time (s): 252.126
CPU time (s): 1884.33
CPU user time (s): 1880.45
CPU system time (s): 3.87397
CPU usage (%): 747.374
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 3280376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1880.45
system time used= 3.87397
maximum resident set size= 3280720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49832
involuntary context switches= 20154


# summary of solver processes directly reported to runsolver:
#   pid: 9028,9030
#   total CPU time (s): 1884.33
#   total CPU user time (s): 1880.45
#   total CPU system time (s): 3.87397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.19584 second user time and 3.08434 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-13 17:39:51
IDJOB=4271796
IDBENCH=115896
IDSOLVER=2663
FILE ID=node103/4271796-1502639649
RUNJOBID= node103-1502637526-8210
PBS_JOBID= 20628330
Free space on /tmp= 61792 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-4271796-1502639649/watcher-4271796-1502639649 -o /tmp/evaluation-result-4271796-1502639649/solver-4271796-1502639649 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2090819170 HOME/instance-4271796-1502639649.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=2090819170

node103.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.56
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.56
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.56
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.56
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:        31669160 kB
MemAvailable:   31995080 kB
Buffers:          105828 kB
Cached:           514652 kB
SwapCached:            0 kB
Active:           516252 kB
Inactive:         159408 kB
Active(anon):       4468 kB
Inactive(anon):    78632 kB
Active(file):     511784 kB
Inactive(file):    80776 kB
Unevictable:        6420 kB
Mlocked:            6420 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:        253228 kB
Mapped:            42804 kB
Shmem:             25228 kB
Slab:             124448 kB
SReclaimable:      98392 kB
SUnreclaim:        26056 kB
KernelStack:        3680 kB
PageTables:         4984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61788 MiB
End job on node103 at 2017-08-13 17:44:03