Trace number 4271800

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 1807.03 252.136

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-50.xml
MD5SUMb46c08097c4951fbb159b9042bff535d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1137
Best CPU time to get the best result obtained on this benchmark1807.03
Satisfiable
(Un)Satisfiability was proved
Number of variables5461
Number of constraints3008
Number of domains4
Minimum domain size2
Maximum domain size5409
Distribution of domain sizes[{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}]
Minimum variable degree1
Maximum variable degree53
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}]
Number of extensional constraints2700
Number of intensional constraints251
Distribution of constraint types[{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271800-1502639525.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271800-1502639525.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
13.24/7.29	c solve instance...
51.16/12.17	o 0 
54.25/12.95	o 4 
58.37/16.49	o 6 
58.55/16.51	o 8 
58.55/16.57	o 10 
58.55/16.59	o 12 
59.05/16.62	o 14 
59.05/16.66	o 16 
59.61/16.70	o 18 
59.61/16.80	o 20 
60.35/16.82	o 24 
60.35/16.86	o 25 
60.35/16.88	o 26 
60.35/16.90	o 27 
60.90/16.92	o 28 
60.90/16.94	o 29 
60.90/16.96	o 30 
60.90/16.98	o 31 
60.90/17.00	o 32 
61.47/17.01	o 33 
61.47/17.04	o 34 
61.47/17.06	o 35 
61.47/17.08	o 36 
61.47/17.10	o 37 
61.93/17.12	o 38 
61.93/17.13	o 39 
61.93/17.17	o 40 
61.93/17.18	o 41 
62.37/17.20	o 42 
62.37/17.22	o 43 
62.37/17.24	o 44 
62.37/17.26	o 45 
62.37/17.28	o 46 
62.37/17.30	o 47 
62.89/17.32	o 48 
62.89/17.34	o 49 
62.89/17.36	o 50 
62.89/17.37	o 51 
62.89/17.39	o 52 
63.42/17.42	o 53 
63.42/17.43	o 54 
63.42/17.45	o 55 
63.42/17.47	o 56 
63.42/17.49	o 57 
63.91/17.51	o 58 
63.91/17.52	o 59 
63.91/17.54	o 60 
63.91/17.56	o 61 
63.91/17.58	o 62 
63.91/17.60	o 63 
64.38/17.62	o 64 
64.38/17.64	o 65 
64.38/17.66	o 66 
64.38/17.68	o 67 
64.38/17.69	o 68 
64.82/17.72	o 69 
64.82/17.75	o 70 
64.82/17.77	o 71 
64.82/17.79	o 72 
65.36/17.81	o 73 
65.36/17.82	o 74 
65.36/17.84	o 75 
65.36/17.86	o 76 
65.36/17.89	o 77 
65.85/17.90	o 78 
65.85/17.92	o 79 
65.85/17.94	o 80 
65.85/17.97	o 81 
65.85/17.98	o 82 
65.85/18.00	o 83 
66.34/18.03	o 84 
66.34/18.05	o 85 
66.34/18.06	o 86 
66.34/18.08	o 87 
66.34/18.10	o 88 
66.85/18.12	o 89 
66.85/18.13	o 90 
66.85/18.16	o 91 
66.85/18.18	o 92 
66.85/18.19	o 93 
67.21/18.22	o 94 
67.21/18.24	o 95 
67.21/18.25	o 96 
67.21/18.28	o 97 
67.63/18.30	o 98 
67.63/18.31	o 99 
67.63/18.34	o 100 
67.63/18.36	o 101 
67.63/18.38	o 102 
68.07/18.41	o 103 
68.07/18.42	o 104 
68.07/18.45	o 105 
68.07/18.48	o 106 
68.54/18.50	o 107 
68.54/18.52	o 108 
68.54/18.53	o 109 
68.54/18.55	o 110 
68.54/18.56	o 111 
68.54/18.59	o 112 
69.05/18.61	o 113 
69.05/18.63	o 114 
69.05/18.66	o 115 
69.05/18.67	o 116 
69.05/18.69	o 117 
69.47/18.72	o 118 
69.47/18.74	o 119 
69.47/18.75	o 120 
69.47/18.78	o 121 
69.84/18.80	o 122 
69.84/18.81	o 123 
69.84/18.84	o 124 
69.84/18.86	o 125 
69.84/18.88	o 126 
70.29/18.91	o 127 
70.29/18.92	o 128 
70.29/18.94	o 129 
70.29/18.96	o 130 
70.29/18.98	o 131 
70.29/19.01	o 132 
70.72/19.02	o 133 
70.72/19.04	o 134 
70.72/19.05	o 135 
70.72/19.07	o 136 
70.72/19.09	o 137 
71.24/19.11	o 138 
71.24/19.13	o 139 
71.24/19.15	o 140 
71.24/19.17	o 141 
71.24/19.19	o 142 
71.71/19.21	o 143 
71.71/19.22	o 144 
71.71/19.24	o 145 
71.71/19.26	o 146 
71.71/19.27	o 147 
71.71/19.30	o 148 
72.16/19.31	o 149 
72.16/19.33	o 150 
72.16/19.35	o 151 
72.16/19.36	o 152 
72.16/19.38	o 153 
72.67/19.40	o 154 
72.67/19.44	o 155 
72.67/19.46	o 156 
72.67/19.48	o 157 
72.67/19.49	o 158 
73.20/19.51	o 159 
73.20/19.53	o 160 
73.20/19.55	o 161 
73.20/19.56	o 162 
73.20/19.59	o 163 
73.63/19.60	o 164 
73.63/19.62	o 165 
73.63/19.65	o 166 
73.63/19.67	o 167 
73.63/19.69	o 168 
74.08/19.70	o 169 
74.08/19.72	o 170 
74.08/19.74	o 171 
74.08/19.76	o 172 
74.08/19.78	o 173 
74.54/19.80	o 174 
74.54/19.81	o 175 
74.54/19.83	o 176 
74.54/19.85	o 177 
74.54/19.88	o 178 
74.54/19.89	o 179 
75.05/19.91	o 180 
75.05/19.94	o 181 
75.05/19.95	o 182 
75.05/19.98	o 183 
75.05/20.00	o 184 
75.44/20.02	o 185 
75.44/20.04	o 186 
75.44/20.06	o 187 
75.44/20.07	o 188 
75.44/20.09	o 189 
75.96/20.11	o 190 
75.96/20.13	o 191 
75.96/20.16	o 192 
75.96/20.19	o 193 
76.39/20.21	o 194 
76.39/20.22	o 195 
76.39/20.25	o 196 
76.39/20.27	o 197 
76.39/20.29	o 198 
76.84/20.30	o 199 
76.84/20.32	o 200 
76.84/20.34	o 201 
76.84/20.35	o 202 
76.84/20.38	o 203 
76.84/20.40	o 204 
77.32/20.42	o 205 
77.32/20.44	o 206 
77.32/20.46	o 207 
77.32/20.47	o 208 
77.32/20.49	o 209 
77.83/20.51	o 210 
77.83/20.53	o 211 
77.83/20.54	o 212 
77.83/20.56	o 213 
77.83/20.58	o 214 
78.29/20.61	o 215 
78.29/20.63	o 216 
78.29/20.65	o 217 
78.29/20.67	o 218 
78.29/20.68	o 219 
78.29/20.70	o 220 
78.74/20.72	o 221 
78.74/20.73	o 222 
78.74/20.75	o 223 
78.74/20.76	o 224 
78.74/20.78	o 225 
79.23/20.80	o 226 
79.23/20.82	o 227 
79.23/20.83	o 228 
79.23/20.86	o 229 
79.23/20.88	o 230 
79.71/20.90	o 231 
79.71/20.91	o 232 
79.71/20.93	o 233 
79.71/20.95	o 234 
79.71/20.96	o 235 
79.71/20.98	o 236 
79.71/21.01	o 237 
80.22/21.02	o 238 
80.22/21.04	o 239 
80.22/21.06	o 240 
80.22/21.07	o 241 
80.22/21.09	o 242 
80.73/21.11	o 243 
80.73/21.13	o 244 
80.73/21.14	o 245 
80.73/21.17	o 246 
80.73/21.18	o 247 
81.19/21.21	o 248 
81.19/21.23	o 249 
81.19/21.25	o 250 
81.19/21.27	o 251 
81.19/21.28	o 252 
81.67/21.30	o 253 
81.67/21.32	o 254 
81.67/21.34	o 255 
81.67/21.37	o 256 
81.67/21.39	o 257 
82.14/21.41	o 258 
82.14/21.44	o 259 
82.14/21.46	o 260 
82.14/21.48	o 261 
82.58/21.51	o 262 
82.58/21.52	o 263 
82.58/21.54	o 264 
82.58/21.56	o 265 
82.58/21.58	o 266 
83.04/21.60	o 267 
83.04/21.62	o 268 
83.04/21.63	o 269 
83.04/21.66	o 270 
83.04/21.67	o 271 
83.04/21.69	o 272 
83.57/21.71	o 273 
83.57/21.73	o 274 
83.57/21.75	o 275 
83.57/21.77	o 276 
83.57/21.79	o 277 
84.02/21.81	o 278 
84.02/21.82	o 279 
84.02/21.84	o 280 
84.02/21.86	o 281 
84.02/21.87	o 282 
84.02/21.89	o 283 
84.58/21.91	o 284 
84.58/21.93	o 285 
84.58/21.95	o 286 
84.58/21.97	o 287 
84.58/21.99	o 288 
84.58/22.00	o 289 
85.05/22.02	o 290 
85.05/22.04	o 291 
85.05/22.05	o 292 
85.05/22.07	o 293 
85.05/22.09	o 294 
85.54/22.11	o 295 
85.54/22.14	o 296 
85.54/22.15	o 297 
85.54/22.17	o 298 
85.54/22.20	o 299 
86.00/22.21	o 300 
86.00/22.24	o 301 
86.00/22.26	o 302 
86.00/22.28	o 303 
86.46/22.31	o 304 
86.46/22.32	o 305 
86.46/22.34	o 306 
86.46/22.36	o 307 
86.46/22.37	o 308 
86.46/22.39	o 309 
86.98/22.41	o 310 
86.98/22.43	o 311 
86.98/22.44	o 312 
86.98/22.46	o 313 
86.98/22.48	o 314 
87.43/22.50	o 315 
87.43/22.53	o 316 
87.43/22.54	o 317 
87.43/22.56	o 318 
87.43/22.58	o 319 
87.43/22.59	o 320 
87.87/22.61	o 321 
87.87/22.63	o 322 
87.87/22.65	o 323 
87.87/22.67	o 324 
87.87/22.69	o 325 
88.41/22.72	o 326 
88.41/22.74	o 327 
88.41/22.75	o 328 
88.41/22.77	o 329 
88.41/22.79	o 330 
88.90/22.81	o 331 
88.90/22.83	o 332 
88.90/22.86	o 333 
88.90/22.88	o 334 
89.41/22.90	o 335 
89.41/22.92	o 336 
89.41/22.94	o 337 
89.41/22.95	o 338 
89.41/22.97	o 339 
89.41/22.99	o 340 
89.41/23.01	o 341 
90.00/23.03	o 342 
90.00/23.04	o 343 
90.00/23.07	o 344 
90.00/23.10	o 345 
90.53/23.12	o 346 
90.53/23.14	o 347 
90.53/23.16	o 348 
90.53/23.18	o 349 
90.91/23.20	o 350 
90.91/23.22	o 351 
90.91/23.24	o 352 
90.91/23.25	o 353 
90.91/23.27	o 354 
91.40/23.30	o 355 
91.40/23.32	o 356 
91.40/23.34	o 357 
91.40/23.35	o 358 
91.40/23.37	o 359 
91.40/23.39	o 360 
91.94/23.41	o 361 
91.94/23.42	o 362 
91.94/23.44	o 363 
91.94/23.46	o 364 
91.94/23.47	o 365 
91.94/23.49	o 366 
92.48/23.51	o 367 
92.48/23.52	o 368 
92.48/23.54	o 369 
92.48/23.55	o 370 
92.48/23.57	o 371 
92.48/23.59	o 372 
93.01/23.60	o 373 
93.01/23.62	o 374 
93.01/23.63	o 375 
93.01/23.65	o 376 
93.01/23.66	o 377 
93.01/23.68	o 378 
93.01/23.69	o 379 
93.53/23.71	o 380 
93.53/23.72	o 381 
93.53/23.74	o 382 
93.53/23.76	o 383 
93.53/23.77	o 384 
93.53/23.79	o 385 
94.13/23.81	o 386 
94.13/23.82	o 387 
94.13/23.86	o 388 
94.13/23.88	o 389 
94.13/23.89	o 390 
94.71/23.91	o 391 
94.71/23.93	o 392 
94.71/23.94	o 393 
94.71/23.96	o 394 
94.71/23.98	o 395 
94.71/24.00	o 396 
95.25/24.01	o 397 
95.25/24.03	o 398 
95.25/24.05	o 399 
95.25/24.07	o 400 
95.25/24.08	o 401 
95.25/24.10	o 402 
95.86/24.12	o 403 
95.86/24.13	o 404 
95.86/24.15	o 405 
95.86/24.17	o 406 
95.86/24.19	o 407 
96.34/24.20	o 408 
96.34/24.22	o 409 
96.34/24.23	o 410 
96.34/24.25	o 411 
96.34/24.27	o 412 
96.34/24.28	o 413 
96.88/24.30	o 414 
96.88/24.32	o 415 
96.88/24.33	o 416 
96.88/24.35	o 417 
96.88/24.37	o 418 
96.88/24.39	o 419 
97.45/24.41	o 420 
97.45/24.43	o 421 
97.45/24.45	o 422 
97.45/24.47	o 423 
97.45/24.48	o 424 
97.95/24.50	o 425 
97.95/24.52	o 426 
97.95/24.55	o 427 
97.95/24.57	o 428 
97.95/24.58	o 429 
98.46/24.61	o 430 
98.46/24.63	o 431 
98.46/24.65	o 432 
98.46/24.67	o 433 
98.46/24.69	o 434 
98.85/24.71	o 435 
98.85/24.73	o 436 
98.85/24.78	o 437 
99.39/24.80	o 438 
99.39/24.82	o 439 
99.39/24.84	o 440 
99.39/24.86	o 441 
99.39/24.88	o 442 
99.39/24.90	o 443 
99.90/24.91	o 444 
99.90/24.93	o 445 
99.90/24.95	o 446 
99.90/24.97	o 447 
99.90/24.99	o 448 
99.90/25.01	o 449 
100.47/25.02	o 450 
100.47/25.04	o 451 
100.47/25.07	o 452 
100.47/25.09	o 453 
100.47/25.11	o 454 
100.97/25.12	o 455 
100.97/25.14	o 456 
100.97/25.16	o 457 
100.97/25.19	o 458 
101.49/25.21	o 459 
101.49/25.23	o 460 
101.49/25.25	o 461 
101.49/25.27	o 462 
101.93/25.33	o 463 
102.18/25.44	o 464 
105.60/28.05	o 465 
105.60/28.07	o 466 
105.60/28.09	o 467 
105.94/28.11	o 468 
105.94/28.13	o 469 
105.94/28.15	o 470 
105.94/28.17	o 471 
105.94/28.19	o 472 
106.44/28.21	o 473 
106.44/28.22	o 474 
106.44/28.24	o 475 
106.44/28.26	o 476 
106.44/28.28	o 477 
106.44/28.30	o 478 
106.93/28.31	o 479 
106.93/28.33	o 480 
106.93/28.35	o 481 
106.93/28.37	o 482 
106.93/28.39	o 483 
107.49/28.40	o 484 
107.49/28.44	o 485 
107.49/28.46	o 486 
107.49/28.47	o 487 
107.49/28.49	o 488 
108.08/28.51	o 489 
108.08/28.52	o 490 
108.08/28.54	o 491 
108.08/28.55	o 492 
108.08/28.57	o 493 
108.08/28.59	o 494 
108.64/28.60	o 495 
108.64/28.62	o 496 
108.64/28.64	o 497 
108.64/28.66	o 498 
108.64/28.68	o 499 
109.10/28.70	o 500 
109.10/28.71	o 501 
109.10/28.73	o 502 
109.10/28.75	o 503 
109.10/28.77	o 504 
109.10/28.79	o 505 
109.65/28.81	o 506 
109.65/28.83	o 507 
109.65/28.85	o 508 
109.65/28.86	o 509 
109.65/28.88	o 510 
109.65/28.90	o 511 
110.16/28.92	o 512 
110.16/28.94	o 513 
110.16/28.96	o 514 
110.16/28.98	o 515 
110.16/28.99	o 516 
110.75/29.01	o 517 
110.75/29.03	o 518 
110.75/29.05	o 519 
110.75/29.07	o 520 
110.75/29.08	o 521 
110.75/29.10	o 522 
111.25/29.12	o 523 
111.25/29.14	o 524 
111.25/29.16	o 525 
111.25/29.17	o 526 
111.25/29.20	o 527 
111.73/29.21	o 528 
111.73/29.23	o 529 
111.73/29.25	o 530 
111.73/29.27	o 531 
111.73/29.29	o 532 
112.30/29.30	o 533 
112.30/29.34	o 534 
112.30/29.35	o 535 
112.30/29.37	o 536 
112.30/29.39	o 537 
112.90/29.40	o 538 
112.90/29.43	o 539 
112.90/29.45	o 540 
112.90/29.46	o 541 
112.90/29.48	o 542 
113.42/29.50	o 543 
113.42/29.52	o 544 
113.42/29.53	o 545 
113.42/29.56	o 546 
113.42/29.58	o 547 
113.42/29.60	o 548 
113.96/29.61	o 549 
113.96/29.63	o 550 
113.96/29.65	o 551 
113.96/29.67	o 552 
113.96/29.68	o 553 
114.56/29.70	o 554 
114.56/29.72	o 555 
114.56/29.74	o 556 
114.56/29.75	o 557 
114.56/29.77	o 558 
114.56/29.79	o 559 
115.17/29.81	o 560 
115.17/29.83	o 561 
115.17/29.84	o 562 
115.17/29.87	o 563 
115.17/29.89	o 564 
115.74/29.91	o 565 
115.74/29.93	o 566 
115.74/29.95	o 567 
115.74/29.96	o 568 
115.74/29.99	o 569 
115.74/30.00	o 570 
116.32/30.02	o 571 
116.32/30.04	o 572 
116.32/30.06	o 573 
116.32/30.08	o 574 
116.32/30.10	o 575 
116.90/30.12	o 576 
116.90/30.13	o 577 
116.90/30.15	o 578 
116.90/30.16	o 579 
116.90/30.18	o 580 
117.41/30.20	o 581 
117.41/30.22	o 582 
117.41/30.23	o 583 
117.41/30.26	o 584 
117.41/30.27	o 585 
117.41/30.29	o 586 
118.04/30.31	o 587 
118.04/30.33	o 588 
118.04/30.36	o 589 
118.04/30.38	o 590 
118.04/30.40	o 591 
118.55/30.42	o 592 
118.55/30.43	o 593 
118.55/30.45	o 594 
118.55/30.47	o 595 
118.55/30.49	o 596 
119.15/30.50	o 597 
119.15/30.52	o 598 
119.15/30.54	o 599 
119.15/30.56	o 600 
119.15/30.58	o 601 
119.15/30.60	o 602 
119.65/30.61	o 603 
119.65/30.63	o 604 
119.65/30.65	o 605 
119.65/30.66	o 606 
119.65/30.68	o 607 
120.25/30.70	o 608 
120.25/30.72	o 609 
120.25/30.73	o 610 
120.25/30.75	o 611 
120.25/30.77	o 612 
120.25/30.79	o 613 
120.88/30.80	o 614 
120.88/30.82	o 615 
120.88/30.84	o 616 
120.88/30.86	o 617 
120.88/30.88	o 618 
120.88/30.90	o 619 
121.44/30.91	o 620 
121.44/30.94	o 621 
121.44/30.96	o 622 
121.44/30.98	o 623 
121.44/31.00	o 624 
122.04/31.02	o 625 
122.04/31.04	o 626 
122.04/31.06	o 627 
122.04/31.08	o 628 
122.04/31.10	o 629 
122.63/31.12	o 630 
122.63/31.14	o 631 
122.63/31.15	o 632 
122.63/31.17	o 633 
122.63/31.19	o 634 
123.18/31.21	o 635 
123.18/31.23	o 636 
123.18/31.25	o 637 
123.18/31.27	o 638 
123.18/31.29	o 639 
123.69/31.31	o 640 
123.69/31.32	o 641 
123.69/31.34	o 642 
123.69/31.37	o 643 
124.30/31.41	o 644 
124.30/31.42	o 645 
124.30/31.44	o 646 
124.30/31.46	o 647 
124.30/31.48	o 648 
124.30/31.50	o 649 
124.82/31.51	o 650 
124.82/31.53	o 651 
124.82/31.55	o 652 
124.82/31.57	o 653 
124.82/31.59	o 654 
125.46/31.61	o 655 
125.46/31.63	o 656 
125.46/31.65	o 657 
125.46/31.67	o 658 
125.46/31.69	o 659 
126.01/31.70	o 660 
126.01/31.72	o 661 
126.01/31.74	o 662 
126.01/31.75	o 663 
126.01/31.77	o 664 
126.01/31.79	o 665 
126.66/31.84	o 666 
127.65/32.67	o 667 
130.09/34.98	o 668 
130.09/35.01	o 669 
130.31/35.03	o 670 
130.31/35.04	o 671 
130.31/35.06	o 672 
130.31/35.08	o 673 
130.31/35.10	o 674 
130.86/35.12	o 675 
130.86/35.15	o 676 
130.86/35.17	o 677 
130.86/35.19	o 678 
131.46/35.21	o 679 
131.46/35.24	o 680 
131.46/35.26	o 681 
131.46/35.28	o 682 
131.99/35.30	o 683 
131.99/35.32	o 684 
131.99/35.37	o 685 
131.99/35.39	o 686 
132.66/35.43	o 687 
132.66/35.45	o 688 
132.66/35.47	o 689 
132.66/35.49	o 690 
133.29/35.51	o 691 
133.29/35.53	o 692 
133.29/35.55	o 693 
133.29/35.57	o 694 
133.29/35.59	o 695 
133.92/35.60	o 696 
133.92/35.62	o 697 
133.92/35.64	o 698 
133.92/35.66	o 699 
133.92/35.68	o 700 
133.92/35.70	o 701 
134.51/35.72	o 702 
134.51/35.74	o 703 
134.51/35.76	o 704 
134.51/35.77	o 705 
134.51/35.79	o 706 
135.19/35.82	o 707 
135.19/35.84	o 708 
135.19/35.86	o 709 
135.19/35.88	o 710 
135.72/35.90	o 711 
135.72/35.93	o 712 
135.72/35.95	o 713 
135.72/35.97	o 714 
135.72/35.98	o 715 
136.36/36.01	o 716 
136.36/36.03	o 717 
136.36/36.05	o 718 
136.36/36.07	o 719 
136.36/36.09	o 720 
136.36/36.11	o 721 
136.99/36.13	o 722 
136.99/36.16	o 723 
136.99/36.18	o 724 
137.49/36.20	o 725 
137.49/36.22	o 726 
137.49/36.24	o 727 
137.49/36.26	o 728 
137.49/36.28	o 729 
138.12/36.30	o 730 
138.12/36.32	o 731 
138.12/36.34	o 732 
138.12/36.36	o 733 
138.12/36.38	o 734 
138.74/36.40	o 735 
138.74/36.42	o 736 
138.74/36.44	o 737 
138.74/36.46	o 738 
138.74/36.48	o 739 
139.37/36.50	o 740 
139.37/36.52	o 741 
139.37/36.54	o 742 
139.37/36.55	o 743 
139.37/36.57	o 744 
139.37/36.59	o 745 
140.01/36.61	o 746 
140.01/36.63	o 747 
140.01/36.66	o 748 
140.01/36.68	o 749 
140.01/36.70	o 750 
140.62/36.72	o 751 
140.62/36.74	o 752 
140.62/36.76	o 753 
140.62/36.78	o 754 
140.62/36.79	o 755 
141.30/36.81	o 756 
141.30/36.83	o 757 
141.30/36.85	o 758 
141.30/36.87	o 759 
141.30/36.89	o 760 
141.88/36.91	o 761 
141.88/36.93	o 762 
141.88/36.94	o 763 
141.88/36.96	o 764 
141.88/36.98	o 765 
141.88/37.00	o 766 
142.49/37.01	o 767 
142.49/37.03	o 768 
142.49/37.05	o 769 
142.49/37.08	o 770 
142.49/37.09	o 771 
143.07/37.12	o 772 
143.07/37.14	o 773 
143.07/37.15	o 774 
143.07/37.17	o 775 
143.07/37.20	o 776 
143.54/37.22	o 777 
143.54/37.24	o 778 
143.54/37.26	o 779 
143.54/37.28	o 780 
144.12/37.30	o 781 
144.12/37.32	o 782 
144.12/37.34	o 783 
144.12/37.36	o 784 
144.12/37.38	o 785 
144.12/37.39	o 786 
144.75/37.41	o 787 
144.75/37.43	o 788 
144.75/37.45	o 789 
144.75/37.47	o 790 
144.75/37.49	o 791 
145.28/37.51	o 792 
145.28/37.54	o 793 
145.28/37.56	o 794 
145.28/37.58	o 795 
145.28/37.60	o 796 
145.83/37.62	o 797 
145.83/37.64	o 798 
145.83/37.66	o 799 
145.83/37.68	o 800 
145.83/37.69	o 801 
146.43/37.72	o 802 
146.43/37.73	o 803 
146.43/37.75	o 804 
146.43/37.77	o 805 
146.43/37.79	o 806 
146.94/37.82	o 807 
146.94/37.83	o 808 
146.94/37.85	o 809 
146.94/37.87	o 810 
146.94/37.89	o 811 
147.57/37.90	o 812 
147.57/37.93	o 813 
147.57/37.94	o 814 
147.57/37.96	o 815 
147.57/37.99	o 816 
147.57/38.01	o 817 
148.20/38.03	o 818 
148.20/38.05	o 819 
148.20/38.07	o 820 
148.20/38.09	o 821 
148.81/38.13	o 822 
148.81/38.15	o 823 
148.81/38.16	o 824 
148.81/38.18	o 825 
149.44/38.20	o 826 
149.44/38.22	o 827 
149.44/38.24	o 828 
149.44/38.26	o 829 
149.44/38.28	o 830 
150.09/38.30	o 831 
150.09/38.32	o 832 
150.09/38.34	o 833 
150.09/38.36	o 834 
150.09/38.38	o 835 
150.74/38.41	o 836 
150.74/38.45	o 837 
151.69/39.07	o 838 
153.99/41.26	o 839 
153.99/41.30	o 840 
154.23/41.32	o 841 
154.23/41.34	o 842 
154.23/41.36	o 843 
154.23/41.38	o 844 
154.86/41.40	o 845 
154.86/41.43	o 846 
154.86/41.45	o 847 
154.86/41.47	o 848 
154.86/41.49	o 849 
155.52/41.51	o 850 
155.52/41.54	o 851 
155.52/41.56	o 852 
155.52/41.58	o 853 
156.06/41.60	o 854 
156.06/41.62	o 855 
156.06/41.64	o 856 
156.06/41.66	o 857 
156.06/41.68	o 858 
156.66/41.71	o 859 
156.66/41.73	o 860 
156.66/41.75	o 861 
156.66/41.77	o 862 
156.66/41.79	o 863 
157.29/41.81	o 864 
157.29/41.83	o 865 
157.29/41.85	o 866 
157.29/41.88	o 867 
157.29/41.89	o 868 
157.81/41.92	o 869 
157.81/41.95	o 870 
157.81/41.98	o 871 
157.81/42.00	o 872 
158.42/42.02	o 873 
158.42/42.04	o 874 
158.42/42.06	o 875 
158.42/42.09	o 876 
159.07/42.11	o 877 
159.07/42.14	o 878 
159.07/42.16	o 879 
159.07/42.18	o 880 
159.65/42.21	o 881 
159.65/42.23	o 882 
159.65/42.25	o 883 
159.65/42.27	o 884 
159.65/42.29	o 885 
160.32/42.32	o 886 
160.32/42.34	o 887 
160.32/42.36	o 888 
160.32/42.39	o 889 
160.85/42.41	o 890 
160.85/42.43	o 891 
160.85/42.46	o 892 
160.85/42.48	o 893 
161.43/42.50	o 894 
161.43/42.52	o 895 
161.43/42.55	o 896 
161.43/42.57	o 897 
161.43/42.59	o 898 
162.12/42.61	o 899 
162.12/42.64	o 900 
162.12/42.66	o 901 
162.12/42.68	o 902 
162.67/42.71	o 903 
162.67/42.73	o 904 
162.67/42.75	o 905 
162.67/42.77	o 906 
162.67/42.79	o 907 
163.35/42.81	o 908 
163.35/42.84	o 909 
163.35/42.86	o 910 
163.35/42.88	o 911 
163.91/42.90	o 912 
163.91/42.93	o 913 
163.91/42.95	o 914 
163.91/42.97	o 915 
163.91/43.00	o 916 
164.57/43.01	o 917 
164.57/43.04	o 918 
164.57/43.06	o 919 
164.57/43.08	o 920 
164.57/43.10	o 921 
165.26/43.12	o 922 
165.26/43.14	o 923 
165.26/43.17	o 924 
165.26/43.19	o 925 
165.81/43.21	o 926 
165.81/43.24	o 927 
165.81/43.26	o 928 
165.81/43.28	o 929 
166.39/43.30	o 930 
166.39/43.33	o 931 
166.39/43.35	o 932 
166.39/43.37	o 933 
166.98/43.40	o 934 
166.98/43.42	o 935 
166.98/43.44	o 936 
166.98/43.47	o 937 
166.98/43.49	o 938 
167.65/43.51	o 939 
167.65/43.54	o 940 
167.65/43.56	o 941 
167.65/43.59	o 942 
168.21/43.62	o 943 
168.21/43.64	o 944 
168.21/43.68	o 945 
168.78/43.70	o 946 
168.78/43.73	o 947 
168.78/43.74	o 948 
168.78/43.77	o 949 
168.78/43.79	o 950 
169.42/43.81	o 951 
169.42/43.83	o 952 
169.42/43.85	o 953 
169.42/43.87	o 954 
170.02/43.90	o 955 
170.02/43.92	o 956 
170.02/43.94	o 957 
170.02/43.97	o 958 
170.02/43.99	o 959 
170.02/44.01	o 960 
170.74/44.03	o 961 
170.74/44.05	o 962 
170.74/44.07	o 963 
170.74/44.10	o 964 
171.38/44.12	o 965 
171.38/44.14	o 966 
171.38/44.16	o 967 
171.38/44.19	o 968 
171.83/44.22	o 969 
171.83/44.24	o 970 
171.83/44.26	o 971 
171.83/44.29	o 972 
172.50/44.31	o 973 
172.50/44.34	o 974 
172.50/44.36	o 975 
172.50/44.39	o 976 
173.09/44.42	o 977 
173.09/44.44	o 978 
173.09/44.46	o 979 
173.09/44.48	o 980 
173.69/44.50	o 981 
173.69/44.52	o 982 
173.69/44.54	o 983 
173.69/44.56	o 984 
173.69/44.58	o 985 
174.39/44.61	o 986 
174.39/44.63	o 987 
174.39/44.65	o 988 
174.39/44.67	o 989 
174.94/44.70	o 990 
174.94/44.72	o 991 
174.94/44.74	o 992 
174.94/44.76	o 993 
174.94/44.78	o 994 
175.59/44.81	o 995 
175.59/44.83	o 996 
175.59/44.85	o 997 
175.59/44.87	o 998 
176.22/44.90	o 999 
176.22/44.94	o 1000 
176.22/44.96	o 1001 
176.22/44.98	o 1002 
176.87/45.02	o 1003 
176.87/45.04	o 1004 
176.87/45.06	o 1005 
176.87/45.09	o 1006 
176.87/45.11	o 1007 
177.53/45.13	o 1008 
177.53/45.15	o 1009 
177.53/45.18	o 1010 
178.13/45.20	o 1011 
178.13/45.23	o 1012 
178.13/45.25	o 1013 
178.13/45.28	o 1014 
178.13/45.31	o 1015 
178.74/45.33	o 1016 
178.74/45.35	o 1017 
178.74/45.38	o 1018 
179.32/45.41	o 1019 
179.32/45.43	o 1020 
179.32/45.46	o 1021 
179.32/45.49	o 1022 
179.83/45.51	o 1023 
179.83/45.54	o 1024 
179.83/45.57	o 1025 
179.83/45.59	o 1026 
180.46/45.62	o 1027 
180.46/45.64	o 1028 
180.46/45.67	o 1029 
180.46/45.69	o 1030 
181.06/45.71	o 1031 
181.06/45.74	o 1032 
181.06/45.76	o 1033 
181.06/45.79	o 1034 
181.67/45.82	o 1035 
181.67/45.84	o 1036 
181.67/45.86	o 1037 
181.67/45.88	o 1038 
182.27/45.91	o 1039 
182.27/45.93	o 1040 
182.27/45.96	o 1041 
182.27/45.98	o 1042 
182.27/46.01	o 1043 
182.97/46.04	o 1044 
182.97/46.06	o 1045 
182.97/46.08	o 1046 
182.97/46.10	o 1047 
183.58/46.12	o 1048 
183.58/46.15	o 1049 
183.58/46.17	o 1050 
183.58/46.19	o 1051 
184.26/46.21	o 1052 
184.26/46.23	o 1053 
184.26/46.26	o 1054 
184.26/46.28	o 1055 
184.85/46.30	o 1056 
184.85/46.32	o 1057 
184.85/46.35	o 1058 
184.85/46.37	o 1059 
184.85/46.39	o 1060 
185.56/46.41	o 1061 
185.56/46.44	o 1062 
185.56/46.46	o 1063 
185.56/46.49	o 1064 
186.09/46.51	o 1065 
186.09/46.53	o 1066 
186.09/46.56	o 1067 
186.09/46.58	o 1068 
186.76/46.61	o 1069 
186.76/46.64	o 1070 
186.76/46.69	o 1071 
187.51/46.95	o 1072 
189.68/49.00	o 1073 
189.81/49.02	o 1074 
189.81/49.05	o 1075 
189.81/49.08	o 1076 
189.81/49.10	o 1077 
190.46/49.12	o 1078 
190.46/49.14	o 1079 
190.46/49.17	o 1080 
191.00/49.20	o 1081 
191.00/49.22	o 1082 
191.00/49.25	o 1083 
191.00/49.27	o 1084 
191.00/49.29	o 1085 
191.62/49.32	o 1086 
191.62/49.34	o 1087 
191.62/49.36	o 1088 
191.62/49.39	o 1089 
192.29/49.41	o 1090 
192.29/49.43	o 1091 
192.29/49.45	o 1092 
192.29/49.49	o 1093 
192.96/49.52	o 1094 
192.96/49.54	o 1095 
192.96/49.56	o 1096 
192.96/49.59	o 1097 
193.60/49.62	o 1098 
193.60/49.64	o 1099 
193.60/49.66	o 1100 
193.60/49.68	o 1101 
194.18/49.71	o 1102 
194.18/49.73	o 1103 
194.18/49.76	o 1104 
194.18/49.79	o 1105 
194.83/49.81	o 1106 
194.83/49.83	o 1107 
194.83/49.86	o 1108 
194.83/49.88	o 1109 
195.46/49.91	o 1110 
195.46/49.93	o 1111 
195.46/49.96	o 1112 
195.46/49.99	o 1113 
196.15/50.01	o 1114 
196.15/50.04	o 1115 
196.15/50.06	o 1116 
196.15/50.09	o 1117 
196.71/50.11	o 1118 
196.71/50.13	o 1119 
196.71/50.16	o 1120 
196.71/50.18	o 1121 
197.29/50.21	o 1122 
197.29/50.24	o 1123 
197.29/50.26	o 1124 
197.29/50.28	o 1125 
197.88/50.31	o 1126 
197.88/50.33	o 1127 
197.88/50.36	o 1128 
197.88/50.39	o 1129 
198.46/50.42	o 1130 
198.46/50.44	o 1131 
198.46/50.47	o 1132 
199.03/50.50	o 1133 
199.03/50.52	o 1134 
199.03/50.56	o 1135 
199.03/50.58	o 1136 
199.03/50.60	o 1137 
1806.24/252.09	s SATISFIABLE
1806.24/252.09	v <instantiation>
1806.24/252.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>
1806.24/252.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>
1806.24/252.09	v </instantiation>
1806.24/252.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 (14089 MiB free)
  memory of node 1: 16384 MiB (12299 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=8558, runsolver pid=8555

[startup+0.100131 s]*
/proc/loadavg: 7.06 7.38 7.28 2/199 8579
/proc/meminfo: memFree=27006524/32770624 swapFree=67108860/67108860
[pid=8558] ppid=8555 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8558/stat : 8558 (xcsp3-exec) S 8555 8558 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97040373 9740288 346 33554432000 4194304 5098028 140721210928832 140721210926936 140398020719228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140721210934379 140721210934588 140721210934588 140721210937323 0
/proc/8558/statm: 2378 346 289 221 0 87 0
[pid=8560] ppid=8558 vsize=25999808 memory=26368 CPUtime=0.12 cores=0-7
/proc/8560/stat : 8560 (java) S 8558 8558 3602 0 -1 1077944320 5481 0 0 0 11 1 0 0 20 0 20 0 97040374 26623803392 6592 33554432000 4194304 4196468 140723941645376 140723941627920 140309587267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
/proc/8560/statm: 6499952 6592 2863 1 0 6488269 0
[pid=8560/tid=8561] ppid=8558 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8560/task/8561/stat : 8561 (java) R 8558 8558 3602 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 20 0 97040374 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309591499584 140309587279254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8562] ppid=8558 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/8560/task/8562/stat : 8562 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309539888272 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8563] ppid=8558 vsize=25999808 memory=139655964935808 CPUtime=0 cores=0-7
/proc/8560/task/8563/stat : 8563 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309538835472 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8564] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8564/stat : 8564 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309537782672 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8565] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8565/stat : 8565 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309536729872 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8566] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8566/stat : 8566 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309141256848 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8567] ppid=8558 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8560/task/8567/stat : 8567 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309140204048 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8568] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8568/stat : 8568 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309139151248 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8569] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8569/stat : 8569 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26623803392 6592 33554432000 4194304 4196468 140723941645376 140309138098448 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8570] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8570/stat : 8570 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040376 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308848245616 140309587278466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8571] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8571/stat : 8571 (java) S 8558 8558 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97040377 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308847191584 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8572] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8572/stat : 8572 (java) S 8558 8558 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97040377 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308846138736 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8573] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8573/stat : 8573 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040379 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308845087056 140309587285915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8574] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8574/stat : 8574 (java) S 8558 8558 3602 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 97040379 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308844034416 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8575] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8575/stat : 8575 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97040379 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308842981616 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8576] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8576/stat : 8576 (java) S 8558 8558 3602 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97040379 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308841928816 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8577] ppid=8558 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8560/task/8577/stat : 8577 (java) R 8558 8558 3602 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 20 0 97040379 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308840876016 140309571347806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8578] ppid=8558 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8578/stat : 8578 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97040380 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308839824480 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8579] ppid=8558 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8560/task/8579/stat : 8579 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040380 26623803392 6592 33554432000 4194304 4196468 140723941645376 140308838771760 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27752 KiB

[startup+0.209979 s]*
/proc/loadavg: 7.06 7.38 7.28 3/199 8579
/proc/meminfo: memFree=26994864/32770624 swapFree=67108860/67108860
[pid=8558] ppid=8555 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8558/stat : 8558 (xcsp3-exec) S 8555 8558 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97040373 9740288 346 33554432000 4194304 5098028 140721210928832 140721210926936 140398020719228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140721210934379 140721210934588 140721210934588 140721210937323 0
/proc/8558/statm: 2378 346 289 221 0 87 0
[pid=8560] ppid=8558 vsize=26004064 memory=39092 CPUtime=0.33 cores=0-7
/proc/8560/stat : 8560 (java) S 8558 8558 3602 0 -1 1077944320 8321 0 0 0 31 2 0 0 20 0 20 0 97040374 26628161536 9773 33554432000 4194304 4196468 140723941645376 140723941627920 140309587267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
/proc/8560/statm: 6501016 9773 3050 1 0 6488269 0
[pid=8560/tid=8561] ppid=8558 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8560/task/8561/stat : 8561 (java) R 8558 8558 3602 0 -1 4202560 5389 0 0 0 18 1 0 0 20 0 20 0 97040374 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309591504160 140309587289245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8562] ppid=8558 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/8560/task/8562/stat : 8562 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309539888272 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8563] ppid=8558 vsize=26004064 memory=139655964944735 CPUtime=0 cores=0-7
/proc/8560/task/8563/stat : 8563 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309538835472 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8564] ppid=8558 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8560/task/8564/stat : 8564 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309537782672 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8565] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8565/stat : 8565 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309536729872 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8566] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8566/stat : 8566 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309141256848 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8567] ppid=8558 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8560/task/8567/stat : 8567 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309140204048 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8568] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8568/stat : 8568 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309139151248 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8569] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8569/stat : 8569 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 9773 33554432000 4194304 4196468 140723941645376 140309138098448 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8570] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8570/stat : 8570 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040376 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308848245616 140309587278466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8571] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8571/stat : 8571 (java) S 8558 8558 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97040377 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308847191584 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8572] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8572/stat : 8572 (java) S 8558 8558 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97040377 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308846138736 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8573] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8573/stat : 8573 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040379 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308845087056 140309587285915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8574] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8574/stat : 8574 (java) S 8558 8558 3602 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 20 0 97040379 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308844034416 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8575] ppid=8558 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8560/task/8575/stat : 8575 (java) S 8558 8558 3602 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 97040379 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308842981616 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8576] ppid=8558 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/8560/task/8576/stat : 8576 (java) S 8558 8558 3602 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 97040379 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308841928816 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8577] ppid=8558 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/8560/task/8577/stat : 8577 (java) S 8558 8558 3602 0 -1 1077944384 759 0 0 0 7 0 0 0 20 0 20 0 97040379 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308840876016 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8578] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8578/stat : 8578 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97040380 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308839824480 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8579] ppid=8558 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8560/task/8579/stat : 8579 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040380 26628161536 9773 33554432000 4194304 4196468 140723941645376 140308838771760 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40476 KiB

[startup+0.309284 s]*
/proc/loadavg: 7.06 7.38 7.28 4/199 8579
/proc/meminfo: memFree=26990336/32770624 swapFree=67108860/67108860
[pid=8558] ppid=8555 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8558/stat : 8558 (xcsp3-exec) S 8555 8558 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97040373 9740288 346 33554432000 4194304 5098028 140721210928832 140721210926936 140398020719228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140721210934379 140721210934588 140721210934588 140721210937323 0
/proc/8558/statm: 2378 346 289 221 0 87 0
[pid=8560] ppid=8558 vsize=26004064 memory=45776 CPUtime=0.5 cores=0-7
/proc/8560/stat : 8560 (java) S 8558 8558 3602 0 -1 1077944320 9140 0 0 0 47 3 0 0 20 0 20 0 97040374 26628161536 11444 33554432000 4194304 4196468 140723941645376 140723941627920 140309587267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
/proc/8560/statm: 6501016 11444 3066 1 0 6488269 0
[pid=8560/tid=8561] ppid=8558 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8560/task/8561/stat : 8561 (java) R 8558 8558 3602 0 -1 4202560 6064 0 0 0 27 2 0 0 20 0 20 0 97040374 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309591505584 140309587279254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8562] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8562/stat : 8562 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309539888272 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8563] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8563/stat : 8563 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309538835472 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8564] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8564/stat : 8564 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309537782672 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8565] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8565/stat : 8565 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309536729872 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8566] ppid=8558 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/8560/task/8566/stat : 8566 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309141256848 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8567] ppid=8558 vsize=26004064 memory=139655827780527 CPUtime=0 cores=0-7
/proc/8560/task/8567/stat : 8567 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309140204048 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8568] ppid=8558 vsize=26004064 memory=139655827782832 CPUtime=0 cores=0-7
/proc/8560/task/8568/stat : 8568 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309139151248 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8569] ppid=8558 vsize=26004064 memory=139655827785136 CPUtime=0 cores=0-7
/proc/8560/task/8569/stat : 8569 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628161536 11444 33554432000 4194304 4196468 140723941645376 140309138098448 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8570] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8570/stat : 8570 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040376 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308848245616 140309587278466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8571] ppid=8558 vsize=26004064 memory=279311655577232 CPUtime=0 cores=0-7
/proc/8560/task/8571/stat : 8571 (java) S 8558 8558 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97040377 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308847191584 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8572] ppid=8558 vsize=26004064 memory=279311655584144 CPUtime=0 cores=0-7
/proc/8560/task/8572/stat : 8572 (java) S 8558 8558 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97040377 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308846138736 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8573] ppid=8558 vsize=26004064 memory=279311655525424 CPUtime=0 cores=0-7
/proc/8560/task/8573/stat : 8573 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040379 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308845087056 140309587285915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8574] ppid=8558 vsize=26004064 memory=279311655597968 CPUtime=0.01 cores=0-7
/proc/8560/task/8574/stat : 8574 (java) S 8558 8558 3602 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 97040379 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308844034416 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8575] ppid=8558 vsize=26004064 memory=279311655604880 CPUtime=0.02 cores=0-7
/proc/8560/task/8575/stat : 8575 (java) S 8558 8558 3602 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 97040379 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308842981616 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8576] ppid=8558 vsize=26004064 memory=279311655602576 CPUtime=0.03 cores=0-7
/proc/8560/task/8576/stat : 8576 (java) S 8558 8558 3602 0 -1 1077944384 432 0 0 0 3 0 0 0 20 0 20 0 97040379 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308841928816 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8577] ppid=8558 vsize=26004064 memory=279311655618736 CPUtime=0.12 cores=0-7
/proc/8560/task/8577/stat : 8577 (java) R 8558 8558 3602 0 -1 4202560 872 0 0 0 12 0 0 0 20 0 20 0 97040379 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308840872384 140309587281183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8578] ppid=8558 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8578/stat : 8578 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97040380 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308839824480 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8579] ppid=8558 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8560/task/8579/stat : 8579 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040380 26628161536 11444 33554432000 4194304 4196468 140723941645376 140308838771760 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47160 KiB

[startup+0.700902 s]
/proc/loadavg: 6.58 7.28 7.25 6/199 8579
/proc/meminfo: memFree=26964964/32770624 swapFree=67108860/67108860
[pid=8558] ppid=8555 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8558/stat : 8558 (xcsp3-exec) S 8555 8558 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97040373 9740288 346 33554432000 4194304 5098028 140721210928832 140721210926936 140398020719228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140721210934379 140721210934588 140721210934588 140721210937323 0
/proc/8558/statm: 2378 346 289 221 0 87 0
[pid=8560] ppid=8558 vsize=26004140 memory=100052 CPUtime=1.92 cores=0-7
/proc/8560/stat : 8560 (java) S 8558 8558 3602 0 -1 1077944320 12945 0 0 0 187 5 0 0 20 0 20 0 97040374 26628239360 25013 33554432000 4194304 4196468 140723941645376 140723941627920 140309587267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
/proc/8560/statm: 6501035 25013 3199 1 0 6488269 0
[pid=8560/tid=8561] ppid=8558 vsize=26004140 memory=279311655976624 CPUtime=0.67 cores=0-7
/proc/8560/task/8561/stat : 8561 (java) R 8558 8558 3602 0 -1 4202560 6485 0 0 0 64 3 0 0 20 0 20 0 97040374 26628239360 25013 33554432000 4194304 4196468 140723941645376 140309591505824 140309569730011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8562] ppid=8558 vsize=26004140 memory=139655827989360 CPUtime=0 cores=0-7
/proc/8560/task/8562/stat : 8562 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628239360 25013 33554432000 4194304 4196468 140723941645376 140309539888272 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8563] ppid=8558 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8563/stat : 8563 (java) S 8558 8558 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97040375 26628239360 25013 33554432000 4194304 4196468 140723941645376 140309538835472 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8564] ppid=8558 vsize=26004140 memory=1008 CPUtime=0 cores=0-7
/proc/8560/task/8564/stat : 8564 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97040375 26628239360 25013 33554432000 4194304 4196468 140723941645376 140309537782672 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0

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

/proc/meminfo: memFree=24066384/32770624 swapFree=67108860/67108860
[pid=8558] ppid=8555 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8558/stat : 8558 (xcsp3-exec) S 8555 8558 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97040373 9740288 346 33554432000 4194304 5098028 140721210928832 140721210926936 140398020719228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140721210934379 140721210934588 140721210934588 140721210937323 0
/proc/8558/statm: 2378 346 289 221 0 87 0
[pid=8560] ppid=8558 vsize=26541776 memory=2966436 CPUtime=1569.21 cores=0-7
/proc/8560/stat : 8560 (java) S 8558 8558 3602 0 -1 1077944320 238323 0 0 0 156440 481 0 0 20 0 28 0 97040374 27178778624 741609 33554432000 4194304 4196468 140723941645376 140723941627920 140309587267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
/proc/8560/statm: 6635444 741609 3306 1 0 6622678 0
[pid=8560/tid=8561] ppid=8558 vsize=26541776 memory=1384 CPUtime=8.97 cores=0-7
/proc/8560/task/8561/stat : 8561 (java) S 8558 8558 3602 0 -1 1077944384 12390 0 0 0 875 22 0 0 20 0 28 0 97040374 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309591508032 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8562] ppid=8558 vsize=26541776 memory=2945948 CPUtime=0.94 cores=0-7
/proc/8560/task/8562/stat : 8562 (java) S 8558 8558 3602 0 -1 1077944384 1788 0 0 0 76 18 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309539888272 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8563] ppid=8558 vsize=26541776 memory=1384 CPUtime=0.96 cores=0-7
/proc/8560/task/8563/stat : 8563 (java) S 8558 8558 3602 0 -1 1077944384 1441 0 0 0 76 20 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309538835472 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8564] ppid=8558 vsize=26541776 memory=2966436 CPUtime=0.97 cores=0-7
/proc/8560/task/8564/stat : 8564 (java) S 8558 8558 3602 0 -1 1077944384 1488 0 0 0 77 20 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309537782672 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8565] ppid=8558 vsize=26541776 memory=1384 CPUtime=0.96 cores=0-7
/proc/8560/task/8565/stat : 8565 (java) S 8558 8558 3602 0 -1 1077944384 1805 0 0 0 75 21 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309536729872 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8566] ppid=8558 vsize=26541776 memory=2966436 CPUtime=0.95 cores=0-7
/proc/8560/task/8566/stat : 8566 (java) S 8558 8558 3602 0 -1 1077944384 1123 0 0 0 76 19 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309141256848 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8567] ppid=8558 vsize=26541776 memory=1384 CPUtime=0.96 cores=0-7
/proc/8560/task/8567/stat : 8567 (java) S 8558 8558 3602 0 -1 1077944384 1403 0 0 0 76 20 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309140204048 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8568] ppid=8558 vsize=26541776 memory=2966436 CPUtime=0.94 cores=0-7
/proc/8560/task/8568/stat : 8568 (java) S 8558 8558 3602 0 -1 1077944384 1755 0 0 0 75 19 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309139151248 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8569] ppid=8558 vsize=26541776 memory=2966436 CPUtime=0.96 cores=0-7
/proc/8560/task/8569/stat : 8569 (java) S 8558 8558 3602 0 -1 1077944384 1364 0 0 0 75 21 0 0 20 0 28 0 97040375 27178778624 741609 33554432000 4194304 4196468 140723941645376 140309138098448 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8570] ppid=8558 vsize=26541776 memory=1384 CPUtime=0.1 cores=0-7
/proc/8560/task/8570/stat : 8570 (java) S 8558 8558 3602 0 -1 1077944384 5915 0 0 0 8 2 0 0 20 0 28 0 97040376 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308848245616 140309587278466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8571] ppid=8558 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/8560/task/8571/stat : 8571 (java) S 8558 8558 3602 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 97040377 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308847191648 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8572] ppid=8558 vsize=26541776 memory=2966436 CPUtime=0 cores=0-7
/proc/8560/task/8572/stat : 8572 (java) S 8558 8558 3602 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 97040377 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308846138752 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8573] ppid=8558 vsize=26541776 memory=2966436 CPUtime=0 cores=0-7
/proc/8560/task/8573/stat : 8573 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97040379 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308845087056 140309587285915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8574] ppid=8558 vsize=26541776 memory=2966436 CPUtime=3.91 cores=0-7
/proc/8560/task/8574/stat : 8574 (java) S 8558 8558 3602 0 -1 1077944384 29384 0 0 0 385 6 0 0 20 0 28 0 97040379 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308844034416 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8575] ppid=8558 vsize=26541776 memory=1384 CPUtime=4.14 cores=0-7
/proc/8560/task/8575/stat : 8575 (java) S 8558 8558 3602 0 -1 1077944384 33920 0 0 0 408 6 0 0 20 0 28 0 97040379 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308842981616 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8576] ppid=8558 vsize=26541776 memory=2966436 CPUtime=3.83 cores=0-7
/proc/8560/task/8576/stat : 8576 (java) S 8558 8558 3602 0 -1 1077944384 26506 0 0 0 377 6 0 0 20 0 28 0 97040379 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308841928816 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8577] ppid=8558 vsize=26541776 memory=4140 CPUtime=1.32 cores=0-7
/proc/8560/task/8577/stat : 8577 (java) S 8558 8558 3602 0 -1 1077944384 18170 0 0 0 128 4 0 0 20 0 28 0 97040379 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308840876016 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8578] ppid=8558 vsize=26541776 memory=27876 CPUtime=0 cores=0-7
/proc/8560/task/8578/stat : 8578 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97040380 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308839824480 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8579] ppid=8558 vsize=26541776 memory=1384 CPUtime=0.09 cores=0-7
/proc/8560/task/8579/stat : 8579 (java) S 8558 8558 3602 0 -1 1077944384 2628 0 0 0 4 5 0 0 20 0 28 0 97040380 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308838771760 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17582] ppid=8558 vsize=26541776 memory=1384 CPUtime=171.21 cores=0-7
/proc/8560/task/17582/stat : 17582 (java) R 8558 8558 3602 0 -1 4202560 2776 0 0 0 17114 7 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308828098568 140309227195631 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17583] ppid=8558 vsize=26541776 memory=1384 CPUtime=171.41 cores=0-7
/proc/8560/task/17583/stat : 17583 (java) R 8558 8558 3602 0 -1 4202560 2002 0 0 0 17141 0 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308831258088 140309220337643 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17584] ppid=8558 vsize=26541776 memory=1384 CPUtime=171.42 cores=0-7
/proc/8560/task/17584/stat : 17584 (java) R 8558 8558 3602 0 -1 4202560 1280 0 0 0 17140 2 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308823888824 140309226881443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17585] ppid=8558 vsize=26541776 memory=4140 CPUtime=171.35 cores=0-7
/proc/8560/task/17585/stat : 17585 (java) R 8558 8558 3602 0 -1 4202560 14322 0 0 0 17087 48 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308824944208 140309223784592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17586] ppid=8558 vsize=26541776 memory=27876 CPUtime=169.53 cores=0-7
/proc/8560/task/17586/stat : 17586 (java) R 8558 8558 3602 0 -1 4202560 2949 0 0 0 16948 5 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308825993848 140309226882368 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17587] ppid=8558 vsize=26541776 memory=2966436 CPUtime=171.53 cores=0-7
/proc/8560/task/17587/stat : 17587 (java) R 8558 8558 3602 0 -1 4202560 1587 0 0 0 17153 0 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308820738616 140309220744837 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17588] ppid=8558 vsize=26541776 memory=1384 CPUtime=171.4 cores=0-7
/proc/8560/task/17588/stat : 17588 (java) R 8558 8558 3602 0 -1 4202560 3333 0 0 0 17139 1 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308830205272 140309223784592 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17589] ppid=8558 vsize=26541776 memory=2966436 CPUtime=170.17 cores=0-7
/proc/8560/task/17589/stat : 17589 (java) R 8558 8558 3602 0 -1 4202560 3573 0 0 0 17006 11 0 0 20 0 28 0 97045434 27178778624 741609 33554432000 4194304 4196468 140723941645376 140308827046816 140309226421719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
Current children cumulated CPU time: 1569.21 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2967820 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.00 7.49 7.31 9/208 17597
/proc/meminfo: memFree=24052732/32770624 swapFree=67108860/67108860
[pid=8558] ppid=8555 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8558/stat : 8558 (xcsp3-exec) S 8555 8558 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97040373 9740288 346 33554432000 4194304 5098028 140721210928832 140721210926936 140398020719228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140721210934379 140721210934588 140721210934588 140721210937323 0
/proc/8558/statm: 2378 346 289 221 0 87 0
[pid=8560] ppid=8558 vsize=26541776 memory=2980780 CPUtime=1806.24 cores=0-7
/proc/8560/stat : 8560 (java) S 8558 8558 3602 0 -1 1077944320 239883 0 0 0 180136 488 0 0 20 0 28 0 97040374 27178778624 745195 33554432000 4194304 4196468 140723941645376 140723941627920 140309587267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
/proc/8560/statm: 6635444 745195 3306 1 0 6622678 0
[pid=8560/tid=8561] ppid=8558 vsize=26541776 memory=8112282956445269571 CPUtime=8.97 cores=0-7
/proc/8560/task/8561/stat : 8561 (java) S 8558 8558 3602 0 -1 1077944384 12390 0 0 0 875 22 0 0 20 0 28 0 97040374 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309591508032 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8562] ppid=8558 vsize=26541776 memory=4126316290023845779 CPUtime=0.95 cores=0-7
/proc/8560/task/8562/stat : 8562 (java) S 8558 8558 3602 0 -1 1077944384 1798 0 0 0 77 18 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309539888272 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8563] ppid=8558 vsize=26541776 memory=15260333174426028 CPUtime=0.97 cores=0-7
/proc/8560/task/8563/stat : 8563 (java) S 8558 8558 3602 0 -1 1077944384 1451 0 0 0 77 20 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309538835472 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8564] ppid=8558 vsize=26541776 memory=1700 CPUtime=0.99 cores=0-7
/proc/8560/task/8564/stat : 8564 (java) S 8558 8558 3602 0 -1 1077944384 1506 0 0 0 78 21 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309537782672 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8565] ppid=8558 vsize=26541776 memory=1384 CPUtime=0.97 cores=0-7
/proc/8560/task/8565/stat : 8565 (java) S 8558 8558 3602 0 -1 1077944384 1812 0 0 0 76 21 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309536729872 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8566] ppid=8558 vsize=26541776 memory=2976676 CPUtime=0.95 cores=0-7
/proc/8560/task/8566/stat : 8566 (java) S 8558 8558 3602 0 -1 1077944384 1127 0 0 0 76 19 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309141256848 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8567] ppid=8558 vsize=26541776 memory=2976676 CPUtime=0.96 cores=0-7
/proc/8560/task/8567/stat : 8567 (java) S 8558 8558 3602 0 -1 1077944384 1407 0 0 0 76 20 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309140204048 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8568] ppid=8558 vsize=26541776 memory=15804 CPUtime=0.96 cores=0-7
/proc/8560/task/8568/stat : 8568 (java) S 8558 8558 3602 0 -1 1077944384 1769 0 0 0 76 20 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309139151248 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8569] ppid=8558 vsize=26541776 memory=0 CPUtime=0.98 cores=0-7
/proc/8560/task/8569/stat : 8569 (java) S 8558 8558 3602 0 -1 1077944384 1370 0 0 0 76 22 0 0 20 0 28 0 97040375 27178778624 745195 33554432000 4194304 4196468 140723941645376 140309138098448 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8570] ppid=8558 vsize=26541776 memory=0 CPUtime=0.11 cores=0-7
/proc/8560/task/8570/stat : 8570 (java) S 8558 8558 3602 0 -1 1077944384 5929 0 0 0 9 2 0 0 20 0 28 0 97040376 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308848245616 140309587278466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8571] ppid=8558 vsize=26541776 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8571/stat : 8571 (java) S 8558 8558 3602 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 97040377 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308847191648 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8572] ppid=8558 vsize=26541776 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8572/stat : 8572 (java) S 8558 8558 3602 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 97040377 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308846138752 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8573] ppid=8558 vsize=26541776 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8573/stat : 8573 (java) S 8558 8558 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97040379 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308845087056 140309587285915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8574] ppid=8558 vsize=26541776 memory=0 CPUtime=3.91 cores=0-7
/proc/8560/task/8574/stat : 8574 (java) S 8558 8558 3602 0 -1 1077944384 29384 0 0 0 385 6 0 0 20 0 28 0 97040379 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308844034416 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8575] ppid=8558 vsize=26541776 memory=0 CPUtime=4.14 cores=0-7
/proc/8560/task/8575/stat : 8575 (java) S 8558 8558 3602 0 -1 1077944384 33920 0 0 0 408 6 0 0 20 0 28 0 97040379 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308842981616 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8576] ppid=8558 vsize=26541776 memory=0 CPUtime=3.83 cores=0-7
/proc/8560/task/8576/stat : 8576 (java) S 8558 8558 3602 0 -1 1077944384 26506 0 0 0 377 6 0 0 20 0 28 0 97040379 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308841928816 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8577] ppid=8558 vsize=26541776 memory=0 CPUtime=1.32 cores=0-7
/proc/8560/task/8577/stat : 8577 (java) S 8558 8558 3602 0 -1 1077944384 18377 0 0 0 128 4 0 0 20 0 28 0 97040379 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308840876016 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8578] ppid=8558 vsize=26541776 memory=0 CPUtime=0 cores=0-7
/proc/8560/task/8578/stat : 8578 (java) S 8558 8558 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97040380 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308839824480 140309587277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=8579] ppid=8558 vsize=26541776 memory=0 CPUtime=0.11 cores=0-7
/proc/8560/task/8579/stat : 8579 (java) S 8558 8558 3602 0 -1 1077944384 2630 0 0 0 5 6 0 0 20 0 28 0 97040380 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308838771760 140309587278466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17582] ppid=8558 vsize=26541776 memory=1384 CPUtime=200.91 cores=0-7
/proc/8560/task/17582/stat : 17582 (java) R 8558 8558 3602 0 -1 4202560 2860 0 0 0 20083 8 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308828098568 140309227195718 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17583] ppid=8558 vsize=26541776 memory=2976676 CPUtime=201.07 cores=0-7
/proc/8560/task/17583/stat : 17583 (java) R 8558 8558 3602 0 -1 4202560 2011 0 0 0 20107 0 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308831257088 140309220745363 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17584] ppid=8558 vsize=26541776 memory=1384 CPUtime=201.1 cores=0-7
/proc/8560/task/17584/stat : 17584 (java) R 8558 8558 3602 0 -1 4202560 1288 0 0 0 20108 2 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308823888824 140309227170316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17585] ppid=8558 vsize=26541776 memory=2976676 CPUtime=201.05 cores=0-7
/proc/8560/task/17585/stat : 17585 (java) R 8558 8558 3602 0 -1 4202560 15404 0 0 0 20053 52 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308824941400 140309227195662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17586] ppid=8558 vsize=26541776 memory=1156 CPUtime=198.65 cores=0-7
/proc/8560/task/17586/stat : 17586 (java) R 8558 8558 3602 0 -1 4202560 2993 0 0 0 19860 5 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308825996424 140309226421933 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17587] ppid=8558 vsize=26541776 memory=4140 CPUtime=201.22 cores=0-7
/proc/8560/task/17587/stat : 17587 (java) R 8558 8558 3602 0 -1 4202560 1601 0 0 0 20122 0 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308820738536 140309226669329 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17588] ppid=8558 vsize=26541776 memory=1384 CPUtime=201.1 cores=0-7
/proc/8560/task/17588/stat : 17588 (java) R 8558 8558 3602 0 -1 4202560 3351 0 0 0 20109 1 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308830205368 140309227195657 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
[pid=8560/tid=17589] ppid=8558 vsize=26541776 memory=2976676 CPUtime=199.86 cores=0-7
/proc/8560/task/17589/stat : 17589 (java) R 8558 8558 3602 0 -1 4202560 3578 0 0 0 19975 11 0 0 20 0 28 0 97045434 27178778624 745195 33554432000 4194304 4196468 140723941645376 140308827046984 140309226669432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18857984 140723941647512 140723941647688 140723941647688 140723941650383 0
Current children cumulated CPU time: 1806.24 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2982164 KiB

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

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

[startup+252.136 s]
# the end of solver process 8560 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1802.13 s, system=4.90346 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

[startup+252.127 s]*
/proc/loadavg: 8.00 7.49 7.31 2/179 17599
/proc/meminfo: memFree=27024588/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00201 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.136
CPU time (s): 1807.03
CPU user time (s): 1802.13
CPU system time (s): 4.90346
CPU usage (%): 716.69
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 2982164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802.13
system time used= 4.90346
maximum resident set size= 2981252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241349
page faults= 0
swaps= 0
block input operations= 8
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75669
involuntary context switches= 19218


# summary of solver processes directly reported to runsolver:
#   pid: 8558,8560
#   total CPU time (s): 1807.03
#   total CPU user time (s): 1802.13
#   total CPU system time (s): 4.90346

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89838 second user time and 3.21429 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-13 17:37:47
IDJOB=4271800
IDBENCH=115882
IDSOLVER=2663
FILE ID=node114/4271800-1502639525
RUNJOBID= node114-1502634593-3629
PBS_JOBID= 20628323
Free space on /tmp= 61700 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-4271800-1502639525/watcher-4271800-1502639525 -o /tmp/evaluation-result-4271800-1502639525/solver-4271800-1502639525 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502634593-3629 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 173942593 HOME/instance-4271800-1502639525.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=173942593

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27022620 kB
MemAvailable:   31989060 kB
Buffers:          159088 kB
Cached:          5097040 kB
SwapCached:            0 kB
Active:           447848 kB
Inactive:        4861912 kB
Active(anon):      56512 kB
Inactive(anon):    25036 kB
Active(file):     391336 kB
Inactive(file):  4836876 kB
Unevictable:        6520 kB
Mlocked:            6520 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8064 kB
Writeback:             0 kB
AnonPages:         60156 kB
Mapped:            43564 kB
Shmem:             25224 kB
Slab:             133764 kB
SReclaimable:     108124 kB
SUnreclaim:        25640 kB
KernelStack:        3136 kB
PageTables:         4636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323356 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61692 MiB
End job on node114 at 2017-08-13 17:41:59