Trace number 4254850

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-07-26)SAT (TO)1137 1801.3199 252.108

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-50.xml
MD5SUMb46c08097c4951fbb159b9042bff535d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1137
Best CPU time to get the best result obtained on this benchmark1807.03
Satisfiable
(Un)Satisfiability was proved
Number of variables5461
Number of constraints3008
Number of domains4
Minimum domain size2
Maximum domain size5409
Distribution of domain sizes[{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}]
Minimum variable degree1
Maximum variable degree53
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}]
Number of extensional constraints2700
Number of intensional constraints251
Distribution of constraint types[{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"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-4254850-1502639508.xml"  -tl '2016s' -p 8 -x 0
0.12/0.15	c [HOME/instance-4254850-1502639508.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
17.13/7.87	c solve instance...
50.04/12.04	o 0 
52.36/12.82	o 4 
52.36/12.84	o 6 
56.90/16.37	o 8 
57.09/16.40	o 10 
57.09/16.43	o 12 
57.09/16.47	o 14 
57.66/16.51	o 16 
57.66/16.56	o 18 
58.38/16.65	o 20 
59.07/16.78	o 22 
60.56/16.95	o 24 
60.56/16.98	o 25 
60.56/16.99	o 26 
61.13/17.02	o 27 
61.13/17.05	o 28 
61.13/17.08	o 29 
61.50/17.12	o 30 
61.50/17.14	o 31 
61.50/17.15	o 32 
61.50/17.17	o 33 
61.50/17.19	o 34 
61.91/17.21	o 35 
61.91/17.23	o 36 
61.91/17.25	o 37 
61.91/17.27	o 38 
62.44/17.30	o 39 
62.44/17.33	o 40 
62.44/17.34	o 41 
62.44/17.37	o 42 
62.44/17.39	o 43 
62.88/17.40	o 44 
62.88/17.42	o 45 
62.88/17.45	o 46 
62.88/17.47	o 47 
62.88/17.49	o 48 
63.37/17.52	o 49 
63.37/17.53	o 50 
63.37/17.55	o 51 
63.37/17.57	o 52 
63.37/17.60	o 53 
63.79/17.61	o 54 
63.79/17.63	o 55 
63.79/17.65	o 56 
63.79/17.67	o 57 
63.79/17.68	o 58 
64.32/17.70	o 59 
64.32/17.72	o 60 
64.32/17.75	o 61 
64.32/17.77	o 62 
64.72/17.80	o 63 
64.72/17.82	o 64 
64.72/17.84	o 65 
64.72/17.86	o 66 
64.72/17.87	o 67 
64.72/17.89	o 68 
65.22/17.91	o 69 
65.22/17.93	o 70 
65.22/17.95	o 71 
65.22/17.96	o 72 
65.22/17.98	o 73 
65.22/17.99	o 74 
65.70/18.01	o 75 
65.70/18.05	o 76 
65.70/18.07	o 77 
65.70/18.08	o 78 
65.70/18.10	o 79 
66.29/18.12	o 80 
66.29/18.15	o 81 
66.29/18.16	o 82 
66.29/18.18	o 83 
66.65/18.21	o 84 
66.65/18.22	o 85 
66.65/18.24	o 86 
66.65/18.27	o 87 
66.65/18.28	o 88 
67.10/18.30	o 89 
67.10/18.33	o 90 
67.10/18.35	o 91 
67.10/18.37	o 92 
67.10/18.39	o 93 
67.54/18.40	o 94 
67.54/18.43	o 95 
67.54/18.46	o 96 
67.54/18.48	o 97 
67.54/18.50	o 98 
67.98/18.51	o 99 
67.98/18.53	o 100 
67.98/18.55	o 101 
67.98/18.56	o 102 
67.98/18.58	o 103 
68.51/18.61	o 104 
68.51/18.63	o 105 
68.51/18.65	o 106 
68.51/18.66	o 107 
68.51/18.68	o 108 
68.51/18.69	o 109 
69.08/18.71	o 110 
69.08/18.74	o 111 
69.08/18.76	o 112 
69.08/18.78	o 113 
69.08/18.80	o 114 
69.51/18.81	o 115 
69.51/18.83	o 116 
69.51/18.85	o 117 
69.51/18.87	o 118 
69.51/18.89	o 119 
70.01/18.90	o 120 
70.01/18.93	o 121 
70.01/18.95	o 122 
70.01/18.97	o 123 
70.01/18.98	o 124 
70.01/19.00	o 125 
70.46/19.02	o 126 
70.46/19.04	o 127 
70.46/19.07	o 128 
70.46/19.08	o 129 
70.46/19.10	o 130 
71.05/19.13	o 131 
71.05/19.15	o 132 
71.05/19.17	o 133 
71.05/19.18	o 134 
71.41/19.20	o 135 
71.41/19.22	o 136 
71.41/19.24	o 137 
71.41/19.26	o 138 
71.41/19.28	o 139 
71.85/19.30	o 140 
71.85/19.32	o 141 
71.85/19.34	o 142 
71.85/19.35	o 143 
71.85/19.39	o 144 
72.38/19.40	o 145 
72.38/19.42	o 146 
72.38/19.44	o 147 
72.38/19.46	o 148 
72.38/19.48	o 149 
72.38/19.49	o 150 
72.89/19.52	o 151 
72.89/19.54	o 152 
72.89/19.56	o 153 
72.89/19.57	o 154 
72.89/19.60	o 155 
73.29/19.61	o 156 
73.29/19.63	o 157 
73.29/19.65	o 158 
73.29/19.66	o 159 
73.29/19.69	o 160 
73.83/19.70	o 161 
73.83/19.72	o 162 
73.83/19.74	o 163 
73.83/19.75	o 164 
73.83/19.77	o 165 
73.83/19.79	o 166 
74.42/19.81	o 167 
74.42/19.84	o 168 
74.42/19.85	o 169 
74.42/19.87	o 170 
74.42/19.89	o 171 
74.85/19.91	o 172 
74.85/19.93	o 173 
74.85/19.95	o 174 
74.85/19.97	o 175 
74.85/19.99	o 176 
74.85/20.00	o 177 
75.36/20.02	o 178 
75.36/20.04	o 179 
75.36/20.06	o 180 
75.36/20.07	o 181 
75.36/20.09	o 182 
75.86/20.11	o 183 
75.86/20.14	o 184 
75.86/20.17	o 185 
75.86/20.18	o 186 
76.35/20.21	o 187 
76.35/20.22	o 188 
76.35/20.24	o 189 
76.35/20.26	o 190 
76.35/20.28	o 191 
76.35/20.29	o 192 
76.90/20.32	o 193 
76.90/20.34	o 194 
76.90/20.37	o 195 
76.90/20.39	o 196 
77.31/20.40	o 197 
77.31/20.42	o 198 
77.31/20.44	o 199 
77.31/20.46	o 200 
77.31/20.48	o 201 
77.31/20.49	o 202 
77.81/20.52	o 203 
77.81/20.53	o 204 
77.81/20.55	o 205 
77.81/20.56	o 206 
77.81/20.58	o 207 
77.81/20.59	o 208 
78.37/20.62	o 209 
78.37/20.64	o 210 
78.37/20.66	o 211 
78.37/20.67	o 212 
78.37/20.69	o 213 
78.81/20.71	o 214 
78.81/20.74	o 215 
78.81/20.75	o 216 
78.81/20.77	o 217 
78.81/20.79	o 218 
79.26/20.81	o 219 
79.26/20.83	o 220 
79.26/20.84	o 221 
79.26/20.86	o 222 
79.26/20.88	o 223 
79.66/20.90	o 224 
79.66/20.92	o 225 
79.66/20.93	o 226 
79.66/20.95	o 227 
79.66/20.98	o 228 
79.66/21.00	o 229 
80.18/21.02	o 230 
80.18/21.04	o 231 
80.18/21.07	o 232 
80.18/21.08	o 233 
80.62/21.11	o 234 
80.62/21.14	o 235 
80.62/21.16	o 236 
80.62/21.18	o 237 
81.01/21.20	o 238 
81.01/21.22	o 239 
81.01/21.25	o 240 
81.01/21.28	o 241 
81.42/21.30	o 242 
81.42/21.32	o 243 
81.42/21.34	o 244 
81.42/21.36	o 245 
81.42/21.38	o 246 
81.89/21.40	o 247 
81.89/21.42	o 248 
81.89/21.44	o 249 
81.89/21.46	o 250 
81.89/21.47	o 251 
81.89/21.50	o 252 
82.34/21.52	o 253 
82.34/21.54	o 254 
82.34/21.56	o 255 
82.34/21.58	o 256 
82.89/21.61	o 257 
82.89/21.63	o 258 
82.89/21.65	o 259 
82.89/21.67	o 260 
82.89/21.69	o 261 
83.36/21.71	o 262 
83.36/21.73	o 263 
83.36/21.74	o 264 
83.36/21.76	o 265 
83.36/21.78	o 266 
83.36/21.80	o 267 
83.84/21.82	o 268 
83.84/21.83	o 269 
83.84/21.85	o 270 
83.84/21.87	o 271 
83.84/21.89	o 272 
84.39/21.92	o 273 
84.39/21.93	o 274 
84.39/21.96	o 275 
84.39/21.98	o 276 
84.80/22.01	o 277 
84.80/22.03	o 278 
84.80/22.05	o 279 
84.80/22.07	o 280 
84.80/22.09	o 281 
85.31/22.11	o 282 
85.31/22.13	o 283 
85.31/22.14	o 284 
85.31/22.16	o 285 
85.31/22.18	o 286 
85.80/22.22	o 287 
85.80/22.24	o 288 
85.80/22.26	o 289 
85.80/22.27	o 290 
85.80/22.29	o 291 
86.31/22.31	o 292 
86.31/22.33	o 293 
86.31/22.34	o 294 
86.31/22.36	o 295 
86.31/22.38	o 296 
86.74/22.42	o 297 
86.74/22.44	o 298 
86.74/22.46	o 299 
86.74/22.48	o 300 
86.74/22.50	o 301 
87.16/22.52	o 302 
87.16/22.54	o 303 
87.16/22.57	o 304 
87.16/22.59	o 305 
87.64/22.61	o 306 
87.64/22.62	o 307 
87.64/22.64	o 308 
87.64/22.66	o 309 
87.64/22.68	o 310 
88.12/22.70	o 311 
88.12/22.72	o 312 
88.12/22.74	o 313 
88.12/22.76	o 314 
88.12/22.77	o 315 
88.12/22.80	o 316 
88.58/22.81	o 317 
88.58/22.83	o 318 
88.58/22.86	o 319 
88.58/22.88	o 320 
89.07/22.90	o 321 
89.07/22.92	o 322 
89.07/22.96	o 323 
89.07/22.98	o 324 
89.07/23.00	o 325 
89.58/23.02	o 326 
89.58/23.04	o 327 
89.58/23.06	o 328 
89.58/23.08	o 329 
89.58/23.09	o 330 
90.14/23.11	o 331 
90.14/23.13	o 332 
90.14/23.14	o 333 
90.14/23.16	o 334 
90.14/23.18	o 335 
90.14/23.19	o 336 
90.71/23.21	o 337 
90.71/23.22	o 338 
90.71/23.24	o 339 
90.71/23.25	o 340 
90.71/23.27	o 341 
90.71/23.28	o 342 
90.71/23.29	o 343 
91.28/23.31	o 344 
91.28/23.34	o 345 
91.28/23.36	o 346 
91.28/23.39	o 347 
91.75/23.40	o 348 
91.75/23.43	o 349 
91.75/23.45	o 350 
91.75/23.47	o 351 
91.75/23.49	o 352 
92.23/23.50	o 353 
92.23/23.52	o 354 
92.23/23.54	o 355 
92.23/23.55	o 356 
92.23/23.57	o 357 
92.23/23.59	o 358 
92.80/23.60	o 359 
92.80/23.62	o 360 
92.80/23.64	o 361 
92.80/23.66	o 362 
92.80/23.67	o 363 
92.80/23.69	o 364 
93.35/23.70	o 365 
93.35/23.72	o 366 
93.35/23.74	o 367 
93.35/23.75	o 368 
93.35/23.77	o 369 
93.35/23.79	o 370 
93.88/23.80	o 371 
93.88/23.82	o 372 
93.88/23.83	o 373 
93.88/23.85	o 374 
93.88/23.86	o 375 
93.88/23.88	o 376 
94.44/23.90	o 377 
94.44/23.93	o 378 
94.44/23.96	o 379 
94.44/23.98	o 380 
94.44/24.00	o 381 
94.94/24.02	o 382 
94.94/24.04	o 383 
94.94/24.06	o 384 
94.94/24.08	o 385 
94.94/24.10	o 386 
95.50/24.12	o 387 
95.50/24.15	o 388 
95.50/24.17	o 389 
95.50/24.19	o 390 
95.90/24.21	o 391 
95.90/24.23	o 392 
95.90/24.25	o 393 
95.90/24.27	o 394 
95.90/24.29	o 395 
96.43/24.31	o 396 
96.43/24.33	o 397 
96.43/24.34	o 398 
96.43/24.36	o 399 
96.43/24.38	o 400 
96.43/24.40	o 401 
96.90/24.43	o 402 
96.90/24.45	o 403 
96.90/24.46	o 404 
96.90/24.48	o 405 
97.45/24.50	o 406 
97.45/24.52	o 407 
97.45/24.54	o 408 
97.45/24.55	o 409 
97.45/24.57	o 410 
97.45/24.59	o 411 
98.01/24.60	o 412 
98.01/24.62	o 413 
98.01/24.65	o 414 
98.01/24.67	o 415 
98.01/24.68	o 416 
98.51/24.70	o 417 
98.51/24.72	o 418 
98.51/24.74	o 419 
98.51/24.76	o 420 
98.51/24.77	o 421 
98.51/24.79	o 422 
99.08/24.81	o 423 
99.08/24.83	o 424 
99.08/24.85	o 425 
99.08/24.86	o 426 
99.08/24.88	o 427 
99.54/24.90	o 428 
99.54/24.92	o 429 
99.54/24.94	o 430 
99.54/24.96	o 431 
99.54/24.98	o 432 
99.54/25.00	o 433 
100.04/25.02	o 434 
100.04/25.04	o 435 
100.04/25.09	o 436 
100.45/25.17	o 437 
103.37/27.77	o 438 
103.37/27.79	o 439 
103.64/27.81	o 440 
103.64/27.82	o 441 
103.64/27.84	o 442 
103.64/27.86	o 443 
103.64/27.88	o 444 
103.64/27.90	o 445 
104.14/27.93	o 446 
104.14/27.95	o 447 
104.14/27.97	o 448 
104.14/27.99	o 449 
104.64/28.01	o 450 
104.64/28.03	o 451 
104.64/28.05	o 452 
104.64/28.06	o 453 
104.64/28.08	o 454 
104.64/28.10	o 455 
105.23/28.11	o 456 
105.23/28.13	o 457 
105.23/28.15	o 458 
105.23/28.17	o 459 
105.23/28.18	o 460 
105.69/28.20	o 461 
105.69/28.21	o 462 
105.69/28.23	o 463 
105.69/28.24	o 464 
105.69/28.26	o 465 
105.69/28.27	o 466 
105.69/28.29	o 467 
106.24/28.31	o 468 
106.24/28.32	o 469 
106.24/28.33	o 470 
106.24/28.35	o 471 
106.24/28.37	o 472 
106.73/28.42	o 473 
106.73/28.44	o 474 
106.73/28.45	o 475 
106.73/28.47	o 476 
106.73/28.49	o 477 
107.23/28.51	o 478 
107.23/28.55	o 479 
107.23/28.57	o 480 
107.23/28.59	o 481 
107.75/28.60	o 482 
107.75/28.62	o 483 
107.75/28.64	o 484 
107.75/28.65	o 485 
107.75/28.67	o 486 
107.75/28.69	o 487 
108.36/28.71	o 488 
108.36/28.73	o 489 
108.36/28.75	o 490 
108.36/28.77	o 491 
108.36/28.79	o 492 
108.83/28.81	o 493 
108.83/28.83	o 494 
108.83/28.85	o 495 
108.83/28.86	o 496 
108.83/28.88	o 497 
109.29/28.90	o 498 
109.29/28.92	o 499 
109.29/28.94	o 500 
109.29/28.96	o 501 
109.29/28.99	o 502 
109.29/29.01	o 503 
109.82/29.02	o 504 
109.82/29.04	o 505 
109.82/29.06	o 506 
109.82/29.07	o 507 
109.82/29.09	o 508 
110.37/29.11	o 509 
110.37/29.13	o 510 
110.37/29.15	o 511 
110.37/29.16	o 512 
110.37/29.18	o 513 
110.37/29.19	o 514 
110.90/29.21	o 515 
110.90/29.23	o 516 
110.90/29.25	o 517 
110.90/29.27	o 518 
110.90/29.29	o 519 
111.39/29.31	o 520 
111.39/29.34	o 521 
111.39/29.36	o 522 
111.39/29.38	o 523 
111.39/29.39	o 524 
111.97/29.41	o 525 
111.97/29.44	o 526 
111.97/29.46	o 527 
111.97/29.47	o 528 
112.42/29.51	o 529 
112.42/29.53	o 530 
112.42/29.54	o 531 
112.42/29.56	o 532 
112.42/29.58	o 533 
112.42/29.60	o 534 
112.89/29.62	o 535 
112.89/29.64	o 536 
112.89/29.66	o 537 
112.89/29.67	o 538 
112.89/29.69	o 539 
113.52/29.71	o 540 
113.52/29.73	o 541 
113.52/29.75	o 542 
113.52/29.77	o 543 
113.52/29.79	o 544 
114.03/29.81	o 545 
114.03/29.83	o 546 
114.03/29.85	o 547 
114.03/29.86	o 548 
114.03/29.88	o 549 
114.55/29.90	o 550 
114.55/29.92	o 551 
114.55/29.94	o 552 
114.55/29.96	o 553 
114.55/29.98	o 554 
114.55/30.00	o 555 
115.12/30.01	o 556 
115.12/30.03	o 557 
115.12/30.05	o 558 
115.12/30.07	o 559 
115.12/30.09	o 560 
115.67/30.11	o 561 
115.67/30.13	o 562 
115.67/30.16	o 563 
115.67/30.18	o 564 
116.15/30.20	o 565 
116.15/30.22	o 566 
116.15/30.24	o 567 
116.15/30.25	o 568 
116.15/30.27	o 569 
116.15/30.29	o 570 
116.75/30.31	o 571 
116.75/30.33	o 572 
116.75/30.35	o 573 
116.75/30.36	o 574 
116.75/30.38	o 575 
117.30/30.40	o 576 
117.30/30.42	o 577 
117.30/30.43	o 578 
117.30/30.46	o 579 
117.30/30.48	o 580 
117.30/30.49	o 581 
117.92/30.52	o 582 
117.92/30.54	o 583 
117.92/30.56	o 584 
117.92/30.58	o 585 
118.36/30.60	o 586 
118.36/30.61	o 587 
118.36/30.64	o 588 
118.36/30.66	o 589 
118.36/30.68	o 590 
118.36/30.69	o 591 
118.96/30.71	o 592 
118.96/30.73	o 593 
118.96/30.77	o 594 
118.96/30.78	o 595 
119.54/30.80	o 596 
119.54/30.82	o 597 
119.54/30.85	o 598 
119.54/30.87	o 599 
119.54/30.89	o 600 
120.11/30.91	o 601 
120.11/30.93	o 602 
120.11/30.95	o 603 
120.11/30.97	o 604 
120.11/30.99	o 605 
120.63/31.01	o 606 
120.63/31.03	o 607 
120.63/31.05	o 608 
120.63/31.07	o 609 
120.63/31.09	o 610 
121.17/31.11	o 611 
121.17/31.12	o 612 
121.17/31.16	o 613 
121.17/31.17	o 614 
121.17/31.19	o 615 
121.70/31.21	o 616 
121.70/31.23	o 617 
121.70/31.25	o 618 
121.70/31.27	o 619 
121.70/31.29	o 620 
122.26/31.31	o 621 
122.26/31.33	o 622 
122.26/31.34	o 623 
122.26/31.36	o 624 
122.26/31.38	o 625 
122.78/31.40	o 626 
122.78/31.42	o 627 
122.78/31.44	o 628 
122.78/31.46	o 629 
122.78/31.49	o 630 
123.33/31.50	o 631 
123.33/31.52	o 632 
123.33/31.54	o 633 
123.33/31.56	o 634 
123.33/31.59	o 635 
123.83/31.61	o 636 
123.83/31.62	o 637 
123.83/31.65	o 638 
123.83/31.66	o 639 
123.83/31.69	o 640 
124.41/31.71	o 641 
124.41/31.72	o 642 
124.41/31.74	o 643 
124.41/31.79	o 644 
125.81/32.61	o 645 
128.45/34.94	o 646 
128.45/34.97	o 647 
128.45/34.99	o 648 
128.45/35.00	o 649 
128.89/35.03	o 650 
128.89/35.05	o 651 
128.89/35.07	o 652 
128.89/35.09	o 653 
128.89/35.10	o 654 
129.40/35.13	o 655 
129.40/35.14	o 656 
129.40/35.16	o 657 
129.40/35.18	o 658 
129.90/35.20	o 659 
129.90/35.22	o 660 
129.90/35.25	o 661 
129.90/35.27	o 662 
129.90/35.28	o 663 
130.55/35.31	o 664 
130.55/35.32	o 665 
130.55/35.34	o 666 
130.55/35.36	o 667 
130.55/35.38	o 668 
130.55/35.39	o 669 
131.08/35.41	o 670 
131.08/35.43	o 671 
131.08/35.45	o 672 
131.08/35.47	o 673 
131.08/35.48	o 674 
131.71/35.51	o 675 
131.71/35.52	o 676 
131.71/35.54	o 677 
131.71/35.56	o 678 
131.71/35.58	o 679 
132.30/35.60	o 680 
132.30/35.62	o 681 
132.30/35.64	o 682 
132.30/35.66	o 683 
132.30/35.68	o 684 
132.84/35.70	o 685 
132.84/35.72	o 686 
132.84/35.74	o 687 
132.84/35.76	o 688 
132.84/35.78	o 689 
132.84/35.80	o 690 
133.39/35.82	o 691 
133.39/35.84	o 692 
133.39/35.85	o 693 
133.39/35.88	o 694 
133.97/35.91	o 695 
133.97/35.93	o 696 
133.97/35.95	o 697 
133.97/35.97	o 698 
133.97/35.99	o 699 
134.63/36.02	o 700 
134.63/36.04	o 701 
134.63/36.05	o 702 
134.63/36.07	o 703 
134.63/36.09	o 704 
135.18/36.11	o 705 
135.18/36.13	o 706 
135.18/36.15	o 707 
135.18/36.17	o 708 
135.18/36.18	o 709 
135.74/36.21	o 710 
135.74/36.23	o 711 
135.74/36.25	o 712 
135.74/36.27	o 713 
135.74/36.29	o 714 
136.30/36.31	o 715 
136.30/36.33	o 716 
136.30/36.35	o 717 
136.30/36.37	o 718 
136.30/36.38	o 719 
136.89/36.40	o 720 
136.89/36.42	o 721 
136.89/36.43	o 722 
136.89/36.45	o 723 
136.89/36.47	o 724 
136.89/36.49	o 725 
137.50/36.51	o 726 
137.50/36.52	o 727 
137.50/36.54	o 728 
137.50/36.56	o 729 
137.50/36.58	o 730 
138.12/36.61	o 731 
138.12/36.63	o 732 
138.12/36.65	o 733 
138.12/36.67	o 734 
138.12/36.68	o 735 
138.69/36.71	o 736 
138.69/36.73	o 737 
138.69/36.74	o 738 
138.69/36.77	o 739 
138.69/36.79	o 740 
139.27/36.81	o 741 
139.27/36.83	o 742 
139.27/36.84	o 743 
139.27/36.87	o 744 
139.27/36.89	o 745 
139.82/36.91	o 746 
139.82/36.93	o 747 
139.82/36.95	o 748 
139.82/36.97	o 749 
139.82/36.99	o 750 
139.82/37.00	o 751 
140.42/37.02	o 752 
140.42/37.05	o 753 
140.42/37.07	o 754 
140.42/37.10	o 755 
141.04/37.12	o 756 
141.04/37.14	o 757 
141.04/37.17	o 758 
141.04/37.19	o 759 
141.55/37.20	o 760 
141.55/37.22	o 761 
141.55/37.24	o 762 
141.55/37.26	o 763 
141.55/37.28	o 764 
142.14/37.30	o 765 
142.14/37.32	o 766 
142.14/37.34	o 767 
142.14/37.37	o 768 
142.14/37.39	o 769 
142.73/37.40	o 770 
142.73/37.42	o 771 
142.73/37.44	o 772 
142.73/37.46	o 773 
142.73/37.47	o 774 
142.73/37.49	o 775 
143.41/37.51	o 776 
143.41/37.53	o 777 
143.41/37.55	o 778 
143.41/37.58	o 779 
143.41/37.59	o 780 
144.01/37.61	o 781 
144.01/37.63	o 782 
144.01/37.67	o 783 
144.01/37.69	o 784 
144.62/37.71	o 785 
144.62/37.72	o 786 
144.62/37.75	o 787 
144.62/37.77	o 788 
145.18/37.80	o 789 
145.18/37.82	o 790 
145.18/37.85	o 791 
145.18/37.88	o 792 
145.18/37.89	o 793 
145.78/37.92	o 794 
145.78/37.94	o 795 
145.78/37.96	o 796 
145.78/37.98	o 797 
145.78/38.01	o 798 
146.31/38.03	o 799 
146.31/38.05	o 800 
146.31/38.07	o 801 
146.31/38.09	o 802 
146.92/38.11	o 803 
146.92/38.14	o 804 
146.92/38.16	o 805 
146.92/38.19	o 806 
147.38/38.21	o 807 
147.38/38.23	o 808 
147.38/38.24	o 809 
147.38/38.26	o 810 
147.38/38.28	o 811 
148.01/38.31	o 812 
148.01/38.33	o 813 
148.01/38.34	o 814 
148.01/38.36	o 815 
148.01/38.38	o 816 
148.59/38.40	o 817 
148.59/38.42	o 818 
148.59/38.44	o 819 
148.59/38.45	o 820 
148.59/38.47	o 821 
148.59/38.49	o 822 
149.19/38.52	o 823 
149.19/38.55	o 824 
149.19/38.57	o 825 
149.19/38.59	o 826 
149.81/38.61	o 827 
149.81/38.63	o 828 
149.81/38.65	o 829 
149.81/38.67	o 830 
149.81/38.69	o 831 
150.31/38.71	o 832 
150.31/38.73	o 833 
150.31/38.75	o 834 
150.31/38.77	o 835 
150.31/38.79	o 836 
150.98/38.81	o 837 
150.98/38.85	o 838 
152.04/39.50	o 839 
154.50/41.67	o 840 
154.50/41.69	o 841 
154.80/41.71	o 842 
154.80/41.73	o 843 
154.80/41.75	o 844 
154.80/41.77	o 845 
154.80/41.79	o 846 
155.39/41.82	o 847 
155.39/41.83	o 848 
155.39/41.85	o 849 
155.39/41.88	o 850 
155.88/41.90	o 851 
155.88/41.92	o 852 
155.88/41.95	o 853 
155.88/41.97	o 854 
155.88/41.99	o 855 
155.88/42.01	o 856 
156.53/42.03	o 857 
156.53/42.05	o 858 
156.53/42.08	o 859 
156.53/42.10	o 860 
157.14/42.12	o 861 
157.14/42.14	o 862 
157.14/42.16	o 863 
157.14/42.18	o 864 
157.64/42.21	o 865 
157.64/42.23	o 866 
157.64/42.25	o 867 
157.64/42.28	o 868 
158.19/42.30	o 869 
158.19/42.32	o 870 
158.19/42.34	o 871 
158.19/42.37	o 872 
158.19/42.39	o 873 
158.79/42.42	o 874 
158.79/42.44	o 875 
158.79/42.47	o 876 
158.79/42.49	o 877 
159.29/42.52	o 878 
159.29/42.55	o 879 
159.29/42.57	o 880 
159.29/42.59	o 881 
159.88/42.61	o 882 
159.88/42.63	o 883 
159.88/42.65	o 884 
159.88/42.67	o 885 
159.88/42.69	o 886 
160.42/42.72	o 887 
160.42/42.74	o 888 
160.42/42.76	o 889 
160.42/42.79	o 890 
161.05/42.81	o 891 
161.05/42.83	o 892 
161.05/42.85	o 893 
161.05/42.87	o 894 
161.05/42.90	o 895 
161.60/42.92	o 896 
161.60/42.95	o 897 
161.60/42.97	o 898 
161.60/42.99	o 899 
162.23/43.02	o 900 
162.23/43.04	o 901 
162.23/43.06	o 902 
162.23/43.08	o 903 
162.23/43.11	o 904 
162.81/43.13	o 905 
162.81/43.15	o 906 
162.81/43.17	o 907 
163.36/43.20	o 908 
163.36/43.22	o 909 
163.36/43.24	o 910 
163.36/43.27	o 911 
163.36/43.29	o 912 
164.01/43.31	o 913 
164.01/43.34	o 914 
164.01/43.36	o 915 
164.01/43.38	o 916 
164.55/43.40	o 917 
164.55/43.42	o 918 
164.55/43.45	o 919 
164.55/43.47	o 920 
164.55/43.50	o 921 
165.13/43.52	o 922 
165.13/43.54	o 923 
165.13/43.57	o 924 
165.13/43.59	o 925 
165.74/43.61	o 926 
165.74/43.64	o 927 
165.74/43.66	o 928 
165.74/43.68	o 929 
166.36/43.71	o 930 
166.36/43.72	o 931 
166.36/43.75	o 932 
166.36/43.77	o 933 
166.92/43.80	o 934 
166.92/43.83	o 935 
166.92/43.85	o 936 
166.92/43.88	o 937 
166.92/43.90	o 938 
167.48/43.92	o 939 
167.48/43.95	o 940 
167.48/43.97	o 941 
167.48/44.00	o 942 
168.06/44.02	o 943 
168.06/44.04	o 944 
168.06/44.07	o 945 
168.06/44.09	o 946 
168.69/44.12	o 947 
168.69/44.14	o 948 
168.69/44.16	o 949 
168.69/44.19	o 950 
169.22/44.22	o 951 
169.22/44.23	o 952 
169.22/44.25	o 953 
169.22/44.28	o 954 
169.78/44.31	o 955 
169.78/44.33	o 956 
169.78/44.35	o 957 
169.78/44.37	o 958 
169.78/44.39	o 959 
170.42/44.42	o 960 
170.42/44.44	o 961 
170.42/44.46	o 962 
170.42/44.48	o 963 
171.00/44.50	o 964 
171.00/44.53	o 965 
171.00/44.55	o 966 
171.00/44.58	o 967 
171.56/44.60	o 968 
171.56/44.63	o 969 
171.56/44.65	o 970 
171.56/44.67	o 971 
171.56/44.70	o 972 
172.13/44.72	o 973 
172.13/44.74	o 974 
172.13/44.76	o 975 
172.13/44.79	o 976 
172.78/44.82	o 977 
172.78/44.84	o 978 
172.78/44.86	o 979 
172.78/44.89	o 980 
173.36/44.91	o 981 
173.36/44.94	o 982 
173.36/44.96	o 983 
173.36/44.99	o 984 
173.36/45.02	o 985 
173.98/45.03	o 986 
173.98/45.05	o 987 
173.98/45.07	o 988 
173.98/45.10	o 989 
174.55/45.12	o 990 
174.55/45.14	o 991 
174.55/45.17	o 992 
174.55/45.20	o 993 
175.07/45.22	o 994 
175.07/45.25	o 995 
175.07/45.27	o 996 
175.07/45.30	o 997 
175.67/45.32	o 998 
175.67/45.34	o 999 
175.67/45.37	o 1000 
176.29/45.40	o 1001 
176.29/45.43	o 1002 
176.29/45.45	o 1003 
176.29/45.47	o 1004 
176.29/45.50	o 1005 
176.89/45.52	o 1006 
176.89/45.54	o 1007 
176.89/45.57	o 1008 
176.89/45.59	o 1009 
177.53/45.62	o 1010 
177.53/45.64	o 1011 
177.53/45.67	o 1012 
177.53/45.69	o 1013 
178.12/45.72	o 1014 
178.12/45.75	o 1015 
178.12/45.77	o 1016 
178.12/45.79	o 1017 
178.67/45.81	o 1018 
178.67/45.84	o 1019 
178.67/45.86	o 1020 
178.67/45.89	o 1021 
179.25/45.91	o 1022 
179.25/45.94	o 1023 
179.25/45.96	o 1024 
179.25/45.99	o 1025 
179.88/46.02	o 1026 
179.88/46.04	o 1027 
179.88/46.06	o 1028 
179.88/46.08	o 1029 
180.44/46.11	o 1030 
180.44/46.13	o 1031 
180.44/46.15	o 1032 
180.44/46.17	o 1033 
180.44/46.20	o 1034 
181.01/46.22	o 1035 
181.01/46.25	o 1036 
181.01/46.27	o 1037 
181.01/46.30	o 1038 
181.59/46.32	o 1039 
181.59/46.35	o 1040 
181.59/46.37	o 1041 
182.18/46.40	o 1042 
182.18/46.42	o 1043 
182.18/46.45	o 1044 
182.18/46.47	o 1045 
182.18/46.49	o 1046 
182.84/46.52	o 1047 
182.84/46.54	o 1048 
182.84/46.56	o 1049 
183.35/46.61	o 1050 
183.77/46.91	o 1051 
185.89/48.97	o 1052 
185.89/49.01	o 1053 
186.12/49.03	o 1054 
186.12/49.06	o 1055 
186.12/49.08	o 1056 
186.12/49.10	o 1057 
186.74/49.12	o 1058 
186.74/49.15	o 1059 
186.74/49.18	o 1060 
187.32/49.22	o 1061 
187.32/49.25	o 1062 
187.32/49.27	o 1063 
187.83/49.30	o 1064 
187.83/49.32	o 1065 
187.83/49.35	o 1066 
187.83/49.37	o 1067 
188.42/49.40	o 1068 
188.42/49.43	o 1069 
188.42/49.45	o 1070 
188.42/49.47	o 1071 
188.42/49.50	o 1072 
189.02/49.52	o 1073 
189.02/49.55	o 1074 
189.02/49.57	o 1075 
189.60/49.60	o 1076 
189.60/49.63	o 1077 
189.60/49.65	o 1078 
189.60/49.67	o 1079 
189.60/49.70	o 1080 
190.21/49.73	o 1081 
190.21/49.75	o 1082 
190.21/49.77	o 1083 
190.21/49.79	o 1084 
190.83/49.82	o 1085 
190.83/49.85	o 1086 
190.83/49.88	o 1087 
191.42/49.91	o 1088 
191.42/49.94	o 1089 
191.42/49.96	o 1090 
191.42/49.99	o 1091 
192.06/50.03	o 1092 
192.06/50.05	o 1093 
192.06/50.08	o 1094 
192.06/50.10	o 1095 
192.59/50.14	o 1096 
192.59/50.16	o 1097 
192.59/50.19	o 1098 
193.08/50.22	o 1099 
193.08/50.24	o 1100 
193.08/50.27	o 1101 
193.08/50.28	o 1102 
193.73/50.30	o 1103 
193.73/50.33	o 1104 
193.73/50.35	o 1105 
193.73/50.38	o 1106 
194.29/50.41	o 1107 
194.29/50.44	o 1108 
194.29/50.46	o 1109 
194.29/50.48	o 1110 
194.91/50.50	o 1111 
194.91/50.52	o 1112 
194.91/50.55	o 1113 
194.91/50.57	o 1114 
194.91/50.59	o 1115 
195.56/50.61	o 1116 
195.56/50.63	o 1117 
195.56/50.66	o 1118 
195.56/50.68	o 1119 
196.10/50.70	o 1120 
196.10/50.72	o 1121 
196.10/50.75	o 1122 
196.10/50.77	o 1123 
196.10/50.80	o 1124 
196.65/50.82	o 1125 
196.65/50.86	o 1126 
196.65/50.88	o 1127 
197.15/50.91	o 1128 
197.15/50.94	o 1129 
197.15/50.96	o 1130 
197.15/50.98	o 1131 
197.15/51.01	o 1132 
197.72/51.03	o 1133 
197.72/51.06	o 1134 
197.72/51.09	o 1135 
198.31/51.11	o 1136 
198.31/51.13	o 1137 
1800.66/252.07	s SATISFIABLE
1800.66/252.07	v <instantiation>
1800.66/252.07	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] 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[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] 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[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] 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[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] 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[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] 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[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] 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[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] 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[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] 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[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] 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[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] 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[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] 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[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] 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[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] 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[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] 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[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] 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[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] 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[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] 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[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] 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[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] 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[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] 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[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] 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[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] 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[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] 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[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] 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[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] 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[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] 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[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] 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[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] 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[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] 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[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] 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[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] 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[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] 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[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] 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[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] 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[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] 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[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] 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[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] 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[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] 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[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] 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[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] 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[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] 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[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] 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[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] 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[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] 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] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] 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[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][50] w[0][51] 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[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][50] w[1][51] 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[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][50] w[2][51] 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[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][50] w[3][51] 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[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][50] w[4][51] 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[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][50] w[5][51] 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[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][50] w[6][51] 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[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][50] w[7][51] 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[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][50] w[8][51] 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[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][50] w[9][51] 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[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][50] w[10][51] 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[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][50] w[11][51] 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[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][50] w[12][51] 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[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][50] w[13][51] 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[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][50] w[14][51] 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[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][50] w[15][51] 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[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][50] w[16][51] 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[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][50] w[17][51] 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[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][50] w[18][51] 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[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][50] w[19][51] 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[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][50] w[20][51] 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[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][50] w[21][51] 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[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][50] w[22][51] 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[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][50] w[23][51] 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[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][50] w[24][51] 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[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][50] w[25][51] 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[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][50] w[26][51] 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[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][50] w[27][51] 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[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][50] w[28][51] 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[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][50] w[29][51] 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[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][50] w[30][51] 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[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][50] w[31][51] 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[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][50] w[32][51] 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[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][50] w[33][51] 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[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][50] w[34][51] 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[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][50] w[35][51] 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[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][50] w[36][51] 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[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][50] w[37][51] 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[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][50] w[38][51] 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[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][50] w[39][51] 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[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][50] w[40][51] 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[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][50] w[41][51] 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[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][50] w[42][51] 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[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][50] w[43][51] 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] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][50] w[44][51] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][50] w[45][51] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][50] w[46][51] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][50] w[47][51] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][50] w[48][51] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][50] w[49][51] w[50][0] w[50][1] w[50][2] w[50][3] w[50][4] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][50] w[50][51] w[51][0] w[51][1] w[51][2] w[51][3] w[51][4] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][50] w[51][51] 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] ws[45] ws[46] ws[47] ws[48] ws[49] ws[50] ws[51] z </list>
1800.66/252.07	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 1 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 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 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 1 1 1 1 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 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 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 1 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 0 1 0 0 1 0 0 1 0 1 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 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 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 0 0 1 0 0 1 0 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 0 0 0 0 0 0 0 0 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 0 0 1 0 0 1 0 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 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 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 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 1 1 1 1 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 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 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 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 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 1 1 0 0 1 0 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 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 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 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 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 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 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 1 1 0 0 1 1 1 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 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 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 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 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 0 0 1 0 0 0 1 0 0 0 0 0 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 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 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 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 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 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 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 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 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 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 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 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 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 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 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 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 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 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 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 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2 2 0 2 2 0 2 2 0 1 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 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 2 1 1 2 1 1 2 1 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 1 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 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 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 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 0 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 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 0 0 0 0 0 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 1 1 0 1 1 0 1 1 0 1 1 0 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 0 0 0 0 0 0 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 1 1 0 0 1 0 0 0 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 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 1 0 2 2 1 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 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 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 0 0 0 0 0 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 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 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 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 1 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 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 0 0 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 0 0 0 0 0 1 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 2 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 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 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 0 0 0 0 0 0 0 1 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 0 1 0 1 0 0 0 1 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 0 0 0 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 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 1 0 0 0 0 0 2 0 1 2 0 2 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 0 0 0 0 1 0 1 2 0 2 0 1 0 0 0 0 0 0 0 0 2 1 1 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 2 0 2 1 0 0 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 0 1 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 2 2 2 1 1 2 1 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 1 0 0 2 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 2 2 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 2 2 1 1 0 0 1 1 1 1 0 0 1 1 2 2 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 16 16 16 34 34 34 95 99 100 102 106 108 162 167 169 170 173 180 211 212 214 239 239 243 270 275 285 311 314 317 359 367 381 386 388 392 416 424 432 451 453 461 481 483 490 528 538 554 578 595 620 652 1137 </values>
1800.66/252.07	v </instantiation>
1800.66/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	1137

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254850-1502639508/watcher-4254850-1502639508 -o /tmp/evaluation-result-4254850-1502639508/solver-4254850-1502639508 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1473466948 HOME/instance-4254850-1502639508.xml 

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

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

solver pid=7009, runsolver pid=7006

[startup+0.100111 s]*
/proc/loadavg: 7.71 6.98 4.49 2/200 7030
/proc/meminfo: memFree=26544920/32770624 swapFree=67108860/67108860
[pid=7009] ppid=7006 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7009/stat : 7009 (xcsp3-exec) S 7006 7009 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97022424 9740288 345 33554432000 4194304 5098028 140728166882112 140728166880216 139970589958780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12541952 140728166888554 140728166888764 140728166888764 140728166891499 0
/proc/7009/statm: 2378 345 289 221 0 87 0
[pid=7011] ppid=7009 vsize=25999808 memory=24720 CPUtime=0.12 cores=0-7
/proc/7011/stat : 7011 (java) S 7009 7009 6764 0 -1 1077944320 5597 0 0 0 11 1 0 0 20 0 20 0 97022424 26623803392 6180 33554432000 4194304 4196468 140724249638432 140724249620976 140465326739191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
/proc/7011/statm: 6499952 6180 2860 1 0 6488269 0
[pid=7011/tid=7012] ppid=7009 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7011/task/7012/stat : 7012 (java) R 7009 7009 6764 0 -1 4202560 3576 0 0 0 9 0 0 0 20 0 20 0 97022425 26623803392 6180 33554432000 4194304 4196468 140724249638432 140465330973728 140465326762781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7013] ppid=7009 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7011/task/7013/stat : 7013 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140465296452368 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7014] ppid=7009 vsize=25999808 memory=139854410737280 CPUtime=0 cores=0-7
/proc/7011/task/7014/stat : 7014 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140464883837840 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7015] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7015/stat : 7015 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140464882785296 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7016] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7016/stat : 7016 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140464881732752 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7017] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7017/stat : 7017 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140464880679184 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7018] ppid=7009 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7011/task/7018/stat : 7018 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140464879626640 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7019] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7019/stat : 7019 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140464878574096 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7020] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7020/stat : 7020 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26623803392 6180 33554432000 4194304 4196468 140724249638432 140464877521552 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7021] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7021/stat : 7021 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022427 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463867345392 140465326750338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7022] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7022/stat : 7022 (java) S 7009 7009 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97022427 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463866291616 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7023] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7023/stat : 7023 (java) S 7009 7009 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97022428 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463865239024 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7024] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7024/stat : 7024 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022430 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463864187600 140465326757787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7025] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7025/stat : 7025 (java) S 7009 7009 6764 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 97022430 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463863134192 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7026] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7026/stat : 7026 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022430 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463862081648 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7027] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7027/stat : 7027 (java) S 7009 7009 6764 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 97022430 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463861029104 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7028] ppid=7009 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7011/task/7028/stat : 7028 (java) S 7009 7009 6764 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 97022430 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463859976560 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7029] ppid=7009 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7029/stat : 7029 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97022430 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463858924256 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7030] ppid=7009 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7011/task/7030/stat : 7030 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022431 26623803392 6180 33554432000 4194304 4196468 140724249638432 140463857871792 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26100 KiB

[startup+0.210044 s]*
/proc/loadavg: 7.71 6.98 4.49 2/200 7030
/proc/meminfo: memFree=26535804/32770624 swapFree=67108860/67108860
[pid=7009] ppid=7006 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7009/stat : 7009 (xcsp3-exec) S 7006 7009 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97022424 9740288 345 33554432000 4194304 5098028 140728166882112 140728166880216 139970589958780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12541952 140728166888554 140728166888764 140728166888764 140728166891499 0
/proc/7009/statm: 2378 345 289 221 0 87 0
[pid=7011] ppid=7009 vsize=26004064 memory=37936 CPUtime=0.33 cores=0-7
/proc/7011/stat : 7011 (java) S 7009 7009 6764 0 -1 1077944320 8526 0 0 0 31 2 0 0 20 0 20 0 97022424 26628161536 9484 33554432000 4194304 4196468 140724249638432 140724249620976 140465326739191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
/proc/7011/statm: 6501016 9484 3065 1 0 6488269 0
[pid=7011/tid=7012] ppid=7009 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7011/task/7012/stat : 7012 (java) R 7009 7009 6764 0 -1 4202560 5470 0 0 0 18 1 0 0 20 0 20 0 97022425 26628161536 9487 33554432000 4194304 4196468 140724249638432 140465330960192 140465326761117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7013] ppid=7009 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/7011/task/7013/stat : 7013 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140465296452368 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7014] ppid=7009 vsize=26004064 memory=3833324568353498784 CPUtime=0 cores=0-7
/proc/7011/task/7014/stat : 7014 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140464883837840 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7015] ppid=7009 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7011/task/7015/stat : 7015 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140464882785296 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7016] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7016/stat : 7016 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140464881732752 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7017] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7017/stat : 7017 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140464880679184 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7018] ppid=7009 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7011/task/7018/stat : 7018 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140464879626640 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7019] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7019/stat : 7019 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140464878574096 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7020] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7020/stat : 7020 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 9487 33554432000 4194304 4196468 140724249638432 140464877521552 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7021] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7021/stat : 7021 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022427 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463867345392 140465326750338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7022] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7022/stat : 7022 (java) S 7009 7009 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97022427 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463866291616 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7023] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7023/stat : 7023 (java) S 7009 7009 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97022428 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463865239024 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7024] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7024/stat : 7024 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022430 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463864187600 140465326757787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7025] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7025/stat : 7025 (java) S 7009 7009 6764 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 97022430 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463863134192 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7026] ppid=7009 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7011/task/7026/stat : 7026 (java) S 7009 7009 6764 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 97022430 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463862081648 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7027] ppid=7009 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/7011/task/7027/stat : 7027 (java) S 7009 7009 6764 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 20 0 97022430 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463861029104 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7028] ppid=7009 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/7011/task/7028/stat : 7028 (java) S 7009 7009 6764 0 -1 1077944384 881 0 0 0 7 0 0 0 20 0 20 0 97022430 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463859976560 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7029] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7029/stat : 7029 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97022430 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463858924256 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7030] ppid=7009 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7011/task/7030/stat : 7030 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022431 26628161536 9487 33554432000 4194304 4196468 140724249638432 140463857871792 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39316 KiB

[startup+0.309328 s]*
/proc/loadavg: 7.71 6.98 4.49 4/200 7030
/proc/meminfo: memFree=26528608/32770624 swapFree=67108860/67108860
[pid=7009] ppid=7006 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7009/stat : 7009 (xcsp3-exec) S 7006 7009 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97022424 9740288 345 33554432000 4194304 5098028 140728166882112 140728166880216 139970589958780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12541952 140728166888554 140728166888764 140728166888764 140728166891499 0
/proc/7009/statm: 2378 345 289 221 0 87 0
[pid=7011] ppid=7009 vsize=26004064 memory=43148 CPUtime=0.49 cores=0-7
/proc/7011/stat : 7011 (java) S 7009 7009 6764 0 -1 1077944320 9480 0 0 0 47 2 0 0 20 0 20 0 97022424 26628161536 10787 33554432000 4194304 4196468 140724249638432 140724249620976 140465326739191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
/proc/7011/statm: 6501016 10787 3085 1 0 6488269 0
[pid=7011/tid=7012] ppid=7009 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7011/task/7012/stat : 7012 (java) R 7009 7009 6764 0 -1 4202560 6160 0 0 0 28 1 0 0 20 0 20 0 97022425 26628161536 10787 33554432000 4194304 4196468 140724249638432 140465330978224 140464963025933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7013] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7013/stat : 7013 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140465296452368 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7014] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7014/stat : 7014 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140464883837840 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7015] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7015/stat : 7015 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140464882785296 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7016] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7016/stat : 7016 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140464881732752 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7017] ppid=7009 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7011/task/7017/stat : 7017 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140464880679184 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7018] ppid=7009 vsize=26004064 memory=139854268691375 CPUtime=0 cores=0-7
/proc/7011/task/7018/stat : 7018 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140464879626640 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7019] ppid=7009 vsize=26004064 memory=139854268693680 CPUtime=0 cores=0-7
/proc/7011/task/7019/stat : 7019 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140464878574096 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7020] ppid=7009 vsize=26004064 memory=139854268695984 CPUtime=0 cores=0-7
/proc/7011/task/7020/stat : 7020 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628161536 10787 33554432000 4194304 4196468 140724249638432 140464877521552 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7021] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7021/stat : 7021 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022427 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463867345392 140465326750338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7022] ppid=7009 vsize=26004064 memory=279708537398928 CPUtime=0 cores=0-7
/proc/7011/task/7022/stat : 7022 (java) S 7009 7009 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97022427 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463866291616 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7023] ppid=7009 vsize=26004064 memory=279708537405840 CPUtime=0 cores=0-7
/proc/7011/task/7023/stat : 7023 (java) S 7009 7009 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97022428 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463865239024 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7024] ppid=7009 vsize=26004064 memory=279708537347120 CPUtime=0 cores=0-7
/proc/7011/task/7024/stat : 7024 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022430 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463864187600 140465326757787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7025] ppid=7009 vsize=26004064 memory=279708537419664 CPUtime=0.01 cores=0-7
/proc/7011/task/7025/stat : 7025 (java) S 7009 7009 6764 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 97022430 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463863134192 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7026] ppid=7009 vsize=26004064 memory=279708537426576 CPUtime=0.02 cores=0-7
/proc/7011/task/7026/stat : 7026 (java) S 7009 7009 6764 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 20 0 97022430 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463862081648 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7027] ppid=7009 vsize=26004064 memory=279708537424272 CPUtime=0.02 cores=0-7
/proc/7011/task/7027/stat : 7027 (java) S 7009 7009 6764 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 97022430 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463861029104 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7028] ppid=7009 vsize=26004064 memory=279708537440432 CPUtime=0.12 cores=0-7
/proc/7011/task/7028/stat : 7028 (java) R 7009 7009 6764 0 -1 4202560 1064 0 0 0 12 0 0 0 20 0 20 0 97022430 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463859976560 140465305108047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7029] ppid=7009 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7029/stat : 7029 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97022430 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463858924256 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7030] ppid=7009 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7011/task/7030/stat : 7030 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97022431 26628161536 10787 33554432000 4194304 4196468 140724249638432 140463857871792 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44528 KiB

[startup+0.700929 s]
/proc/loadavg: 7.71 6.98 4.49 6/200 7030
/proc/meminfo: memFree=26504756/32770624 swapFree=67108860/67108860
[pid=7009] ppid=7006 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7009/stat : 7009 (xcsp3-exec) S 7006 7009 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97022424 9740288 345 33554432000 4194304 5098028 140728166882112 140728166880216 139970589958780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12541952 140728166888554 140728166888764 140728166888764 140728166891499 0
/proc/7009/statm: 2378 345 289 221 0 87 0
[pid=7011] ppid=7009 vsize=26004140 memory=100600 CPUtime=1.93 cores=0-7
/proc/7011/stat : 7011 (java) S 7009 7009 6764 0 -1 1077944320 13604 0 0 0 188 5 0 0 20 0 20 0 97022424 26628239360 25150 33554432000 4194304 4196468 140724249638432 140724249620976 140465326739191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
/proc/7011/statm: 6501035 25150 3200 1 0 6488269 0
[pid=7011/tid=7012] ppid=7009 vsize=26004140 memory=279708537798320 CPUtime=0.67 cores=0-7
/proc/7011/task/7012/stat : 7012 (java) R 7009 7009 6764 0 -1 4202560 6573 0 0 0 65 2 0 0 20 0 20 0 97022425 26628239360 25150 33554432000 4194304 4196468 140724249638432 140465330974800 140465309147285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7013] ppid=7009 vsize=26004140 memory=139854268900208 CPUtime=0 cores=0-7
/proc/7011/task/7013/stat : 7013 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628239360 25150 33554432000 4194304 4196468 140724249638432 140465296452368 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7014] ppid=7009 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7011/task/7014/stat : 7014 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97022426 26628239360 25150 33554432000 4194304 4196468 140724249638432 140464883837840 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7015] ppid=7009 vsize=26004140 memory=1428 CPUtime=0 cores=0-7
/proc/7011/task/7015/stat : 7015 (java) S 7009 7009 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97022426 26628239360 25150 33554432000 4194304 4196468 140724249638432 140464882785296 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0

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

[pid=7011/tid=16047] ppid=7009 vsize=26541776 memory=1576 CPUtime=110.9 cores=0-7
/proc/7011/task/16047/stat : 16047 (java) R 7009 7009 6764 0 -1 4202560 3034 0 0 0 11088 2 0 0 20 0 28 0 97027538 27178778624 807941 33554432000 4194304 4196468 140724249638432 140463848812040 140464964017483 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
Current children cumulated CPU time: 1085.14 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3233144 KiB

[startup+222.302 s]
/proc/loadavg: 7.96 7.21 5.08 9/209 16054
/proc/meminfo: memFree=23308196/32770624 swapFree=67108860/67108860
[pid=7009] ppid=7006 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7009/stat : 7009 (xcsp3-exec) S 7006 7009 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97022424 9740288 345 33554432000 4194304 5098028 140728166882112 140728166880216 139970589958780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12541952 140728166888554 140728166888764 140728166888764 140728166891499 0
/proc/7009/statm: 2378 345 289 221 0 87 0
[pid=7011] ppid=7009 vsize=26541776 memory=3260460 CPUtime=1563.64 cores=0-7
/proc/7011/stat : 7011 (java) S 7009 7009 6764 0 -1 1077944320 234202 0 0 0 155836 528 0 0 20 0 28 0 97022424 27178778624 815115 33554432000 4194304 4196468 140724249638432 140724249620976 140465326739191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
/proc/7011/statm: 6635444 815115 3306 1 0 6622678 0
[pid=7011/tid=7012] ppid=7009 vsize=26541776 memory=3260460 CPUtime=8.83 cores=0-7
/proc/7011/task/7012/stat : 7012 (java) S 7009 7009 6764 0 -1 1077944384 12868 0 0 0 864 19 0 0 20 0 28 0 97022425 27178778624 815115 33554432000 4194304 4196468 140724249638432 140465330979904 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7013] ppid=7009 vsize=26541776 memory=3260460 CPUtime=1.01 cores=0-7
/proc/7011/task/7013/stat : 7013 (java) S 7009 7009 6764 0 -1 1077944384 1239 0 0 0 78 23 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140465296452368 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7014] ppid=7009 vsize=26541776 memory=3135388 CPUtime=1.01 cores=0-7
/proc/7011/task/7014/stat : 7014 (java) S 7009 7009 6764 0 -1 1077944384 2509 0 0 0 78 23 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140464883837840 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7015] ppid=7009 vsize=26541776 memory=3178396 CPUtime=1 cores=0-7
/proc/7011/task/7015/stat : 7015 (java) S 7009 7009 6764 0 -1 1077944384 1668 0 0 0 78 22 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140464882785296 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7016] ppid=7009 vsize=26541776 memory=3178452 CPUtime=1.01 cores=0-7
/proc/7011/task/7016/stat : 7016 (java) S 7009 7009 6764 0 -1 1077944384 1188 0 0 0 76 25 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140464881732752 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7017] ppid=7009 vsize=26541776 memory=3205116 CPUtime=0.98 cores=0-7
/proc/7011/task/7017/stat : 7017 (java) S 7009 7009 6764 0 -1 1077944384 2186 0 0 0 74 24 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140464880679184 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7018] ppid=7009 vsize=26541776 memory=3231764 CPUtime=1 cores=0-7
/proc/7011/task/7018/stat : 7018 (java) S 7009 7009 6764 0 -1 1077944384 1337 0 0 0 78 22 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140464879626640 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7019] ppid=7009 vsize=26541776 memory=3254316 CPUtime=1.02 cores=0-7
/proc/7011/task/7019/stat : 7019 (java) S 7009 7009 6764 0 -1 1077944384 1947 0 0 0 80 22 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140464878574096 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7020] ppid=7009 vsize=26541776 memory=3254316 CPUtime=0.98 cores=0-7
/proc/7011/task/7020/stat : 7020 (java) S 7009 7009 6764 0 -1 1077944384 1071 0 0 0 77 21 0 0 20 0 28 0 97022426 27178778624 815115 33554432000 4194304 4196468 140724249638432 140464877521552 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7021] ppid=7009 vsize=26541776 memory=3254316 CPUtime=0.11 cores=0-7
/proc/7011/task/7021/stat : 7021 (java) S 7009 7009 6764 0 -1 1077944384 6216 0 0 0 8 3 0 0 20 0 28 0 97022427 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463867345392 140465326750338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7022] ppid=7009 vsize=26541776 memory=3260460 CPUtime=0 cores=0-7
/proc/7011/task/7022/stat : 7022 (java) S 7009 7009 6764 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 97022427 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463866291680 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7023] ppid=7009 vsize=26541776 memory=3260460 CPUtime=0 cores=0-7
/proc/7011/task/7023/stat : 7023 (java) S 7009 7009 6764 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 97022428 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463865239040 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7024] ppid=7009 vsize=26541776 memory=3260460 CPUtime=0 cores=0-7
/proc/7011/task/7024/stat : 7024 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97022430 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463864187600 140465326757787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7025] ppid=7009 vsize=26541776 memory=1380 CPUtime=4.13 cores=0-7
/proc/7011/task/7025/stat : 7025 (java) S 7009 7009 6764 0 -1 1077944384 29684 0 0 0 407 6 0 0 20 0 28 0 97022430 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463863134192 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7026] ppid=7009 vsize=26541776 memory=1692 CPUtime=3.86 cores=0-7
/proc/7011/task/7026/stat : 7026 (java) S 7009 7009 6764 0 -1 1077944384 26912 0 0 0 380 6 0 0 20 0 28 0 97022430 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463862081648 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7027] ppid=7009 vsize=26541776 memory=916 CPUtime=3.46 cores=0-7
/proc/7011/task/7027/stat : 7027 (java) S 7009 7009 6764 0 -1 1077944384 21609 0 0 0 342 4 0 0 20 0 28 0 97022430 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463861029104 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7028] ppid=7009 vsize=26541776 memory=1012 CPUtime=1.33 cores=0-7
/proc/7011/task/7028/stat : 7028 (java) S 7009 7009 6764 0 -1 1077944384 19464 0 0 0 129 4 0 0 20 0 28 0 97022430 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463859976560 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7029] ppid=7009 vsize=26541776 memory=796 CPUtime=0 cores=0-7
/proc/7011/task/7029/stat : 7029 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97022430 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463858924256 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7030] ppid=7009 vsize=26541776 memory=1380 CPUtime=0.09 cores=0-7
/proc/7011/task/7030/stat : 7030 (java) S 7009 7009 6764 0 -1 1077944384 1844 0 0 0 4 5 0 0 20 0 28 0 97022431 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463857871792 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16040] ppid=7009 vsize=26541776 memory=1380 CPUtime=170.53 cores=0-7
/proc/7011/task/16040/stat : 16040 (java) R 7009 7009 6764 0 -1 4202560 3143 0 0 0 17049 4 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463847758592 140464973624451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16041] ppid=7009 vsize=26541776 memory=1380 CPUtime=169.21 cores=0-7
/proc/7011/task/16041/stat : 16041 (java) R 7009 7009 6764 0 -1 4202560 1903 0 0 0 16918 3 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463844598976 140464973623577 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16042] ppid=7009 vsize=26541776 memory=3254316 CPUtime=171.01 cores=0-7
/proc/7011/task/16042/stat : 16042 (java) R 7009 7009 6764 0 -1 4202560 1479 0 0 0 17100 1 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463846703496 140464973552348 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16043] ppid=7009 vsize=26541776 memory=3260460 CPUtime=170.92 cores=0-7
/proc/7011/task/16043/stat : 16043 (java) R 7009 7009 6764 0 -1 4202560 16261 0 0 0 17031 61 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463845651048 140464970578928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16044] ppid=7009 vsize=26541776 memory=1380 CPUtime=169.57 cores=0-7
/proc/7011/task/16044/stat : 16044 (java) R 7009 7009 6764 0 -1 4202560 2364 0 0 0 16956 1 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463842493240 140464973102552 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16045] ppid=7009 vsize=26541776 memory=3260460 CPUtime=170.94 cores=0-7
/proc/7011/task/16045/stat : 16045 (java) R 7009 7009 6764 0 -1 4202560 2724 0 0 0 17093 1 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463843545784 140464973291702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16046] ppid=7009 vsize=26541776 memory=4012 CPUtime=170.94 cores=0-7
/proc/7011/task/16046/stat : 16046 (java) R 7009 7009 6764 0 -1 4202560 3588 0 0 0 17087 7 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463839343496 140464974260988 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16047] ppid=7009 vsize=26541776 memory=2400 CPUtime=170.79 cores=0-7
/proc/7011/task/16047/stat : 16047 (java) R 7009 7009 6764 0 -1 4202560 4089 0 0 0 17077 2 0 0 20 0 28 0 97027538 27178778624 815115 33554432000 4194304 4196468 140724249638432 140463848809608 140464964011262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
Current children cumulated CPU time: 1563.64 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3261840 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.16 7.33 5.19 9/209 16054
/proc/meminfo: memFree=23300604/32770624 swapFree=67108860/67108860
[pid=7009] ppid=7006 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7009/stat : 7009 (xcsp3-exec) S 7006 7009 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97022424 9740288 345 33554432000 4194304 5098028 140728166882112 140728166880216 139970589958780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12541952 140728166888554 140728166888764 140728166888764 140728166891499 0
/proc/7009/statm: 2378 345 289 221 0 87 0
[pid=7011] ppid=7009 vsize=26541776 memory=3268668 CPUtime=1800.66 cores=0-7
/proc/7011/stat : 7011 (java) S 7009 7009 6764 0 -1 1077944320 240850 0 0 0 179533 533 0 0 20 0 28 0 97022424 27178778624 817167 33554432000 4194304 4196468 140724249638432 140724249620976 140465326739191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
/proc/7011/statm: 6635444 817167 3306 1 0 6622678 0
[pid=7011/tid=7012] ppid=7009 vsize=26541776 memory=8112282956445269571 CPUtime=8.83 cores=0-7
/proc/7011/task/7012/stat : 7012 (java) S 7009 7009 6764 0 -1 1077944384 12868 0 0 0 864 19 0 0 20 0 28 0 97022425 27178778624 817167 33554432000 4194304 4196468 140724249638432 140465330979904 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7013] ppid=7009 vsize=26541776 memory=15620 CPUtime=1.01 cores=0-7
/proc/7011/task/7013/stat : 7013 (java) S 7009 7009 6764 0 -1 1077944384 1336 0 0 0 78 23 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140465296452368 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7014] ppid=7009 vsize=26541776 memory=7306916055891837009 CPUtime=1.02 cores=0-7
/proc/7011/task/7014/stat : 7014 (java) S 7009 7009 6764 0 -1 1077944384 2520 0 0 0 79 23 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140464883837840 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7015] ppid=7009 vsize=26541776 memory=288285571665897998 CPUtime=1.01 cores=0-7
/proc/7011/task/7015/stat : 7015 (java) S 7009 7009 6764 0 -1 1077944384 1701 0 0 0 79 22 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140464882785296 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7016] ppid=7009 vsize=26541776 memory=4872558044660077418 CPUtime=1.01 cores=0-7
/proc/7011/task/7016/stat : 7016 (java) S 7009 7009 6764 0 -1 1077944384 1224 0 0 0 76 25 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140464881732752 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7017] ppid=7009 vsize=26541776 memory=1228 CPUtime=0.99 cores=0-7
/proc/7011/task/7017/stat : 7017 (java) S 7009 7009 6764 0 -1 1077944384 2581 0 0 0 75 24 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140464880679184 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7018] ppid=7009 vsize=26541776 memory=5300 CPUtime=1.01 cores=0-7
/proc/7011/task/7018/stat : 7018 (java) S 7009 7009 6764 0 -1 1077944384 1347 0 0 0 78 23 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140464879626640 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7019] ppid=7009 vsize=26541776 memory=4616 CPUtime=1.03 cores=0-7
/proc/7011/task/7019/stat : 7019 (java) S 7009 7009 6764 0 -1 1077944384 1963 0 0 0 81 22 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140464878574096 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7020] ppid=7009 vsize=26541776 memory=1928 CPUtime=0.99 cores=0-7
/proc/7011/task/7020/stat : 7020 (java) S 7009 7009 6764 0 -1 1077944384 1118 0 0 0 78 21 0 0 20 0 28 0 97022426 27178778624 817167 33554432000 4194304 4196468 140724249638432 140464877521552 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7021] ppid=7009 vsize=26541776 memory=1428 CPUtime=0.11 cores=0-7
/proc/7011/task/7021/stat : 7021 (java) S 7009 7009 6764 0 -1 1077944384 6481 0 0 0 8 3 0 0 20 0 28 0 97022427 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463867345392 140465326750338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7022] ppid=7009 vsize=26541776 memory=1196 CPUtime=0 cores=0-7
/proc/7011/task/7022/stat : 7022 (java) S 7009 7009 6764 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 97022427 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463866291680 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7023] ppid=7009 vsize=26541776 memory=10640 CPUtime=0 cores=0-7
/proc/7011/task/7023/stat : 7023 (java) S 7009 7009 6764 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 97022428 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463865239040 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7024] ppid=7009 vsize=26541776 memory=15876 CPUtime=0 cores=0-7
/proc/7011/task/7024/stat : 7024 (java) S 7009 7009 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97022430 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463864187600 140465326757787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7025] ppid=7009 vsize=26541776 memory=15732 CPUtime=4.13 cores=0-7
/proc/7011/task/7025/stat : 7025 (java) S 7009 7009 6764 0 -1 1077944384 29684 0 0 0 407 6 0 0 20 0 28 0 97022430 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463863134192 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7026] ppid=7009 vsize=26541776 memory=16432 CPUtime=3.86 cores=0-7
/proc/7011/task/7026/stat : 7026 (java) S 7009 7009 6764 0 -1 1077944384 27786 0 0 0 380 6 0 0 20 0 28 0 97022430 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463862081648 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7027] ppid=7009 vsize=26541776 memory=4040 CPUtime=3.51 cores=0-7
/proc/7011/task/7027/stat : 7027 (java) S 7009 7009 6764 0 -1 1077944384 22947 0 0 0 347 4 0 0 20 0 28 0 97022430 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463861029104 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7028] ppid=7009 vsize=26541776 memory=1792 CPUtime=1.33 cores=0-7
/proc/7011/task/7028/stat : 7028 (java) S 7009 7009 6764 0 -1 1077944384 19666 0 0 0 129 4 0 0 20 0 28 0 97022430 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463859976560 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7029] ppid=7009 vsize=26541776 memory=640 CPUtime=0 cores=0-7
/proc/7011/task/7029/stat : 7029 (java) S 7009 7009 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97022430 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463858924256 140465326749397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=7030] ppid=7009 vsize=26541776 memory=4012 CPUtime=0.11 cores=0-7
/proc/7011/task/7030/stat : 7030 (java) S 7009 7009 6764 0 -1 1077944384 1852 0 0 0 5 6 0 0 20 0 28 0 97022431 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463857871792 140465326750338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16040] ppid=7009 vsize=26541776 memory=27832 CPUtime=200.24 cores=0-7
/proc/7011/task/16040/stat : 16040 (java) R 7009 7009 6764 0 -1 4202560 3672 0 0 0 20018 6 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463847758656 140464973291900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16041] ppid=7009 vsize=26541776 memory=288230587427455269 CPUtime=198.88 cores=0-7
/proc/7011/task/16041/stat : 16041 (java) R 7009 7009 6764 0 -1 4202560 1968 0 0 0 19885 3 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463844599048 140464973079360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16042] ppid=7009 vsize=26541776 memory=14126732374443318 CPUtime=200.7 cores=0-7
/proc/7011/task/16042/stat : 16042 (java) R 7009 7009 6764 0 -1 4202560 1511 0 0 0 20069 1 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463846703624 140464973102552 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16043] ppid=7009 vsize=26541776 memory=1728 CPUtime=200.62 cores=0-7
/proc/7011/task/16043/stat : 16043 (java) R 7009 7009 6764 0 -1 4202560 18419 0 0 0 19999 63 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463845651176 140464970579378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16044] ppid=7009 vsize=26541776 memory=12032 CPUtime=198.66 cores=0-7
/proc/7011/task/16044/stat : 16044 (java) R 7009 7009 6764 0 -1 4202560 2431 0 0 0 19865 1 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463842493128 140464973624451 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16045] ppid=7009 vsize=26541776 memory=1708 CPUtime=200.64 cores=0-7
/proc/7011/task/16045/stat : 16045 (java) R 7009 7009 6764 0 -1 4202560 3023 0 0 0 20063 1 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463843545864 140464973681259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16046] ppid=7009 vsize=26541776 memory=1961 CPUtime=200.64 cores=0-7
/proc/7011/task/16046/stat : 16046 (java) R 7009 7009 6764 0 -1 4202560 3614 0 0 0 20057 7 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463839343232 140464973292018 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
[pid=7011/tid=16047] ppid=7009 vsize=26541776 memory=1428 CPUtime=200.43 cores=0-7
/proc/7011/task/16047/stat : 16047 (java) R 7009 7009 6764 0 -1 4202560 4229 0 0 0 20041 2 0 0 20 0 28 0 97027538 27178778624 817167 33554432000 4194304 4196468 140724249638432 140463848809464 140464972340553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140724249642136 140724249642312 140724249642312 140724249645007 0
Current children cumulated CPU time: 1800.66 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3270048 KiB

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

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

[startup+252.108 s]
# the end of solver process 7011 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1795.96 s, system=5.35405 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.108
CPU time (s): 1801.32
CPU user time (s): 1795.96
CPU system time (s): 5.35405
CPU usage (%): 714.501
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 3270048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.96
system time used= 5.35405
maximum resident set size= 3269132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242246
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76890
involuntary context switches= 18817


# summary of solver processes directly reported to runsolver:
#   pid: 7009,7011
#   total CPU time (s): 1801.32
#   total CPU user time (s): 1795.96
#   total CPU system time (s): 5.35405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07336 second user time and 3.16939 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 17:37:29
IDJOB=4254850
IDBENCH=115882
IDSOLVER=2636
FILE ID=node105/4254850-1502639508
RUNJOBID= node105-1502638143-6791
PBS_JOBID= 20628331
Free space on /tmp= 60664 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.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-4254850-1502639508/watcher-4254850-1502639508 -o /tmp/evaluation-result-4254850-1502639508/solver-4254850-1502639508 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1473466948 HOME/instance-4254850-1502639508.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1473466948

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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:        26558976 kB
MemAvailable:   31975820 kB
Buffers:          173452 kB
Cached:          5518916 kB
SwapCached:            0 kB
Active:           673192 kB
Inactive:        5072204 kB
Active(anon):      55804 kB
Inactive(anon):    25060 kB
Active(file):     617388 kB
Inactive(file):  5047144 kB
Unevictable:        6248 kB
Mlocked:            6248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             4 kB
AnonPages:         59452 kB
Mapped:            43560 kB
Shmem:             25228 kB
Slab:             161576 kB
SReclaimable:     136296 kB
SUnreclaim:        25280 kB
KernelStack:        3168 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     322912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60656 MiB
End job on node105 at 2017-08-13 17:41:42