Trace number 4281606

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)636 1897.59 252.12399

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-4281606-1503179487.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281606-1503179487.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
9.15/4.04	c solve instance...
18.86/5.35	o 0 
21.23/5.77	o 4 
22.92/6.67	o 6 
22.92/6.68	o 8 
23.13/6.70	o 10 
23.13/6.71	o 12 
23.13/6.74	o 14 
23.75/6.81	o 16 
23.75/6.86	o 18 
24.46/6.93	o 20 
25.30/7.02	o 22 
26.06/7.19	o 24 
29.89/7.62	o 26 
35.11/8.77	o 28 
45.21/10.26	o 30 
64.26/13.17	o 32 
90.82/16.57	o 34 
129.03/21.36	o 35 
140.96/22.84	o 36 
140.96/22.89	o 37 
141.62/22.90	o 38 
141.62/22.91	o 39 
141.62/22.92	o 40 
141.62/22.93	o 41 
141.62/22.94	o 42 
141.62/22.95	o 43 
141.62/22.96	o 44 
141.62/22.97	o 45 
141.62/22.98	o 46 
141.62/22.99	o 47 
141.62/23.00	o 48 
142.12/23.01	o 49 
142.12/23.02	o 50 
142.12/23.03	o 51 
142.12/23.04	o 52 
142.12/23.05	o 53 
142.12/23.06	o 54 
142.12/23.07	o 55 
142.12/23.07	o 56 
142.12/23.09	o 57 
142.12/23.10	o 58 
142.12/23.11	o 59 
142.58/23.12	o 60 
142.58/23.13	o 61 
142.58/23.13	o 62 
142.58/23.14	o 63 
142.58/23.15	o 64 
142.58/23.16	o 65 
142.58/23.18	o 66 
142.58/23.19	o 67 
143.02/23.20	o 68 
143.02/23.21	o 69 
143.02/23.22	o 70 
143.02/23.23	o 71 
143.02/23.24	o 72 
143.02/23.25	o 73 
143.02/23.26	o 74 
143.02/23.27	o 75 
143.02/23.28	o 76 
143.02/23.29	o 77 
143.50/23.30	o 78 
143.50/23.30	o 79 
143.50/23.31	o 80 
143.50/23.32	o 81 
143.50/23.33	o 82 
143.50/23.34	o 83 
143.50/23.34	o 84 
143.50/23.35	o 85 
143.50/23.36	o 86 
143.50/23.36	o 87 
143.50/23.37	o 88 
143.50/23.38	o 89 
143.97/23.40	o 90 
143.97/23.42	o 91 
143.97/23.43	o 92 
143.97/23.43	o 93 
143.97/23.44	o 94 
143.97/23.46	o 95 
143.97/23.47	o 96 
143.97/23.48	o 97 
143.97/23.49	o 98 
144.38/23.50	o 99 
144.38/23.51	o 100 
144.38/23.52	o 101 
144.38/23.53	o 102 
144.38/23.54	o 103 
144.38/23.56	o 104 
144.38/23.57	o 105 
144.38/23.58	o 106 
144.38/23.58	o 107 
144.38/23.59	o 108 
144.78/23.61	o 109 
144.78/23.62	o 110 
144.78/23.63	o 111 
144.78/23.64	o 112 
144.78/23.65	o 113 
144.78/23.66	o 114 
144.78/23.67	o 115 
144.78/23.68	o 116 
144.78/23.69	o 117 
144.78/23.70	o 118 
145.28/23.70	o 119 
145.28/23.71	o 120 
145.28/23.73	o 121 
145.72/24.06	o 122 
146.44/24.71	o 123 
146.44/24.72	o 124 
146.44/24.72	o 125 
146.44/24.73	o 126 
146.44/24.74	o 127 
146.44/24.75	o 128 
146.44/24.76	o 129 
146.44/24.77	o 130 
146.44/24.78	o 131 
146.44/24.79	o 132 
146.90/24.80	o 133 
146.90/24.81	o 134 
146.90/24.83	o 135 
146.90/24.84	o 136 
146.90/24.85	o 137 
146.90/24.86	o 138 
146.90/24.88	o 139 
146.90/24.89	o 140 
147.27/24.90	o 141 
147.27/24.91	o 142 
147.27/24.92	o 143 
147.27/24.93	o 144 
147.27/24.94	o 145 
147.27/24.95	o 146 
147.27/24.96	o 147 
147.27/24.97	o 148 
147.27/24.98	o 149 
147.27/24.99	o 150 
147.27/25.00	o 151 
147.77/25.02	o 152 
147.77/25.03	o 153 
147.77/25.04	o 154 
147.77/25.05	o 155 
147.77/25.06	o 156 
147.77/25.06	o 157 
147.77/25.08	o 158 
147.77/25.09	o 159 
147.77/25.09	o 160 
147.77/25.11	o 161 
148.26/25.11	o 162 
148.26/25.12	o 163 
148.26/25.13	o 164 
148.26/25.14	o 165 
148.26/25.15	o 166 
148.26/25.16	o 167 
148.26/25.16	o 168 
148.26/25.17	o 169 
148.26/25.18	o 170 
148.26/25.19	o 171 
148.73/25.20	o 172 
148.73/25.21	o 173 
148.73/25.21	o 174 
148.73/25.22	o 175 
148.73/25.23	o 176 
148.73/25.24	o 177 
148.73/25.25	o 178 
148.73/25.26	o 179 
148.73/25.27	o 180 
148.73/25.28	o 181 
148.73/25.28	o 182 
148.73/25.29	o 183 
148.73/25.30	o 184 
149.27/25.31	o 185 
149.27/25.32	o 186 
149.27/25.33	o 187 
149.27/25.34	o 188 
149.27/25.35	o 189 
149.27/25.35	o 190 
149.27/25.36	o 191 
149.27/25.37	o 192 
149.27/25.38	o 193 
149.27/25.39	o 194 
149.27/25.40	o 195 
149.78/25.42	o 196 
149.78/25.43	o 197 
149.78/25.44	o 198 
149.78/25.45	o 199 
149.78/25.46	o 200 
149.78/25.46	o 201 
149.78/25.47	o 202 
149.78/25.49	o 203 
149.78/25.49	o 204 
150.31/25.50	o 205 
150.31/25.51	o 206 
150.31/25.52	o 207 
150.31/25.53	o 208 
150.31/25.54	o 209 
150.31/25.55	o 210 
150.31/25.56	o 211 
150.31/25.57	o 212 
150.31/25.58	o 213 
150.31/25.59	o 214 
150.31/25.60	o 215 
150.80/25.61	o 216 
150.80/25.62	o 217 
150.80/25.63	o 218 
150.80/25.64	o 219 
150.80/25.64	o 220 
150.80/25.65	o 221 
150.80/25.66	o 222 
150.80/25.67	o 223 
150.80/25.68	o 224 
150.80/25.69	o 225 
151.22/25.71	o 226 
151.22/25.72	o 227 
151.22/25.73	o 228 
151.22/25.74	o 229 
151.22/25.75	o 230 
151.22/25.76	o 231 
151.22/25.77	o 232 
151.22/25.78	o 233 
151.22/25.79	o 234 
151.67/25.80	o 235 
151.67/25.81	o 236 
151.67/25.82	o 237 
151.67/25.83	o 238 
151.67/25.84	o 239 
151.67/25.85	o 240 
151.67/25.86	o 241 
151.67/25.87	o 242 
151.67/25.88	o 243 
151.67/25.89	o 244 
152.19/25.90	o 245 
152.19/25.91	o 246 
152.19/25.92	o 247 
152.19/25.93	o 248 
152.19/25.94	o 249 
152.19/25.95	o 250 
152.19/25.96	o 251 
152.19/25.97	o 252 
152.19/25.98	o 253 
152.19/25.99	o 254 
152.19/26.01	o 255 
152.74/26.02	o 256 
152.74/26.02	o 257 
152.74/26.03	o 258 
152.74/26.04	o 259 
152.74/26.05	o 260 
152.74/26.06	o 261 
152.74/26.07	o 262 
152.74/26.08	o 263 
152.74/26.09	o 264 
152.74/26.10	o 265 
152.74/26.11	o 266 
153.28/26.12	o 267 
153.28/26.13	o 268 
153.28/26.13	o 269 
153.28/26.15	o 270 
153.28/26.16	o 271 
153.28/26.17	o 272 
153.28/26.18	o 273 
153.28/26.19	o 274 
153.77/26.20	o 275 
153.77/26.21	o 276 
153.77/26.22	o 277 
153.77/26.23	o 278 
153.77/26.24	o 279 
153.77/26.25	o 280 
153.77/26.26	o 281 
153.77/26.27	o 282 
153.77/26.28	o 283 
153.77/26.29	o 284 
153.77/26.30	o 285 
154.26/26.31	o 286 
154.26/26.32	o 287 
154.26/26.33	o 288 
154.26/26.34	o 289 
154.26/26.36	o 290 
154.26/26.37	o 291 
154.26/26.38	o 292 
154.26/26.39	o 293 
154.26/26.40	o 294 
154.74/26.41	o 295 
154.74/26.42	o 296 
154.74/26.43	o 297 
154.74/26.44	o 298 
154.74/26.45	o 299 
154.74/26.46	o 300 
154.74/26.47	o 301 
154.74/26.48	o 302 
154.74/26.49	o 303 
155.26/26.50	o 304 
155.26/26.52	o 305 
155.46/26.70	o 306 
156.21/27.32	o 307 
156.21/27.33	o 308 
156.21/27.34	o 309 
156.21/27.35	o 310 
156.21/27.36	o 311 
156.21/27.37	o 312 
156.21/27.38	o 313 
156.21/27.39	o 314 
156.64/27.40	o 315 
156.64/27.41	o 316 
156.64/27.42	o 317 
156.64/27.43	o 318 
156.64/27.44	o 319 
156.64/27.45	o 320 
156.64/27.46	o 321 
156.64/27.47	o 322 
156.64/27.48	o 323 
156.64/27.49	o 324 
156.64/27.50	o 325 
157.17/27.51	o 326 
157.17/27.52	o 327 
157.17/27.53	o 328 
157.17/27.54	o 329 
157.17/27.56	o 330 
157.17/27.57	o 331 
157.17/27.58	o 332 
157.17/27.59	o 333 
157.64/27.60	o 334 
157.64/27.61	o 335 
157.64/27.62	o 336 
157.64/27.63	o 337 
157.64/27.64	o 338 
157.64/27.66	o 339 
157.64/27.67	o 340 
157.64/27.68	o 341 
157.64/27.68	o 342 
157.64/27.69	o 343 
158.21/27.70	o 344 
158.21/27.71	o 345 
158.21/27.72	o 346 
158.21/27.73	o 347 
158.21/27.74	o 348 
158.21/27.76	o 349 
158.21/27.76	o 350 
158.21/27.78	o 351 
158.21/27.79	o 352 
158.70/27.80	o 353 
158.70/27.81	o 354 
158.70/27.82	o 355 
158.70/27.83	o 356 
158.70/27.84	o 357 
158.70/27.85	o 358 
158.70/27.86	o 359 
158.70/27.87	o 360 
158.70/27.88	o 361 
158.70/27.89	o 362 
159.24/27.90	o 363 
159.24/27.91	o 364 
159.24/27.92	o 365 
159.24/27.93	o 366 
159.24/27.95	o 367 
159.24/27.96	o 368 
159.24/27.97	o 369 
159.24/27.98	o 370 
159.24/27.99	o 371 
159.24/28.00	o 372 
159.77/28.01	o 373 
159.77/28.02	o 374 
159.77/28.03	o 375 
159.77/28.05	o 376 
159.77/28.06	o 377 
159.77/28.07	o 378 
159.77/28.08	o 379 
159.77/28.09	o 380 
159.77/28.10	o 381 
159.77/28.11	o 382 
160.28/28.12	o 383 
160.28/28.13	o 384 
160.28/28.14	o 385 
160.28/28.15	o 386 
160.28/28.16	o 387 
160.28/28.17	o 388 
160.28/28.18	o 389 
160.28/28.19	o 390 
160.80/28.20	o 391 
160.80/28.21	o 392 
160.80/28.23	o 393 
160.80/28.24	o 394 
160.80/28.24	o 395 
160.80/28.26	o 396 
160.80/28.27	o 397 
160.80/28.28	o 398 
160.80/28.29	o 399 
160.80/28.30	o 400 
161.29/28.31	o 401 
161.29/28.32	o 402 
161.29/28.33	o 403 
161.29/28.34	o 404 
161.29/28.35	o 405 
161.29/28.37	o 406 
161.29/28.38	o 407 
161.29/28.40	o 408 
161.80/28.41	o 409 
161.80/28.42	o 410 
161.80/28.43	o 411 
161.80/28.44	o 412 
161.80/28.45	o 413 
161.80/28.46	o 414 
161.80/28.47	o 415 
161.80/28.48	o 416 
161.80/28.50	o 417 
162.30/28.51	o 418 
162.30/28.52	o 419 
162.30/28.53	o 420 
162.30/28.54	o 421 
162.30/28.55	o 422 
162.30/28.57	o 423 
162.30/28.58	o 424 
162.30/28.59	o 425 
162.87/28.60	o 426 
162.87/28.61	o 427 
162.87/28.62	o 428 
162.87/28.64	o 429 
162.87/28.65	o 430 
162.87/28.66	o 431 
162.87/28.67	o 432 
162.87/28.69	o 433 
163.36/28.70	o 434 
163.36/28.71	o 435 
163.36/28.72	o 436 
163.36/28.73	o 437 
163.36/28.75	o 438 
163.36/28.75	o 439 
163.36/28.77	o 440 
163.36/28.78	o 441 
163.36/28.79	o 442 
163.89/28.80	o 443 
163.89/28.82	o 444 
163.89/28.83	o 445 
163.89/28.84	o 446 
163.89/28.85	o 447 
163.89/28.86	o 448 
163.89/28.87	o 449 
163.89/28.88	o 450 
163.89/28.89	o 451 
164.47/28.91	o 452 
164.47/28.92	o 453 
164.47/28.92	o 454 
164.47/28.94	o 455 
164.47/28.95	o 456 
164.47/28.96	o 457 
164.47/28.97	o 458 
164.47/28.98	o 459 
164.47/28.99	o 460 
164.47/29.00	o 461 
165.02/29.02	o 462 
165.02/29.03	o 463 
165.02/29.04	o 464 
165.02/29.06	o 465 
165.02/29.07	o 466 
165.02/29.08	o 467 
165.02/29.09	o 468 
165.02/29.10	o 469 
165.52/29.12	o 470 
165.52/29.13	o 471 
165.52/29.14	o 472 
165.52/29.15	o 473 
165.52/29.16	o 474 
165.52/29.17	o 475 
165.52/29.18	o 476 
165.52/29.19	o 477 
166.09/29.21	o 478 
166.09/29.22	o 479 
166.09/29.23	o 480 
166.09/29.24	o 481 
166.09/29.26	o 482 
166.56/29.40	o 483 
167.22/30.01	o 484 
167.22/30.02	o 485 
167.22/30.03	o 486 
167.22/30.04	o 487 
167.22/30.05	o 488 
167.22/30.07	o 489 
167.22/30.08	o 490 
167.22/30.09	o 491 
167.22/30.11	o 492 
167.79/30.12	o 493 
167.79/30.13	o 494 
167.79/30.15	o 495 
167.79/30.16	o 496 
167.79/30.17	o 497 
167.79/30.19	o 498 
168.25/30.20	o 499 
168.25/30.21	o 500 
168.25/30.23	o 501 
168.25/30.24	o 502 
168.25/30.25	o 503 
168.25/30.26	o 504 
168.25/30.27	o 505 
168.25/30.28	o 506 
168.25/30.30	o 507 
168.80/30.31	o 508 
168.80/30.32	o 509 
168.80/30.33	o 510 
168.80/30.35	o 511 
168.80/30.36	o 512 
168.80/30.37	o 513 
168.80/30.38	o 514 
168.80/30.39	o 515 
169.39/30.40	o 516 
169.39/30.42	o 517 
169.39/30.43	o 518 
169.39/30.44	o 519 
169.39/30.45	o 520 
169.39/30.46	o 521 
169.39/30.47	o 522 
169.39/30.49	o 523 
169.93/30.50	o 524 
169.93/30.52	o 525 
169.93/30.53	o 526 
169.93/30.54	o 527 
169.93/30.55	o 528 
169.93/30.57	o 529 
169.93/30.58	o 530 
169.93/30.59	o 531 
170.47/30.60	o 532 
170.47/30.61	o 533 
170.47/30.62	o 534 
170.47/30.64	o 535 
170.47/30.65	o 536 
170.47/30.66	o 537 
170.47/30.67	o 538 
170.47/30.69	o 539 
171.04/30.70	o 540 
171.04/30.72	o 541 
171.04/30.73	o 542 
171.04/30.74	o 543 
171.04/30.75	o 544 
171.04/30.77	o 545 
171.04/30.79	o 546 
171.55/30.80	o 547 
171.55/30.81	o 548 
171.55/30.82	o 549 
171.55/30.84	o 550 
171.55/30.86	o 551 
171.55/30.87	o 552 
171.55/30.89	o 553 
172.06/30.90	o 554 
172.06/30.91	o 555 
172.06/30.93	o 556 
172.06/30.94	o 557 
172.06/30.95	o 558 
172.06/30.97	o 559 
172.06/30.98	o 560 
172.06/31.00	o 561 
172.61/31.01	o 562 
172.61/31.03	o 563 
172.61/31.04	o 564 
172.61/31.05	o 565 
172.61/31.07	o 566 
172.61/31.08	o 567 
172.61/31.09	o 568 
173.15/31.11	o 569 
173.15/31.12	o 570 
173.15/31.14	o 571 
173.15/31.15	o 572 
173.15/31.16	o 573 
173.15/31.17	o 574 
173.15/31.19	o 575 
173.65/31.20	o 576 
173.65/31.21	o 577 
173.65/31.23	o 578 
173.65/31.24	o 579 
173.65/31.26	o 580 
173.65/31.27	o 581 
173.65/31.29	o 582 
174.16/31.30	o 583 
174.16/31.32	o 584 
174.16/31.33	o 585 
174.16/31.34	o 586 
174.16/31.36	o 587 
174.16/31.37	o 588 
174.16/31.39	o 589 
174.72/31.41	o 590 
174.72/31.42	o 591 
174.72/31.43	o 592 
174.72/31.45	o 593 
174.72/31.46	o 594 
174.72/31.48	o 595 
174.72/31.49	o 596 
175.25/31.50	o 597 
175.25/31.51	o 598 
175.25/31.53	o 599 
175.54/31.61	o 600 
176.27/32.21	o 601 
176.27/32.22	o 602 
176.59/32.30	o 603 
177.24/32.90	o 604 
177.24/32.91	o 605 
177.24/32.93	o 606 
177.24/32.94	o 607 
177.24/32.95	o 608 
177.24/32.97	o 609 
177.24/32.98	o 610 
177.24/33.00	o 611 
177.78/33.08	o 612 
178.50/33.67	o 613 
178.50/33.69	o 614 
178.70/33.70	o 615 
178.70/33.72	o 616 
178.70/33.79	o 617 
179.55/34.39	o 618 
179.72/34.41	o 619 
179.72/34.48	o 620 
180.45/35.08	o 621 
180.45/35.10	o 622 
180.67/35.11	o 623 
180.67/35.18	o 624 
181.38/35.78	o 625 
181.53/35.80	o 626 
181.53/35.86	o 627 
182.36/36.47	o 628 
182.36/36.49	o 629 
182.60/36.55	o 630 
183.59/37.16	o 631 
284.37/49.86	o 632 
284.37/49.89	o 633 
285.11/49.91	o 634 
954.16/133.82	o 635 
954.16/133.83	o 636 
1896.86/252.08	s SATISFIABLE
1896.86/252.08	v <instantiation>
1896.86/252.08	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>
1896.86/252.08	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>
1896.86/252.08	v </instantiation>
1896.86/252.08	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 (13014 MiB free)
  memory of node 1: 16384 MiB (12570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281606-1503179487/watcher-4281606-1503179487 -o /tmp/evaluation-result-4281606-1503179487/solver-4281606-1503179487 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1880326260 HOME/instance-4281606-1503179487.xml 

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

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

solver pid=17887, runsolver pid=17884

[startup+0.100175 s]*
/proc/loadavg: 7.83 8.18 8.21 2/199 17908
/proc/meminfo: memFree=26183848/32770624 swapFree=67108860/67108860
[pid=17887] ppid=17884 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17887/stat : 17887 (xcsp3-exec) S 17884 17887 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151036341 9740288 346 33554432000 4194304 5098028 140737017670848 140737017668952 140439585198716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7680000 140737017676906 140737017677116 140737017677116 140737017679851 0
/proc/17887/statm: 2378 346 289 221 0 87 0
[pid=17889] ppid=17887 vsize=25999808 memory=26344 CPUtime=0.12 cores=0-7
/proc/17889/stat : 17889 (java) S 17887 17887 13260 0 -1 1077944320 5475 0 0 0 10 2 0 0 20 0 20 0 151036341 26623803392 6586 33554432000 4194304 4196468 140735969204288 140735969186832 140127540059895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
/proc/17889/statm: 6499952 6586 2851 1 0 6488269 0
[pid=17889/tid=17890] ppid=17887 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17889/task/17890/stat : 17890 (java) R 17887 17887 13260 0 -1 4202560 3488 0 0 0 8 1 0 0 20 0 20 0 151036341 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127544289312 140127524140382 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17891] ppid=17887 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17889/task/17891/stat : 17891 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127492680720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17892] ppid=17887 vsize=25999808 memory=139737408636544 CPUtime=0 cores=0-7
/proc/17889/task/17892/stat : 17892 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127491628176 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17893] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17893/stat : 17893 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127490575120 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17894] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17894/stat : 17894 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127489522576 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17895] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17895/stat : 17895 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127488469520 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17896] ppid=17887 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17889/task/17896/stat : 17896 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127487416976 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17897] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17897/stat : 17897 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127486363920 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17898] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17898/stat : 17898 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26623803392 6586 33554432000 4194304 4196468 140735969204288 140127485311376 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17899] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17899/stat : 17899 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036344 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125946272496 140127540071042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17900] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17900/stat : 17900 (java) S 17887 17887 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151036344 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125945218720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17901] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17901/stat : 17901 (java) S 17887 17887 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151036344 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125944165616 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17902] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17902/stat : 17902 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036347 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125943114192 140127540078491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17903] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17903/stat : 17903 (java) S 17887 17887 13260 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 151036347 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125942061296 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17904] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17904/stat : 17904 (java) S 17887 17887 13260 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151036347 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125941008752 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17905] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17905/stat : 17905 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151036347 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125939955696 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17906] ppid=17887 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17889/task/17906/stat : 17906 (java) S 17887 17887 13260 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 151036347 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125938903152 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17907] ppid=17887 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17907/stat : 17907 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151036347 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125937851360 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17908] ppid=17887 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17889/task/17908/stat : 17908 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036347 26623803392 6586 33554432000 4194304 4196468 140735969204288 140125936798896 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27728 KiB

[startup+0.210151 s]*
/proc/loadavg: 7.83 8.18 8.21 3/199 17908
/proc/meminfo: memFree=26172656/32770624 swapFree=67108860/67108860
[pid=17887] ppid=17884 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17887/stat : 17887 (xcsp3-exec) S 17884 17887 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151036341 9740288 346 33554432000 4194304 5098028 140737017670848 140737017668952 140439585198716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7680000 140737017676906 140737017677116 140737017677116 140737017679851 0
/proc/17887/statm: 2378 346 289 221 0 87 0
[pid=17889] ppid=17887 vsize=26004064 memory=39120 CPUtime=0.33 cores=0-7
/proc/17889/stat : 17889 (java) S 17887 17887 13260 0 -1 1077944320 8327 0 0 0 30 3 0 0 20 0 20 0 151036341 26628161536 9780 33554432000 4194304 4196468 140735969204288 140735969186832 140127540059895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
/proc/17889/statm: 6501016 9780 3032 1 0 6488269 0
[pid=17889/tid=17890] ppid=17887 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17889/task/17890/stat : 17890 (java) R 17887 17887 13260 0 -1 4202560 5397 0 0 0 18 1 0 0 20 0 20 0 151036341 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127544273904 140127524140382 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17891] ppid=17887 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/17889/task/17891/stat : 17891 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127492680720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17892] ppid=17887 vsize=26004064 memory=3762959035773388448 CPUtime=0 cores=0-7
/proc/17889/task/17892/stat : 17892 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127491628176 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17893] ppid=17887 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17889/task/17893/stat : 17893 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127490575120 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17894] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17894/stat : 17894 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127489522576 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17895] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17895/stat : 17895 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127488469520 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17896] ppid=17887 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17889/task/17896/stat : 17896 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127487416976 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17897] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17897/stat : 17897 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127486363920 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17898] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17898/stat : 17898 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 9780 33554432000 4194304 4196468 140735969204288 140127485311376 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17899] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17899/stat : 17899 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036344 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125946272496 140127540071042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17900] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17900/stat : 17900 (java) S 17887 17887 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151036344 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125945218720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17901] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17901/stat : 17901 (java) S 17887 17887 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151036344 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125944165616 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17902] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17902/stat : 17902 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036347 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125943114192 140127540078491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17903] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17903/stat : 17903 (java) S 17887 17887 13260 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 20 0 151036347 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125942061296 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17904] ppid=17887 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17889/task/17904/stat : 17904 (java) S 17887 17887 13260 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 20 0 151036347 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125941008752 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17905] ppid=17887 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/17889/task/17905/stat : 17905 (java) S 17887 17887 13260 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 151036347 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125939955696 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17906] ppid=17887 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17889/task/17906/stat : 17906 (java) R 17887 17887 13260 0 -1 4202560 736 0 0 0 7 0 0 0 20 0 20 0 151036347 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125938903152 140127519028871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17907] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17907/stat : 17907 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151036347 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125937851360 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17908] ppid=17887 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17889/task/17908/stat : 17908 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036347 26628161536 9780 33554432000 4194304 4196468 140735969204288 140125936798896 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40504 KiB

[startup+0.30947 s]*
/proc/loadavg: 7.83 8.18 8.21 3/199 17908
/proc/meminfo: memFree=26168384/32770624 swapFree=67108860/67108860
[pid=17887] ppid=17884 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17887/stat : 17887 (xcsp3-exec) S 17884 17887 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151036341 9740288 346 33554432000 4194304 5098028 140737017670848 140737017668952 140439585198716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7680000 140737017676906 140737017677116 140737017677116 140737017679851 0
/proc/17887/statm: 2378 346 289 221 0 87 0
[pid=17889] ppid=17887 vsize=26004064 memory=45536 CPUtime=0.49 cores=0-7
/proc/17889/stat : 17889 (java) S 17887 17887 13260 0 -1 1077944320 9105 0 0 0 46 3 0 0 20 0 20 0 151036341 26628161536 11384 33554432000 4194304 4196468 140735969204288 140735969186832 140127540059895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
/proc/17889/statm: 6501016 11384 3045 1 0 6488269 0
[pid=17889/tid=17890] ppid=17887 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17889/task/17890/stat : 17890 (java) R 17887 17887 13260 0 -1 4202560 6065 0 0 0 27 2 0 0 20 0 20 0 151036341 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127544295568 140127150164688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17891] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17891/stat : 17891 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127492680720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17892] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17892/stat : 17892 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127491628176 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17893] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17893/stat : 17893 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127490575120 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17894] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17894/stat : 17894 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127489522576 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17895] ppid=17887 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17889/task/17895/stat : 17895 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127488469520 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17896] ppid=17887 vsize=26004064 memory=139737297941423 CPUtime=0 cores=0-7
/proc/17889/task/17896/stat : 17896 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127487416976 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17897] ppid=17887 vsize=26004064 memory=139737297943728 CPUtime=0 cores=0-7
/proc/17889/task/17897/stat : 17897 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127486363920 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17898] ppid=17887 vsize=26004064 memory=139737297946032 CPUtime=0 cores=0-7
/proc/17889/task/17898/stat : 17898 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26628161536 11384 33554432000 4194304 4196468 140735969204288 140127485311376 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17899] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17899/stat : 17899 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036344 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125946272496 140127540071042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17900] ppid=17887 vsize=26004064 memory=279474595899024 CPUtime=0 cores=0-7
/proc/17889/task/17900/stat : 17900 (java) S 17887 17887 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151036344 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125945218720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17901] ppid=17887 vsize=26004064 memory=279474595905936 CPUtime=0 cores=0-7
/proc/17889/task/17901/stat : 17901 (java) S 17887 17887 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151036344 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125944165616 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17902] ppid=17887 vsize=26004064 memory=279474595847216 CPUtime=0 cores=0-7
/proc/17889/task/17902/stat : 17902 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036347 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125943114192 140127540078491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17903] ppid=17887 vsize=26004064 memory=279474595919760 CPUtime=0.01 cores=0-7
/proc/17889/task/17903/stat : 17903 (java) S 17887 17887 13260 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 151036347 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125942061296 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17904] ppid=17887 vsize=26004064 memory=279474595926672 CPUtime=0.03 cores=0-7
/proc/17889/task/17904/stat : 17904 (java) S 17887 17887 13260 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 20 0 151036347 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125941008752 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17905] ppid=17887 vsize=26004064 memory=279474595924368 CPUtime=0.02 cores=0-7
/proc/17889/task/17905/stat : 17905 (java) R 17887 17887 13260 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 20 0 151036347 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125939955696 140127532777047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17906] ppid=17887 vsize=26004064 memory=279474595940528 CPUtime=0.11 cores=0-7
/proc/17889/task/17906/stat : 17906 (java) R 17887 17887 13260 0 -1 4202560 823 0 0 0 11 0 0 0 20 0 20 0 151036347 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125938903152 140127540071830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17907] ppid=17887 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17907/stat : 17907 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151036347 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125937851360 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17908] ppid=17887 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17889/task/17908/stat : 17908 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036347 26628161536 11384 33554432000 4194304 4196468 140735969204288 140125936798896 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46920 KiB

[startup+0.700932 s]
/proc/loadavg: 7.83 8.18 8.21 5/199 17908
/proc/meminfo: memFree=26140892/32770624 swapFree=67108860/67108860
[pid=17887] ppid=17884 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17887/stat : 17887 (xcsp3-exec) S 17884 17887 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151036341 9740288 346 33554432000 4194304 5098028 140737017670848 140737017668952 140439585198716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7680000 140737017676906 140737017677116 140737017677116 140737017679851 0
/proc/17887/statm: 2378 346 289 221 0 87 0
[pid=17889] ppid=17887 vsize=26006188 memory=87052 CPUtime=1.82 cores=0-7
/proc/17889/stat : 17889 (java) S 17887 17887 13260 0 -1 1077944320 12767 0 0 0 176 6 0 0 20 0 20 0 151036341 26630336512 21763 33554432000 4194304 4196468 140735969204288 140735969186832 140127540059895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
/proc/17889/statm: 6501547 21763 3199 1 0 6488781 0
[pid=17889/tid=17890] ppid=17887 vsize=26006188 memory=279474596298416 CPUtime=0.67 cores=0-7
/proc/17889/task/17890/stat : 17890 (java) R 17887 17887 13260 0 -1 4202560 6569 0 0 0 64 3 0 0 20 0 20 0 151036341 26630336512 21763 33554432000 4194304 4196468 140735969204288 140127544293296 140127152534547 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17891] ppid=17887 vsize=26006188 memory=139737298150256 CPUtime=0 cores=0-7
/proc/17889/task/17891/stat : 17891 (java) S 17887 17887 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151036342 26630336512 21763 33554432000 4194304 4196468 140735969204288 140127492680720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17892] ppid=17887 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/17889/task/17892/stat : 17892 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26630336512 21763 33554432000 4194304 4196468 140735969204288 140127491628176 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17893] ppid=17887 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/17889/task/17893/stat : 17893 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151036342 26630336512 21763 33554432000 4194304 4196468 140735969204288 140127490575120 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0

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

[pid=17889/tid=22869] ppid=17887 vsize=26541776 memory=0 CPUtime=28.41 cores=0-7
/proc/17889/task/22869/stat : 22869 (java) R 17887 17887 13260 0 -1 4202560 2441 0 0 0 2840 1 0 0 20 0 28 0 151049725 27178778624 1093138 33554432000 4194304 4196468 140735969204288 140125928788208 140127159689689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
Current children cumulated CPU time: 1181.33 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4373936 KiB

[startup+222.302 s]
/proc/loadavg: 8.13 8.07 8.14 9/208 22877
/proc/meminfo: memFree=21845864/32770624 swapFree=67108860/67108860
[pid=17887] ppid=17884 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17887/stat : 17887 (xcsp3-exec) S 17884 17887 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151036341 9740288 346 33554432000 4194304 5098028 140737017670848 140737017668952 140439585198716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7680000 140737017676906 140737017677116 140737017677116 140737017679851 0
/proc/17887/statm: 2378 346 289 221 0 87 0
[pid=17889] ppid=17887 vsize=26541776 memory=4359116 CPUtime=1659.84 cores=0-7
/proc/17889/stat : 17889 (java) S 17887 17887 13260 0 -1 1077944320 199432 0 0 0 165513 471 0 0 20 0 28 0 151036341 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140735969186832 140127540059895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
/proc/17889/statm: 6635444 1089779 3288 1 0 6622678 0
[pid=17889/tid=17890] ppid=17887 vsize=26541776 memory=4364808 CPUtime=4.7 cores=0-7
/proc/17889/task/17890/stat : 17890 (java) S 17887 17887 13260 0 -1 1077944384 11351 0 0 0 458 12 0 0 20 0 28 0 151036341 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127544300608 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17891] ppid=17887 vsize=26541776 memory=4364808 CPUtime=0.26 cores=0-7
/proc/17889/task/17891/stat : 17891 (java) S 17887 17887 13260 0 -1 1077944384 696 0 0 0 18 8 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127492680720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17892] ppid=17887 vsize=26541776 memory=4364808 CPUtime=0.29 cores=0-7
/proc/17889/task/17892/stat : 17892 (java) S 17887 17887 13260 0 -1 1077944384 2275 0 0 0 20 9 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127491628176 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17893] ppid=17887 vsize=26541776 memory=1384 CPUtime=0.29 cores=0-7
/proc/17889/task/17893/stat : 17893 (java) S 17887 17887 13260 0 -1 1077944384 1876 0 0 0 21 8 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127490575120 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17894] ppid=17887 vsize=26541776 memory=4359116 CPUtime=0.28 cores=0-7
/proc/17889/task/17894/stat : 17894 (java) S 17887 17887 13260 0 -1 1077944384 1529 0 0 0 19 9 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127489522576 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17895] ppid=17887 vsize=26541776 memory=4359116 CPUtime=0.28 cores=0-7
/proc/17889/task/17895/stat : 17895 (java) S 17887 17887 13260 0 -1 1077944384 927 0 0 0 19 9 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127488469520 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17896] ppid=17887 vsize=26541776 memory=1384 CPUtime=0.29 cores=0-7
/proc/17889/task/17896/stat : 17896 (java) S 17887 17887 13260 0 -1 1077944384 1629 0 0 0 20 9 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127487416976 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17897] ppid=17887 vsize=26541776 memory=4359116 CPUtime=0.29 cores=0-7
/proc/17889/task/17897/stat : 17897 (java) S 17887 17887 13260 0 -1 1077944384 563 0 0 0 21 8 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127486363920 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17898] ppid=17887 vsize=26541776 memory=796 CPUtime=0.29 cores=0-7
/proc/17889/task/17898/stat : 17898 (java) S 17887 17887 13260 0 -1 1077944384 1223 0 0 0 21 8 0 0 20 0 28 0 151036342 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140127485311376 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17899] ppid=17887 vsize=26541776 memory=10088 CPUtime=0.06 cores=0-7
/proc/17889/task/17899/stat : 17899 (java) S 17887 17887 13260 0 -1 1077944384 6798 0 0 0 4 2 0 0 20 0 28 0 151036344 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125946272496 140127540071042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17900] ppid=17887 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/17889/task/17900/stat : 17900 (java) S 17887 17887 13260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 151036344 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125945218784 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17901] ppid=17887 vsize=26541776 memory=4372552 CPUtime=0 cores=0-7
/proc/17889/task/17901/stat : 17901 (java) S 17887 17887 13260 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151036344 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125944165632 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17902] ppid=17887 vsize=26541776 memory=8580 CPUtime=0 cores=0-7
/proc/17889/task/17902/stat : 17902 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151036347 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125943114192 140127540078491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17903] ppid=17887 vsize=26541776 memory=4616 CPUtime=3.35 cores=0-7
/proc/17889/task/17903/stat : 17903 (java) S 17887 17887 13260 0 -1 1077944384 16421 0 0 0 331 4 0 0 20 0 28 0 151036347 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125942061296 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17904] ppid=17887 vsize=26541776 memory=4616 CPUtime=3.84 cores=0-7
/proc/17889/task/17904/stat : 17904 (java) S 17887 17887 13260 0 -1 1077944384 16030 0 0 0 381 3 0 0 20 0 28 0 151036347 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125941008752 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17905] ppid=17887 vsize=26541776 memory=1720 CPUtime=3.81 cores=0-7
/proc/17889/task/17905/stat : 17905 (java) S 17887 17887 13260 0 -1 1077944384 18505 0 0 0 378 3 0 0 20 0 28 0 151036347 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125939955696 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17906] ppid=17887 vsize=26541776 memory=1572 CPUtime=1.23 cores=0-7
/proc/17889/task/17906/stat : 17906 (java) S 17887 17887 13260 0 -1 1077944384 13004 0 0 0 121 2 0 0 20 0 28 0 151036347 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125938903152 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17907] ppid=17887 vsize=26541776 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/17889/task/17907/stat : 17907 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151036347 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125937851360 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17908] ppid=17887 vsize=26541776 memory=42152 CPUtime=0.1 cores=0-7
/proc/17889/task/17908/stat : 17908 (java) S 17887 17887 13260 0 -1 1077944384 1829 0 0 0 5 5 0 0 20 0 28 0 151036347 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125936798896 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22862] ppid=17887 vsize=26541776 memory=2332 CPUtime=88.36 cores=0-7
/proc/17889/task/22862/stat : 22862 (java) R 17887 17887 13260 0 -1 4202560 1619 0 0 0 8835 1 0 0 20 0 28 0 151049724 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125858156136 140127159953745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22863] ppid=17887 vsize=26541776 memory=4359116 CPUtime=88.39 cores=0-7
/proc/17889/task/22863/stat : 22863 (java) R 17887 17887 13260 0 -1 4202560 1678 0 0 0 8838 1 0 0 20 0 28 0 151049724 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125856051928 140127159773614 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22864] ppid=17887 vsize=26541776 memory=1384 CPUtime=87.71 cores=0-7
/proc/17889/task/22864/stat : 22864 (java) R 17887 17887 13260 0 -1 4202560 927 0 0 0 8771 0 0 0 20 0 28 0 151049724 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125857107136 140127159566485 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22865] ppid=17887 vsize=26541776 memory=4359116 CPUtime=88.19 cores=0-7
/proc/17889/task/22865/stat : 22865 (java) R 17887 17887 13260 0 -1 4202560 10266 0 0 0 8751 68 0 0 20 0 28 0 151049724 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125850796440 140127160985694 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22866] ppid=17887 vsize=26541776 memory=1384 CPUtime=87.72 cores=0-7
/proc/17889/task/22866/stat : 22866 (java) R 17887 17887 13260 0 -1 4202560 1739 0 0 0 8771 1 0 0 20 0 28 0 151049725 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125927735272 140127159690009 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22867] ppid=17887 vsize=26541776 memory=4359116 CPUtime=88.37 cores=0-7
/proc/17889/task/22867/stat : 22867 (java) R 17887 17887 13260 0 -1 4202560 2061 0 0 0 8834 3 0 0 20 0 28 0 151049725 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125853945392 140127159955785 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22868] ppid=17887 vsize=26541776 memory=1384 CPUtime=88.4 cores=0-7
/proc/17889/task/22868/stat : 22868 (java) R 17887 17887 13260 0 -1 4202560 1328 0 0 0 8839 1 0 0 20 0 28 0 151049725 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125926683480 140127159774019 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22869] ppid=17887 vsize=26541776 memory=303430223234596890 CPUtime=88.04 cores=0-7
/proc/17889/task/22869/stat : 22869 (java) R 17887 17887 13260 0 -1 4202560 3271 0 0 0 8802 2 0 0 20 0 28 0 151049725 27178778624 1089779 33554432000 4194304 4196468 140735969204288 140125928791304 140127156853546 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
Current children cumulated CPU time: 1659.84 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4360500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.08 8.06 8.13 9/208 22877
/proc/meminfo: memFree=21847448/32770624 swapFree=67108860/67108860
[pid=17887] ppid=17884 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17887/stat : 17887 (xcsp3-exec) S 17884 17887 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151036341 9740288 346 33554432000 4194304 5098028 140737017670848 140737017668952 140439585198716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7680000 140737017676906 140737017677116 140737017677116 140737017679851 0
/proc/17887/statm: 2378 346 289 221 0 87 0
[pid=17889] ppid=17887 vsize=26541776 memory=4357016 CPUtime=1896.86 cores=0-7
/proc/17889/stat : 17889 (java) S 17887 17887 13260 0 -1 1077944320 203083 0 0 0 189200 486 0 0 20 0 28 0 151036341 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140735969186832 140127540059895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
/proc/17889/statm: 6635444 1089254 3288 1 0 6622678 0
[pid=17889/tid=17890] ppid=17887 vsize=26541776 memory=6791534058613427641 CPUtime=4.7 cores=0-7
/proc/17889/task/17890/stat : 17890 (java) S 17887 17887 13260 0 -1 1077944384 11351 0 0 0 458 12 0 0 20 0 28 0 151036341 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127544300608 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17891] ppid=17887 vsize=26541776 memory=7161658436502317934 CPUtime=0.26 cores=0-7
/proc/17889/task/17891/stat : 17891 (java) S 17887 17887 13260 0 -1 1077944384 714 0 0 0 18 8 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127492680720 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17892] ppid=17887 vsize=26541776 memory=6153433744107071078 CPUtime=0.3 cores=0-7
/proc/17889/task/17892/stat : 17892 (java) S 17887 17887 13260 0 -1 1077944384 2293 0 0 0 21 9 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127491628176 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17893] ppid=17887 vsize=26541776 memory=6153433744107071078 CPUtime=0.3 cores=0-7
/proc/17889/task/17893/stat : 17893 (java) S 17887 17887 13260 0 -1 1077944384 1892 0 0 0 22 8 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127490575120 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17894] ppid=17887 vsize=26541776 memory=4872558044660077418 CPUtime=0.29 cores=0-7
/proc/17889/task/17894/stat : 17894 (java) S 17887 17887 13260 0 -1 1077944384 1569 0 0 0 20 9 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127489522576 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17895] ppid=17887 vsize=26541776 memory=1004 CPUtime=0.29 cores=0-7
/proc/17889/task/17895/stat : 17895 (java) S 17887 17887 13260 0 -1 1077944384 941 0 0 0 20 9 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127488469520 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17896] ppid=17887 vsize=26541776 memory=1436 CPUtime=0.29 cores=0-7
/proc/17889/task/17896/stat : 17896 (java) S 17887 17887 13260 0 -1 1077944384 2030 0 0 0 20 9 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127487416976 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17897] ppid=17887 vsize=26541776 memory=1200 CPUtime=0.3 cores=0-7
/proc/17889/task/17897/stat : 17897 (java) S 17887 17887 13260 0 -1 1077944384 570 0 0 0 22 8 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127486363920 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17898] ppid=17887 vsize=26541776 memory=15876 CPUtime=0.3 cores=0-7
/proc/17889/task/17898/stat : 17898 (java) S 17887 17887 13260 0 -1 1077944384 1352 0 0 0 22 8 0 0 20 0 28 0 151036342 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140127485311376 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17899] ppid=17887 vsize=26541776 memory=4040 CPUtime=0.07 cores=0-7
/proc/17889/task/17899/stat : 17899 (java) S 17887 17887 13260 0 -1 1077944384 7114 0 0 0 4 3 0 0 20 0 28 0 151036344 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125946272496 140127540071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17900] ppid=17887 vsize=26541776 memory=24024 CPUtime=0 cores=0-7
/proc/17889/task/17900/stat : 17900 (java) S 17887 17887 13260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 151036344 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125945218784 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17901] ppid=17887 vsize=26541776 memory=18292 CPUtime=0 cores=0-7
/proc/17889/task/17901/stat : 17901 (java) S 17887 17887 13260 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151036344 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125944165632 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17902] ppid=17887 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/17889/task/17902/stat : 17902 (java) S 17887 17887 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151036347 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125943114192 140127540078491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17903] ppid=17887 vsize=26541776 memory=4132 CPUtime=3.35 cores=0-7
/proc/17889/task/17903/stat : 17903 (java) S 17887 17887 13260 0 -1 1077944384 16424 0 0 0 331 4 0 0 20 0 28 0 151036347 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125942061296 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17904] ppid=17887 vsize=26541776 memory=42152 CPUtime=3.84 cores=0-7
/proc/17889/task/17904/stat : 17904 (java) S 17887 17887 13260 0 -1 1077944384 16036 0 0 0 381 3 0 0 20 0 28 0 151036347 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125941008752 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17905] ppid=17887 vsize=26541776 memory=2332 CPUtime=3.81 cores=0-7
/proc/17889/task/17905/stat : 17905 (java) S 17887 17887 13260 0 -1 1077944384 18508 0 0 0 378 3 0 0 20 0 28 0 151036347 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125939955696 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17906] ppid=17887 vsize=26541776 memory=1292 CPUtime=1.23 cores=0-7
/proc/17889/task/17906/stat : 17906 (java) S 17887 17887 13260 0 -1 1077944384 13009 0 0 0 121 2 0 0 20 0 28 0 151036347 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125938903152 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17907] ppid=17887 vsize=26541776 memory=1728 CPUtime=0 cores=0-7
/proc/17889/task/17907/stat : 17907 (java) S 17887 17887 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151036347 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125937851360 140127540070101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=17908] ppid=17887 vsize=26541776 memory=5788 CPUtime=0.1 cores=0-7
/proc/17889/task/17908/stat : 17908 (java) S 17887 17887 13260 0 -1 1077944384 1856 0 0 0 5 5 0 0 20 0 28 0 151036347 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125936798896 140127540071042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22862] ppid=17887 vsize=26541776 memory=1228 CPUtime=117.88 cores=0-7
/proc/17889/task/22862/stat : 22862 (java) R 17887 17887 13260 0 -1 4202560 1768 0 0 0 11786 2 0 0 20 0 28 0 151049724 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125858156000 140127152053682 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22863] ppid=17887 vsize=26541776 memory=796 CPUtime=118.09 cores=0-7
/proc/17889/task/22863/stat : 22863 (java) R 17887 17887 13260 0 -1 4202560 1801 0 0 0 11808 1 0 0 20 0 28 0 151049724 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125856051928 140127152053699 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22864] ppid=17887 vsize=26541776 memory=10088 CPUtime=117.4 cores=0-7
/proc/17889/task/22864/stat : 22864 (java) R 17887 17887 13260 0 -1 4202560 1009 0 0 0 11740 0 0 0 20 0 28 0 151049724 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125857104344 140127159478271 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22865] ppid=17887 vsize=26541776 memory=1948 CPUtime=117.45 cores=0-7
/proc/17889/task/22865/stat : 22865 (java) R 17887 17887 13260 0 -1 4202560 11638 0 0 0 11665 80 0 0 20 0 28 0 151049724 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125850796440 140127153880144 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22866] ppid=17887 vsize=26541776 memory=8580 CPUtime=117.42 cores=0-7
/proc/17889/task/22866/stat : 22866 (java) R 17887 17887 13260 0 -1 4202560 1934 0 0 0 11741 1 0 0 20 0 28 0 151049725 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125927735400 140127152053704 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22867] ppid=17887 vsize=26541776 memory=4616 CPUtime=118.07 cores=0-7
/proc/17889/task/22867/stat : 22867 (java) R 17887 17887 13260 0 -1 4202560 2416 0 0 0 11804 3 0 0 20 0 28 0 151049725 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125853948432 140127159153892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22868] ppid=17887 vsize=26541776 memory=1720 CPUtime=118.09 cores=0-7
/proc/17889/task/22868/stat : 22868 (java) R 17887 17887 13260 0 -1 4202560 1452 0 0 0 11808 1 0 0 20 0 28 0 151049725 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125926683480 140127159774019 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
[pid=17889/tid=22869] ppid=17887 vsize=26541776 memory=1004 CPUtime=117.73 cores=0-7
/proc/17889/task/22869/stat : 22869 (java) R 17887 17887 13260 0 -1 4202560 3519 0 0 0 11770 3 0 0 20 0 28 0 151049725 27178778624 1089254 33554432000 4194304 4196468 140735969204288 140125928788632 140127159689857 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38850560 140735969211544 140735969211720 140735969211720 140735969214415 0
Current children cumulated CPU time: 1896.86 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4358400 KiB

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

[startup+252.039 s]
# the end of solver process 17887 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000667 s, system=0.001335 s

[startup+252.124 s]
# the end of solver process 17889 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1892.69 s, system=4.89324 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.124
CPU time (s): 1897.59
CPU user time (s): 1892.69
CPU system time (s): 4.89324
CPU usage (%): 752.64
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 4386280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1892.69
system time used= 4.89324
maximum resident set size= 4388580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50671
involuntary context switches= 19871


# summary of solver processes directly reported to runsolver:
#   pid: 17887,17889
#   total CPU time (s): 1897.59
#   total CPU user time (s): 1892.69
#   total CPU system time (s): 4.89324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13142 second user time and 3.08151 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 23:37:07
IDJOB=4281606
IDBENCH=115896
IDSOLVER=2676
FILE ID=node112/4281606-1503179487
RUNJOBID= node112-1503169099-13287
PBS_JOBID= 20630837
Free space on /tmp= 61856 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-4281606-1503179487/watcher-4281606-1503179487 -o /tmp/evaluation-result-4281606-1503179487/solver-4281606-1503179487 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1880326260 HOME/instance-4281606-1503179487.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=1880326260

node112.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.24
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.24
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.24
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.24
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:        26199312 kB
MemAvailable:   31972112 kB
Buffers:          251868 kB
Cached:          5810796 kB
SwapCached:            0 kB
Active:          1101176 kB
Inactive:        5014628 kB
Active(anon):       4508 kB
Inactive(anon):    84388 kB
Active(file):    1096668 kB
Inactive(file):  4930240 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7816 kB
Writeback:             0 kB
AnonPages:         59700 kB
Mapped:            51200 kB
Shmem:             33416 kB
Slab:             150172 kB
SReclaimable:     123456 kB
SUnreclaim:        26716 kB
KernelStack:        3216 kB
PageTables:         4444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 23:41:19