Trace number 4281608

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)847 1888.7 252.13499

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark847
Best CPU time to get the best result obtained on this benchmark1888.7
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"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-4281608-1503180472.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281608-1503180472.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
11.31/5.30	c solve instance...
28.68/7.52	o 0 
29.40/7.61	o 4 
29.40/7.62	o 6 
29.40/7.66	o 8 
29.40/7.68	o 10 
29.40/7.70	o 12 
30.01/7.73	o 14 
30.01/7.76	o 16 
30.01/7.79	o 18 
30.74/7.89	o 20 
31.46/7.99	o 22 
33.01/8.12	o 24 
34.45/8.39	o 26 
38.36/8.87	o 28 
50.58/11.19	o 30 
72.67/14.80	o 32 
102.21/18.51	o 34 
107.01/19.12	o 35 
133.15/22.50	o 36 
150.65/24.64	o 37 
150.65/24.66	o 38 
150.65/24.68	o 39 
151.09/24.71	o 40 
151.09/24.72	o 41 
151.09/24.73	o 42 
151.09/24.74	o 43 
151.09/24.76	o 44 
151.09/24.77	o 45 
151.09/24.78	o 46 
151.54/24.81	o 47 
151.54/24.83	o 48 
151.54/24.84	o 49 
151.54/24.86	o 50 
151.54/24.87	o 51 
151.54/24.89	o 52 
151.95/24.90	o 53 
151.95/24.92	o 54 
151.95/24.93	o 55 
151.95/24.95	o 56 
151.95/24.96	o 57 
151.95/24.97	o 58 
151.95/24.98	o 59 
151.95/24.99	o 60 
151.95/25.00	o 61 
152.47/25.02	o 62 
152.47/25.03	o 63 
152.47/25.04	o 64 
152.47/25.05	o 65 
152.47/25.06	o 66 
152.47/25.07	o 67 
152.47/25.08	o 68 
152.47/25.10	o 69 
152.98/25.11	o 70 
152.98/25.13	o 71 
152.98/25.14	o 72 
152.98/25.15	o 73 
152.98/25.16	o 74 
152.98/25.18	o 75 
152.98/25.19	o 76 
153.37/25.20	o 77 
153.37/25.21	o 78 
153.37/25.22	o 79 
153.37/25.24	o 80 
153.37/25.25	o 81 
153.37/25.26	o 82 
153.37/25.27	o 83 
153.37/25.28	o 84 
153.37/25.29	o 85 
153.79/25.30	o 86 
153.79/25.32	o 87 
153.79/25.33	o 88 
153.79/25.34	o 89 
153.79/25.36	o 90 
153.79/25.37	o 91 
153.79/25.38	o 92 
153.79/25.39	o 93 
154.34/25.41	o 94 
154.34/25.42	o 95 
154.34/25.43	o 96 
154.34/25.44	o 97 
154.34/25.45	o 98 
154.34/25.47	o 99 
154.34/25.48	o 100 
154.34/25.49	o 101 
154.81/25.50	o 102 
154.81/25.51	o 103 
154.81/25.52	o 104 
154.81/25.54	o 105 
154.81/25.55	o 106 
154.81/25.56	o 107 
154.81/25.57	o 108 
154.81/25.58	o 109 
154.81/25.59	o 110 
155.30/25.61	o 111 
155.30/25.62	o 112 
155.30/25.63	o 113 
155.30/25.64	o 114 
155.30/25.66	o 115 
155.30/25.67	o 116 
155.30/25.68	o 117 
155.30/25.70	o 118 
155.76/25.71	o 119 
155.76/25.72	o 120 
155.76/25.73	o 121 
155.76/25.74	o 122 
155.76/25.75	o 123 
155.76/25.76	o 124 
155.76/25.77	o 125 
155.76/25.78	o 126 
156.30/25.80	o 127 
156.30/25.82	o 128 
156.30/25.83	o 129 
156.30/25.84	o 130 
156.30/25.85	o 131 
156.30/25.86	o 132 
156.30/25.87	o 133 
156.30/25.88	o 134 
156.30/25.90	o 135 
156.76/25.91	o 136 
156.76/25.92	o 137 
156.76/25.92	o 138 
156.76/25.94	o 139 
156.76/25.95	o 140 
156.76/25.96	o 141 
156.76/25.97	o 142 
156.76/25.99	o 143 
156.76/26.00	o 144 
157.27/26.01	o 145 
157.27/26.03	o 146 
157.27/26.04	o 147 
157.27/26.05	o 148 
157.27/26.07	o 149 
157.27/26.08	o 150 
157.27/26.10	o 151 
157.73/26.11	o 152 
157.73/26.12	o 153 
157.73/26.13	o 154 
157.73/26.14	o 155 
157.73/26.15	o 156 
157.73/26.17	o 157 
157.73/26.19	o 158 
157.73/26.20	o 159 
158.14/26.21	o 160 
158.14/26.22	o 161 
158.14/26.24	o 162 
158.14/26.25	o 163 
158.14/26.26	o 164 
158.14/26.27	o 165 
158.14/26.28	o 166 
158.14/26.29	o 167 
158.62/26.31	o 168 
158.62/26.32	o 169 
158.62/26.33	o 170 
158.62/26.34	o 171 
158.62/26.35	o 172 
158.62/26.37	o 173 
158.62/26.38	o 174 
159.07/26.40	o 175 
159.07/26.41	o 176 
159.07/26.42	o 177 
159.07/26.44	o 178 
159.07/26.45	o 179 
159.07/26.46	o 180 
159.07/26.48	o 181 
159.07/26.49	o 182 
159.07/26.50	o 183 
159.53/26.51	o 184 
159.53/26.52	o 185 
159.53/26.54	o 186 
159.53/26.55	o 187 
159.53/26.56	o 188 
159.53/26.57	o 189 
159.53/26.59	o 190 
159.53/26.60	o 191 
159.96/26.61	o 192 
159.96/26.62	o 193 
159.96/26.63	o 194 
159.96/26.64	o 195 
159.96/26.66	o 196 
159.96/26.67	o 197 
159.96/26.68	o 198 
159.96/26.69	o 199 
159.96/26.70	o 200 
160.49/26.72	o 201 
160.49/26.73	o 202 
160.49/26.74	o 203 
160.49/26.75	o 204 
160.49/26.76	o 205 
160.49/26.78	o 206 
160.49/26.79	o 207 
160.97/26.81	o 208 
160.97/26.83	o 209 
160.97/26.84	o 210 
160.97/26.85	o 211 
160.97/26.86	o 212 
160.97/26.87	o 213 
160.97/26.89	o 214 
161.37/26.90	o 215 
161.37/26.91	o 216 
161.37/26.92	o 217 
161.37/26.94	o 218 
161.37/26.95	o 219 
161.37/26.96	o 220 
161.37/26.97	o 221 
161.37/26.99	o 222 
161.37/27.00	o 223 
161.85/27.02	o 224 
161.85/27.03	o 225 
161.85/27.04	o 226 
161.85/27.05	o 227 
161.85/27.07	o 228 
161.85/27.08	o 229 
161.85/27.10	o 230 
161.85/27.11	o 231 
162.31/27.12	o 232 
162.31/27.14	o 233 
162.31/27.15	o 234 
162.31/27.16	o 235 
162.31/27.18	o 236 
162.31/27.19	o 237 
162.72/27.20	o 238 
162.72/27.22	o 239 
162.72/27.24	o 240 
162.72/27.25	o 241 
162.72/27.26	o 242 
162.72/27.27	o 243 
162.72/27.29	o 244 
163.19/27.30	o 245 
163.19/27.31	o 246 
163.19/27.33	o 247 
163.19/27.34	o 248 
163.19/27.35	o 249 
163.19/27.36	o 250 
163.19/27.38	o 251 
163.19/27.39	o 252 
163.66/27.40	o 253 
163.66/27.42	o 254 
163.66/27.43	o 255 
163.66/27.44	o 256 
163.66/27.45	o 257 
163.66/27.46	o 258 
163.66/27.48	o 259 
163.66/27.49	o 260 
164.16/27.50	o 261 
164.16/27.52	o 262 
164.16/27.54	o 263 
164.16/27.55	o 264 
164.16/27.56	o 265 
164.16/27.57	o 266 
164.16/27.59	o 267 
164.62/27.60	o 268 
164.62/27.62	o 269 
164.62/27.63	o 270 
164.62/27.64	o 271 
164.62/27.66	o 272 
164.62/27.67	o 273 
164.62/27.68	o 274 
164.62/27.70	o 275 
165.06/27.71	o 276 
165.06/27.73	o 277 
165.06/27.74	o 278 
165.06/27.76	o 279 
165.06/27.77	o 280 
165.06/27.78	o 281 
165.56/27.80	o 282 
165.56/27.81	o 283 
165.56/27.82	o 284 
165.56/27.84	o 285 
165.56/27.85	o 286 
165.56/27.87	o 287 
165.56/27.88	o 288 
166.01/27.90	o 289 
166.01/27.91	o 290 
166.01/27.93	o 291 
166.01/27.94	o 292 
166.01/27.95	o 293 
166.01/27.97	o 294 
166.01/27.99	o 295 
166.01/28.00	o 296 
166.50/28.01	o 297 
166.50/28.03	o 298 
166.50/28.04	o 299 
166.50/28.06	o 300 
166.50/28.07	o 301 
166.50/28.09	o 302 
166.50/28.10	o 303 
167.00/28.11	o 304 
167.00/28.12	o 305 
167.00/28.13	o 306 
167.00/28.14	o 307 
167.00/28.16	o 308 
167.00/28.17	o 309 
167.00/28.18	o 310 
167.00/28.19	o 311 
167.50/28.20	o 312 
167.50/28.22	o 313 
167.50/28.23	o 314 
167.50/28.24	o 315 
167.50/28.25	o 316 
167.50/28.27	o 317 
167.50/28.28	o 318 
167.50/28.29	o 319 
167.93/28.31	o 320 
167.93/28.32	o 321 
167.93/28.33	o 322 
167.93/28.35	o 323 
167.93/28.36	o 324 
167.93/28.37	o 325 
168.40/28.40	o 326 
168.55/28.51	o 327 
169.91/29.82	o 328 
169.91/29.83	o 329 
169.91/29.84	o 330 
169.91/29.86	o 331 
169.91/29.87	o 332 
169.91/29.88	o 333 
169.91/29.89	o 334 
170.39/29.90	o 335 
170.39/29.91	o 336 
170.39/29.92	o 337 
170.39/29.94	o 338 
170.39/29.95	o 339 
170.39/29.97	o 340 
170.39/29.98	o 341 
170.39/29.99	o 342 
170.39/30.00	o 343 
170.89/30.02	o 344 
170.89/30.03	o 345 
170.89/30.05	o 346 
170.89/30.07	o 347 
170.89/30.08	o 348 
170.89/30.09	o 349 
170.89/30.11	o 350 
171.36/30.13	o 351 
171.36/30.14	o 352 
171.36/30.15	o 353 
171.36/30.16	o 354 
171.36/30.18	o 355 
171.36/30.19	o 356 
171.87/30.20	o 357 
171.87/30.21	o 358 
171.87/30.23	o 359 
171.87/30.24	o 360 
171.87/30.25	o 361 
171.87/30.27	o 362 
171.87/30.29	o 363 
171.87/30.30	o 364 
172.36/30.31	o 365 
172.36/30.33	o 366 
172.36/30.34	o 367 
172.36/30.36	o 368 
172.36/30.37	o 369 
172.36/30.38	o 370 
172.36/30.39	o 371 
172.85/30.41	o 372 
172.85/30.42	o 373 
172.85/30.44	o 374 
172.85/30.45	o 375 
172.85/30.46	o 376 
172.85/30.48	o 377 
172.85/30.49	o 378 
172.85/30.50	o 379 
173.41/30.51	o 380 
173.41/30.53	o 381 
173.41/30.55	o 382 
173.41/30.56	o 383 
173.41/30.58	o 384 
173.41/30.60	o 385 
173.90/30.61	o 386 
173.90/30.63	o 387 
173.90/30.64	o 388 
173.90/30.66	o 389 
173.90/30.67	o 390 
173.90/30.68	o 391 
174.38/30.70	o 392 
174.38/30.71	o 393 
174.38/30.72	o 394 
174.38/30.73	o 395 
174.38/30.75	o 396 
174.38/30.76	o 397 
174.38/30.77	o 398 
174.38/30.79	o 399 
174.92/30.80	o 400 
174.92/30.81	o 401 
174.92/30.82	o 402 
174.92/30.84	o 403 
174.92/30.85	o 404 
174.92/30.86	o 405 
174.92/30.87	o 406 
174.92/30.89	o 407 
174.92/30.90	o 408 
175.46/30.92	o 409 
175.46/30.94	o 410 
175.46/30.95	o 411 
175.46/30.96	o 412 
175.46/30.98	o 413 
175.46/30.99	o 414 
175.46/31.00	o 415 
176.03/31.01	o 416 
176.03/31.02	o 417 
176.03/31.04	o 418 
176.03/31.05	o 419 
176.03/31.06	o 420 
176.03/31.07	o 421 
176.03/31.08	o 422 
176.03/31.09	o 423 
176.03/31.11	o 424 
176.62/31.12	o 425 
176.62/31.13	o 426 
176.62/31.14	o 427 
176.62/31.15	o 428 
176.62/31.17	o 429 
176.62/31.18	o 430 
176.62/31.19	o 431 
177.12/31.20	o 432 
177.12/31.21	o 433 
177.12/31.24	o 434 
177.12/31.25	o 435 
177.12/31.26	o 436 
177.12/31.28	o 437 
177.12/31.29	o 438 
177.58/31.31	o 439 
177.58/31.32	o 440 
177.58/31.33	o 441 
177.58/31.34	o 442 
177.58/31.36	o 443 
177.58/31.37	o 444 
177.58/31.39	o 445 
177.58/31.40	o 446 
178.15/31.41	o 447 
178.15/31.42	o 448 
178.15/31.44	o 449 
178.15/31.45	o 450 
178.15/31.47	o 451 
178.15/31.48	o 452 
178.15/31.49	o 453 
178.75/31.50	o 454 
178.75/31.52	o 455 
178.75/31.53	o 456 
178.75/31.54	o 457 
178.75/31.56	o 458 
178.75/31.57	o 459 
178.75/31.59	o 460 
179.28/31.60	o 461 
179.28/31.62	o 462 
179.28/31.63	o 463 
179.28/31.65	o 464 
179.28/31.66	o 465 
179.28/31.68	o 466 
179.28/31.69	o 467 
179.77/31.70	o 468 
179.77/31.71	o 469 
179.77/31.73	o 470 
179.77/31.74	o 471 
179.77/31.75	o 472 
179.77/31.76	o 473 
179.77/31.78	o 474 
179.77/31.79	o 475 
179.77/31.80	o 476 
180.33/31.82	o 477 
180.33/31.83	o 478 
180.33/31.84	o 479 
180.33/31.86	o 480 
180.33/31.87	o 481 
180.33/31.88	o 482 
180.33/31.89	o 483 
180.91/31.91	o 484 
180.91/31.93	o 485 
180.91/31.94	o 486 
180.91/31.96	o 487 
180.91/31.97	o 488 
180.91/31.98	o 489 
180.91/32.00	o 490 
181.41/32.01	o 491 
181.41/32.02	o 492 
181.41/32.04	o 493 
181.41/32.05	o 494 
181.41/32.06	o 495 
181.41/32.08	o 496 
181.41/32.09	o 497 
181.41/32.10	o 498 
182.05/32.12	o 499 
182.05/32.13	o 500 
182.05/32.14	o 501 
182.05/32.16	o 502 
182.05/32.17	o 503 
182.05/32.19	o 504 
182.52/32.20	o 505 
182.52/32.21	o 506 
182.52/32.23	o 507 
182.52/32.24	o 508 
182.52/32.25	o 509 
182.52/32.27	o 510 
182.52/32.28	o 511 
182.52/32.30	o 512 
183.03/32.31	o 513 
183.03/32.33	o 514 
183.03/32.34	o 515 
183.03/32.36	o 516 
183.03/32.37	o 517 
183.03/32.38	o 518 
183.56/32.41	o 519 
184.08/32.82	o 520 
185.35/34.01	o 521 
185.35/34.03	o 522 
185.35/34.05	o 523 
185.35/34.06	o 524 
185.35/34.07	o 525 
185.35/34.09	o 526 
185.35/34.10	o 527 
185.89/34.12	o 528 
185.89/34.13	o 529 
185.89/34.15	o 530 
185.89/34.16	o 531 
185.89/34.18	o 532 
185.89/34.19	o 533 
186.34/34.21	o 534 
186.34/34.22	o 535 
186.34/34.23	o 536 
186.34/34.25	o 537 
186.34/34.26	o 538 
186.34/34.27	o 539 
186.34/34.29	o 540 
186.86/34.30	o 541 
186.86/34.33	o 542 
186.86/34.35	o 543 
186.86/34.36	o 544 
186.86/34.38	o 545 
186.86/34.39	o 546 
187.37/34.40	o 547 
187.37/34.42	o 548 
187.37/34.43	o 549 
187.37/34.45	o 550 
187.37/34.46	o 551 
187.37/34.48	o 552 
187.37/34.50	o 553 
187.89/34.51	o 554 
187.89/34.52	o 555 
187.89/34.54	o 556 
187.89/34.55	o 557 
187.89/34.57	o 558 
187.89/34.58	o 559 
188.45/34.60	o 560 
188.45/34.62	o 561 
188.45/34.63	o 562 
188.45/34.65	o 563 
188.45/34.66	o 564 
188.45/34.68	o 565 
188.45/34.69	o 566 
188.94/34.71	o 567 
188.94/34.73	o 568 
188.94/34.74	o 569 
188.94/34.76	o 570 
188.94/34.77	o 571 
188.94/34.79	o 572 
189.51/34.80	o 573 
189.51/34.82	o 574 
189.51/34.84	o 575 
189.51/34.86	o 576 
189.51/34.87	o 577 
189.51/34.88	o 578 
189.99/34.90	o 579 
189.99/34.92	o 580 
189.99/34.93	o 581 
189.99/34.94	o 582 
189.99/34.96	o 583 
189.99/34.98	o 584 
189.99/34.99	o 585 
189.99/35.01	o 586 
190.54/35.02	o 587 
190.54/35.04	o 588 
190.54/35.06	o 589 
190.54/35.07	o 590 
190.54/35.09	o 591 
191.05/35.11	o 592 
191.05/35.12	o 593 
191.05/35.14	o 594 
191.05/35.16	o 595 
191.05/35.17	o 596 
191.05/35.18	o 597 
191.05/35.20	o 598 
191.55/35.21	o 599 
191.55/35.22	o 600 
191.55/35.24	o 601 
191.55/35.25	o 602 
191.55/35.26	o 603 
191.55/35.28	o 604 
191.55/35.29	o 605 
192.18/35.31	o 606 
192.18/35.32	o 607 
192.18/35.33	o 608 
192.18/35.35	o 609 
192.18/35.36	o 610 
192.18/35.38	o 611 
192.66/35.40	o 612 
192.66/35.41	o 613 
192.66/35.43	o 614 
192.66/35.44	o 615 
192.66/35.45	o 616 
192.66/35.47	o 617 
192.66/35.48	o 618 
192.66/35.49	o 619 
193.27/35.51	o 620 
193.27/35.52	o 621 
193.27/35.53	o 622 
193.27/35.55	o 623 
193.27/35.56	o 624 
193.27/35.58	o 625 
193.27/35.60	o 626 
193.85/35.62	o 627 
193.85/35.63	o 628 
193.85/35.64	o 629 
193.85/35.66	o 630 
193.85/35.68	o 631 
193.85/35.69	o 632 
194.46/35.71	o 633 
194.46/35.72	o 634 
194.46/35.74	o 635 
194.46/35.76	o 636 
194.46/35.77	o 637 
194.46/35.79	o 638 
194.94/35.80	o 639 
194.94/35.82	o 640 
194.94/35.83	o 641 
194.94/35.85	o 642 
194.94/35.86	o 643 
194.94/35.88	o 644 
194.94/35.90	o 645 
195.47/35.91	o 646 
195.47/35.93	o 647 
195.47/35.94	o 648 
195.47/35.96	o 649 
195.47/35.97	o 650 
195.47/35.99	o 651 
196.06/36.01	o 652 
196.06/36.02	o 653 
196.06/36.03	o 654 
196.06/36.05	o 655 
196.06/36.06	o 656 
196.06/36.08	o 657 
196.06/36.10	o 658 
196.66/36.11	o 659 
196.66/36.13	o 660 
196.66/36.14	o 661 
196.66/36.16	o 662 
196.66/36.18	o 663 
196.66/36.19	o 664 
197.18/36.21	o 665 
197.18/36.22	o 666 
197.18/36.24	o 667 
197.18/36.25	o 668 
197.18/36.27	o 669 
197.18/36.28	o 670 
197.18/36.30	o 671 
197.70/36.32	o 672 
197.70/36.33	o 673 
197.70/36.35	o 674 
197.70/36.36	o 675 
197.70/36.38	o 676 
198.22/36.40	o 677 
198.22/36.42	o 678 
198.22/36.44	o 679 
198.22/36.46	o 680 
198.22/36.48	o 681 
198.22/36.49	o 682 
198.79/36.51	o 683 
198.79/36.52	o 684 
198.79/36.54	o 685 
198.79/36.55	o 686 
198.79/36.57	o 687 
198.79/36.58	o 688 
198.79/36.60	o 689 
199.33/36.61	o 690 
199.33/36.63	o 691 
199.33/36.65	o 692 
199.33/36.66	o 693 
199.33/36.68	o 694 
199.33/36.69	o 695 
199.95/36.71	o 696 
199.95/36.73	o 697 
199.95/36.75	o 698 
199.95/36.77	o 699 
199.95/36.78	o 700 
199.95/36.80	o 701 
200.45/36.82	o 702 
200.45/36.83	o 703 
200.45/36.85	o 704 
200.45/36.86	o 705 
200.45/36.89	o 706 
201.00/36.91	o 707 
201.00/36.92	o 708 
201.00/36.94	o 709 
201.00/36.96	o 710 
201.00/36.98	o 711 
201.00/36.99	o 712 
201.60/37.01	o 713 
201.60/37.02	o 714 
201.60/37.04	o 715 
201.60/37.05	o 716 
201.60/37.07	o 717 
201.60/37.08	o 718 
201.60/37.10	o 719 
202.25/37.12	o 720 
202.25/37.13	o 721 
202.25/37.15	o 722 
202.25/37.16	o 723 
202.25/37.18	o 724 
202.25/37.19	o 725 
202.69/37.22	o 726 
202.69/37.24	o 727 
203.12/37.44	o 728 
204.29/38.56	o 729 
204.29/38.59	o 730 
204.55/38.61	o 731 
204.55/38.62	o 732 
204.55/38.64	o 733 
204.55/38.66	o 734 
204.55/38.68	o 735 
205.06/38.70	o 736 
205.06/38.72	o 737 
205.06/38.73	o 738 
205.06/38.75	o 739 
205.06/38.77	o 740 
205.06/38.79	o 741 
205.66/38.81	o 742 
205.66/38.83	o 743 
205.66/38.86	o 744 
205.66/38.87	o 745 
205.66/38.89	o 746 
206.15/38.92	o 747 
206.15/38.94	o 748 
206.15/38.96	o 749 
206.15/38.98	o 750 
206.15/39.00	o 751 
206.66/39.02	o 752 
206.66/39.04	o 753 
206.66/39.06	o 754 
206.66/39.07	o 755 
206.66/39.09	o 756 
206.66/39.11	o 757 
207.25/39.13	o 758 
207.25/39.14	o 759 
207.25/39.16	o 760 
207.25/39.18	o 761 
207.25/39.20	o 762 
207.76/39.22	o 763 
207.76/39.24	o 764 
207.76/39.26	o 765 
207.76/39.28	o 766 
208.29/39.30	o 767 
208.29/39.32	o 768 
208.29/39.34	o 769 
208.29/39.35	o 770 
208.29/39.37	o 771 
208.29/39.39	o 772 
208.87/39.40	o 773 
208.87/39.42	o 774 
208.87/39.44	o 775 
208.87/39.45	o 776 
208.87/39.47	o 777 
208.87/39.49	o 778 
209.51/39.51	o 779 
209.51/39.53	o 780 
209.51/39.55	o 781 
209.51/39.56	o 782 
209.51/39.58	o 783 
210.04/39.62	o 784 
210.04/39.63	o 785 
210.04/39.65	o 786 
210.04/39.67	o 787 
210.04/39.68	o 788 
210.67/39.70	o 789 
210.67/39.72	o 790 
210.67/39.73	o 791 
210.67/39.75	o 792 
210.67/39.77	o 793 
210.67/39.79	o 794 
211.30/39.81	o 795 
211.30/39.83	o 796 
211.30/39.86	o 797 
211.30/39.87	o 798 
211.30/39.89	o 799 
211.80/39.91	o 800 
211.80/39.92	o 801 
211.80/39.94	o 802 
211.80/39.96	o 803 
211.80/39.98	o 804 
211.80/40.00	o 805 
212.40/40.02	o 806 
212.40/40.03	o 807 
212.40/40.05	o 808 
212.40/40.06	o 809 
212.40/40.08	o 810 
212.40/40.10	o 811 
212.96/40.12	o 812 
212.96/40.15	o 813 
212.96/40.16	o 814 
212.96/40.19	o 815 
213.50/40.21	o 816 
213.50/40.22	o 817 
213.50/40.24	o 818 
213.50/40.26	o 819 
213.50/40.27	o 820 
213.50/40.29	o 821 
214.08/40.31	o 822 
214.08/40.32	o 823 
214.08/40.34	o 824 
214.08/40.36	o 825 
214.08/40.38	o 826 
214.62/40.40	o 827 
214.62/40.42	o 828 
214.62/40.44	o 829 
214.62/40.45	o 830 
214.62/40.47	o 831 
214.62/40.48	o 832 
215.22/40.50	o 833 
215.22/40.52	o 834 
215.22/40.54	o 835 
215.22/40.56	o 836 
215.22/40.58	o 837 
215.22/40.59	o 838 
215.76/40.62	o 839 
215.76/40.64	o 840 
217.24/40.87	o 841 
217.24/40.88	o 842 
311.19/52.89	o 843 
474.80/73.42	o 844 
474.80/73.44	o 845 
672.66/98.97	o 846 
1624.15/218.93	o 847 
1887.87/252.08	s SATISFIABLE
1887.87/252.08	v <instantiation>
1887.87/252.08	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] 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[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] 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[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] 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[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] 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[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] 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[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] 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[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] 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[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] 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[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] 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] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] 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[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] 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[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] 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[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] 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[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] 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[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] 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[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] 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[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] 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[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] 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[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] 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[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] 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[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] 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[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] 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[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] 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[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] 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[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] 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[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] 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[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] 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[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] 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[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] 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[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] 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[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] 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[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] 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[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] 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[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] 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[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] 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[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] 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[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] 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[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] 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[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] 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[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] 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[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] 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[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] 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[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] 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[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] 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[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] 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[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] 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[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] 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] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] 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] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z </list>
1887.87/252.08	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 1 2 0 2 2 0 2 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 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 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 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 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 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 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 0 0 0 0 1 0 0 1 0 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 1 2 1 1 1 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 2 0 0 2 0 0 1 2 1 0 0 0 0 1 1 2 1 0 1 1 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 1 2 2 1 1 0 1 0 2 2 1 1 0 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 14 15 15 30 30 31 83 90 92 94 98 100 142 152 159 161 165 174 195 198 205 226 228 230 249 253 256 271 274 274 299 309 319 329 335 340 353 356 365 384 393 408 427 458 482 847 </values>
1887.87/252.08	v </instantiation>
1887.87/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	847

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281608-1503180472/watcher-4281608-1503180472 -o /tmp/evaluation-result-4281608-1503180472/solver-4281608-1503180472 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503168972-924 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 178620390 HOME/instance-4281608-1503180472.xml 

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

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


[startup+0.100139 s]*
/proc/loadavg: 8.38 8.21 7.15 2/201 5676
/proc/meminfo: memFree=21740612/32770624 swapFree=67108860/67108860
[pid=5655] ppid=5652 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5655/stat : 5655 (xcsp3-exec) S 5652 5655 893 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151134851 9740288 346 33554432000 4194304 5098028 140735001588496 140735001586600 140514631590524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10489856 140735001597035 140735001597244 140735001597244 140735001599979 0
/proc/5655/statm: 2378 346 289 221 0 87 0
[pid=5657] ppid=5655 vsize=25999808 memory=26116 CPUtime=0.11 cores=0-7
/proc/5657/stat : 5657 (java) S 5655 5655 893 0 -1 1077944320 5484 0 0 0 10 1 0 0 20 0 20 0 151134851 26623803392 6529 33554432000 4194304 4196468 140727241093296 140727241075840 140113650593527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
/proc/5657/statm: 6499952 6529 2845 1 0 6488269 0
[pid=5657/tid=5658] ppid=5655 vsize=25999808 memory=8318255677412212789 CPUtime=0.08 cores=0-7
/proc/5657/task/5658/stat : 5658 (java) R 5655 5655 893 0 -1 4202560 3493 0 0 0 8 0 0 0 20 0 20 0 151134851 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113654814336 140113650605462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5659] ppid=5655 vsize=25999808 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/5657/task/5659/stat : 5659 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113603214352 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5660] ppid=5655 vsize=25999808 memory=288370573320586880 CPUtime=0 cores=0-7
/proc/5657/task/5660/stat : 5660 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113602161808 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5661] ppid=5655 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5661/stat : 5661 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113601108752 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5662] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5662/stat : 5662 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113600056208 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5663] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5663/stat : 5663 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113599003152 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5664] ppid=5655 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5664/stat : 5664 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113597950608 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5665] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5665/stat : 5665 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113596897552 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5666] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5666/stat : 5666 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26623803392 6595 33554432000 4194304 4196468 140727241093296 140113595845008 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5667] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5667/stat : 5667 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134854 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112437725936 140113650604674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5668] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5668/stat : 5668 (java) S 5655 5655 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151134854 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112190006944 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5669] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5669/stat : 5669 (java) S 5655 5655 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151134854 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112188953840 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5670] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5670/stat : 5670 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134857 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112187902416 140113650612123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5671] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5671/stat : 5671 (java) S 5655 5655 893 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 151134857 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112186849520 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5672] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5672/stat : 5672 (java) R 5655 5655 893 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151134857 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112185796976 140113650604674 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5673] ppid=5655 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5673/stat : 5673 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134857 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112184743920 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5674] ppid=5655 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5657/task/5674/stat : 5674 (java) R 5655 5655 893 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 151134857 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112183691376 140113650605462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5675] ppid=5655 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5675/stat : 5675 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151134857 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112182639584 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5676] ppid=5655 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5676/stat : 5676 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134857 26623803392 6595 33554432000 4194304 4196468 140727241093296 140112181587120 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27500 KiB

[startup+0.209789 s]*
/proc/loadavg: 8.38 8.21 7.15 2/201 5676
/proc/meminfo: memFree=21728688/32770624 swapFree=67108860/67108860
[pid=5655] ppid=5652 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5655/stat : 5655 (xcsp3-exec) S 5652 5655 893 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151134851 9740288 346 33554432000 4194304 5098028 140735001588496 140735001586600 140514631590524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10489856 140735001597035 140735001597244 140735001597244 140735001599979 0
/proc/5655/statm: 2378 346 289 221 0 87 0
[pid=5657] ppid=5655 vsize=26004064 memory=38888 CPUtime=0.33 cores=0-7
/proc/5657/stat : 5657 (java) S 5655 5655 893 0 -1 1077944320 8303 0 0 0 31 2 0 0 20 0 20 0 151134851 26628161536 9722 33554432000 4194304 4196468 140727241093296 140727241075840 140113650593527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
/proc/5657/statm: 6501016 9722 3042 1 0 6488269 0
[pid=5657/tid=5658] ppid=5655 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5657/task/5658/stat : 5658 (java) R 5655 5655 893 0 -1 4202560 5408 0 0 0 18 1 0 0 20 0 20 0 151134851 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113654803376 140113634674014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5659] ppid=5655 vsize=26004064 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/5657/task/5659/stat : 5659 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113603214352 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5660] ppid=5655 vsize=26004064 memory=288370573320586880 CPUtime=0 cores=0-7
/proc/5657/task/5660/stat : 5660 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113602161808 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5661] ppid=5655 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5661/stat : 5661 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113601108752 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5662] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5662/stat : 5662 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113600056208 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5663] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5663/stat : 5663 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113599003152 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5664] ppid=5655 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5664/stat : 5664 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113597950608 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5665] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5665/stat : 5665 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113596897552 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5666] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5666/stat : 5666 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 9722 33554432000 4194304 4196468 140727241093296 140113595845008 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5667] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5667/stat : 5667 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134854 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112437725936 140113650604674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5668] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5668/stat : 5668 (java) S 5655 5655 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151134854 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112190006944 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5669] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5669/stat : 5669 (java) S 5655 5655 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151134854 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112188953840 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5670] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5670/stat : 5670 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134857 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112187902416 140113650612123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5671] ppid=5655 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5657/task/5671/stat : 5671 (java) S 5655 5655 893 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 151134857 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112186849520 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5672] ppid=5655 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5657/task/5672/stat : 5672 (java) S 5655 5655 893 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 151134857 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112185796976 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5673] ppid=5655 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/5657/task/5673/stat : 5673 (java) S 5655 5655 893 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 151134857 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112184743920 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5674] ppid=5655 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/5657/task/5674/stat : 5674 (java) R 5655 5655 893 0 -1 4202560 733 0 0 0 7 0 0 0 20 0 20 0 151134857 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112183691376 140113634674014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5675] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5675/stat : 5675 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151134857 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112182639584 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5676] ppid=5655 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5676/stat : 5676 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134857 26628161536 9722 33554432000 4194304 4196468 140727241093296 140112181587120 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40272 KiB

[startup+0.309496 s]*
/proc/loadavg: 8.38 8.21 7.15 3/201 5676
/proc/meminfo: memFree=21723912/32770624 swapFree=67108860/67108860
[pid=5655] ppid=5652 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5655/stat : 5655 (xcsp3-exec) S 5652 5655 893 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151134851 9740288 346 33554432000 4194304 5098028 140735001588496 140735001586600 140514631590524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10489856 140735001597035 140735001597244 140735001597244 140735001599979 0
/proc/5655/statm: 2378 346 289 221 0 87 0
[pid=5657] ppid=5655 vsize=26004064 memory=45632 CPUtime=0.49 cores=0-7
/proc/5657/stat : 5657 (java) S 5655 5655 893 0 -1 1077944320 9151 0 0 0 46 3 0 0 20 0 20 0 151134851 26628161536 11408 33554432000 4194304 4196468 140727241093296 140727241075840 140113650593527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
/proc/5657/statm: 6501016 11408 3090 1 0 6488269 0
[pid=5657/tid=5658] ppid=5655 vsize=26004064 memory=69636 CPUtime=0.29 cores=0-7
/proc/5657/task/5658/stat : 5658 (java) R 5655 5655 893 0 -1 4202560 6090 0 0 0 27 2 0 0 20 0 20 0 151134851 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113654829712 140113650605462 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5659] ppid=5655 vsize=26004064 memory=71940 CPUtime=0 cores=0-7
/proc/5657/task/5659/stat : 5659 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113603214352 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5660] ppid=5655 vsize=26004064 memory=280394229662320 CPUtime=0 cores=0-7
/proc/5657/task/5660/stat : 5660 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113602161808 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5661] ppid=5655 vsize=26004064 memory=67 CPUtime=0 cores=0-7
/proc/5657/task/5661/stat : 5661 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113601108752 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5662] ppid=5655 vsize=26004064 memory=280394121592800 CPUtime=0 cores=0-7
/proc/5657/task/5662/stat : 5662 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113600056208 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5663] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5663/stat : 5663 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113599003152 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5664] ppid=5655 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/5657/task/5664/stat : 5664 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113597950608 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5665] ppid=5655 vsize=26004064 memory=672096 CPUtime=0 cores=0-7
/proc/5657/task/5665/stat : 5665 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113596897552 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5666] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5666/stat : 5666 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26628161536 11408 33554432000 4194304 4196468 140727241093296 140113595845008 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5667] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5667/stat : 5667 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134854 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112437725936 140113650604674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5668] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5668/stat : 5668 (java) S 5655 5655 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151134854 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112190006944 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5669] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5669/stat : 5669 (java) S 5655 5655 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151134854 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112188953840 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5670] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5670/stat : 5670 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134857 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112187902416 140113650612123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5671] ppid=5655 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5657/task/5671/stat : 5671 (java) S 5655 5655 893 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 151134857 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112186849520 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5672] ppid=5655 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5657/task/5672/stat : 5672 (java) S 5655 5655 893 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 20 0 151134857 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112185796976 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5673] ppid=5655 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5657/task/5673/stat : 5673 (java) S 5655 5655 893 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 20 0 151134857 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112184743920 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5674] ppid=5655 vsize=26004064 memory=0 CPUtime=0.12 cores=0-7
/proc/5657/task/5674/stat : 5674 (java) R 5655 5655 893 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 20 0 151134857 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112183687104 140113629512336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5675] ppid=5655 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5657/task/5675/stat : 5675 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151134857 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112182639584 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5676] ppid=5655 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5657/task/5676/stat : 5676 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134857 26628161536 11408 33554432000 4194304 4196468 140727241093296 140112181587120 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47016 KiB

[startup+0.700996 s]
/proc/loadavg: 8.38 8.21 7.15 5/201 5676
/proc/meminfo: memFree=21697784/32770624 swapFree=67108860/67108860
[pid=5655] ppid=5652 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5655/stat : 5655 (xcsp3-exec) S 5652 5655 893 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151134851 9740288 346 33554432000 4194304 5098028 140735001588496 140735001586600 140514631590524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10489856 140735001597035 140735001597244 140735001597244 140735001599979 0
/proc/5655/statm: 2378 346 289 221 0 87 0
[pid=5657] ppid=5655 vsize=26006188 memory=90428 CPUtime=1.8 cores=0-7
/proc/5657/stat : 5657 (java) S 5655 5655 893 0 -1 1077944320 12619 0 0 0 175 5 0 0 20 0 20 0 151134851 26630336512 22607 33554432000 4194304 4196468 140727241093296 140727241075840 140113650593527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
/proc/5657/statm: 6501547 22607 3199 1 0 6488781 0
[pid=5657/tid=5658] ppid=5655 vsize=26006188 memory=1732 CPUtime=0.68 cores=0-7
/proc/5657/task/5658/stat : 5658 (java) R 5655 5655 893 0 -1 4202560 6530 0 0 0 65 3 0 0 20 0 20 0 151134851 26630336512 22607 33554432000 4194304 4196468 140727241093296 140113654830800 140113650615453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5659] ppid=5655 vsize=26006188 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/5657/task/5659/stat : 5659 (java) S 5655 5655 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151134852 26630336512 22607 33554432000 4194304 4196468 140727241093296 140113603214352 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5660] ppid=5655 vsize=26006188 memory=280394121936192 CPUtime=0 cores=0-7
/proc/5657/task/5660/stat : 5660 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151134852 26630336512 22607 33554432000 4194304 4196468 140727241093296 140113602161808 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5661] ppid=5655 vsize=26006188 memory=140197060963152 CPUtime=0 cores=0-7
/proc/5657/task/5661/stat : 5661 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151134852 26630336512 22607 33554432000 4194304 4196468 140727241093296 140113601108752 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0

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

[pid=5657/tid=12319] ppid=5655 vsize=26873568 memory=4458808 CPUtime=62.71 cores=0-7
/proc/5657/task/12319/stat : 12319 (java) R 5655 5655 893 0 -1 4202560 2277 0 0 0 6268 3 0 0 20 0 28 0 151144749 27518533632 1112645 33554432000 4194304 4196468 140727241093296 140110818411768 140113269466664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
Current children cumulated CPU time: 1177.77 s
Current children cumulated vsize: 26883080 KiB
Current children cumulated memory: 4451964 KiB

[startup+222.302 s]
/proc/loadavg: 7.53 7.84 7.21 9/208 12327
/proc/meminfo: memFree=17325012/32770624 swapFree=67108860/67108860
[pid=5655] ppid=5652 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5655/stat : 5655 (xcsp3-exec) S 5652 5655 893 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151134851 9740288 346 33554432000 4194304 5098028 140735001588496 140735001586600 140514631590524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10489856 140735001597035 140735001597244 140735001597244 140735001599979 0
/proc/5655/statm: 2378 346 289 221 0 87 0
[pid=5657] ppid=5655 vsize=26873568 memory=4433352 CPUtime=1651.02 cores=0-7
/proc/5657/stat : 5657 (java) S 5655 5655 893 0 -1 1077944320 257013 0 0 0 164628 474 0 0 20 0 28 0 151134851 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140727241075840 140113650593527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
/proc/5657/statm: 6718392 1108338 3290 1 0 6705626 0
[pid=5657/tid=5658] ppid=5655 vsize=26873568 memory=1384 CPUtime=6.36 cores=0-7
/proc/5657/task/5658/stat : 5658 (java) S 5655 5655 893 0 -1 1077944384 12448 0 0 0 620 16 0 0 20 0 28 0 151134851 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113654834240 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5659] ppid=5655 vsize=26873568 memory=1384 CPUtime=0.42 cores=0-7
/proc/5657/task/5659/stat : 5659 (java) S 5655 5655 893 0 -1 1077944384 2311 0 0 0 31 11 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113603214352 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5660] ppid=5655 vsize=26873568 memory=4433340 CPUtime=0.41 cores=0-7
/proc/5657/task/5660/stat : 5660 (java) S 5655 5655 893 0 -1 1077944384 1051 0 0 0 32 9 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113602161808 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5661] ppid=5655 vsize=26873568 memory=4433352 CPUtime=0.41 cores=0-7
/proc/5657/task/5661/stat : 5661 (java) S 5655 5655 893 0 -1 1077944384 2567 0 0 0 31 10 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113601108752 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5662] ppid=5655 vsize=26873568 memory=4434648 CPUtime=0.4 cores=0-7
/proc/5657/task/5662/stat : 5662 (java) S 5655 5655 893 0 -1 1077944384 2380 0 0 0 30 10 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113600056208 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5663] ppid=5655 vsize=26873568 memory=4432064 CPUtime=0.41 cores=0-7
/proc/5657/task/5663/stat : 5663 (java) S 5655 5655 893 0 -1 1077944384 2114 0 0 0 30 11 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113599003152 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5664] ppid=5655 vsize=26873568 memory=1384 CPUtime=0.4 cores=0-7
/proc/5657/task/5664/stat : 5664 (java) S 5655 5655 893 0 -1 1077944384 907 0 0 0 29 11 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113597950608 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5665] ppid=5655 vsize=26873568 memory=1008 CPUtime=0.43 cores=0-7
/proc/5657/task/5665/stat : 5665 (java) S 5655 5655 893 0 -1 1077944384 1705 0 0 0 31 12 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113596897552 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5666] ppid=5655 vsize=26873568 memory=10728 CPUtime=0.4 cores=0-7
/proc/5657/task/5666/stat : 5666 (java) S 5655 5655 893 0 -1 1077944384 2357 0 0 0 29 11 0 0 20 0 28 0 151134852 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140113595845008 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5667] ppid=5655 vsize=26873568 memory=4140 CPUtime=0.09 cores=0-7
/proc/5657/task/5667/stat : 5667 (java) S 5655 5655 893 0 -1 1077944384 8477 0 0 0 6 3 0 0 20 0 28 0 151134854 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112437725936 140113650604674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5668] ppid=5655 vsize=26873568 memory=42020 CPUtime=0 cores=0-7
/proc/5657/task/5668/stat : 5668 (java) S 5655 5655 893 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 151134854 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112190007008 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5669] ppid=5655 vsize=26873568 memory=4443380 CPUtime=0 cores=0-7
/proc/5657/task/5669/stat : 5669 (java) S 5655 5655 893 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 151134854 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112188953856 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5670] ppid=5655 vsize=26873568 memory=4140 CPUtime=0 cores=0-7
/proc/5657/task/5670/stat : 5670 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151134857 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112187902416 140113650612123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5671] ppid=5655 vsize=26873568 memory=4434648 CPUtime=4.34 cores=0-7
/proc/5657/task/5671/stat : 5671 (java) S 5655 5655 893 0 -1 1077944384 26674 0 0 0 426 8 0 0 20 0 28 0 151134857 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112186849520 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5672] ppid=5655 vsize=26873568 memory=1384 CPUtime=4.34 cores=0-7
/proc/5657/task/5672/stat : 5672 (java) S 5655 5655 893 0 -1 1077944384 28978 0 0 0 428 6 0 0 20 0 28 0 151134857 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112185796976 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5673] ppid=5655 vsize=26873568 memory=1384 CPUtime=4.28 cores=0-7
/proc/5657/task/5673/stat : 5673 (java) S 5655 5655 893 0 -1 1077944384 28253 0 0 0 422 6 0 0 20 0 28 0 151134857 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112184743920 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5674] ppid=5655 vsize=26873568 memory=1384 CPUtime=1.32 cores=0-7
/proc/5657/task/5674/stat : 5674 (java) S 5655 5655 893 0 -1 1077944384 16882 0 0 0 128 4 0 0 20 0 28 0 151134857 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112183691376 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5675] ppid=5655 vsize=26873568 memory=1384 CPUtime=0 cores=0-7
/proc/5657/task/5675/stat : 5675 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151134857 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112182639584 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5676] ppid=5655 vsize=26873568 memory=4140 CPUtime=0.08 cores=0-7
/proc/5657/task/5676/stat : 5676 (java) S 5655 5655 893 0 -1 1077944384 2812 0 0 0 3 5 0 0 20 0 28 0 151134857 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112181587120 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12320] ppid=5655 vsize=26873568 memory=1384 CPUtime=3.35 cores=0-7
/proc/5657/task/12320/stat : 12320 (java) R 5655 5655 893 0 -1 4202560 189 0 0 0 335 0 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140110824718104 140113268786160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12321] ppid=5655 vsize=26873568 memory=4140 CPUtime=3.35 cores=0-7
/proc/5657/task/12321/stat : 12321 (java) R 5655 5655 893 0 -1 4202560 138 0 0 0 334 1 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140110819464168 140113268741640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12322] ppid=5655 vsize=26873568 memory=16444 CPUtime=3.35 cores=0-7
/proc/5657/task/12322/stat : 12322 (java) R 5655 5655 893 0 -1 4202560 387 0 0 0 335 0 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140110817359048 140113267818468 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12323] ppid=5655 vsize=26873568 memory=4052 CPUtime=3.35 cores=0-7
/proc/5657/task/12323/stat : 12323 (java) R 5655 5655 893 0 -1 4202560 411 0 0 0 333 2 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140110816308896 140113269651294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12324] ppid=5655 vsize=26873568 memory=13160 CPUtime=3.35 cores=0-7
/proc/5657/task/12324/stat : 12324 (java) R 5655 5655 893 0 -1 4202560 103 0 0 0 335 0 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140110825771368 140113268416694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12325] ppid=5655 vsize=26873568 memory=792 CPUtime=3.28 cores=0-7
/proc/5657/task/12325/stat : 12325 (java) R 5655 5655 893 0 -1 4202560 145 0 0 0 327 1 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140110818410984 140113268677709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12326] ppid=5655 vsize=26873568 memory=4434136 CPUtime=3.36 cores=0-7
/proc/5657/task/12326/stat : 12326 (java) R 5655 5655 893 0 -1 4202560 132 0 0 0 336 0 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140110820516848 140113268837034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12327] ppid=5655 vsize=26873568 memory=1384 CPUtime=3.35 cores=0-7
/proc/5657/task/12327/stat : 12327 (java) R 5655 5655 893 0 -1 4202560 96 0 0 0 335 0 0 0 20 0 28 0 151156744 27518533632 1108338 33554432000 4194304 4196468 140727241093296 140112169366760 140113268345207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
Current children cumulated CPU time: 1651.02 s
Current children cumulated vsize: 26883080 KiB
Current children cumulated memory: 4434736 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.66 7.84 7.23 9/208 12327
/proc/meminfo: memFree=17330212/32770624 swapFree=67108860/67108860
[pid=5655] ppid=5652 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5655/stat : 5655 (xcsp3-exec) S 5652 5655 893 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151134851 9740288 346 33554432000 4194304 5098028 140735001588496 140735001586600 140514631590524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10489856 140735001597035 140735001597244 140735001597244 140735001599979 0
/proc/5655/statm: 2378 346 289 221 0 87 0
[pid=5657] ppid=5655 vsize=26873568 memory=4428164 CPUtime=1887.87 cores=0-7
/proc/5657/stat : 5657 (java) S 5655 5655 893 0 -1 1077944320 276290 0 0 0 188277 510 0 0 20 0 28 0 151134851 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140727241075840 140113650593527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
/proc/5657/statm: 6718392 1107041 3290 1 0 6705626 0
[pid=5657/tid=5658] ppid=5655 vsize=26873568 memory=8112282956445269571 CPUtime=6.36 cores=0-7
/proc/5657/task/5658/stat : 5658 (java) S 5655 5655 893 0 -1 1077944384 12448 0 0 0 620 16 0 0 20 0 28 0 151134851 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113654834240 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5659] ppid=5655 vsize=26873568 memory=4126316290023845779 CPUtime=0.43 cores=0-7
/proc/5657/task/5659/stat : 5659 (java) S 5655 5655 893 0 -1 1077944384 2825 0 0 0 32 11 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113603214352 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5660] ppid=5655 vsize=26873568 memory=42020 CPUtime=0.42 cores=0-7
/proc/5657/task/5660/stat : 5660 (java) S 5655 5655 893 0 -1 1077944384 1911 0 0 0 33 9 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113602161808 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5661] ppid=5655 vsize=26873568 memory=1292 CPUtime=0.44 cores=0-7
/proc/5657/task/5661/stat : 5661 (java) S 5655 5655 893 0 -1 1077944384 2684 0 0 0 33 11 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113601108752 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5662] ppid=5655 vsize=26873568 memory=2428 CPUtime=0.42 cores=0-7
/proc/5657/task/5662/stat : 5662 (java) S 5655 5655 893 0 -1 1077944384 2456 0 0 0 32 10 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113600056208 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5663] ppid=5655 vsize=26873568 memory=1732 CPUtime=0.43 cores=0-7
/proc/5657/task/5663/stat : 5663 (java) S 5655 5655 893 0 -1 1077944384 2749 0 0 0 32 11 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113599003152 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5664] ppid=5655 vsize=26873568 memory=1944 CPUtime=0.42 cores=0-7
/proc/5657/task/5664/stat : 5664 (java) S 5655 5655 893 0 -1 1077944384 1056 0 0 0 30 12 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113597950608 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5665] ppid=5655 vsize=26873568 memory=1700 CPUtime=0.45 cores=0-7
/proc/5657/task/5665/stat : 5665 (java) S 5655 5655 893 0 -1 1077944384 1941 0 0 0 33 12 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113596897552 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5666] ppid=5655 vsize=26873568 memory=1228 CPUtime=0.41 cores=0-7
/proc/5657/task/5666/stat : 5666 (java) S 5655 5655 893 0 -1 1077944384 2599 0 0 0 30 11 0 0 20 0 28 0 151134852 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140113595845008 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5667] ppid=5655 vsize=26873568 memory=5428 CPUtime=0.1 cores=0-7
/proc/5657/task/5667/stat : 5667 (java) S 5655 5655 893 0 -1 1077944384 9952 0 0 0 7 3 0 0 20 0 28 0 151134854 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112437725936 140113650604674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5668] ppid=5655 vsize=26873568 memory=4624 CPUtime=0 cores=0-7
/proc/5657/task/5668/stat : 5668 (java) S 5655 5655 893 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 151134854 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112190007008 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5669] ppid=5655 vsize=26873568 memory=1008 CPUtime=0 cores=0-7
/proc/5657/task/5669/stat : 5669 (java) S 5655 5655 893 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 151134854 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112188953856 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5670] ppid=5655 vsize=26873568 memory=10728 CPUtime=0 cores=0-7
/proc/5657/task/5670/stat : 5670 (java) S 5655 5655 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151134857 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112187902416 140113650612123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5671] ppid=5655 vsize=26873568 memory=1204 CPUtime=4.34 cores=0-7
/proc/5657/task/5671/stat : 5671 (java) S 5655 5655 893 0 -1 1077944384 26779 0 0 0 426 8 0 0 20 0 28 0 151134857 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112186849520 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5672] ppid=5655 vsize=26873568 memory=15876 CPUtime=4.34 cores=0-7
/proc/5657/task/5672/stat : 5672 (java) S 5655 5655 893 0 -1 1077944384 28991 0 0 0 428 6 0 0 20 0 28 0 151134857 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112185796976 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5673] ppid=5655 vsize=26873568 memory=16444 CPUtime=4.3 cores=0-7
/proc/5657/task/5673/stat : 5673 (java) S 5655 5655 893 0 -1 1077944384 29223 0 0 0 424 6 0 0 20 0 28 0 151134857 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112184743920 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5674] ppid=5655 vsize=26873568 memory=4052 CPUtime=1.32 cores=0-7
/proc/5657/task/5674/stat : 5674 (java) S 5655 5655 893 0 -1 1077944384 17375 0 0 0 128 4 0 0 20 0 28 0 151134857 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112183691376 140113650604674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5675] ppid=5655 vsize=26873568 memory=1692 CPUtime=0 cores=0-7
/proc/5657/task/5675/stat : 5675 (java) S 5655 5655 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151134857 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112182639584 140113650603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=5676] ppid=5655 vsize=26873568 memory=23120 CPUtime=0.1 cores=0-7
/proc/5657/task/5676/stat : 5676 (java) R 5655 5655 893 0 -1 1077944384 3157 0 0 0 4 6 0 0 20 0 28 0 151134857 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112181587120 140113650604674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12320] ppid=5655 vsize=26873568 memory=916 CPUtime=33.03 cores=0-7
/proc/5657/task/12320/stat : 12320 (java) R 5655 5655 893 0 -1 4202560 1857 0 0 0 3301 2 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140110824718856 140113268144896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12321] ppid=5655 vsize=26873568 memory=4476 CPUtime=33.02 cores=0-7
/proc/5657/task/12321/stat : 12321 (java) R 5655 5655 893 0 -1 4202560 1323 0 0 0 3301 1 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140110819464312 140113268345326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12322] ppid=5655 vsize=26873568 memory=1232 CPUtime=33.01 cores=0-7
/proc/5657/task/12322/stat : 12322 (java) R 5655 5655 893 0 -1 4202560 1385 0 0 0 3299 2 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140110817358584 140113268742883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12323] ppid=5655 vsize=26873568 memory=1792 CPUtime=32.56 cores=0-7
/proc/5657/task/12323/stat : 12323 (java) R 5655 5655 893 0 -1 4202560 4926 0 0 0 3228 28 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140110816308896 140113269651406 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12324] ppid=5655 vsize=26873568 memory=640 CPUtime=33.01 cores=0-7
/proc/5657/task/12324/stat : 12324 (java) R 5655 5655 893 0 -1 4202560 1296 0 0 0 3300 1 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140110825771704 140113268678941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12325] ppid=5655 vsize=26873568 memory=956 CPUtime=32.94 cores=0-7
/proc/5657/task/12325/stat : 12325 (java) R 5655 5655 893 0 -1 4202560 1010 0 0 0 3293 1 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140110818410920 140113268743461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12326] ppid=5655 vsize=26873568 memory=792 CPUtime=32.85 cores=0-7
/proc/5657/task/12326/stat : 12326 (java) R 5655 5655 893 0 -1 4202560 1071 0 0 0 3285 0 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140110820517112 140113270011616 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
[pid=5657/tid=12327] ppid=5655 vsize=26873568 memory=1008 CPUtime=32.98 cores=0-7
/proc/5657/task/12327/stat : 12327 (java) R 5655 5655 893 0 -1 4202560 1780 0 0 0 3297 1 0 0 20 0 28 0 151156744 27518533632 1107041 33554432000 4194304 4196468 140727241093296 140112169366656 140113268786186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19169280 140727241098392 140727241098568 140727241098568 140727241101263 0
Current children cumulated CPU time: 1887.87 s
Current children cumulated vsize: 26883080 KiB
Current children cumulated memory: 4429548 KiB

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

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

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

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

Child status: 143
Real time (s): 252.135
CPU time (s): 1888.7
CPU user time (s): 1883.57
CPU system time (s): 5.13486
CPU usage (%): 749.084
Max. virtual memory (cumulated for all children) (KiB): 26883080
Max. memory (cumulated for all children) (KiB): 4509672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1883.57
system time used= 5.13486
maximum resident set size= 4510488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63877
involuntary context switches= 20435


# summary of solver processes directly reported to runsolver:
#   pid: 5655,5657
#   total CPU time (s): 1888.7
#   total CPU user time (s): 1883.57
#   total CPU system time (s): 5.13486

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.17577 second user time and 2.97477 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-19 23:53:32
IDJOB=4281608
IDBENCH=115917
IDSOLVER=2676
FILE ID=node114/4281608-1503180472
RUNJOBID= node114-1503168972-924
PBS_JOBID= 20630836
Free space on /tmp= 61848 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.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-4281608-1503180472/watcher-4281608-1503180472 -o /tmp/evaluation-result-4281608-1503180472/solver-4281608-1503180472 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503168972-924 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 178620390 HOME/instance-4281608-1503180472.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=178620390

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        21756568 kB
MemAvailable:   31971684 kB
Buffers:          258408 kB
Cached:         10246080 kB
SwapCached:            0 kB
Active:          1766788 kB
Inactive:        8792396 kB
Active(anon):      46728 kB
Inactive(anon):    44268 kB
Active(file):    1720060 kB
Inactive(file):  8748128 kB
Unevictable:        7236 kB
Mlocked:            7236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7880 kB
Writeback:             0 kB
AnonPages:         67840 kB
Mapped:            51188 kB
Shmem:             33416 kB
Slab:             151636 kB
SReclaimable:     125528 kB
SUnreclaim:        26108 kB
KernelStack:        3552 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61840 MiB
End job on node114 at 2017-08-19 23:57:44