Trace number 4270806

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)638 19980 2520.1101

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270806-1502669103.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270806-1502669103.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
9.29/4.07	c solve instance...
18.84/5.35	o 0 
19.54/5.41	o 4 
19.54/5.44	o 6 
19.54/5.45	o 8 
19.54/5.46	o 10 
19.54/5.47	o 12 
20.25/5.52	o 14 
20.25/5.55	o 16 
20.25/5.59	o 18 
20.93/5.65	o 20 
21.63/5.74	o 22 
22.41/5.86	o 24 
24.83/6.11	o 26 
29.50/7.38	o 28 
38.49/8.59	o 30 
49.38/9.90	o 31 
54.49/10.88	o 32 
57.90/11.32	o 34 
80.89/14.25	o 35 
89.60/15.39	o 36 
91.96/15.62	o 37 
113.42/18.39	o 38 
134.77/21.06	o 39 
134.77/21.08	o 40 
134.77/21.09	o 41 
134.77/21.10	o 42 
134.77/21.10	o 43 
134.77/21.11	o 44 
135.45/21.12	o 45 
135.45/21.13	o 46 
135.45/21.14	o 47 
135.45/21.14	o 48 
135.45/21.15	o 49 
135.45/21.16	o 50 
135.45/21.17	o 51 
135.45/21.17	o 52 
135.45/21.18	o 53 
135.45/21.19	o 54 
135.84/21.20	o 55 
135.84/21.21	o 56 
135.84/21.22	o 57 
135.84/21.22	o 58 
135.84/21.23	o 59 
135.84/21.24	o 60 
135.84/21.25	o 61 
135.84/21.25	o 62 
135.84/21.26	o 63 
135.84/21.27	o 64 
135.84/21.28	o 65 
135.84/21.29	o 66 
135.84/21.29	o 67 
135.84/21.30	o 68 
136.39/21.31	o 69 
136.39/21.31	o 70 
136.39/21.32	o 71 
136.39/21.36	o 72 
136.39/21.37	o 73 
136.39/21.37	o 74 
136.39/21.38	o 75 
136.39/21.39	o 76 
136.39/21.40	o 77 
136.93/21.41	o 78 
136.93/21.41	o 79 
136.93/21.42	o 80 
136.93/21.43	o 81 
136.93/21.44	o 82 
136.93/21.45	o 83 
136.93/21.45	o 84 
136.93/21.46	o 85 
136.93/21.47	o 86 
136.93/21.48	o 87 
136.93/21.48	o 88 
136.93/21.49	o 89 
136.93/21.50	o 90 
137.40/21.50	o 91 
137.40/21.51	o 92 
137.40/21.52	o 93 
137.40/21.54	o 94 
137.40/21.55	o 95 
137.71/21.68	o 96 
138.46/22.32	o 97 
138.46/22.33	o 98 
138.46/22.34	o 99 
138.46/22.35	o 100 
138.46/22.35	o 101 
138.46/22.36	o 102 
138.46/22.37	o 103 
138.46/22.38	o 104 
138.46/22.40	o 105 
138.82/22.40	o 106 
138.82/22.41	o 107 
138.82/22.42	o 108 
138.82/22.43	o 109 
138.82/22.43	o 110 
138.82/22.44	o 111 
138.82/22.45	o 112 
138.82/22.46	o 113 
138.82/22.47	o 114 
138.82/22.48	o 115 
138.82/22.49	o 116 
139.28/22.50	o 117 
139.28/22.51	o 118 
139.28/22.52	o 119 
139.28/22.53	o 120 
139.28/22.54	o 121 
139.28/22.55	o 122 
139.28/22.56	o 123 
139.28/22.57	o 124 
139.28/22.58	o 125 
139.28/22.59	o 126 
139.71/22.61	o 127 
139.71/22.62	o 128 
139.71/22.63	o 129 
139.71/22.64	o 130 
139.71/22.65	o 131 
139.71/22.65	o 132 
139.71/22.66	o 133 
139.71/22.68	o 134 
139.71/22.68	o 135 
139.71/22.69	o 136 
139.71/22.70	o 137 
140.20/22.71	o 138 
140.20/22.72	o 139 
140.20/22.73	o 140 
140.20/22.74	o 141 
140.20/22.75	o 142 
140.20/22.75	o 143 
140.20/22.76	o 144 
140.20/22.78	o 145 
140.20/22.79	o 146 
140.20/22.80	o 147 
140.67/22.80	o 148 
140.67/22.81	o 149 
140.67/22.82	o 150 
140.67/22.83	o 151 
140.67/22.84	o 152 
140.67/22.85	o 153 
140.67/22.86	o 154 
140.67/22.87	o 155 
140.67/22.88	o 156 
140.67/22.89	o 157 
140.67/22.89	o 158 
141.16/22.90	o 159 
141.16/22.91	o 160 
141.16/22.92	o 161 
141.16/22.93	o 162 
141.16/22.94	o 163 
141.16/22.95	o 164 
141.16/22.96	o 165 
141.16/22.97	o 166 
141.16/22.98	o 167 
141.16/23.00	o 168 
141.62/23.01	o 169 
141.62/23.02	o 170 
141.62/23.03	o 171 
141.62/23.04	o 172 
141.62/23.05	o 173 
141.62/23.06	o 174 
141.62/23.07	o 175 
141.62/23.08	o 176 
141.62/23.09	o 177 
141.62/23.10	o 178 
141.62/23.11	o 179 
142.10/23.12	o 180 
142.10/23.13	o 181 
142.10/23.14	o 182 
142.10/23.15	o 183 
142.10/23.16	o 184 
142.10/23.17	o 185 
142.10/23.18	o 186 
142.10/23.19	o 187 
142.57/23.20	o 188 
142.57/23.21	o 189 
142.57/23.22	o 190 
142.57/23.23	o 191 
142.57/23.24	o 192 
142.57/23.25	o 193 
142.57/23.25	o 194 
142.57/23.26	o 195 
142.57/23.27	o 196 
142.57/23.28	o 197 
142.57/23.29	o 198 
143.11/23.30	o 199 
143.11/23.31	o 200 
143.11/23.32	o 201 
143.11/23.33	o 202 
143.11/23.34	o 203 
143.11/23.35	o 204 
143.11/23.36	o 205 
143.11/23.36	o 206 
143.11/23.38	o 207 
143.11/23.39	o 208 
143.11/23.40	o 209 
143.58/23.41	o 210 
143.58/23.42	o 211 
143.58/23.43	o 212 
143.58/23.44	o 213 
143.58/23.45	o 214 
143.58/23.46	o 215 
143.58/23.47	o 216 
143.58/23.48	o 217 
143.58/23.48	o 218 
143.58/23.49	o 219 
144.09/23.50	o 220 
144.09/23.51	o 221 
144.09/23.52	o 222 
144.09/23.53	o 223 
144.09/23.54	o 224 
144.09/23.56	o 225 
144.09/23.57	o 226 
144.09/23.58	o 227 
144.09/23.59	o 228 
144.09/23.60	o 229 
144.56/23.60	o 230 
144.56/23.61	o 231 
144.56/23.62	o 232 
144.56/23.63	o 233 
144.56/23.64	o 234 
144.56/23.64	o 235 
144.56/23.65	o 236 
144.56/23.66	o 237 
144.56/23.67	o 238 
144.56/23.68	o 239 
144.56/23.69	o 240 
144.56/23.70	o 241 
145.11/23.71	o 242 
145.11/23.72	o 243 
145.11/23.73	o 244 
145.11/23.73	o 245 
145.11/23.74	o 246 
145.11/23.75	o 247 
145.11/23.76	o 248 
145.11/23.77	o 249 
145.11/23.78	o 250 
145.11/23.79	o 251 
145.65/23.80	o 252 
145.65/23.81	o 253 
145.65/23.82	o 254 
145.65/23.83	o 255 
145.65/23.84	o 256 
145.65/23.85	o 257 
145.65/23.86	o 258 
145.65/23.87	o 259 
145.65/23.88	o 260 
145.65/23.89	o 261 
145.65/23.90	o 262 
146.16/23.91	o 263 
146.16/23.92	o 264 
146.16/23.93	o 265 
146.16/23.94	o 266 
146.16/23.95	o 267 
146.16/23.97	o 268 
146.55/24.10	o 269 
146.65/24.12	o 270 
147.34/24.75	o 271 
147.34/24.76	o 272 
147.34/24.77	o 273 
147.34/24.78	o 274 
147.34/24.79	o 275 
147.34/24.80	o 276 
147.67/24.81	o 277 
147.67/24.82	o 278 
147.67/24.82	o 279 
147.67/24.83	o 280 
147.67/24.84	o 281 
147.67/24.85	o 282 
147.67/24.86	o 283 
147.67/24.87	o 284 
147.67/24.88	o 285 
147.67/24.89	o 286 
148.22/24.90	o 287 
148.22/24.91	o 288 
148.22/24.92	o 289 
148.22/24.93	o 290 
148.22/24.94	o 291 
148.22/24.95	o 292 
148.22/24.96	o 293 
148.22/24.97	o 294 
148.22/24.98	o 295 
148.22/24.99	o 296 
148.22/24.99	o 297 
148.22/25.00	o 298 
148.76/25.01	o 299 
148.76/25.02	o 300 
148.76/25.03	o 301 
148.76/25.04	o 302 
148.76/25.05	o 303 
148.76/25.06	o 304 
148.76/25.07	o 305 
148.76/25.08	o 306 
148.76/25.09	o 307 
148.76/25.10	o 308 
149.27/25.12	o 309 
149.27/25.12	o 310 
149.27/25.13	o 311 
149.27/25.14	o 312 
149.27/25.15	o 313 
149.27/25.16	o 314 
149.27/25.17	o 315 
149.27/25.18	o 316 
149.27/25.19	o 317 
149.27/25.19	o 318 
149.85/25.20	o 319 
149.85/25.21	o 320 
149.85/25.22	o 321 
149.85/25.23	o 322 
149.85/25.24	o 323 
149.85/25.25	o 324 
149.85/25.26	o 325 
149.85/25.27	o 326 
149.85/25.28	o 327 
149.85/25.29	o 328 
149.85/25.30	o 329 
150.39/25.30	o 330 
150.39/25.31	o 331 
150.39/25.32	o 332 
150.39/25.33	o 333 
150.39/25.34	o 334 
150.39/25.35	o 335 
150.39/25.36	o 336 
150.39/25.37	o 337 
150.39/25.38	o 338 
150.39/25.39	o 339 
150.39/25.40	o 340 
150.96/25.41	o 341 
150.96/25.42	o 342 
150.96/25.43	o 343 
150.96/25.44	o 344 
150.96/25.45	o 345 
150.96/25.45	o 346 
150.96/25.46	o 347 
150.96/25.47	o 348 
150.96/25.48	o 349 
150.96/25.49	o 350 
151.50/25.51	o 351 
151.50/25.52	o 352 
151.50/25.53	o 353 
151.50/25.54	o 354 
151.50/25.55	o 355 
151.50/25.56	o 356 
151.50/25.57	o 357 
151.50/25.58	o 358 
151.50/25.59	o 359 
151.50/25.60	o 360 
152.07/25.61	o 361 
152.07/25.61	o 362 
152.07/25.62	o 363 
152.07/25.63	o 364 
152.07/25.64	o 365 
152.07/25.65	o 366 
152.07/25.66	o 367 
152.07/25.67	o 368 
152.07/25.68	o 369 
152.07/25.69	o 370 
152.60/25.70	o 371 
152.60/25.71	o 372 
152.60/25.72	o 373 
152.60/25.73	o 374 
152.60/25.74	o 375 
152.60/25.75	o 376 
152.60/25.76	o 377 
152.60/25.77	o 378 
152.60/25.78	o 379 
152.60/25.79	o 380 
153.15/25.80	o 381 
153.15/25.81	o 382 
153.15/25.82	o 383 
153.15/25.83	o 384 
153.15/25.84	o 385 
153.15/25.85	o 386 
153.15/25.86	o 387 
153.15/25.87	o 388 
153.15/25.88	o 389 
153.15/25.89	o 390 
153.73/25.90	o 391 
153.73/25.91	o 392 
153.73/25.92	o 393 
153.73/25.93	o 394 
153.73/25.94	o 395 
153.73/25.96	o 396 
153.73/25.96	o 397 
153.73/25.98	o 398 
153.73/25.99	o 399 
153.73/26.00	o 400 
154.30/26.02	o 401 
154.30/26.03	o 402 
154.30/26.04	o 403 
154.30/26.05	o 404 
154.30/26.06	o 405 
154.30/26.07	o 406 
154.30/26.08	o 407 
154.30/26.09	o 408 
154.30/26.10	o 409 
154.85/26.11	o 410 
154.85/26.12	o 411 
154.85/26.13	o 412 
154.85/26.14	o 413 
154.85/26.15	o 414 
154.85/26.16	o 415 
154.85/26.17	o 416 
154.85/26.18	o 417 
154.85/26.19	o 418 
155.42/26.20	o 419 
155.42/26.21	o 420 
155.42/26.22	o 421 
155.42/26.23	o 422 
155.42/26.24	o 423 
155.42/26.25	o 424 
155.42/26.26	o 425 
155.42/26.27	o 426 
155.42/26.28	o 427 
155.42/26.29	o 428 
155.42/26.30	o 429 
155.99/26.32	o 430 
155.99/26.33	o 431 
155.99/26.34	o 432 
155.99/26.35	o 433 
155.99/26.35	o 434 
155.99/26.36	o 435 
155.99/26.37	o 436 
155.99/26.39	o 437 
156.52/26.40	o 438 
156.52/26.41	o 439 
156.52/26.42	o 440 
156.52/26.43	o 441 
156.52/26.44	o 442 
156.52/26.45	o 443 
156.52/26.46	o 444 
156.52/26.47	o 445 
156.52/26.48	o 446 
156.52/26.49	o 447 
156.52/26.50	o 448 
157.14/26.51	o 449 
157.14/26.54	o 450 
157.14/26.55	o 451 
157.14/26.56	o 452 
157.14/26.57	o 453 
157.14/26.58	o 454 
157.14/26.59	o 455 
157.71/26.60	o 456 
157.71/26.61	o 457 
157.71/26.62	o 458 
157.71/26.66	o 459 
157.71/26.67	o 460 
157.71/26.68	o 461 
157.71/26.69	o 462 
157.71/26.70	o 463 
158.40/26.71	o 464 
158.40/26.72	o 465 
158.40/26.73	o 466 
158.40/26.74	o 467 
158.40/26.75	o 468 
158.40/26.76	o 469 
158.40/26.78	o 470 
158.40/26.79	o 471 
158.40/26.80	o 472 
158.96/26.81	o 473 
158.96/26.82	o 474 
158.96/26.83	o 475 
158.96/26.84	o 476 
159.29/27.01	o 477 
160.09/27.61	o 478 
160.09/27.62	o 479 
160.09/27.63	o 480 
160.09/27.64	o 481 
160.09/27.65	o 482 
160.09/27.66	o 483 
160.09/27.67	o 484 
160.09/27.68	o 485 
160.09/27.69	o 486 
160.58/27.71	o 487 
160.58/27.72	o 488 
160.58/27.73	o 489 
160.58/27.75	o 490 
160.58/27.76	o 491 
160.58/27.77	o 492 
160.58/27.78	o 493 
160.58/27.79	o 494 
161.17/27.80	o 495 
161.17/27.81	o 496 
161.17/27.82	o 497 
161.17/27.84	o 498 
161.17/27.85	o 499 
161.17/27.86	o 500 
161.17/27.87	o 501 
161.17/27.88	o 502 
161.17/27.89	o 503 
161.73/27.90	o 504 
161.73/27.91	o 505 
161.73/27.92	o 506 
161.73/27.93	o 507 
161.73/27.94	o 508 
161.73/27.95	o 509 
161.73/27.97	o 510 
161.73/27.98	o 511 
161.73/27.99	o 512 
161.73/28.00	o 513 
162.33/28.01	o 514 
162.33/28.02	o 515 
162.33/28.03	o 516 
162.33/28.05	o 517 
162.33/28.06	o 518 
162.33/28.07	o 519 
162.33/28.08	o 520 
162.33/28.09	o 521 
162.33/28.10	o 522 
162.94/28.12	o 523 
162.94/28.13	o 524 
162.94/28.14	o 525 
162.94/28.15	o 526 
162.94/28.16	o 527 
162.94/28.17	o 528 
162.94/28.18	o 529 
162.94/28.19	o 530 
163.41/28.21	o 531 
163.41/28.22	o 532 
163.41/28.23	o 533 
163.41/28.24	o 534 
163.41/28.26	o 535 
163.41/28.27	o 536 
163.41/28.28	o 537 
163.41/28.29	o 538 
164.05/28.30	o 539 
164.05/28.31	o 540 
164.05/28.33	o 541 
164.05/28.34	o 542 
164.05/28.35	o 543 
164.05/28.36	o 544 
164.05/28.37	o 545 
164.05/28.38	o 546 
164.05/28.40	o 547 
164.61/28.41	o 548 
164.61/28.42	o 549 
164.61/28.43	o 550 
164.61/28.44	o 551 
164.61/28.45	o 552 
164.61/28.46	o 553 
164.61/28.48	o 554 
164.61/28.49	o 555 
164.61/28.50	o 556 
165.23/28.51	o 557 
165.23/28.52	o 558 
165.23/28.53	o 559 
165.23/28.54	o 560 
165.23/28.55	o 561 
165.23/28.57	o 562 
165.23/28.58	o 563 
165.23/28.59	o 564 
165.82/28.60	o 565 
165.82/28.62	o 566 
165.82/28.63	o 567 
165.82/28.64	o 568 
165.82/28.65	o 569 
165.82/28.66	o 570 
165.82/28.67	o 571 
165.82/28.69	o 572 
165.82/28.70	o 573 
166.38/28.71	o 574 
166.38/28.72	o 575 
166.38/28.73	o 576 
166.38/28.74	o 577 
166.38/28.75	o 578 
166.38/28.77	o 579 
166.38/28.78	o 580 
166.38/28.79	o 581 
166.38/28.80	o 582 
166.99/28.81	o 583 
166.99/28.83	o 584 
166.99/28.84	o 585 
166.99/28.85	o 586 
166.99/28.86	o 587 
166.99/28.88	o 588 
166.99/28.89	o 589 
166.99/28.90	o 590 
167.57/28.91	o 591 
167.57/28.92	o 592 
167.57/28.94	o 593 
167.57/28.95	o 594 
167.57/28.97	o 595 
167.57/28.98	o 596 
167.57/28.99	o 597 
167.57/29.00	o 598 
168.22/29.01	o 599 
168.22/29.02	o 600 
168.22/29.04	o 601 
168.22/29.05	o 602 
168.22/29.06	o 603 
168.22/29.07	o 604 
168.22/29.09	o 605 
168.22/29.10	o 606 
168.84/29.12	o 607 
168.84/29.19	o 608 
169.57/29.78	o 609 
169.57/29.79	o 610 
169.80/29.81	o 611 
169.80/29.82	o 612 
169.80/29.83	o 613 
169.80/29.84	o 614 
169.80/29.85	o 615 
169.80/29.87	o 616 
169.80/29.88	o 617 
169.80/29.89	o 618 
170.38/29.91	o 619 
170.38/29.97	o 620 
171.11/30.55	o 621 
171.11/30.56	o 622 
171.34/30.63	o 623 
172.02/31.22	o 624 
172.02/31.23	o 625 
172.02/31.29	o 626 
172.84/31.87	o 627 
173.08/31.95	o 628 
173.79/32.54	o 629 
174.27/32.61	o 630 
174.94/33.20	o 631 
273.42/45.84	o 632 
273.66/45.91	o 633 
274.33/46.52	o 634 
887.98/123.50	o 635 
887.98/123.51	o 636 
5950.35/759.68	o 637 
6160.30/786.03	o 638 
19979.38/2520.07	s SATISFIABLE
19979.38/2520.07	v <instantiation>
19979.38/2520.07	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>
19979.38/2520.07	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 12 13 13 26 26 27 71 78 80 82 86 88 122 132 139 141 145 154 171 174 181 198 200 202 217 221 224 235 238 238 255 265 275 285 293 300 303 315 334 638 </values>
19979.38/2520.07	v </instantiation>
19979.38/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	638

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270806-1502669103/watcher-4270806-1502669103 -o /tmp/evaluation-result-4270806-1502669103/solver-4270806-1502669103 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502668245-31343 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1473076628 HOME/instance-4270806-1502669103.xml 

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

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

solver pid=31360, runsolver pid=31357

[startup+0.100111 s]*
/proc/loadavg: 7.44 8.26 8.29 2/200 31381
/proc/meminfo: memFree=31576812/32770624 swapFree=67108860/67108860
[pid=31360] ppid=31357 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31360/stat : 31360 (xcsp3-exec) S 31357 31360 31316 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99998572 9740288 346 33554432000 4194304 5098028 140722413827232 140722413825336 140504419508860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8404992 140722413835364 140722413835575 140722413835575 140722413838315 0
/proc/31360/statm: 2378 346 289 221 0 87 0
[pid=31362] ppid=31360 vsize=25999808 memory=26412 CPUtime=0.11 cores=0-7
/proc/31362/stat : 31362 (java) S 31360 31360 31316 0 -1 1077944320 5477 0 0 0 11 0 0 0 20 0 20 0 99998572 26623803392 6603 33554432000 4194304 4196468 140729251961264 140729251943808 140299693608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
/proc/31362/statm: 6499952 6603 2876 1 0 6488269 0
[pid=31362/tid=31363] ppid=31360 vsize=25999808 memory=7896389528803253149 CPUtime=0.08 cores=0-7
/proc/31362/task/31363/stat : 31363 (java) R 31360 31360 31316 0 -1 4202560 3484 0 0 0 8 0 0 0 20 0 20 0 99998572 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299697841968 140299677652325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31364] ppid=31360 vsize=25999808 memory=732370719410564069 CPUtime=0 cores=0-7
/proc/31362/task/31364/stat : 31364 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299616189328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31365] ppid=31360 vsize=25999808 memory=140581073110656 CPUtime=0 cores=0-7
/proc/31362/task/31365/stat : 31365 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299615136528 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31366] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31366/stat : 31366 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299614084240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31367] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31367/stat : 31367 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299613031440 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31368] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31368/stat : 31368 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299611978128 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31369] ppid=31360 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31362/task/31369/stat : 31369 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299610925328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31370] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31370/stat : 31370 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299609873040 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31371] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31371/stat : 31371 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299608820240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31372] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31372/stat : 31372 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998575 26623803392 6603 33554432000 4194304 4196468 140729251961264 140299201698416 140299693619842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31373] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31373/stat : 31373 (java) S 31360 31360 31316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99998575 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297964643616 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31374] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31374/stat : 31374 (java) S 31360 31360 31316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99998575 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297963591280 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31375] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31375/stat : 31375 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998578 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297962539600 140299693627291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31376] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31376/stat : 31376 (java) S 31360 31360 31316 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 99998578 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297961486448 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31377] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31377/stat : 31377 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998578 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297960433648 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31378] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31378/stat : 31378 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998578 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297959381360 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31379] ppid=31360 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31362/task/31379/stat : 31379 (java) R 31360 31360 31316 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 99998578 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297958328560 140299677689182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31380] ppid=31360 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31380/stat : 31380 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998578 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297957276512 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31381] ppid=31360 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31362/task/31381/stat : 31381 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998578 26623803392 6603 33554432000 4194304 4196468 140729251961264 140297956223792 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27796 KiB

[startup+0.210281 s]*
/proc/loadavg: 7.44 8.26 8.29 3/200 31381
/proc/meminfo: memFree=31564840/32770624 swapFree=67108860/67108860
[pid=31360] ppid=31357 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31360/stat : 31360 (xcsp3-exec) S 31357 31360 31316 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99998572 9740288 346 33554432000 4194304 5098028 140722413827232 140722413825336 140504419508860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8404992 140722413835364 140722413835575 140722413835575 140722413838315 0
/proc/31360/statm: 2378 346 289 221 0 87 0
[pid=31362] ppid=31360 vsize=26004064 memory=38848 CPUtime=0.33 cores=0-7
/proc/31362/stat : 31362 (java) S 31360 31360 31316 0 -1 1077944320 8308 0 0 0 32 1 0 0 20 0 20 0 99998572 26628161536 9712 33554432000 4194304 4196468 140729251961264 140729251943808 140299693608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
/proc/31362/statm: 6501016 9712 3048 1 0 6488269 0
[pid=31362/tid=31363] ppid=31360 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/31362/task/31363/stat : 31363 (java) R 31360 31360 31316 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 20 0 99998572 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299697822928 140299686286709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31364] ppid=31360 vsize=26004064 memory=732370719410564069 CPUtime=0 cores=0-7
/proc/31362/task/31364/stat : 31364 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299616189328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31365] ppid=31360 vsize=26004064 memory=140581073110656 CPUtime=0 cores=0-7
/proc/31362/task/31365/stat : 31365 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299615136528 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31366] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31366/stat : 31366 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299614084240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31367] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31367/stat : 31367 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299613031440 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31368] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31368/stat : 31368 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299611978128 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31369] ppid=31360 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31362/task/31369/stat : 31369 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299610925328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31370] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31370/stat : 31370 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299609873040 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31371] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31371/stat : 31371 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299608820240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31372] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31372/stat : 31372 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998575 26628161536 9712 33554432000 4194304 4196468 140729251961264 140299201698416 140299693619842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31373] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31373/stat : 31373 (java) S 31360 31360 31316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99998575 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297964643616 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31374] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31374/stat : 31374 (java) S 31360 31360 31316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99998575 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297963591280 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31375] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31375/stat : 31375 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998578 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297962539600 140299693627291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31376] ppid=31360 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31362/task/31376/stat : 31376 (java) S 31360 31360 31316 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 20 0 99998578 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297961486448 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31377] ppid=31360 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/31362/task/31377/stat : 31377 (java) S 31360 31360 31316 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 20 0 99998578 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297960433648 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31378] ppid=31360 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31362/task/31378/stat : 31378 (java) S 31360 31360 31316 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 99998578 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297959381360 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31379] ppid=31360 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/31362/task/31379/stat : 31379 (java) S 31360 31360 31316 0 -1 1077944384 763 0 0 0 7 0 0 0 20 0 20 0 99998578 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297958328560 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31380] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31380/stat : 31380 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998578 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297957276512 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31381] ppid=31360 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31362/task/31381/stat : 31381 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998578 26628161536 9712 33554432000 4194304 4196468 140729251961264 140297956223792 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40232 KiB

[startup+0.310029 s]*
/proc/loadavg: 7.44 8.26 8.29 3/200 31381
/proc/meminfo: memFree=31560872/32770624 swapFree=67108860/67108860
[pid=31360] ppid=31357 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31360/stat : 31360 (xcsp3-exec) S 31357 31360 31316 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99998572 9740288 346 33554432000 4194304 5098028 140722413827232 140722413825336 140504419508860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8404992 140722413835364 140722413835575 140722413835575 140722413838315 0
/proc/31360/statm: 2378 346 289 221 0 87 0
[pid=31362] ppid=31360 vsize=26004064 memory=45524 CPUtime=0.5 cores=0-7
/proc/31362/stat : 31362 (java) S 31360 31360 31316 0 -1 1077944320 9138 0 0 0 48 2 0 0 20 0 20 0 99998572 26628161536 11381 33554432000 4194304 4196468 140729251961264 140729251943808 140299693608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
/proc/31362/statm: 6501016 11381 3081 1 0 6488269 0
[pid=31362/tid=31363] ppid=31360 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31362/task/31363/stat : 31363 (java) R 31360 31360 31316 0 -1 4202560 6069 0 0 0 28 1 0 0 20 0 20 0 99998572 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299697846960 140299284386629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31364] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31364/stat : 31364 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299616189328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31365] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31365/stat : 31365 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299615136528 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31366] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31366/stat : 31366 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299614084240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31367] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31367/stat : 31367 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299613031440 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31368] ppid=31360 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31362/task/31368/stat : 31368 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299611978128 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31369] ppid=31360 vsize=26004064 memory=140580923470767 CPUtime=0 cores=0-7
/proc/31362/task/31369/stat : 31369 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299610925328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31370] ppid=31360 vsize=26004064 memory=140580923473072 CPUtime=0 cores=0-7
/proc/31362/task/31370/stat : 31370 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299609873040 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31371] ppid=31360 vsize=26004064 memory=140580923475376 CPUtime=0 cores=0-7
/proc/31362/task/31371/stat : 31371 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299608820240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31372] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31372/stat : 31372 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998575 26628161536 11381 33554432000 4194304 4196468 140729251961264 140299201698416 140299693619842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31373] ppid=31360 vsize=26004064 memory=281161846957712 CPUtime=0 cores=0-7
/proc/31362/task/31373/stat : 31373 (java) S 31360 31360 31316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99998575 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297964643616 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31374] ppid=31360 vsize=26004064 memory=281161846964624 CPUtime=0 cores=0-7
/proc/31362/task/31374/stat : 31374 (java) S 31360 31360 31316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99998575 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297963591280 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31375] ppid=31360 vsize=26004064 memory=281161846905904 CPUtime=0 cores=0-7
/proc/31362/task/31375/stat : 31375 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998578 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297962539600 140299693627291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31376] ppid=31360 vsize=26004064 memory=281161846978448 CPUtime=0.01 cores=0-7
/proc/31362/task/31376/stat : 31376 (java) S 31360 31360 31316 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 20 0 99998578 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297961486448 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31377] ppid=31360 vsize=26004064 memory=281161846985360 CPUtime=0.03 cores=0-7
/proc/31362/task/31377/stat : 31377 (java) S 31360 31360 31316 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 20 0 99998578 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297960433648 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31378] ppid=31360 vsize=26004064 memory=281161846983056 CPUtime=0.02 cores=0-7
/proc/31362/task/31378/stat : 31378 (java) S 31360 31360 31316 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 20 0 99998578 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297959381360 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31379] ppid=31360 vsize=26004064 memory=281161846999216 CPUtime=0.12 cores=0-7
/proc/31362/task/31379/stat : 31379 (java) R 31360 31360 31316 0 -1 4202560 857 0 0 0 12 0 0 0 20 0 20 0 99998578 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297958326352 140299672148626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31380] ppid=31360 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31380/stat : 31380 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99998578 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297957276512 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31381] ppid=31360 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31362/task/31381/stat : 31381 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998578 26628161536 11381 33554432000 4194304 4196468 140729251961264 140297956223792 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46908 KiB

[startup+0.700968 s]
/proc/loadavg: 7.44 8.26 8.29 5/200 31381
/proc/meminfo: memFree=31534568/32770624 swapFree=67108860/67108860
[pid=31360] ppid=31357 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31360/stat : 31360 (xcsp3-exec) S 31357 31360 31316 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99998572 9740288 346 33554432000 4194304 5098028 140722413827232 140722413825336 140504419508860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8404992 140722413835364 140722413835575 140722413835575 140722413838315 0
/proc/31360/statm: 2378 346 289 221 0 87 0
[pid=31362] ppid=31360 vsize=26006188 memory=90608 CPUtime=1.83 cores=0-7
/proc/31362/stat : 31362 (java) S 31360 31360 31316 0 -1 1077944320 12661 0 0 0 179 4 0 0 20 0 20 0 99998572 26630336512 22652 33554432000 4194304 4196468 140729251961264 140729251943808 140299693608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
/proc/31362/statm: 6501547 22652 3199 1 0 6488781 0
[pid=31362/tid=31363] ppid=31360 vsize=26006188 memory=281161847294144 CPUtime=0.67 cores=0-7
/proc/31362/task/31363/stat : 31363 (java) R 31360 31360 31316 0 -1 4202560 6551 0 0 0 65 2 0 0 20 0 20 0 99998572 26630336512 22652 33554432000 4194304 4196468 140729251961264 140299697846368 140299675190898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31364] ppid=31360 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7
/proc/31362/task/31364/stat : 31364 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26630336512 22652 33554432000 4194304 4196468 140729251961264 140299616189328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31365] ppid=31360 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31365/stat : 31365 (java) S 31360 31360 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99998573 26630336512 22652 33554432000 4194304 4196468 140729251961264 140299615136528 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31366] ppid=31360 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/31362/task/31366/stat : 31366 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99998573 26630336512 22652 33554432000 4194304 4196468 140729251961264 140299614084240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0

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

[pid=31362/tid=4009] ppid=31360 vsize=26541776 memory=1384 CPUtime=1650.98 cores=0-7
/proc/31362/task/4009/stat : 4009 (java) R 31360 31360 31316 0 -1 4202560 38892 0 0 0 165078 20 0 0 20 0 28 0 100077175 27178778624 847142 33554432000 4194304 4196468 140729251961264 140297937698128 140299285385079 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
Current children cumulated CPU time: 19360.2 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3389952 KiB

[startup+2502.3 s]
/proc/loadavg: 8.57 8.36 8.28 9/208 4034
/proc/meminfo: memFree=28209488/32770624 swapFree=67108860/67108860
[pid=31360] ppid=31357 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31360/stat : 31360 (xcsp3-exec) S 31357 31360 31316 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99998572 9740288 346 33554432000 4194304 5098028 140722413827232 140722413825336 140504419508860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8404992 140722413835364 140722413835575 140722413835575 140722413838315 0
/proc/31360/statm: 2378 346 289 221 0 87 0
[pid=31362] ppid=31360 vsize=26541776 memory=3388572 CPUtime=19838.2 cores=0-7
/proc/31362/stat : 31362 (java) S 31360 31360 31316 0 -1 1077944320 821047 0 0 0 1983130 687 0 0 20 0 28 0 99998572 27178778624 847143 33554432000 4194304 4196468 140729251961264 140729251943808 140299693608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
/proc/31362/statm: 6635444 847143 3310 1 0 6622678 0
[pid=31362/tid=31363] ppid=31360 vsize=26541776 memory=3388572 CPUtime=4.69 cores=0-7
/proc/31362/task/31363/stat : 31363 (java) S 31360 31360 31316 0 -1 1077944384 11463 0 0 0 459 10 0 0 20 0 28 0 99998572 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299697849408 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31364] ppid=31360 vsize=26541776 memory=3388572 CPUtime=4.13 cores=0-7
/proc/31362/task/31364/stat : 31364 (java) S 31360 31360 31316 0 -1 1077944384 25649 0 0 0 393 20 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299616189328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31365] ppid=31360 vsize=26541776 memory=1384 CPUtime=4.13 cores=0-7
/proc/31362/task/31365/stat : 31365 (java) S 31360 31360 31316 0 -1 1077944384 23588 0 0 0 394 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299615136528 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31366] ppid=31360 vsize=26541776 memory=3388572 CPUtime=4.16 cores=0-7
/proc/31362/task/31366/stat : 31366 (java) S 31360 31360 31316 0 -1 1077944384 23315 0 0 0 397 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299614084240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31367] ppid=31360 vsize=26541776 memory=281161847457056 CPUtime=4.1 cores=0-7
/proc/31362/task/31367/stat : 31367 (java) S 31360 31360 31316 0 -1 1077944384 28735 0 0 0 391 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299613031440 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31368] ppid=31360 vsize=26541776 memory=1384 CPUtime=4.13 cores=0-7
/proc/31362/task/31368/stat : 31368 (java) S 31360 31360 31316 0 -1 1077944384 22954 0 0 0 394 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299611978128 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31369] ppid=31360 vsize=26541776 memory=1384 CPUtime=4.09 cores=0-7
/proc/31362/task/31369/stat : 31369 (java) S 31360 31360 31316 0 -1 1077944384 23033 0 0 0 391 18 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299610925328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31370] ppid=31360 vsize=26541776 memory=0 CPUtime=4.11 cores=0-7
/proc/31362/task/31370/stat : 31370 (java) S 31360 31360 31316 0 -1 1077944384 26534 0 0 0 390 21 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299609873040 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31371] ppid=31360 vsize=26541776 memory=1887000 CPUtime=4.14 cores=0-7
/proc/31362/task/31371/stat : 31371 (java) S 31360 31360 31316 0 -1 1077944384 23110 0 0 0 395 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299608820240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31372] ppid=31360 vsize=26541776 memory=1384 CPUtime=1.67 cores=0-7
/proc/31362/task/31372/stat : 31372 (java) S 31360 31360 31316 0 -1 1077944384 89417 0 0 0 136 31 0 0 20 0 28 0 99998575 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299201698416 140299693619842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31373] ppid=31360 vsize=26541776 memory=3388568 CPUtime=0 cores=0-7
/proc/31362/task/31373/stat : 31373 (java) S 31360 31360 31316 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 99998575 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297964643680 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31374] ppid=31360 vsize=26541776 memory=28744 CPUtime=0 cores=0-7
/proc/31362/task/31374/stat : 31374 (java) S 31360 31360 31316 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 99998575 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297963591296 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31375] ppid=31360 vsize=26541776 memory=1296 CPUtime=0 cores=0-7
/proc/31362/task/31375/stat : 31375 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297962539600 140299693627291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31376] ppid=31360 vsize=26541776 memory=0 CPUtime=3.98 cores=0-7
/proc/31362/task/31376/stat : 31376 (java) S 31360 31360 31316 0 -1 1077944384 32143 0 0 0 392 6 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297961486448 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31377] ppid=31360 vsize=26541776 memory=1784964 CPUtime=4.34 cores=0-7
/proc/31362/task/31377/stat : 31377 (java) S 31360 31360 31316 0 -1 1077944384 33851 0 0 0 429 5 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297960433648 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31378] ppid=31360 vsize=26541776 memory=1196 CPUtime=4.77 cores=0-7
/proc/31362/task/31378/stat : 31378 (java) S 31360 31360 31316 0 -1 1077944384 37916 0 0 0 469 8 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297959381360 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31379] ppid=31360 vsize=26541776 memory=8548 CPUtime=1.3 cores=0-7
/proc/31362/task/31379/stat : 31379 (java) S 31360 31360 31316 0 -1 1077944384 29699 0 0 0 124 6 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297958328560 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31380] ppid=31360 vsize=26541776 memory=3388568 CPUtime=0 cores=0-7
/proc/31362/task/31380/stat : 31380 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297957276512 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31381] ppid=31360 vsize=26541776 memory=1384 CPUtime=1.17 cores=0-7
/proc/31362/task/31381/stat : 31381 (java) S 31360 31360 31316 0 -1 1077944384 9240 0 0 0 55 62 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297956223792 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4002] ppid=31360 vsize=26541776 memory=1384 CPUtime=1710.17 cores=0-7
/proc/31362/task/4002/stat : 4002 (java) R 31360 31360 31316 0 -1 4202560 24932 0 0 0 171004 13 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297947159936 140299294245169 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4003] ppid=31360 vsize=26541776 memory=3388572 CPUtime=1709.48 cores=0-7
/proc/31362/task/4003/stat : 4003 (java) R 31360 31360 31316 0 -1 4202560 17240 0 0 0 170938 10 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297945059040 140299294244141 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4004] ppid=31360 vsize=26541776 memory=3388572 CPUtime=1711.66 cores=0-7
/proc/31362/task/4004/stat : 4004 (java) R 31360 31360 31316 0 -1 4202560 16381 0 0 0 171156 10 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297948217584 140299293654793 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4005] ppid=31360 vsize=26541776 memory=1384 CPUtime=1703.4 cores=0-7
/proc/31362/task/4005/stat : 4005 (java) R 31360 31360 31316 0 -1 4202560 18593 0 0 0 170330 10 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297944002984 140299294272072 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4006] ppid=31360 vsize=26541776 memory=1384 CPUtime=1706.09 cores=0-7
/proc/31362/task/4006/stat : 4006 (java) R 31360 31360 31316 0 -1 4202560 17825 0 0 0 170586 23 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297942949944 140299294269936 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4007] ppid=31360 vsize=26541776 memory=3388572 CPUtime=1704.02 cores=0-7
/proc/31362/task/4007/stat : 4007 (java) R 31360 31360 31316 0 -1 4202560 14969 0 0 0 170393 9 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297941897616 140299293793335 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4008] ppid=31360 vsize=26541776 memory=16156 CPUtime=1703.24 cores=0-7
/proc/31362/task/4008/stat : 4008 (java) R 31360 31360 31316 0 -1 4202560 28734 0 0 0 170307 17 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297940844600 140299288912099 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4009] ppid=31360 vsize=26541776 memory=3388572 CPUtime=1710.73 cores=0-7
/proc/31362/task/4009/stat : 4009 (java) R 31360 31360 31316 0 -1 4202560 39970 0 0 0 171052 21 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297937695456 140299286433210 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
Current children cumulated CPU time: 19838.2 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3389956 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.41 8.34 8.27 9/208 4034
/proc/meminfo: memFree=28209996/32770624 swapFree=67108860/67108860
[pid=31360] ppid=31357 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31360/stat : 31360 (xcsp3-exec) S 31357 31360 31316 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99998572 9740288 346 33554432000 4194304 5098028 140722413827232 140722413825336 140504419508860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8404992 140722413835364 140722413835575 140722413835575 140722413838315 0
/proc/31360/statm: 2378 346 289 221 0 87 0
[pid=31362] ppid=31360 vsize=26541776 memory=3388572 CPUtime=19979.4 cores=0-7
/proc/31362/stat : 31362 (java) S 31360 31360 31316 0 -1 1077944320 824081 0 0 0 1997250 688 0 0 20 0 28 0 99998572 27178778624 847143 33554432000 4194304 4196468 140729251961264 140729251943808 140299693608695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
/proc/31362/statm: 6635444 847143 3310 1 0 6622678 0
[pid=31362/tid=31363] ppid=31360 vsize=26541776 memory=1384 CPUtime=4.69 cores=0-7
/proc/31362/task/31363/stat : 31363 (java) S 31360 31360 31316 0 -1 1077944384 11463 0 0 0 459 10 0 0 20 0 28 0 99998572 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299697849408 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31364] ppid=31360 vsize=26541776 memory=-7003737579269690708 CPUtime=4.15 cores=0-7
/proc/31362/task/31364/stat : 31364 (java) S 31360 31360 31316 0 -1 1077944384 25703 0 0 0 395 20 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299616189328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31365] ppid=31360 vsize=26541776 memory=15876 CPUtime=4.15 cores=0-7
/proc/31362/task/31365/stat : 31365 (java) S 31360 31360 31316 0 -1 1077944384 23656 0 0 0 396 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299615136528 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31366] ppid=31360 vsize=26541776 memory=18476 CPUtime=4.18 cores=0-7
/proc/31362/task/31366/stat : 31366 (java) S 31360 31360 31316 0 -1 1077944384 23404 0 0 0 399 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299614084240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31367] ppid=31360 vsize=26541776 memory=16156 CPUtime=4.13 cores=0-7
/proc/31362/task/31367/stat : 31367 (java) S 31360 31360 31316 0 -1 1077944384 28757 0 0 0 393 20 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299613031440 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31368] ppid=31360 vsize=26541776 memory=4040 CPUtime=4.15 cores=0-7
/proc/31362/task/31368/stat : 31368 (java) S 31360 31360 31316 0 -1 1077944384 22991 0 0 0 396 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299611978128 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31369] ppid=31360 vsize=26541776 memory=1236 CPUtime=4.11 cores=0-7
/proc/31362/task/31369/stat : 31369 (java) S 31360 31360 31316 0 -1 1077944384 23142 0 0 0 393 18 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299610925328 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31370] ppid=31360 vsize=26541776 memory=644 CPUtime=4.13 cores=0-7
/proc/31362/task/31370/stat : 31370 (java) S 31360 31360 31316 0 -1 1077944384 26919 0 0 0 392 21 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299609873040 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31371] ppid=31360 vsize=26541776 memory=1788 CPUtime=4.16 cores=0-7
/proc/31362/task/31371/stat : 31371 (java) S 31360 31360 31316 0 -1 1077944384 23169 0 0 0 397 19 0 0 20 0 28 0 99998573 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299608820240 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31372] ppid=31360 vsize=26541776 memory=1012 CPUtime=1.67 cores=0-7
/proc/31362/task/31372/stat : 31372 (java) S 31360 31360 31316 0 -1 1077944384 89762 0 0 0 136 31 0 0 20 0 28 0 99998575 27178778624 847143 33554432000 4194304 4196468 140729251961264 140299201698416 140299693619842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31373] ppid=31360 vsize=26541776 memory=1716 CPUtime=0 cores=0-7
/proc/31362/task/31373/stat : 31373 (java) S 31360 31360 31316 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 99998575 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297964643680 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31374] ppid=31360 vsize=26541776 memory=5792 CPUtime=0 cores=0-7
/proc/31362/task/31374/stat : 31374 (java) S 31360 31360 31316 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 99998575 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297963591296 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31375] ppid=31360 vsize=26541776 memory=4616 CPUtime=0 cores=0-7
/proc/31362/task/31375/stat : 31375 (java) S 31360 31360 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297962539600 140299693627291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31376] ppid=31360 vsize=26541776 memory=792 CPUtime=3.98 cores=0-7
/proc/31362/task/31376/stat : 31376 (java) S 31360 31360 31316 0 -1 1077944384 32146 0 0 0 392 6 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297961486448 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31377] ppid=31360 vsize=26541776 memory=1420 CPUtime=4.34 cores=0-7
/proc/31362/task/31377/stat : 31377 (java) S 31360 31360 31316 0 -1 1077944384 33860 0 0 0 429 5 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297960433648 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31378] ppid=31360 vsize=26541776 memory=13040 CPUtime=4.77 cores=0-7
/proc/31362/task/31378/stat : 31378 (java) S 31360 31360 31316 0 -1 1077944384 37919 0 0 0 469 8 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297959381360 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31379] ppid=31360 vsize=26541776 memory=1944 CPUtime=1.3 cores=0-7
/proc/31362/task/31379/stat : 31379 (java) S 31360 31360 31316 0 -1 1077944384 29703 0 0 0 124 6 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297958328560 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31380] ppid=31360 vsize=26541776 memory=1196 CPUtime=0 cores=0-7
/proc/31362/task/31380/stat : 31380 (java) S 31360 31360 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297957276512 140299693618901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=31381] ppid=31360 vsize=26541776 memory=8548 CPUtime=1.17 cores=0-7
/proc/31362/task/31381/stat : 31381 (java) S 31360 31360 31316 0 -1 1077944384 9281 0 0 0 55 62 0 0 20 0 28 0 99998578 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297956223792 140299693619842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4002] ppid=31360 vsize=26541776 memory=1228 CPUtime=1727.85 cores=0-7
/proc/31362/task/4002/stat : 4002 (java) R 31360 31360 31316 0 -1 4202560 25270 0 0 0 172772 13 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297947160072 140299293653139 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4003] ppid=31360 vsize=26541776 memory=15876 CPUtime=1727.04 cores=0-7
/proc/31362/task/4003/stat : 4003 (java) R 31360 31360 31316 0 -1 4202560 17387 0 0 0 172694 10 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297945058864 140299294243613 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4004] ppid=31360 vsize=26541776 memory=18476 CPUtime=1729.34 cores=0-7
/proc/31362/task/4004/stat : 4004 (java) R 31360 31360 31316 0 -1 4202560 16536 0 0 0 172924 10 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297948214216 140299288912087 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4005] ppid=31360 vsize=26541776 memory=16156 CPUtime=1721.07 cores=0-7
/proc/31362/task/4005/stat : 4005 (java) R 31360 31360 31316 0 -1 4202560 18783 0 0 0 172097 10 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297944002824 140299288911630 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4006] ppid=31360 vsize=26541776 memory=4040 CPUtime=1723.76 cores=0-7
/proc/31362/task/4006/stat : 4006 (java) R 31360 31360 31316 0 -1 4202560 17953 0 0 0 172353 23 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297942949944 140299293794546 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4007] ppid=31360 vsize=26541776 memory=1236 CPUtime=1721.69 cores=0-7
/proc/31362/task/4007/stat : 4007 (java) R 31360 31360 31316 0 -1 4202560 15122 0 0 0 172160 9 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297941897504 140299294156562 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4008] ppid=31360 vsize=26541776 memory=644 CPUtime=1720.67 cores=0-7
/proc/31362/task/4008/stat : 4008 (java) R 31360 31360 31316 0 -1 4202560 29066 0 0 0 172050 17 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297940845000 140299294244319 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
[pid=31362/tid=4009] ppid=31360 vsize=26541776 memory=1788 CPUtime=1728.4 cores=0-7
/proc/31362/task/4009/stat : 4009 (java) R 31360 31360 31316 0 -1 4202560 40333 0 0 0 172819 21 0 0 20 0 28 0 100077175 27178778624 847143 33554432000 4194304 4196468 140729251961264 140297937695480 140299286433489 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 31211520 140729251964050 140729251964227 140729251964227 140729251966927 0
Current children cumulated CPU time: 19979.4 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3389956 KiB

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

[startup+2520.03 s]
# the end of solver process 31360 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001953 s

[startup+2520.11 s]
# the end of solver process 31362 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19973.1 s, system=6.91384 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): 2520.11
CPU time (s): 19980
CPU user time (s): 19973.1
CPU system time (s): 6.91384
CPU usage (%): 792.823
Max. virtual memory (cumulated for all children) (KiB): 26552256
Max. memory (cumulated for all children) (KiB): 3432184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19973.1
system time used= 6.91384
maximum resident set size= 3435576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 181588
involuntary context switches= 206789


# summary of solver processes directly reported to runsolver:
#   pid: 31360,31362
#   total CPU time (s): 19980
#   total CPU user time (s): 19973.1
#   total CPU system time (s): 6.91384

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2898 second user time and 30.9712 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-14 01:50:45
IDJOB=4270806
IDBENCH=115896
IDSOLVER=2662
FILE ID=node103/4270806-1502669103
RUNJOBID= node103-1502668245-31343
PBS_JOBID= 20628966
Free space on /tmp= 61792 MiB

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

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=1473076628

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31592112 kB
MemAvailable:   31992484 kB
Buffers:          122100 kB
Cached:           572692 kB
SwapCached:            0 kB
Active:           568020 kB
Inactive:         181000 kB
Active(anon):       3504 kB
Inactive(anon):    78604 kB
Active(file):     564516 kB
Inactive(file):   102396 kB
Unevictable:        6424 kB
Mlocked:            6424 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7804 kB
Writeback:             0 kB
AnonPages:         60208 kB
Mapped:            44004 kB
Shmem:             25228 kB
Slab:             124328 kB
SReclaimable:      98592 kB
SUnreclaim:        25736 kB
KernelStack:        3264 kB
PageTables:         4548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61784 MiB
End job on node103 at 2017-08-14 02:32:45