Trace number 4270810

Some explanations

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

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

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

Solver answer on this benchmark

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

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 benchmark1196
Best CPU time to get the best result obtained on this benchmark2400.09
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-4270810-1502666741.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270810-1502666741.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
13.43/7.32	c solve instance...
49.32/11.94	o 0 
50.03/12.02	o 4 
53.37/13.00	o 6 
53.50/13.02	o 8 
57.64/16.55	o 10 
57.64/16.58	o 12 
57.97/16.62	o 14 
57.97/16.68	o 16 
58.50/16.73	o 18 
59.21/16.80	o 24 
59.21/16.83	o 25 
59.21/16.85	o 26 
59.21/16.86	o 27 
59.21/16.88	o 28 
59.73/16.90	o 29 
59.73/16.92	o 30 
59.73/16.94	o 31 
59.73/16.97	o 32 
59.73/16.98	o 33 
59.73/17.00	o 34 
60.27/17.02	o 35 
60.27/17.04	o 36 
60.27/17.06	o 37 
60.27/17.08	o 38 
60.27/17.10	o 39 
60.69/17.12	o 40 
60.69/17.13	o 41 
60.69/17.15	o 42 
60.69/17.18	o 43 
60.69/17.20	o 44 
61.04/17.22	o 45 
61.04/17.24	o 46 
61.04/17.25	o 47 
61.04/17.27	o 48 
61.04/17.29	o 49 
61.62/17.31	o 50 
61.62/17.33	o 51 
61.62/17.35	o 52 
61.62/17.38	o 53 
61.62/17.39	o 54 
62.10/17.41	o 55 
62.10/17.43	o 56 
62.10/17.44	o 57 
62.10/17.46	o 58 
62.10/17.49	o 59 
62.55/17.51	o 60 
62.55/17.52	o 61 
62.55/17.54	o 62 
62.55/17.56	o 63 
62.55/17.58	o 64 
62.55/17.59	o 65 
62.99/17.61	o 66 
62.99/17.63	o 67 
62.99/17.65	o 68 
62.99/17.67	o 69 
62.99/17.70	o 70 
63.44/17.71	o 71 
63.44/17.73	o 72 
63.44/17.75	o 73 
63.44/17.77	o 74 
63.44/17.79	o 75 
63.91/17.80	o 76 
63.91/17.82	o 77 
63.91/17.84	o 78 
63.91/17.86	o 79 
63.91/17.88	o 80 
64.36/17.91	o 81 
64.36/17.92	o 82 
64.36/17.95	o 83 
64.36/17.97	o 84 
64.36/17.98	o 85 
64.36/18.00	o 86 
64.82/18.03	o 87 
64.82/18.04	o 88 
64.82/18.06	o 89 
64.82/18.08	o 90 
64.82/18.09	o 91 
65.31/18.11	o 92 
65.31/18.13	o 93 
65.31/18.14	o 94 
65.31/18.16	o 95 
65.31/18.18	o 96 
65.31/18.19	o 97 
65.81/18.21	o 98 
65.81/18.23	o 99 
65.81/18.26	o 100 
65.81/18.29	o 101 
66.13/18.31	o 102 
66.13/18.34	o 103 
66.13/18.36	o 104 
66.13/18.38	o 105 
66.58/18.41	o 106 
66.58/18.43	o 107 
66.58/18.46	o 108 
66.58/18.48	o 109 
66.94/18.50	o 110 
66.94/18.52	o 111 
66.94/18.54	o 112 
66.94/18.56	o 113 
66.94/18.58	o 114 
67.38/18.60	o 115 
67.38/18.61	o 116 
67.38/18.63	o 117 
67.38/18.65	o 118 
67.38/18.67	o 119 
67.38/18.68	o 120 
67.90/18.70	o 121 
67.90/18.73	o 122 
67.90/18.76	o 123 
67.90/18.77	o 124 
68.34/18.80	o 125 
68.34/18.82	o 126 
68.34/18.84	o 127 
68.34/18.85	o 128 
68.34/18.88	o 129 
68.34/18.89	o 130 
68.86/18.91	o 131 
68.86/18.94	o 132 
68.86/18.95	o 133 
68.86/18.98	o 134 
68.86/18.99	o 135 
68.86/19.01	o 136 
69.32/19.03	o 137 
69.32/19.04	o 138 
69.32/19.07	o 139 
69.32/19.09	o 140 
69.32/19.10	o 141 
69.82/19.12	o 142 
69.82/19.13	o 143 
69.82/19.14	o 144 
69.82/19.16	o 145 
69.82/19.18	o 146 
70.21/19.20	o 147 
70.21/19.21	o 148 
70.21/19.23	o 149 
70.21/19.25	o 150 
70.21/19.26	o 151 
70.21/19.28	o 152 
70.70/19.30	o 153 
70.70/19.32	o 154 
70.70/19.33	o 155 
70.70/19.35	o 156 
70.70/19.37	o 157 
70.70/19.39	o 158 
71.20/19.41	o 159 
71.20/19.42	o 160 
71.20/19.44	o 161 
71.20/19.45	o 162 
71.20/19.47	o 163 
71.20/19.49	o 164 
71.67/19.50	o 165 
71.67/19.53	o 166 
71.67/19.54	o 167 
71.67/19.56	o 168 
71.67/19.58	o 169 
71.67/19.59	o 170 
72.19/19.62	o 171 
72.19/19.64	o 172 
72.19/19.66	o 173 
72.19/19.67	o 174 
72.19/19.70	o 175 
72.60/19.71	o 176 
72.60/19.73	o 177 
72.60/19.75	o 178 
72.60/19.78	o 179 
72.60/19.79	o 180 
73.10/19.81	o 181 
73.10/19.83	o 182 
73.10/19.85	o 183 
73.10/19.86	o 184 
73.10/19.88	o 185 
73.55/19.90	o 186 
73.55/19.92	o 187 
73.55/19.94	o 188 
73.55/19.96	o 189 
73.55/19.98	o 190 
73.55/20.00	o 191 
74.03/20.02	o 192 
74.03/20.05	o 193 
74.03/20.07	o 194 
74.03/20.08	o 195 
74.03/20.10	o 196 
74.54/20.11	o 197 
74.54/20.13	o 198 
74.54/20.15	o 199 
74.54/20.17	o 200 
74.54/20.18	o 201 
74.97/20.20	o 202 
74.97/20.22	o 203 
74.97/20.24	o 204 
74.97/20.26	o 205 
74.97/20.28	o 206 
75.42/20.30	o 207 
75.42/20.31	o 208 
75.42/20.35	o 209 
75.42/20.37	o 210 
75.42/20.39	o 211 
75.91/20.41	o 212 
75.91/20.42	o 213 
75.91/20.44	o 214 
75.91/20.45	o 215 
75.91/20.47	o 216 
75.91/20.49	o 217 
76.43/20.50	o 218 
76.43/20.52	o 219 
76.43/20.54	o 220 
76.43/20.55	o 221 
76.43/20.57	o 222 
76.43/20.59	o 223 
76.96/20.62	o 224 
76.96/20.65	o 225 
76.96/20.66	o 226 
76.96/20.69	o 227 
77.43/20.71	o 228 
77.43/20.73	o 229 
77.43/20.74	o 230 
77.43/20.76	o 231 
77.43/20.78	o 232 
77.90/20.81	o 233 
77.90/20.82	o 234 
77.90/20.84	o 235 
77.90/20.86	o 236 
77.90/20.88	o 237 
77.90/20.89	o 238 
78.33/20.92	o 239 
78.33/20.94	o 240 
78.33/20.96	o 241 
78.33/20.98	o 242 
78.33/20.99	o 243 
78.94/21.02	o 244 
78.94/21.04	o 245 
78.94/21.06	o 246 
78.94/21.07	o 247 
78.94/21.09	o 248 
79.37/21.11	o 249 
79.37/21.13	o 250 
79.37/21.14	o 251 
79.37/21.16	o 252 
79.37/21.18	o 253 
79.37/21.20	o 254 
79.81/21.21	o 255 
79.81/21.23	o 256 
79.81/21.26	o 257 
79.81/21.27	o 258 
79.81/21.29	o 259 
80.35/21.31	o 260 
80.35/21.33	o 261 
80.35/21.34	o 262 
80.35/21.36	o 263 
80.35/21.38	o 264 
80.35/21.40	o 265 
80.82/21.41	o 266 
80.82/21.43	o 267 
80.82/21.45	o 268 
80.82/21.46	o 269 
80.82/21.49	o 270 
81.32/21.51	o 271 
81.32/21.52	o 272 
81.32/21.54	o 273 
81.32/21.57	o 274 
81.32/21.59	o 275 
81.78/21.62	o 276 
81.78/21.63	o 277 
81.78/21.65	o 278 
81.78/21.67	o 279 
81.78/21.69	o 280 
82.23/21.72	o 281 
82.23/21.74	o 282 
82.23/21.76	o 283 
82.23/21.78	o 284 
82.68/21.81	o 285 
82.68/21.83	o 286 
82.68/21.85	o 287 
82.68/21.86	o 288 
82.68/21.88	o 289 
83.14/21.90	o 290 
83.14/21.91	o 291 
83.14/21.93	o 292 
83.14/21.95	o 293 
83.14/21.97	o 294 
83.14/21.99	o 295 
83.14/22.01	o 296 
83.69/22.03	o 297 
83.69/22.04	o 298 
83.69/22.08	o 299 
83.69/22.09	o 300 
84.15/22.11	o 301 
84.15/22.13	o 302 
84.15/22.15	o 303 
84.15/22.17	o 304 
84.15/22.19	o 305 
84.56/22.21	o 306 
84.56/22.23	o 307 
84.56/22.25	o 308 
84.56/22.27	o 309 
84.56/22.29	o 310 
85.10/22.31	o 311 
85.10/22.33	o 312 
85.10/22.35	o 313 
85.10/22.36	o 314 
85.10/22.39	o 315 
85.55/22.40	o 316 
85.55/22.42	o 317 
85.55/22.44	o 318 
85.55/22.46	o 319 
85.55/22.47	o 320 
85.55/22.49	o 321 
86.11/22.51	o 322 
86.11/22.53	o 323 
86.11/22.54	o 324 
86.11/22.56	o 325 
86.11/22.59	o 326 
86.59/22.60	o 327 
86.59/22.62	o 328 
86.59/22.64	o 329 
86.59/22.66	o 330 
86.59/22.68	o 331 
87.06/22.70	o 332 
87.06/22.72	o 333 
87.06/22.75	o 334 
87.06/22.77	o 335 
87.06/22.78	o 336 
87.52/22.80	o 337 
87.52/22.82	o 338 
87.52/22.84	o 339 
87.52/22.86	o 340 
87.52/22.87	o 341 
87.52/22.89	o 342 
87.97/22.92	o 343 
87.97/22.95	o 344 
87.97/22.97	o 345 
87.97/22.99	o 346 
87.97/23.00	o 347 
88.54/23.02	o 348 
88.54/23.04	o 349 
88.54/23.06	o 350 
88.54/23.08	o 351 
88.54/23.09	o 352 
89.07/23.12	o 353 
89.07/23.14	o 354 
89.07/23.16	o 355 
89.07/23.17	o 356 
89.07/23.20	o 357 
89.43/23.22	o 358 
89.43/23.23	o 359 
89.43/23.25	o 360 
89.43/23.27	o 361 
89.43/23.29	o 362 
89.99/23.30	o 363 
89.99/23.32	o 364 
89.99/23.35	o 365 
89.99/23.37	o 366 
90.43/23.40	o 367 
90.43/23.42	o 368 
90.43/23.44	o 369 
90.43/23.46	o 370 
90.43/23.48	o 371 
90.43/23.50	o 372 
90.91/23.51	o 373 
90.91/23.53	o 374 
90.91/23.55	o 375 
90.91/23.57	o 376 
90.91/23.59	o 377 
91.46/23.61	o 378 
91.46/23.63	o 379 
91.46/23.66	o 380 
91.46/23.68	o 381 
91.94/23.70	o 382 
91.94/23.72	o 383 
91.94/23.74	o 384 
91.94/23.76	o 385 
91.94/23.78	o 386 
92.43/23.80	o 387 
92.43/23.82	o 388 
92.43/23.83	o 389 
92.43/23.85	o 390 
92.43/23.87	o 391 
92.43/23.89	o 392 
92.97/23.90	o 393 
92.97/23.92	o 394 
92.97/23.94	o 395 
92.97/23.95	o 396 
92.97/23.97	o 397 
92.97/23.99	o 398 
92.97/24.00	o 399 
93.57/24.02	o 400 
93.57/24.04	o 401 
93.57/24.06	o 402 
93.57/24.07	o 403 
93.57/24.09	o 404 
94.10/24.11	o 405 
94.10/24.12	o 406 
94.10/24.14	o 407 
94.10/24.15	o 408 
94.10/24.17	o 409 
94.10/24.19	o 410 
94.63/24.23	o 411 
94.63/24.25	o 412 
94.63/24.27	o 413 
94.63/24.29	o 414 
95.16/24.30	o 415 
95.16/24.31	o 416 
95.16/24.33	o 417 
95.16/24.34	o 418 
95.16/24.36	o 419 
95.16/24.38	o 420 
95.16/24.39	o 421 
95.79/24.41	o 422 
95.79/24.42	o 423 
95.79/24.44	o 424 
95.79/24.45	o 425 
95.79/24.46	o 426 
95.79/24.48	o 427 
95.79/24.50	o 428 
96.34/24.51	o 429 
96.34/24.53	o 430 
96.34/24.54	o 431 
96.34/24.56	o 432 
96.34/24.57	o 433 
96.34/24.59	o 434 
96.96/24.61	o 435 
96.96/24.62	o 436 
96.96/24.64	o 437 
96.96/24.66	o 438 
96.96/24.68	o 439 
96.96/24.70	o 440 
97.47/24.72	o 441 
97.47/24.74	o 442 
97.47/24.76	o 443 
97.47/24.78	o 444 
97.96/24.80	o 445 
97.96/24.82	o 446 
97.96/24.84	o 447 
97.96/24.87	o 448 
97.96/24.89	o 449 
98.52/24.91	o 450 
98.52/24.93	o 451 
98.52/24.94	o 452 
98.52/24.96	o 453 
98.52/24.98	o 454 
98.52/25.00	o 455 
99.03/25.02	o 456 
99.03/25.03	o 457 
99.03/25.06	o 458 
99.03/25.07	o 459 
99.03/25.09	o 460 
99.54/25.11	o 461 
99.54/25.13	o 462 
99.54/25.15	o 463 
99.54/25.17	o 464 
99.54/25.18	o 465 
100.02/25.20	o 466 
100.02/25.22	o 467 
100.02/25.24	o 468 
100.02/25.26	o 469 
100.02/25.28	o 470 
100.02/25.30	o 471 
100.54/25.31	o 472 
100.54/25.33	o 473 
100.54/25.35	o 474 
100.54/25.39	o 475 
101.01/25.41	o 476 
101.01/25.43	o 477 
101.01/25.45	o 478 
101.01/25.47	o 479 
101.01/25.49	o 480 
101.58/25.50	o 481 
101.58/25.52	o 482 
101.58/25.54	o 483 
101.58/25.57	o 484 
101.58/25.59	o 485 
102.20/25.61	o 486 
102.20/25.63	o 487 
102.20/25.65	o 488 
102.20/25.67	o 489 
102.20/25.68	o 490 
102.68/25.71	o 491 
102.68/25.77	o 492 
103.59/26.18	o 493 
106.85/28.89	o 494 
107.03/28.91	o 495 
107.03/28.93	o 496 
107.03/28.95	o 497 
107.03/28.97	o 498 
107.03/28.99	o 499 
107.03/29.00	o 500 
107.58/29.02	o 501 
107.58/29.04	o 502 
107.58/29.06	o 503 
107.58/29.08	o 504 
107.58/29.10	o 505 
108.11/29.11	o 506 
108.11/29.14	o 507 
108.11/29.15	o 508 
108.11/29.18	o 509 
108.11/29.19	o 510 
108.52/29.22	o 511 
108.52/29.23	o 512 
108.52/29.25	o 513 
108.52/29.27	o 514 
108.52/29.29	o 515 
109.08/29.31	o 516 
109.08/29.32	o 517 
109.08/29.34	o 518 
109.08/29.36	o 519 
109.08/29.37	o 520 
109.65/29.41	o 521 
109.65/29.43	o 522 
109.65/29.45	o 523 
109.65/29.46	o 524 
109.65/29.48	o 525 
109.65/29.50	o 526 
110.14/29.51	o 527 
110.14/29.53	o 528 
110.14/29.54	o 529 
110.14/29.56	o 530 
110.14/29.58	o 531 
110.14/29.60	o 532 
110.69/29.61	o 533 
110.69/29.63	o 534 
110.69/29.65	o 535 
110.69/29.67	o 536 
110.69/29.69	o 537 
111.24/29.70	o 538 
111.24/29.72	o 539 
111.24/29.74	o 540 
111.24/29.76	o 541 
111.24/29.78	o 542 
111.75/29.80	o 543 
111.75/29.81	o 544 
111.75/29.83	o 545 
111.75/29.85	o 546 
111.75/29.87	o 547 
111.75/29.89	o 548 
112.33/29.90	o 549 
112.33/29.92	o 550 
112.33/29.94	o 551 
112.33/29.96	o 552 
112.33/29.98	o 553 
112.33/29.99	o 554 
112.33/30.01	o 555 
112.95/30.03	o 556 
112.95/30.04	o 557 
112.95/30.06	o 558 
112.95/30.08	o 559 
112.95/30.10	o 560 
113.53/30.12	o 561 
113.53/30.14	o 562 
113.53/30.16	o 563 
113.53/30.19	o 564 
114.01/30.21	o 565 
114.01/30.23	o 566 
114.01/30.25	o 567 
114.01/30.27	o 568 
114.01/30.29	o 569 
114.53/30.30	o 570 
114.53/30.32	o 571 
114.53/30.34	o 572 
114.53/30.36	o 573 
114.53/30.38	o 574 
114.53/30.39	o 575 
115.08/30.41	o 576 
115.08/30.43	o 577 
115.08/30.45	o 578 
115.08/30.46	o 579 
115.08/30.48	o 580 
115.69/30.50	o 581 
115.69/30.52	o 582 
115.69/30.54	o 583 
115.69/30.56	o 584 
115.69/30.57	o 585 
115.69/30.59	o 586 
116.31/30.61	o 587 
116.31/30.63	o 588 
116.31/30.65	o 589 
116.31/30.66	o 590 
116.31/30.68	o 591 
116.85/30.71	o 592 
116.85/30.73	o 593 
116.85/30.75	o 594 
116.85/30.76	o 595 
116.85/30.78	o 596 
117.41/30.80	o 597 
117.41/30.81	o 598 
117.41/30.83	o 599 
117.41/30.85	o 600 
117.41/30.87	o 601 
117.41/30.89	o 602 
117.98/30.90	o 603 
117.98/30.92	o 604 
117.98/30.94	o 605 
117.98/30.96	o 606 
117.98/30.97	o 607 
117.98/30.99	o 608 
118.51/31.02	o 609 
118.51/31.03	o 610 
118.51/31.05	o 611 
118.51/31.08	o 612 
118.51/31.10	o 613 
119.13/31.12	o 614 
119.13/31.14	o 615 
119.13/31.16	o 616 
119.13/31.17	o 617 
119.13/31.19	o 618 
119.66/31.21	o 619 
119.66/31.23	o 620 
119.66/31.25	o 621 
119.66/31.26	o 622 
119.66/31.28	o 623 
120.19/31.30	o 624 
120.19/31.32	o 625 
120.19/31.33	o 626 
120.19/31.35	o 627 
120.19/31.37	o 628 
120.19/31.39	o 629 
120.82/31.41	o 630 
120.82/31.42	o 631 
120.82/31.44	o 632 
120.82/31.46	o 633 
120.82/31.47	o 634 
120.82/31.49	o 635 
121.39/31.51	o 636 
121.39/31.53	o 637 
121.39/31.55	o 638 
121.39/31.56	o 639 
121.39/31.58	o 640 
121.89/31.60	o 641 
121.89/31.62	o 642 
121.89/31.64	o 643 
121.89/31.67	o 644 
121.89/31.68	o 645 
122.44/31.70	o 646 
122.44/31.72	o 647 
122.44/31.74	o 648 
122.44/31.76	o 649 
122.44/31.78	o 650 
122.44/31.79	o 651 
123.02/31.81	o 652 
123.02/31.83	o 653 
123.02/31.85	o 654 
123.02/31.87	o 655 
123.02/31.90	o 656 
123.61/31.91	o 657 
123.61/31.93	o 658 
123.61/31.95	o 659 
123.61/31.97	o 660 
123.61/31.99	o 661 
123.61/32.01	o 662 
124.27/32.03	o 663 
124.27/32.04	o 664 
124.27/32.06	o 665 
124.27/32.08	o 666 
124.27/32.10	o 667 
124.85/32.12	o 668 
124.85/32.14	o 669 
124.85/32.16	o 670 
124.85/32.18	o 671 
124.85/32.20	o 672 
125.31/32.22	o 673 
125.31/32.24	o 674 
125.31/32.26	o 675 
125.31/32.28	o 676 
125.31/32.30	o 677 
125.88/32.31	o 678 
125.88/32.33	o 679 
125.88/32.35	o 680 
125.88/32.37	o 681 
125.88/32.39	o 682 
126.51/32.40	o 683 
126.51/32.42	o 684 
126.51/32.44	o 685 
126.51/32.48	o 686 
127.07/32.50	o 687 
127.07/32.52	o 688 
127.07/32.54	o 689 
127.07/32.56	o 690 
127.07/32.58	o 691 
127.67/32.60	o 692 
127.67/32.62	o 693 
127.67/32.63	o 694 
127.67/32.65	o 695 
127.67/32.68	o 696 
128.21/32.70	o 697 
128.21/32.72	o 698 
128.21/32.74	o 699 
128.21/32.76	o 700 
128.21/32.78	o 701 
128.21/32.80	o 702 
128.79/32.82	o 703 
128.79/32.84	o 704 
128.79/32.85	o 705 
128.79/32.87	o 706 
128.79/32.89	o 707 
129.45/32.91	o 708 
129.45/32.93	o 709 
129.45/32.95	o 710 
129.45/32.97	o 711 
129.45/32.99	o 712 
129.45/33.01	o 713 
130.08/33.02	o 714 
130.08/33.04	o 715 
130.08/33.06	o 716 
130.08/33.08	o 717 
130.08/33.10	o 718 
130.73/33.12	o 719 
130.73/33.14	o 720 
130.73/33.16	o 721 
130.73/33.17	o 722 
130.73/33.19	o 723 
131.25/33.21	o 724 
131.25/33.26	o 725 
131.76/33.47	o 726 
134.24/35.85	o 727 
134.24/35.87	o 728 
134.24/35.90	o 729 
134.55/35.92	o 730 
134.55/35.93	o 731 
134.55/35.95	o 732 
134.55/35.97	o 733 
134.55/35.99	o 734 
134.55/36.00	o 735 
135.22/36.02	o 736 
135.22/36.04	o 737 
135.22/36.06	o 738 
135.22/36.07	o 739 
135.22/36.09	o 740 
135.84/36.11	o 741 
135.84/36.13	o 742 
135.84/36.15	o 743 
135.84/36.16	o 744 
135.84/36.18	o 745 
136.40/36.20	o 746 
136.40/36.22	o 747 
136.40/36.24	o 748 
136.40/36.25	o 749 
136.40/36.27	o 750 
136.40/36.29	o 751 
137.02/36.31	o 752 
137.02/36.32	o 753 
137.02/36.34	o 754 
137.02/36.36	o 755 
137.02/36.38	o 756 
137.02/36.40	o 757 
137.57/36.42	o 758 
137.57/36.43	o 759 
137.57/36.46	o 760 
137.57/36.48	o 761 
137.57/36.50	o 762 
138.16/36.52	o 763 
138.16/36.54	o 764 
138.16/36.56	o 765 
138.16/36.58	o 766 
138.72/36.60	o 767 
138.72/36.62	o 768 
138.72/36.64	o 769 
138.72/36.66	o 770 
138.72/36.68	o 771 
138.72/36.70	o 772 
139.33/36.72	o 773 
139.33/36.74	o 774 
139.33/36.76	o 775 
139.33/36.78	o 776 
139.94/36.80	o 777 
139.94/36.82	o 778 
139.94/36.84	o 779 
139.94/36.86	o 780 
139.94/36.88	o 781 
139.94/36.90	o 782 
140.51/36.92	o 783 
140.51/36.94	o 784 
140.51/36.96	o 785 
140.51/36.98	o 786 
140.51/37.00	o 787 
141.18/37.02	o 788 
141.18/37.04	o 789 
141.18/37.06	o 790 
141.18/37.09	o 791 
141.18/37.10	o 792 
141.78/37.12	o 793 
141.78/37.14	o 794 
141.78/37.16	o 795 
141.78/37.19	o 796 
142.27/37.21	o 797 
142.27/37.23	o 798 
142.27/37.25	o 799 
142.27/37.27	o 800 
142.27/37.28	o 801 
142.84/37.30	o 802 
142.84/37.33	o 803 
142.84/37.35	o 804 
142.84/37.37	o 805 
142.84/37.39	o 806 
143.44/37.42	o 807 
143.44/37.44	o 808 
143.44/37.46	o 809 
143.44/37.48	o 810 
143.98/37.50	o 811 
143.98/37.52	o 812 
143.98/37.54	o 813 
143.98/37.56	o 814 
143.98/37.58	o 815 
143.98/37.60	o 816 
144.58/37.61	o 817 
144.58/37.64	o 818 
144.58/37.66	o 819 
144.58/37.68	o 820 
144.58/37.69	o 821 
145.20/37.71	o 822 
145.20/37.73	o 823 
145.20/37.75	o 824 
145.20/37.77	o 825 
145.20/37.78	o 826 
145.90/37.82	o 827 
145.90/37.85	o 828 
145.90/37.86	o 829 
145.90/37.88	o 830 
146.42/37.91	o 831 
146.42/37.93	o 832 
146.42/37.94	o 833 
146.42/37.96	o 834 
146.42/37.98	o 835 
146.42/38.00	o 836 
147.07/38.02	o 837 
147.07/38.04	o 838 
147.07/38.06	o 839 
147.07/38.08	o 840 
147.68/38.11	o 841 
147.68/38.13	o 842 
147.68/38.15	o 843 
147.68/38.17	o 844 
147.68/38.19	o 845 
148.26/38.21	o 846 
148.26/38.23	o 847 
148.26/38.25	o 848 
148.26/38.27	o 849 
148.26/38.29	o 850 
148.89/38.31	o 851 
148.89/38.34	o 852 
148.89/38.36	o 853 
148.89/38.38	o 854 
149.47/38.40	o 855 
149.47/38.42	o 856 
149.47/38.44	o 857 
149.47/38.47	o 858 
149.47/38.49	o 859 
150.04/38.51	o 860 
150.04/38.53	o 861 
150.04/38.55	o 862 
150.04/38.58	o 863 
150.04/38.59	o 864 
150.54/38.61	o 865 
150.54/38.64	o 866 
150.54/38.66	o 867 
150.54/38.69	o 868 
151.15/38.71	o 869 
151.15/38.73	o 870 
151.15/38.75	o 871 
151.15/38.77	o 872 
151.15/38.79	o 873 
151.78/38.82	o 874 
151.78/38.84	o 875 
151.78/38.86	o 876 
151.78/38.88	o 877 
152.33/38.91	o 878 
152.33/38.93	o 879 
152.33/38.95	o 880 
152.33/38.97	o 881 
152.33/38.99	o 882 
152.33/39.01	o 883 
153.01/39.03	o 884 
153.01/39.05	o 885 
153.01/39.07	o 886 
153.01/39.09	o 887 
153.56/39.11	o 888 
153.56/39.14	o 889 
153.56/39.17	o 890 
153.56/39.19	o 891 
154.10/39.21	o 892 
154.10/39.23	o 893 
154.10/39.26	o 894 
154.10/39.29	o 895 
154.63/39.31	o 896 
154.63/39.33	o 897 
154.63/39.35	o 898 
154.63/39.37	o 899 
154.63/39.39	o 900 
155.27/39.41	o 901 
155.27/39.44	o 902 
155.27/39.46	o 903 
155.27/39.48	o 904 
155.82/39.50	o 905 
155.82/39.52	o 906 
155.82/39.54	o 907 
155.82/39.57	o 908 
155.82/39.59	o 909 
156.45/39.61	o 910 
156.45/39.63	o 911 
156.45/39.65	o 912 
156.45/39.69	o 913 
157.01/39.71	o 914 
157.01/39.73	o 915 
157.01/39.75	o 916 
157.01/39.77	o 917 
157.01/39.79	o 918 
157.64/39.81	o 919 
157.64/39.83	o 920 
157.64/39.85	o 921 
157.64/39.87	o 922 
157.64/39.89	o 923 
158.27/39.91	o 924 
158.27/39.93	o 925 
158.27/39.96	o 926 
158.27/39.98	o 927 
158.27/40.01	o 928 
158.86/40.03	o 929 
158.86/40.05	o 930 
158.86/40.07	o 931 
158.86/40.09	o 932 
159.51/40.11	o 933 
159.51/40.13	o 934 
159.51/40.15	o 935 
159.51/40.18	o 936 
159.51/40.20	o 937 
160.04/40.22	o 938 
160.04/40.24	o 939 
160.04/40.26	o 940 
160.04/40.28	o 941 
160.64/40.31	o 942 
160.64/40.35	o 943 
161.12/40.50	o 944 
163.43/42.78	o 945 
163.43/42.80	o 946 
163.65/42.82	o 947 
163.65/42.84	o 948 
163.65/42.86	o 949 
163.65/42.88	o 950 
164.18/42.90	o 951 
164.18/42.92	o 952 
164.18/42.94	o 953 
164.18/42.96	o 954 
164.18/42.98	o 955 
164.90/43.02	o 956 
164.90/43.03	o 957 
164.90/43.05	o 958 
164.90/43.08	o 959 
164.90/43.09	o 960 
165.49/43.11	o 961 
165.49/43.13	o 962 
165.49/43.15	o 963 
165.49/43.17	o 964 
165.49/43.19	o 965 
166.01/43.21	o 966 
166.01/43.23	o 967 
166.01/43.25	o 968 
166.01/43.28	o 969 
166.63/43.30	o 970 
166.63/43.32	o 971 
166.63/43.34	o 972 
166.63/43.36	o 973 
166.63/43.38	o 974 
167.28/43.40	o 975 
167.28/43.42	o 976 
167.28/43.44	o 977 
167.28/43.47	o 978 
167.28/43.49	o 979 
167.88/43.51	o 980 
167.88/43.53	o 981 
167.88/43.55	o 982 
167.88/43.56	o 983 
167.88/43.58	o 984 
168.51/43.60	o 985 
168.51/43.62	o 986 
168.51/43.64	o 987 
168.51/43.66	o 988 
168.51/43.68	o 989 
169.19/43.70	o 990 
169.19/43.72	o 991 
169.19/43.74	o 992 
169.19/43.77	o 993 
169.19/43.79	o 994 
169.83/43.81	o 995 
169.83/43.84	o 996 
169.83/43.86	o 997 
169.83/43.88	o 998 
169.83/43.90	o 999 
170.41/43.92	o 1000 
170.41/43.94	o 1001 
170.41/43.96	o 1002 
170.41/43.98	o 1003 
170.41/44.00	o 1004 
171.09/44.02	o 1005 
171.09/44.05	o 1006 
171.09/44.07	o 1007 
171.09/44.09	o 1008 
171.67/44.12	o 1009 
171.67/44.14	o 1010 
171.67/44.16	o 1011 
171.67/44.18	o 1012 
171.67/44.20	o 1013 
172.21/44.22	o 1014 
172.21/44.24	o 1015 
172.21/44.26	o 1016 
172.21/44.28	o 1017 
172.82/44.30	o 1018 
172.82/44.32	o 1019 
172.82/44.34	o 1020 
172.82/44.37	o 1021 
172.82/44.39	o 1022 
173.46/44.42	o 1023 
173.46/44.44	o 1024 
173.46/44.46	o 1025 
173.46/44.48	o 1026 
174.01/44.51	o 1027 
174.01/44.53	o 1028 
174.01/44.56	o 1029 
174.01/44.58	o 1030 
174.59/44.60	o 1031 
174.59/44.62	o 1032 
174.59/44.64	o 1033 
174.59/44.66	o 1034 
174.59/44.69	o 1035 
175.21/44.71	o 1036 
175.21/44.73	o 1037 
175.21/44.75	o 1038 
175.21/44.77	o 1039 
175.21/44.79	o 1040 
175.86/44.81	o 1041 
175.86/44.83	o 1042 
175.86/44.85	o 1043 
175.86/44.87	o 1044 
175.86/44.89	o 1045 
176.52/44.91	o 1046 
176.52/44.93	o 1047 
176.52/44.96	o 1048 
176.52/44.99	o 1049 
177.13/45.01	o 1050 
177.13/45.03	o 1051 
177.13/45.06	o 1052 
177.13/45.07	o 1053 
177.13/45.10	o 1054 
177.68/45.13	o 1055 
177.68/45.16	o 1056 
177.68/45.18	o 1057 
177.68/45.20	o 1058 
178.25/45.22	o 1059 
178.25/45.24	o 1060 
178.25/45.27	o 1061 
178.25/45.29	o 1062 
178.91/45.32	o 1063 
178.91/45.34	o 1064 
178.91/45.36	o 1065 
178.91/45.39	o 1066 
179.48/45.42	o 1067 
179.48/45.44	o 1068 
179.48/45.46	o 1069 
179.48/45.48	o 1070 
180.08/45.50	o 1071 
180.08/45.53	o 1072 
180.08/45.55	o 1073 
180.08/45.57	o 1074 
180.08/45.59	o 1075 
180.74/45.62	o 1076 
180.74/45.65	o 1077 
180.74/45.67	o 1078 
181.27/45.70	o 1079 
181.27/45.72	o 1080 
181.27/45.75	o 1081 
181.27/45.77	o 1082 
181.27/45.79	o 1083 
181.94/45.81	o 1084 
181.94/45.83	o 1085 
181.94/45.85	o 1086 
181.94/45.88	o 1087 
182.53/45.90	o 1088 
182.53/45.92	o 1089 
182.53/45.94	o 1090 
182.53/45.97	o 1091 
182.53/45.99	o 1092 
183.24/46.02	o 1093 
183.24/46.05	o 1094 
183.24/46.07	o 1095 
183.24/46.09	o 1096 
183.87/46.11	o 1097 
183.87/46.13	o 1098 
183.87/46.16	o 1099 
183.87/46.18	o 1100 
184.36/46.20	o 1101 
184.36/46.23	o 1102 
184.36/46.25	o 1103 
184.36/46.27	o 1104 
184.36/46.29	o 1105 
185.04/46.32	o 1106 
185.04/46.34	o 1107 
185.04/46.36	o 1108 
185.04/46.38	o 1109 
185.63/46.41	o 1110 
185.63/46.43	o 1111 
185.63/46.45	o 1112 
185.63/46.47	o 1113 
185.63/46.49	o 1114 
186.30/46.51	o 1115 
186.30/46.54	o 1116 
186.30/46.56	o 1117 
186.30/46.58	o 1118 
186.91/46.60	o 1119 
186.91/46.62	o 1120 
186.91/46.65	o 1121 
186.91/46.68	o 1122 
187.55/46.70	o 1123 
187.55/46.72	o 1124 
187.55/46.74	o 1125 
187.55/46.77	o 1126 
187.55/46.79	o 1127 
188.21/46.81	o 1128 
188.21/46.83	o 1129 
188.21/46.86	o 1130 
188.21/46.88	o 1131 
188.76/46.91	o 1132 
188.76/46.93	o 1133 
188.76/46.95	o 1134 
189.28/47.01	o 1135 
189.59/47.21	o 1136 
191.82/49.38	o 1137 
19857.70/2520.09	s SATISFIABLE
19857.70/2520.09	v <instantiation>
19857.70/2520.09	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>
19857.70/2520.09	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>
19857.70/2520.09	v </instantiation>
19857.70/2520.09	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 (15352 MiB free)
  memory of node 1: 16384 MiB (15484 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270810-1502666741/watcher-4270810-1502666741 -o /tmp/evaluation-result-4270810-1502666741/solver-4270810-1502666741 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502660839-23535 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 176112043 HOME/instance-4270810-1502666741.xml 

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

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

solver pid=24149, runsolver pid=24146

[startup+0.100113 s]*
/proc/loadavg: 8.56 8.18 8.06 2/200 24170
/proc/meminfo: memFree=31561080/32770624 swapFree=67108860/67108860
[pid=24149] ppid=24146 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24149/stat : 24149 (xcsp3-exec) S 24146 24149 23508 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 99761782 9740288 345 33554432000 4194304 5098028 140723945880656 140723945878760 140543098610300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25088000 140723945882725 140723945882935 140723945882935 140723945885675 0
/proc/24149/statm: 2378 345 289 221 0 87 0
[pid=24151] ppid=24149 vsize=25999808 memory=26128 CPUtime=0.11 cores=0-7
/proc/24151/stat : 24151 (java) S 24149 24149 23508 0 -1 1077944320 5484 0 0 0 11 0 0 0 20 0 20 0 99761782 26623803392 6532 33554432000 4194304 4196468 140736436085200 140736436067744 139764258119415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
/proc/24151/statm: 6499952 6532 2849 1 0 6488269 0
[pid=24151/tid=24152] ppid=24149 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24151/task/24152/stat : 24152 (java) R 24149 24149 23508 0 -1 4202560 3487 0 0 0 9 0 0 0 20 0 20 0 99761782 26623803392 6532 33554432000 4194304 4196468 140736436085200 139764262351104 139764258140762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24153] ppid=24149 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24151/task/24153/stat : 24153 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139764210739472 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24154] ppid=24149 vsize=25999808 memory=140398888457856 CPUtime=0 cores=0-7
/proc/24151/task/24154/stat : 24154 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139764209686928 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24155] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24155/stat : 24155 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763814627856 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24156] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24156/stat : 24156 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763813575312 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24157] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24157/stat : 24157 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763812522768 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24158] ppid=24149 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24151/task/24158/stat : 24158 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763811470224 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24159] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24159/stat : 24159 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763810417680 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24160] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24160/stat : 24160 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763809365136 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24161] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24161/stat : 24161 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761785 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763251316720 139764258130562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24162] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24162/stat : 24162 (java) S 24149 24149 23508 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99761785 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763250262944 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24163] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24163/stat : 24163 (java) S 24149 24149 23508 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99761785 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763249210352 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24164] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24164/stat : 24164 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761788 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763248158928 139764258138011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24165] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24165/stat : 24165 (java) S 24149 24149 23508 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 99761788 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763247106544 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24166] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24166/stat : 24166 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99761788 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763246054000 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24167] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24167/stat : 24167 (java) S 24149 24149 23508 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 99761788 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763245001456 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24168] ppid=24149 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24151/task/24168/stat : 24168 (java) S 24149 24149 23508 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 99761788 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763243948912 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24169] ppid=24149 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24169/stat : 24169 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99761788 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763242895584 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24170] ppid=24149 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24151/task/24170/stat : 24170 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761788 26623803392 6532 33554432000 4194304 4196468 140736436085200 139763241843120 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27508 KiB

[startup+0.2101 s]*
/proc/loadavg: 8.56 8.18 8.06 3/200 24170
/proc/meminfo: memFree=31548924/32770624 swapFree=67108860/67108860
[pid=24149] ppid=24146 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24149/stat : 24149 (xcsp3-exec) S 24146 24149 23508 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 99761782 9740288 345 33554432000 4194304 5098028 140723945880656 140723945878760 140543098610300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25088000 140723945882725 140723945882935 140723945882935 140723945885675 0
/proc/24149/statm: 2378 345 289 221 0 87 0
[pid=24151] ppid=24149 vsize=26004064 memory=39124 CPUtime=0.33 cores=0-7
/proc/24151/stat : 24151 (java) S 24149 24149 23508 0 -1 1077944320 8334 0 0 0 31 2 0 0 20 0 20 0 99761782 26628161536 9781 33554432000 4194304 4196468 140736436085200 140736436067744 139764258119415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
/proc/24151/statm: 6501016 9781 3043 1 0 6488269 0
[pid=24151/tid=24152] ppid=24149 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24151/task/24152/stat : 24152 (java) R 24149 24149 23508 0 -1 4202560 5400 0 0 0 18 1 0 0 20 0 20 0 99761782 26628161536 9781 33554432000 4194304 4196468 140736436085200 139764262340408 139764258141341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24153] ppid=24149 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/24151/task/24153/stat : 24153 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139764210739472 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24154] ppid=24149 vsize=26004064 memory=288370775040169600 CPUtime=0 cores=0-7
/proc/24151/task/24154/stat : 24154 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139764209686928 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24155] ppid=24149 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24151/task/24155/stat : 24155 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763814627856 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24156] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24156/stat : 24156 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763813575312 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24157] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24157/stat : 24157 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763812522768 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24158] ppid=24149 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24151/task/24158/stat : 24158 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763811470224 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24159] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24159/stat : 24159 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763810417680 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24160] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24160/stat : 24160 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763809365136 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24161] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24161/stat : 24161 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761785 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763251316720 139764258130562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24162] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24162/stat : 24162 (java) S 24149 24149 23508 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99761785 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763250262944 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24163] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24163/stat : 24163 (java) S 24149 24149 23508 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99761785 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763249210352 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24164] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24164/stat : 24164 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761788 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763248158928 139764258138011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24165] ppid=24149 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/24151/task/24165/stat : 24165 (java) S 24149 24149 23508 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 20 0 99761788 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763247106544 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24166] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24166/stat : 24166 (java) S 24149 24149 23508 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 99761788 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763246054000 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24167] ppid=24149 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/24151/task/24167/stat : 24167 (java) S 24149 24149 23508 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 99761788 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763245001456 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24168] ppid=24149 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/24151/task/24168/stat : 24168 (java) R 24149 24149 23508 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 20 0 99761788 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763243948912 139764242199902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24169] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24169/stat : 24169 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99761788 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763242895584 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24170] ppid=24149 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24151/task/24170/stat : 24170 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761788 26628161536 9781 33554432000 4194304 4196468 140736436085200 139763241843120 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40504 KiB

[startup+0.309526 s]*
/proc/loadavg: 8.56 8.18 8.06 3/200 24170
/proc/meminfo: memFree=31544520/32770624 swapFree=67108860/67108860
[pid=24149] ppid=24146 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24149/stat : 24149 (xcsp3-exec) S 24146 24149 23508 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 99761782 9740288 345 33554432000 4194304 5098028 140723945880656 140723945878760 140543098610300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25088000 140723945882725 140723945882935 140723945882935 140723945885675 0
/proc/24149/statm: 2378 345 289 221 0 87 0
[pid=24151] ppid=24149 vsize=26004064 memory=45840 CPUtime=0.51 cores=0-7
/proc/24151/stat : 24151 (java) S 24149 24149 23508 0 -1 1077944320 9246 0 0 0 48 3 0 0 20 0 20 0 99761782 26628161536 11460 33554432000 4194304 4196468 140736436085200 140736436067744 139764258119415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
/proc/24151/statm: 6501016 11460 3102 1 0 6488269 0
[pid=24151/tid=24152] ppid=24149 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/24151/task/24152/stat : 24152 (java) R 24149 24149 23508 0 -1 4202560 6075 0 0 0 27 1 0 0 20 0 20 0 99761782 26628161536 11460 33554432000 4194304 4196468 140736436085200 139764262355720 139764258131350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24153] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24153/stat : 24153 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139764210739472 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24154] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24154/stat : 24154 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139764209686928 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24155] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24155/stat : 24155 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763814627856 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24156] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24156/stat : 24156 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763813575312 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24157] ppid=24149 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24151/task/24157/stat : 24157 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763812522768 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24158] ppid=24149 vsize=26004064 memory=140398790013871 CPUtime=0 cores=0-7
/proc/24151/task/24158/stat : 24158 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763811470224 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24159] ppid=24149 vsize=26004064 memory=140398790016176 CPUtime=0 cores=0-7
/proc/24151/task/24159/stat : 24159 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763810417680 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24160] ppid=24149 vsize=26004064 memory=140398790018480 CPUtime=0 cores=0-7
/proc/24151/task/24160/stat : 24160 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763809365136 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24161] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24161/stat : 24161 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761785 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763251316720 139764258130562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24162] ppid=24149 vsize=26004064 memory=280797580043920 CPUtime=0 cores=0-7
/proc/24151/task/24162/stat : 24162 (java) S 24149 24149 23508 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99761785 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763250262944 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24163] ppid=24149 vsize=26004064 memory=280797580050832 CPUtime=0 cores=0-7
/proc/24151/task/24163/stat : 24163 (java) S 24149 24149 23508 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99761785 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763249210352 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24164] ppid=24149 vsize=26004064 memory=280797579991984 CPUtime=0 cores=0-7
/proc/24151/task/24164/stat : 24164 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761788 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763248158928 139764258138011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24165] ppid=24149 vsize=26004064 memory=280797580064656 CPUtime=0.03 cores=0-7
/proc/24151/task/24165/stat : 24165 (java) S 24149 24149 23508 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 20 0 99761788 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763247106544 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24166] ppid=24149 vsize=26004064 memory=280797580071568 CPUtime=0.01 cores=0-7
/proc/24151/task/24166/stat : 24166 (java) S 24149 24149 23508 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 99761788 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763246054000 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24167] ppid=24149 vsize=26004064 memory=280797580069264 CPUtime=0.02 cores=0-7
/proc/24151/task/24167/stat : 24167 (java) S 24149 24149 23508 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 99761788 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763245001456 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24168] ppid=24149 vsize=26004064 memory=280797580085424 CPUtime=0.12 cores=0-7
/proc/24151/task/24168/stat : 24168 (java) R 24149 24149 23508 0 -1 4202560 841 0 0 0 12 0 0 0 20 0 20 0 99761788 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763243948096 139764238088150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24169] ppid=24149 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24169/stat : 24169 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99761788 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763242895584 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24170] ppid=24149 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24151/task/24170/stat : 24170 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761788 26628161536 11460 33554432000 4194304 4196468 140736436085200 139763241843120 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47220 KiB

[startup+0.700991 s]
/proc/loadavg: 8.56 8.18 8.06 5/200 24170
/proc/meminfo: memFree=31517720/32770624 swapFree=67108860/67108860
[pid=24149] ppid=24146 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24149/stat : 24149 (xcsp3-exec) S 24146 24149 23508 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 99761782 9740288 345 33554432000 4194304 5098028 140723945880656 140723945878760 140543098610300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25088000 140723945882725 140723945882935 140723945882935 140723945885675 0
/proc/24149/statm: 2378 345 289 221 0 87 0
[pid=24151] ppid=24149 vsize=26004140 memory=105152 CPUtime=1.95 cores=0-7
/proc/24151/stat : 24151 (java) S 24149 24149 23508 0 -1 1077944320 13716 0 0 0 190 5 0 0 20 0 20 0 99761782 26628239360 26288 33554432000 4194304 4196468 140736436085200 140736436067744 139764258119415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
/proc/24151/statm: 6501035 26288 3199 1 0 6488269 0
[pid=24151/tid=24152] ppid=24149 vsize=26004140 memory=280797580443312 CPUtime=0.67 cores=0-7
/proc/24151/task/24152/stat : 24152 (java) R 24149 24149 23508 0 -1 4202560 6493 0 0 0 65 2 0 0 20 0 20 0 99761782 26628239360 26288 33554432000 4194304 4196468 140736436085200 139764262354688 139763892308723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24153] ppid=24149 vsize=26004140 memory=140398790222704 CPUtime=0 cores=0-7
/proc/24151/task/24153/stat : 24153 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628239360 26288 33554432000 4194304 4196468 140736436085200 139764210739472 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24154] ppid=24149 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24151/task/24154/stat : 24154 (java) S 24149 24149 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99761783 26628239360 26288 33554432000 4194304 4196468 140736436085200 139764209686928 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24155] ppid=24149 vsize=26004140 memory=10928 CPUtime=0 cores=0-7
/proc/24151/task/24155/stat : 24155 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99761783 26628239360 26288 33554432000 4194304 4196468 140736436085200 139763814627856 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0

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

[pid=24151/tid=736] ppid=24149 vsize=26541776 memory=1380 CPUtime=2376.91 cores=0-7
/proc/24151/task/736/stat : 736 (java) R 24149 24149 23508 0 -1 4202560 20539 0 0 0 237671 20 0 0 20 0 28 0 99766721 27178778624 709593 33554432000 4194304 4196468 140736436085200 139763230675448 139763892051936 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
Current children cumulated CPU time: 19239.9 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2839752 KiB

[startup+2502.3 s]
/proc/loadavg: 8.15 8.32 8.32 9/208 792
/proc/meminfo: memFree=28746368/32770624 swapFree=67108860/67108860
[pid=24149] ppid=24146 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24149/stat : 24149 (xcsp3-exec) S 24146 24149 23508 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 99761782 9740288 345 33554432000 4194304 5098028 140723945880656 140723945878760 140543098610300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25088000 140723945882725 140723945882935 140723945882935 140723945885675 0
/proc/24149/statm: 2378 345 289 221 0 87 0
[pid=24151] ppid=24149 vsize=26541776 memory=2835292 CPUtime=19716.8 cores=0-7
/proc/24151/stat : 24151 (java) S 24149 24149 23508 0 -1 1077944320 741246 0 0 0 1970678 1006 0 0 20 0 28 0 99761782 27178778624 708823 33554432000 4194304 4196468 140736436085200 140736436067744 139764258119415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
/proc/24151/statm: 6635444 708823 3305 1 0 6622678 0
[pid=24151/tid=24152] ppid=24149 vsize=26541776 memory=1380 CPUtime=9.09 cores=0-7
/proc/24151/task/24152/stat : 24152 (java) S 24149 24149 23508 0 -1 1077944384 12669 0 0 0 889 20 0 0 20 0 28 0 99761782 27178778624 708823 33554432000 4194304 4196468 140736436085200 139764262360128 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24153] ppid=24149 vsize=26541776 memory=2835292 CPUtime=8.86 cores=0-7
/proc/24151/task/24153/stat : 24153 (java) S 24149 24149 23508 0 -1 1077944384 23183 0 0 0 854 32 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139764210739472 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24154] ppid=24149 vsize=26541776 memory=2835292 CPUtime=9 cores=0-7
/proc/24151/task/24154/stat : 24154 (java) S 24149 24149 23508 0 -1 1077944384 20595 0 0 0 870 30 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139764209686928 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24155] ppid=24149 vsize=26541776 memory=1380 CPUtime=9 cores=0-7
/proc/24151/task/24155/stat : 24155 (java) S 24149 24149 23508 0 -1 1077944384 19944 0 0 0 870 30 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763814627856 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24156] ppid=24149 vsize=26541776 memory=2835292 CPUtime=9.02 cores=0-7
/proc/24151/task/24156/stat : 24156 (java) S 24149 24149 23508 0 -1 1077944384 25042 0 0 0 869 33 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763813575312 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24157] ppid=24149 vsize=26541776 memory=2835292 CPUtime=8.87 cores=0-7
/proc/24151/task/24157/stat : 24157 (java) S 24149 24149 23508 0 -1 1077944384 18245 0 0 0 858 29 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763812522768 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24158] ppid=24149 vsize=26541776 memory=2835292 CPUtime=8.95 cores=0-7
/proc/24151/task/24158/stat : 24158 (java) S 24149 24149 23508 0 -1 1077944384 22908 0 0 0 864 31 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763811470224 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24159] ppid=24149 vsize=26541776 memory=1380 CPUtime=8.96 cores=0-7
/proc/24151/task/24159/stat : 24159 (java) S 24149 24149 23508 0 -1 1077944384 24505 0 0 0 864 32 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763810417680 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24160] ppid=24149 vsize=26541776 memory=2835292 CPUtime=8.93 cores=0-7
/proc/24151/task/24160/stat : 24160 (java) S 24149 24149 23508 0 -1 1077944384 21410 0 0 0 864 29 0 0 20 0 28 0 99761783 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763809365136 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24161] ppid=24149 vsize=26541776 memory=2835292 CPUtime=2.51 cores=0-7
/proc/24151/task/24161/stat : 24161 (java) S 24149 24149 23508 0 -1 1077944384 64728 0 0 0 185 66 0 0 20 0 28 0 99761785 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763251316720 139764258130562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24162] ppid=24149 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/24151/task/24162/stat : 24162 (java) S 24149 24149 23508 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 99761785 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763250263008 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24163] ppid=24149 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/24151/task/24163/stat : 24163 (java) S 24149 24149 23508 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 99761785 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763249210368 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24164] ppid=24149 vsize=26541776 memory=4132 CPUtime=0 cores=0-7
/proc/24151/task/24164/stat : 24164 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 99761788 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763248158928 139764258138011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24165] ppid=24149 vsize=26541776 memory=1380 CPUtime=4.25 cores=0-7
/proc/24151/task/24165/stat : 24165 (java) S 24149 24149 23508 0 -1 1077944384 35267 0 0 0 417 8 0 0 20 0 28 0 99761788 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763247106544 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24166] ppid=24149 vsize=26541776 memory=1380 CPUtime=3.88 cores=0-7
/proc/24151/task/24166/stat : 24166 (java) S 24149 24149 23508 0 -1 1077944384 30318 0 0 0 384 4 0 0 20 0 28 0 99761788 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763246054000 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24167] ppid=24149 vsize=26541776 memory=1696 CPUtime=3.98 cores=0-7
/proc/24151/task/24167/stat : 24167 (java) S 24149 24149 23508 0 -1 1077944384 29336 0 0 0 391 7 0 0 20 0 28 0 99761788 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763245001456 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24168] ppid=24149 vsize=26541776 memory=920 CPUtime=1.37 cores=0-7
/proc/24151/task/24168/stat : 24168 (java) S 24149 24149 23508 0 -1 1077944384 24705 0 0 0 132 5 0 0 20 0 28 0 99761788 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763243948912 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24169] ppid=24149 vsize=26541776 memory=207549999660226 CPUtime=0 cores=0-7
/proc/24151/task/24169/stat : 24169 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 99761788 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763242895584 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24170] ppid=24149 vsize=26541776 memory=280797581506216 CPUtime=0.99 cores=0-7
/proc/24151/task/24170/stat : 24170 (java) S 24149 24149 23508 0 -1 1077944384 6364 0 0 0 18 81 0 0 20 0 28 0 99761788 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763241843120 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=729] ppid=24149 vsize=26541776 memory=1380 CPUtime=2432.67 cores=0-7
/proc/24151/task/729/stat : 729 (java) R 24149 24149 23508 0 -1 4202560 25919 0 0 0 243237 30 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763233832424 139763900865842 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=730] ppid=24149 vsize=26541776 memory=1380 CPUtime=2434.44 cores=0-7
/proc/24151/task/730/stat : 730 (java) R 24149 24149 23508 0 -1 4202560 24578 0 0 0 243421 23 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763232783696 139763895908754 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=731] ppid=24149 vsize=26541776 memory=17072 CPUtime=2436.51 cores=0-7
/proc/24151/task/731/stat : 731 (java) R 24149 24149 23508 0 -1 4202560 27326 0 0 0 243616 35 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763223315576 139763899405452 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=732] ppid=24149 vsize=26541776 memory=18444 CPUtime=2429.8 cores=0-7
/proc/24151/task/732/stat : 732 (java) R 24149 24149 23508 0 -1 4202560 37219 0 0 0 242952 28 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763227517832 139763900071442 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=733] ppid=24149 vsize=26541776 memory=1788 CPUtime=2430.32 cores=0-7
/proc/24151/task/733/stat : 733 (java) R 24149 24149 23508 0 -1 4202560 34750 0 0 0 242990 42 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763229623248 139763899851073 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=734] ppid=24149 vsize=26541776 memory=6791534058613427641 CPUtime=2427.14 cores=0-7
/proc/24151/task/734/stat : 734 (java) R 24149 24149 23508 0 -1 4202560 99882 0 0 0 242460 254 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763228571128 139763893585404 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=735] ppid=24149 vsize=26541776 memory=2835292 CPUtime=2428.18 cores=0-7
/proc/24151/task/735/stat : 735 (java) R 24149 24149 23508 0 -1 4202560 25760 0 0 0 242791 27 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763226464520 139763899813905 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=736] ppid=24149 vsize=26541776 memory=1720 CPUtime=2436.41 cores=0-7
/proc/24151/task/736/stat : 736 (java) R 24149 24149 23508 0 -1 4202560 20676 0 0 0 243621 20 0 0 20 0 28 0 99766721 27178778624 708823 33554432000 4194304 4196468 140736436085200 139763230675448 139763895908740 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
Current children cumulated CPU time: 19716.8 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2836672 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.11 8.30 8.32 9/208 792
/proc/meminfo: memFree=28743672/32770624 swapFree=67108860/67108860
[pid=24149] ppid=24146 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24149/stat : 24149 (xcsp3-exec) S 24146 24149 23508 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 99761782 9740288 345 33554432000 4194304 5098028 140723945880656 140723945878760 140543098610300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25088000 140723945882725 140723945882935 140723945882935 140723945885675 0
/proc/24149/statm: 2378 345 289 221 0 87 0
[pid=24151] ppid=24149 vsize=26541776 memory=2837340 CPUtime=19857.7 cores=0-7
/proc/24151/stat : 24151 (java) S 24149 24149 23508 0 -1 1077944320 755264 0 0 0 1984755 1015 0 0 20 0 28 0 99761782 27178778624 709335 33554432000 4194304 4196468 140736436085200 140736436067744 139764258119415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
/proc/24151/statm: 6635444 709335 3305 1 0 6622678 0
[pid=24151/tid=24152] ppid=24149 vsize=26541776 memory=6791534058613427641 CPUtime=9.09 cores=0-7
/proc/24151/task/24152/stat : 24152 (java) S 24149 24149 23508 0 -1 1077944384 12669 0 0 0 889 20 0 0 20 0 28 0 99761782 27178778624 709335 33554432000 4194304 4196468 140736436085200 139764262360128 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24153] ppid=24149 vsize=26541776 memory=4872558044660077418 CPUtime=8.98 cores=0-7
/proc/24151/task/24153/stat : 24153 (java) S 24149 24149 23508 0 -1 1077944384 24022 0 0 0 866 32 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139764210739472 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24154] ppid=24149 vsize=26541776 memory=2835292 CPUtime=9.12 cores=0-7
/proc/24151/task/24154/stat : 24154 (java) S 24149 24149 23508 0 -1 1077944384 21392 0 0 0 881 31 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139764209686928 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24155] ppid=24149 vsize=26541776 memory=6791534058613427641 CPUtime=9.11 cores=0-7
/proc/24151/task/24155/stat : 24155 (java) S 24149 24149 23508 0 -1 1077944384 20790 0 0 0 881 30 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763814627856 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24156] ppid=24149 vsize=26541776 memory=4872558044660077418 CPUtime=9.13 cores=0-7
/proc/24151/task/24156/stat : 24156 (java) S 24149 24149 23508 0 -1 1077944384 25680 0 0 0 880 33 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763813575312 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24157] ppid=24149 vsize=26541776 memory=4384 CPUtime=8.99 cores=0-7
/proc/24151/task/24157/stat : 24157 (java) S 24149 24149 23508 0 -1 1077944384 19167 0 0 0 869 30 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763812522768 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24158] ppid=24149 vsize=26541776 memory=932 CPUtime=9.06 cores=0-7
/proc/24151/task/24158/stat : 24158 (java) S 24149 24149 23508 0 -1 1077944384 23963 0 0 0 875 31 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763811470224 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24159] ppid=24149 vsize=26541776 memory=1576 CPUtime=9.07 cores=0-7
/proc/24151/task/24159/stat : 24159 (java) S 24149 24149 23508 0 -1 1077944384 24702 0 0 0 875 32 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763810417680 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24160] ppid=24149 vsize=26541776 memory=2240 CPUtime=9.04 cores=0-7
/proc/24151/task/24160/stat : 24160 (java) S 24149 24149 23508 0 -1 1077944384 22525 0 0 0 875 29 0 0 20 0 28 0 99761783 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763809365136 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24161] ppid=24149 vsize=26541776 memory=1380 CPUtime=2.55 cores=0-7
/proc/24151/task/24161/stat : 24161 (java) S 24149 24149 23508 0 -1 1077944384 66258 0 0 0 187 68 0 0 20 0 28 0 99761785 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763251316720 139764258130562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24162] ppid=24149 vsize=26541776 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24151/task/24162/stat : 24162 (java) S 24149 24149 23508 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 99761785 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763250263008 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24163] ppid=24149 vsize=26541776 memory=1296 CPUtime=0 cores=0-7
/proc/24151/task/24163/stat : 24163 (java) S 24149 24149 23508 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 99761785 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763249210368 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24164] ppid=24149 vsize=26541776 memory=2200 CPUtime=0 cores=0-7
/proc/24151/task/24164/stat : 24164 (java) S 24149 24149 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 99761788 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763248158928 139764258138011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24165] ppid=24149 vsize=26541776 memory=6508 CPUtime=4.25 cores=0-7
/proc/24151/task/24165/stat : 24165 (java) S 24149 24149 23508 0 -1 1077944384 35273 0 0 0 417 8 0 0 20 0 28 0 99761788 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763247106544 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24166] ppid=24149 vsize=26541776 memory=836 CPUtime=3.88 cores=0-7
/proc/24151/task/24166/stat : 24166 (java) S 24149 24149 23508 0 -1 1077944384 30324 0 0 0 384 4 0 0 20 0 28 0 99761788 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763246054000 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24167] ppid=24149 vsize=26541776 memory=1696 CPUtime=3.98 cores=0-7
/proc/24151/task/24167/stat : 24167 (java) S 24149 24149 23508 0 -1 1077944384 29342 0 0 0 391 7 0 0 20 0 28 0 99761788 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763245001456 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24168] ppid=24149 vsize=26541776 memory=1236 CPUtime=1.37 cores=0-7
/proc/24151/task/24168/stat : 24168 (java) S 24149 24149 23508 0 -1 1077944384 24711 0 0 0 132 5 0 0 20 0 28 0 99761788 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763243948912 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24169] ppid=24149 vsize=26541776 memory=4384 CPUtime=0 cores=0-7
/proc/24151/task/24169/stat : 24169 (java) S 24149 24149 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 99761788 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763242895584 139764258129621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=24170] ppid=24149 vsize=26541776 memory=932 CPUtime=0.99 cores=0-7
/proc/24151/task/24170/stat : 24170 (java) S 24149 24149 23508 0 -1 1077944384 6436 0 0 0 18 81 0 0 20 0 28 0 99761788 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763241843120 139764258130562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=729] ppid=24149 vsize=26541776 memory=1576 CPUtime=2450.2 cores=0-7
/proc/24151/task/729/stat : 729 (java) R 24149 24149 23508 0 -1 4202560 26460 0 0 0 244990 30 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763233832776 139763899646164 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=730] ppid=24149 vsize=26541776 memory=2240 CPUtime=2451.9 cores=0-7
/proc/24151/task/730/stat : 730 (java) R 24149 24149 23508 0 -1 4202560 25217 0 0 0 245166 24 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763232780912 139763899813636 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=731] ppid=24149 vsize=26541776 memory=4128 CPUtime=2454.05 cores=0-7
/proc/24151/task/731/stat : 731 (java) R 24149 24149 23508 0 -1 4202560 28155 0 0 0 245369 36 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763223317904 139763900069321 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=732] ppid=24149 vsize=26541776 memory=2200 CPUtime=2447.21 cores=0-7
/proc/24151/task/732/stat : 732 (java) R 24149 24149 23508 0 -1 4202560 37864 0 0 0 244692 29 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763227517832 139763900618097 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=733] ppid=24149 vsize=26541776 memory=6508 CPUtime=2447.76 cores=0-7
/proc/24151/task/733/stat : 733 (java) R 24149 24149 23508 0 -1 4202560 35206 0 0 0 244733 43 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763229623032 139763899376221 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=734] ppid=24149 vsize=26541776 memory=1696 CPUtime=2444.6 cores=0-7
/proc/24151/task/734/stat : 734 (java) R 24149 24149 23508 0 -1 4202560 101694 0 0 0 244205 255 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763228570840 139763897069840 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=735] ppid=24149 vsize=26541776 memory=920 CPUtime=2445.71 cores=0-7
/proc/24151/task/735/stat : 735 (java) R 24149 24149 23508 0 -1 4202560 26311 0 0 0 244543 28 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763226465048 139763900140338 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
[pid=24151/tid=736] ppid=24149 vsize=26541776 memory=4132 CPUtime=2453.94 cores=0-7
/proc/24151/task/736/stat : 736 (java) R 24149 24149 23508 0 -1 4202560 21186 0 0 0 245374 20 0 0 20 0 28 0 99766721 27178778624 709335 33554432000 4194304 4196468 140736436085200 139763230675336 139763892051936 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 24035328 140736436090002 140736436090179 140736436090179 140736436092879 0
Current children cumulated CPU time: 19857.7 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2838720 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19858.4
CPU user time (s): 19848.2
CPU system time (s): 10.1675
CPU usage (%): 787.997
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 3051124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19848.2
system time used= 10.1675
maximum resident set size= 3049744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256962
involuntary context switches= 212225


# summary of solver processes directly reported to runsolver:
#   pid: 24149,24151
#   total CPU time (s): 19858.4
#   total CPU user time (s): 19848.2
#   total CPU system time (s): 10.1675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7295 second user time and 31.1522 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-14 01:11:22
IDJOB=4270810
IDBENCH=115882
IDSOLVER=2662
FILE ID=node115/4270810-1502666741
RUNJOBID= node115-1502660839-23535
PBS_JOBID= 20628961
Free space on /tmp= 61812 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-4270810-1502666741/watcher-4270810-1502666741 -o /tmp/evaluation-result-4270810-1502666741/solver-4270810-1502666741 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502660839-23535 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 176112043 HOME/instance-4270810-1502666741.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=176112043

node115.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.69
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.69
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.69
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.69
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:        31577484 kB
MemAvailable:   31984884 kB
Buffers:          140872 kB
Cached:           552820 kB
SwapCached:            0 kB
Active:           526820 kB
Inactive:         221676 kB
Active(anon):       3504 kB
Inactive(anon):    79404 kB
Active(file):     523316 kB
Inactive(file):   142272 kB
Unevictable:        6220 kB
Mlocked:            6220 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             0 kB
AnonPages:         61336 kB
Mapped:            43908 kB
Shmem:             25224 kB
Slab:             141032 kB
SReclaimable:     115292 kB
SUnreclaim:        25740 kB
KernelStack:        3248 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323324 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-14 01:53:22