Trace number 4281610

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)1137 1818.5601 252.13

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-4281610-1503177990.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281610-1503177990.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
13.33/7.26	c solve instance...
50.44/12.01	o 0 
51.13/12.12	o 4 
55.83/13.20	o 6 
59.93/16.75	o 8 
59.93/16.77	o 10 
59.93/16.79	o 12 
60.19/16.83	o 14 
60.19/16.88	o 16 
60.73/16.92	o 18 
61.54/17.02	o 20 
61.54/17.07	o 24 
61.54/17.10	o 25 
62.18/17.12	o 26 
62.18/17.16	o 27 
62.18/17.18	o 28 
62.18/17.20	o 29 
62.67/17.21	o 30 
62.67/17.23	o 31 
62.67/17.25	o 32 
62.67/17.27	o 33 
62.67/17.29	o 34 
63.17/17.31	o 35 
63.17/17.33	o 36 
63.17/17.35	o 37 
63.17/17.39	o 38 
63.64/17.40	o 39 
63.64/17.42	o 40 
63.64/17.44	o 41 
63.64/17.46	o 42 
63.64/17.47	o 43 
63.64/17.50	o 44 
64.12/17.51	o 45 
64.12/17.53	o 46 
64.12/17.55	o 47 
64.12/17.58	o 48 
64.59/17.60	o 49 
64.59/17.62	o 50 
64.59/17.63	o 51 
64.59/17.65	o 52 
64.59/17.67	o 53 
64.59/17.69	o 54 
65.14/17.71	o 55 
65.14/17.73	o 56 
65.14/17.75	o 57 
65.14/17.77	o 58 
65.14/17.79	o 59 
65.63/17.81	o 60 
65.63/17.85	o 61 
65.63/17.87	o 62 
66.08/17.90	o 63 
66.08/17.92	o 64 
66.08/17.95	o 65 
66.08/17.98	o 66 
66.08/17.99	o 67 
66.08/18.01	o 68 
66.59/18.03	o 69 
66.59/18.05	o 70 
66.59/18.06	o 71 
66.59/18.08	o 72 
66.59/18.10	o 73 
67.12/18.12	o 74 
67.12/18.14	o 75 
67.12/18.15	o 76 
67.12/18.18	o 77 
67.12/18.20	o 78 
67.48/18.22	o 79 
67.48/18.24	o 80 
67.48/18.27	o 81 
67.48/18.29	o 82 
67.93/18.30	o 83 
67.93/18.32	o 84 
67.93/18.35	o 85 
67.93/18.37	o 86 
67.93/18.38	o 87 
68.39/18.41	o 88 
68.39/18.43	o 89 
68.39/18.45	o 90 
68.39/18.46	o 91 
68.39/18.48	o 92 
68.39/18.50	o 93 
68.84/18.51	o 94 
68.84/18.54	o 95 
68.84/18.56	o 96 
68.84/18.58	o 97 
69.34/18.61	o 98 
69.34/18.63	o 99 
69.34/18.65	o 100 
69.34/18.67	o 101 
69.34/18.68	o 102 
69.77/18.70	o 103 
69.77/18.72	o 104 
69.77/18.74	o 105 
69.77/18.77	o 106 
69.77/18.79	o 107 
70.21/18.81	o 108 
70.21/18.84	o 109 
70.21/18.86	o 110 
70.21/18.89	o 111 
70.59/18.90	o 112 
70.59/18.93	o 113 
70.59/18.95	o 114 
70.59/18.96	o 115 
70.59/18.98	o 116 
71.09/19.01	o 117 
71.09/19.03	o 118 
71.09/19.05	o 119 
71.09/19.09	o 120 
71.09/19.10	o 121 
71.59/19.12	o 122 
71.59/19.14	o 123 
71.59/19.15	o 124 
71.59/19.17	o 125 
71.59/19.19	o 126 
72.07/19.21	o 127 
72.07/19.22	o 128 
72.07/19.24	o 129 
72.07/19.26	o 130 
72.07/19.28	o 131 
72.55/19.30	o 132 
72.55/19.33	o 133 
72.55/19.34	o 134 
72.55/19.37	o 135 
72.55/19.38	o 136 
73.00/19.40	o 137 
73.00/19.42	o 138 
73.00/19.43	o 139 
73.00/19.45	o 140 
73.00/19.48	o 141 
73.00/19.49	o 142 
73.51/19.51	o 143 
73.51/19.54	o 144 
73.51/19.56	o 145 
73.51/19.58	o 146 
73.90/19.61	o 147 
73.90/19.63	o 148 
73.90/19.65	o 149 
73.90/19.67	o 150 
73.90/19.69	o 151 
74.37/19.70	o 152 
74.37/19.72	o 153 
74.37/19.74	o 154 
74.37/19.77	o 155 
74.37/19.79	o 156 
74.82/19.80	o 157 
74.82/19.82	o 158 
74.82/19.85	o 159 
74.82/19.87	o 160 
74.82/19.88	o 161 
75.23/19.90	o 162 
75.23/19.92	o 163 
75.23/19.94	o 164 
75.23/19.96	o 165 
75.23/19.97	o 166 
75.23/19.99	o 167 
75.79/20.03	o 168 
75.79/20.04	o 169 
75.79/20.06	o 170 
75.79/20.08	o 171 
75.79/20.09	o 172 
76.32/20.11	o 173 
76.32/20.13	o 174 
76.32/20.15	o 175 
76.32/20.16	o 176 
76.32/20.18	o 177 
76.32/20.20	o 178 
76.74/20.22	o 179 
76.74/20.23	o 180 
76.74/20.25	o 181 
76.74/20.27	o 182 
76.74/20.30	o 183 
77.18/20.31	o 184 
77.18/20.34	o 185 
77.18/20.36	o 186 
77.18/20.38	o 187 
77.18/20.40	o 188 
77.65/20.42	o 189 
77.65/20.43	o 190 
77.65/20.45	o 191 
77.65/20.47	o 192 
77.65/20.49	o 193 
78.18/20.51	o 194 
78.18/20.53	o 195 
78.18/20.55	o 196 
78.18/20.57	o 197 
78.18/20.58	o 198 
78.62/20.60	o 199 
78.62/20.62	o 200 
78.62/20.64	o 201 
78.62/20.66	o 202 
78.62/20.67	o 203 
79.12/20.71	o 204 
79.12/20.72	o 205 
79.12/20.74	o 206 
79.12/20.77	o 207 
79.12/20.79	o 208 
79.59/20.80	o 209 
79.59/20.83	o 210 
79.59/20.84	o 211 
79.59/20.87	o 212 
79.59/20.89	o 213 
80.05/20.91	o 214 
80.05/20.93	o 215 
80.05/20.95	o 216 
80.05/20.96	o 217 
80.05/20.98	o 218 
80.05/21.00	o 219 
80.54/21.01	o 220 
80.54/21.03	o 221 
80.54/21.04	o 222 
80.54/21.06	o 223 
80.54/21.08	o 224 
80.54/21.10	o 225 
81.05/21.11	o 226 
81.05/21.12	o 227 
81.05/21.15	o 228 
81.05/21.17	o 229 
81.05/21.19	o 230 
81.49/21.21	o 231 
81.49/21.22	o 232 
81.49/21.24	o 233 
81.49/21.27	o 234 
81.49/21.29	o 235 
81.99/21.31	o 236 
81.99/21.33	o 237 
81.99/21.35	o 238 
81.99/21.37	o 239 
81.99/21.38	o 240 
82.44/21.40	o 241 
82.44/21.42	o 242 
82.44/21.44	o 243 
82.44/21.45	o 244 
82.44/21.47	o 245 
82.44/21.49	o 246 
82.95/21.51	o 247 
82.95/21.53	o 248 
82.95/21.54	o 249 
82.95/21.56	o 250 
82.95/21.58	o 251 
82.95/21.59	o 252 
83.49/21.61	o 253 
83.49/21.63	o 254 
83.49/21.66	o 255 
83.49/21.67	o 256 
83.49/21.69	o 257 
83.93/21.71	o 258 
83.93/21.72	o 259 
83.93/21.75	o 260 
83.93/21.76	o 261 
83.93/21.78	o 262 
83.93/21.80	o 263 
84.37/21.83	o 264 
84.37/21.86	o 265 
84.37/21.88	o 266 
84.37/21.89	o 267 
84.88/21.91	o 268 
84.88/21.94	o 269 
84.88/21.96	o 270 
84.88/21.97	o 271 
84.88/21.99	o 272 
85.39/22.01	o 273 
85.39/22.02	o 274 
85.39/22.05	o 275 
85.39/22.06	o 276 
85.39/22.08	o 277 
85.39/22.10	o 278 
85.90/22.11	o 279 
85.90/22.13	o 280 
85.90/22.15	o 281 
85.90/22.17	o 282 
85.90/22.19	o 283 
86.36/22.21	o 284 
86.36/22.22	o 285 
86.36/22.25	o 286 
86.36/22.27	o 287 
86.36/22.29	o 288 
86.81/22.32	o 289 
86.81/22.33	o 290 
86.81/22.35	o 291 
86.81/22.37	o 292 
86.81/22.39	o 293 
87.23/22.41	o 294 
87.23/22.44	o 295 
87.23/22.46	o 296 
87.23/22.48	o 297 
87.59/22.51	o 298 
87.59/22.53	o 299 
87.59/22.56	o 300 
87.59/22.58	o 301 
88.06/22.60	o 302 
88.06/22.62	o 303 
88.06/22.65	o 304 
88.06/22.67	o 305 
88.06/22.69	o 306 
88.53/22.70	o 307 
88.53/22.72	o 308 
88.53/22.74	o 309 
88.53/22.75	o 310 
88.53/22.77	o 311 
88.53/22.79	o 312 
89.06/22.81	o 313 
89.06/22.82	o 314 
89.06/22.84	o 315 
89.06/22.87	o 316 
89.06/22.88	o 317 
89.51/22.90	o 318 
89.51/22.92	o 319 
89.51/22.94	o 320 
89.51/22.96	o 321 
89.51/22.97	o 322 
89.51/22.99	o 323 
90.01/23.01	o 324 
90.01/23.03	o 325 
90.01/23.05	o 326 
90.01/23.07	o 327 
90.01/23.09	o 328 
90.45/23.11	o 329 
90.45/23.14	o 330 
90.45/23.16	o 331 
90.45/23.17	o 332 
90.90/23.20	o 333 
90.90/23.22	o 334 
90.90/23.24	o 335 
90.90/23.25	o 336 
90.90/23.27	o 337 
90.90/23.29	o 338 
91.46/23.31	o 339 
91.46/23.33	o 340 
91.46/23.34	o 341 
91.46/23.37	o 342 
91.46/23.39	o 343 
91.93/23.41	o 344 
91.93/23.43	o 345 
91.93/23.45	o 346 
91.93/23.46	o 347 
91.93/23.49	o 348 
92.39/23.51	o 349 
92.39/23.53	o 350 
92.39/23.55	o 351 
92.39/23.56	o 352 
92.39/23.58	o 353 
92.87/23.60	o 354 
92.87/23.61	o 355 
92.87/23.63	o 356 
92.87/23.65	o 357 
92.87/23.67	o 358 
93.33/23.70	o 359 
93.33/23.72	o 360 
93.33/23.74	o 361 
93.33/23.76	o 362 
93.33/23.78	o 363 
93.78/23.80	o 364 
93.78/23.82	o 365 
93.78/23.84	o 366 
93.78/23.86	o 367 
93.78/23.88	o 368 
93.78/23.90	o 369 
94.23/23.91	o 370 
94.23/23.95	o 371 
94.23/23.97	o 372 
94.23/23.99	o 373 
94.23/24.01	o 374 
94.79/24.03	o 375 
94.79/24.05	o 376 
94.79/24.07	o 377 
94.79/24.09	o 378 
95.27/24.11	o 379 
95.27/24.13	o 380 
95.27/24.15	o 381 
95.27/24.17	o 382 
95.27/24.19	o 383 
95.75/24.21	o 384 
95.75/24.23	o 385 
95.75/24.24	o 386 
95.75/24.27	o 387 
95.75/24.28	o 388 
96.24/24.31	o 389 
96.24/24.33	o 390 
96.24/24.35	o 391 
96.24/24.37	o 392 
96.24/24.39	o 393 
96.72/24.41	o 394 
96.72/24.43	o 395 
96.72/24.44	o 396 
96.72/24.46	o 397 
96.72/24.48	o 398 
96.72/24.50	o 399 
97.22/24.51	o 400 
97.22/24.53	o 401 
97.22/24.54	o 402 
97.22/24.56	o 403 
97.22/24.58	o 404 
97.22/24.60	o 405 
97.76/24.61	o 406 
97.76/24.63	o 407 
97.76/24.65	o 408 
97.76/24.66	o 409 
97.76/24.68	o 410 
97.76/24.69	o 411 
98.37/24.71	o 412 
98.37/24.75	o 413 
98.37/24.76	o 414 
98.37/24.78	o 415 
98.37/24.80	o 416 
98.86/24.81	o 417 
98.86/24.83	o 418 
98.86/24.84	o 419 
98.86/24.86	o 420 
98.86/24.87	o 421 
98.86/24.89	o 422 
99.48/24.91	o 423 
99.48/24.92	o 424 
99.48/24.94	o 425 
99.48/24.98	o 426 
99.48/25.00	o 427 
99.98/25.02	o 428 
99.98/25.03	o 429 
99.98/25.05	o 430 
99.98/25.07	o 431 
99.98/25.08	o 432 
99.98/25.10	o 433 
100.56/25.12	o 434 
100.56/25.13	o 435 
100.56/25.15	o 436 
100.56/25.17	o 437 
100.56/25.18	o 438 
101.01/25.20	o 439 
101.01/25.22	o 440 
101.01/25.24	o 441 
101.01/25.25	o 442 
101.01/25.27	o 443 
101.48/25.30	o 444 
101.48/25.32	o 445 
101.48/25.34	o 446 
101.48/25.36	o 447 
101.48/25.38	o 448 
101.48/25.39	o 449 
101.97/25.41	o 450 
101.97/25.43	o 451 
101.97/25.45	o 452 
101.97/25.47	o 453 
101.97/25.49	o 454 
102.52/25.51	o 455 
102.52/25.53	o 456 
102.52/25.55	o 457 
102.52/25.57	o 458 
103.02/25.60	o 459 
103.02/25.62	o 460 
103.02/25.63	o 461 
103.02/25.65	o 462 
103.02/25.68	o 463 
103.02/25.69	o 464 
103.58/25.71	o 465 
103.58/25.73	o 466 
103.58/25.75	o 467 
103.58/25.77	o 468 
103.58/25.78	o 469 
104.08/25.80	o 470 
104.08/25.82	o 471 
104.08/25.84	o 472 
104.08/25.85	o 473 
104.08/25.87	o 474 
104.55/25.90	o 475 
104.55/25.92	o 476 
104.55/25.94	o 477 
104.55/25.95	o 478 
104.55/25.98	o 479 
104.55/25.99	o 480 
104.55/26.01	o 481 
105.17/26.03	o 482 
105.17/26.05	o 483 
105.17/26.07	o 484 
105.17/26.10	o 485 
105.65/26.12	o 486 
105.65/26.13	o 487 
105.65/26.15	o 488 
105.65/26.17	o 489 
105.65/26.19	o 490 
106.14/26.21	o 491 
106.14/26.23	o 492 
106.14/26.25	o 493 
106.14/26.27	o 494 
106.14/26.29	o 495 
106.65/26.31	o 496 
106.65/26.32	o 497 
106.65/26.34	o 498 
106.65/26.36	o 499 
106.65/26.38	o 500 
107.24/26.41	o 501 
107.24/26.43	o 502 
107.24/26.45	o 503 
107.24/26.48	o 504 
107.24/26.49	o 505 
107.74/26.51	o 506 
107.74/26.53	o 507 
107.74/26.59	o 508 
108.51/26.87	o 509 
111.81/29.43	o 510 
111.81/29.46	o 511 
111.81/29.48	o 512 
112.14/29.50	o 513 
112.14/29.52	o 514 
112.14/29.54	o 515 
112.14/29.56	o 516 
112.14/29.58	o 517 
112.67/29.60	o 518 
112.67/29.62	o 519 
112.67/29.64	o 520 
112.67/29.66	o 521 
112.67/29.68	o 522 
112.67/29.70	o 523 
113.21/29.71	o 524 
113.21/29.73	o 525 
113.21/29.75	o 526 
113.21/29.77	o 527 
113.21/29.79	o 528 
113.81/29.81	o 529 
113.81/29.83	o 530 
113.81/29.85	o 531 
113.81/29.86	o 532 
113.81/29.88	o 533 
114.26/29.90	o 534 
114.26/29.92	o 535 
114.26/29.94	o 536 
114.26/29.97	o 537 
114.26/30.00	o 538 
114.76/30.02	o 539 
114.76/30.03	o 540 
114.76/30.05	o 541 
114.76/30.07	o 542 
114.76/30.10	o 543 
115.33/30.12	o 544 
115.33/30.14	o 545 
115.33/30.16	o 546 
115.33/30.18	o 547 
115.33/30.20	o 548 
115.74/30.22	o 549 
115.74/30.23	o 550 
115.74/30.25	o 551 
115.74/30.27	o 552 
115.74/30.29	o 553 
116.31/30.31	o 554 
116.31/30.33	o 555 
116.31/30.35	o 556 
116.31/30.37	o 557 
116.31/30.39	o 558 
116.80/30.41	o 559 
116.80/30.43	o 560 
116.80/30.44	o 561 
116.80/30.46	o 562 
116.80/30.48	o 563 
116.80/30.49	o 564 
117.34/30.51	o 565 
117.34/30.53	o 566 
117.34/30.55	o 567 
117.34/30.56	o 568 
117.34/30.58	o 569 
117.84/30.60	o 570 
117.84/30.61	o 571 
117.84/30.63	o 572 
117.84/30.65	o 573 
117.84/30.67	o 574 
117.84/30.68	o 575 
118.43/30.70	o 576 
118.43/30.72	o 577 
118.43/30.75	o 578 
118.43/30.77	o 579 
118.43/30.79	o 580 
118.98/30.80	o 581 
118.98/30.82	o 582 
118.98/30.84	o 583 
118.98/30.85	o 584 
118.98/30.87	o 585 
118.98/30.89	o 586 
119.56/30.90	o 587 
119.56/30.92	o 588 
119.56/30.94	o 589 
119.56/30.96	o 590 
119.56/30.97	o 591 
119.56/30.99	o 592 
119.56/31.01	o 593 
120.15/31.03	o 594 
120.15/31.04	o 595 
120.15/31.06	o 596 
120.15/31.07	o 597 
120.15/31.10	o 598 
120.70/31.11	o 599 
120.70/31.13	o 600 
120.70/31.15	o 601 
120.70/31.17	o 602 
120.70/31.18	o 603 
121.22/31.20	o 604 
121.22/31.21	o 605 
121.22/31.23	o 606 
121.22/31.25	o 607 
121.22/31.26	o 608 
121.22/31.28	o 609 
121.80/31.30	o 610 
121.80/31.32	o 611 
121.80/31.34	o 612 
121.80/31.36	o 613 
121.80/31.38	o 614 
122.33/31.40	o 615 
122.33/31.42	o 616 
122.33/31.44	o 617 
122.33/31.46	o 618 
122.33/31.47	o 619 
122.33/31.49	o 620 
122.92/31.51	o 621 
122.92/31.53	o 622 
122.92/31.55	o 623 
122.92/31.57	o 624 
122.92/31.59	o 625 
123.43/31.60	o 626 
123.43/31.62	o 627 
123.43/31.64	o 628 
123.43/31.65	o 629 
123.43/31.67	o 630 
123.43/31.69	o 631 
123.99/31.71	o 632 
123.99/31.73	o 633 
123.99/31.75	o 634 
123.99/31.77	o 635 
123.99/31.79	o 636 
124.49/31.80	o 637 
124.49/31.82	o 638 
124.49/31.85	o 639 
124.49/31.86	o 640 
124.49/31.89	o 641 
125.02/31.90	o 642 
125.02/31.93	o 643 
125.02/31.96	o 644 
125.02/31.98	o 645 
125.02/32.01	o 646 
125.53/32.02	o 647 
125.53/32.04	o 648 
125.53/32.06	o 649 
125.53/32.08	o 650 
125.53/32.09	o 651 
126.14/32.11	o 652 
126.14/32.13	o 653 
126.14/32.15	o 654 
126.14/32.16	o 655 
126.14/32.18	o 656 
126.63/32.20	o 657 
126.63/32.22	o 658 
126.63/32.24	o 659 
126.63/32.25	o 660 
126.63/32.27	o 661 
126.63/32.29	o 662 
127.26/32.31	o 663 
127.26/32.34	o 664 
127.26/32.36	o 665 
127.26/32.38	o 666 
127.26/32.40	o 667 
127.70/32.41	o 668 
127.70/32.43	o 669 
127.70/32.46	o 670 
127.70/32.48	o 671 
128.26/32.50	o 672 
128.26/32.52	o 673 
128.26/32.55	o 674 
128.26/32.57	o 675 
128.26/32.58	o 676 
128.81/32.60	o 677 
128.81/32.62	o 678 
128.81/32.64	o 679 
128.81/32.66	o 680 
128.81/32.67	o 681 
128.81/32.69	o 682 
129.45/32.71	o 683 
129.45/32.73	o 684 
129.45/32.75	o 685 
129.45/32.76	o 686 
129.45/32.78	o 687 
130.02/32.80	o 688 
130.02/32.82	o 689 
130.02/32.84	o 690 
130.02/32.86	o 691 
130.02/32.88	o 692 
130.02/32.89	o 693 
130.67/32.91	o 694 
130.67/32.93	o 695 
130.67/32.95	o 696 
130.67/32.97	o 697 
130.67/33.00	o 698 
131.15/33.02	o 699 
131.15/33.05	o 700 
131.15/33.07	o 701 
131.15/33.09	o 702 
131.15/33.10	o 703 
131.80/33.12	o 704 
131.80/33.14	o 705 
131.80/33.16	o 706 
131.80/33.18	o 707 
131.80/33.20	o 708 
132.28/33.22	o 709 
132.28/33.24	o 710 
132.28/33.26	o 711 
132.28/33.28	o 712 
132.85/33.30	o 713 
132.85/33.32	o 714 
132.85/33.34	o 715 
132.85/33.36	o 716 
132.85/33.37	o 717 
132.85/33.39	o 718 
133.48/33.41	o 719 
133.48/33.43	o 720 
133.48/33.45	o 721 
133.48/33.47	o 722 
133.48/33.48	o 723 
133.98/33.50	o 724 
133.98/33.53	o 725 
133.98/33.54	o 726 
133.98/33.56	o 727 
133.98/33.58	o 728 
134.53/33.60	o 729 
134.53/33.64	o 730 
134.53/33.66	o 731 
134.53/33.68	o 732 
134.53/33.70	o 733 
135.06/33.71	o 734 
135.06/33.74	o 735 
135.06/33.75	o 736 
135.06/33.77	o 737 
135.06/33.79	o 738 
135.71/33.82	o 739 
135.71/33.83	o 740 
135.71/33.86	o 741 
135.71/33.87	o 742 
135.71/33.89	o 743 
136.27/33.91	o 744 
136.27/33.93	o 745 
136.27/33.95	o 746 
136.27/33.97	o 747 
136.27/33.99	o 748 
136.92/34.02	o 749 
136.92/34.04	o 750 
136.92/34.06	o 751 
136.92/34.09	o 752 
136.92/34.10	o 753 
137.46/34.13	o 754 
137.46/34.15	o 755 
137.46/34.17	o 756 
137.46/34.19	o 757 
137.90/34.21	o 758 
137.90/34.23	o 759 
137.90/34.25	o 760 
137.90/34.27	o 761 
137.90/34.29	o 762 
138.51/34.34	o 763 
139.36/35.10	o 764 
141.64/37.29	o 765 
141.75/37.32	o 766 
141.75/37.34	o 767 
141.75/37.36	o 768 
141.75/37.38	o 769 
142.37/37.41	o 770 
142.37/37.42	o 771 
142.37/37.45	o 772 
142.37/37.48	o 773 
142.87/37.50	o 774 
142.87/37.52	o 775 
142.87/37.53	o 776 
142.87/37.55	o 777 
142.87/37.57	o 778 
142.87/37.59	o 779 
143.54/37.62	o 780 
143.54/37.63	o 781 
143.54/37.65	o 782 
143.54/37.67	o 783 
143.54/37.69	o 784 
144.14/37.71	o 785 
144.14/37.74	o 786 
144.14/37.77	o 787 
144.14/37.79	o 788 
144.64/37.81	o 789 
144.64/37.83	o 790 
144.64/37.86	o 791 
144.64/37.88	o 792 
145.16/37.90	o 793 
145.16/37.92	o 794 
145.16/37.94	o 795 
145.16/37.96	o 796 
145.16/37.98	o 797 
145.79/38.01	o 798 
145.79/38.03	o 799 
145.79/38.05	o 800 
145.79/38.07	o 801 
145.79/38.09	o 802 
146.39/38.13	o 803 
146.39/38.15	o 804 
146.39/38.17	o 805 
146.39/38.20	o 806 
146.81/38.22	o 807 
146.81/38.24	o 808 
146.81/38.26	o 809 
146.81/38.28	o 810 
147.45/38.30	o 811 
147.45/38.32	o 812 
147.45/38.34	o 813 
147.45/38.36	o 814 
147.45/38.37	o 815 
147.45/38.39	o 816 
148.06/38.41	o 817 
148.06/38.43	o 818 
148.06/38.46	o 819 
148.06/38.48	o 820 
148.69/38.51	o 821 
148.69/38.52	o 822 
148.69/38.56	o 823 
148.69/38.58	o 824 
149.27/38.61	o 825 
149.27/38.64	o 826 
149.27/38.66	o 827 
149.27/38.68	o 828 
149.79/38.70	o 829 
149.79/38.72	o 830 
149.79/38.74	o 831 
149.79/38.76	o 832 
149.79/38.78	o 833 
150.40/38.80	o 834 
150.40/38.82	o 835 
150.40/38.85	o 836 
150.40/38.87	o 837 
150.40/38.89	o 838 
150.93/38.92	o 839 
150.93/38.94	o 840 
150.93/38.96	o 841 
150.93/38.98	o 842 
150.93/39.00	o 843 
151.58/39.03	o 844 
151.58/39.05	o 845 
151.58/39.07	o 846 
151.58/39.09	o 847 
152.21/39.12	o 848 
152.21/39.14	o 849 
152.21/39.16	o 850 
152.21/39.18	o 851 
152.71/39.21	o 852 
152.71/39.23	o 853 
152.71/39.24	o 854 
152.71/39.27	o 855 
152.71/39.29	o 856 
153.26/39.31	o 857 
153.26/39.33	o 858 
153.26/39.36	o 859 
153.26/39.39	o 860 
153.81/39.41	o 861 
153.81/39.43	o 862 
153.81/39.45	o 863 
153.81/39.48	o 864 
154.38/39.50	o 865 
154.38/39.52	o 866 
154.38/39.54	o 867 
154.38/39.56	o 868 
154.38/39.59	o 869 
154.98/39.61	o 870 
154.98/39.63	o 871 
154.98/39.65	o 872 
154.98/39.68	o 873 
155.52/39.70	o 874 
155.52/39.72	o 875 
155.52/39.75	o 876 
155.52/39.76	o 877 
155.52/39.79	o 878 
156.13/39.81	o 879 
156.13/39.84	o 880 
156.13/39.87	o 881 
156.13/39.89	o 882 
156.67/39.91	o 883 
156.67/39.93	o 884 
156.67/39.95	o 885 
156.67/39.97	o 886 
156.67/39.99	o 887 
156.67/40.01	o 888 
157.33/40.03	o 889 
157.33/40.05	o 890 
157.33/40.07	o 891 
157.33/40.10	o 892 
157.91/40.12	o 893 
157.91/40.14	o 894 
157.91/40.17	o 895 
157.91/40.19	o 896 
158.44/40.21	o 897 
158.44/40.23	o 898 
158.44/40.25	o 899 
158.44/40.28	o 900 
158.98/40.30	o 901 
158.98/40.32	o 902 
158.98/40.34	o 903 
158.98/40.37	o 904 
158.98/40.38	o 905 
159.54/40.41	o 906 
159.54/40.43	o 907 
159.54/40.45	o 908 
159.54/40.47	o 909 
160.14/40.51	o 910 
160.14/40.53	o 911 
160.14/40.55	o 912 
160.14/40.58	o 913 
160.68/40.60	o 914 
160.68/40.62	o 915 
160.68/40.65	o 916 
160.68/40.67	o 917 
160.68/40.69	o 918 
161.24/40.72	o 919 
161.24/40.75	o 920 
161.24/40.77	o 921 
161.24/40.79	o 922 
161.88/40.82	o 923 
161.88/40.85	o 924 
161.88/40.87	o 925 
161.88/40.90	o 926 
162.40/40.92	o 927 
162.40/40.94	o 928 
162.40/40.96	o 929 
162.40/40.98	o 930 
162.40/41.00	o 931 
163.04/41.03	o 932 
163.04/41.05	o 933 
163.04/41.08	o 934 
163.04/41.10	o 935 
163.66/41.12	o 936 
163.66/41.14	o 937 
163.66/41.18	o 938 
164.19/41.20	o 939 
164.19/41.22	o 940 
164.19/41.24	o 941 
164.19/41.27	o 942 
164.19/41.29	o 943 
164.84/41.31	o 944 
164.84/41.34	o 945 
164.84/41.36	o 946 
164.84/41.38	o 947 
164.84/41.40	o 948 
165.41/41.42	o 949 
165.41/41.44	o 950 
165.41/41.46	o 951 
165.41/41.49	o 952 
166.05/41.51	o 953 
166.05/41.53	o 954 
166.05/41.56	o 955 
166.05/41.59	o 956 
166.60/41.61	o 957 
166.60/41.64	o 958 
166.60/41.67	o 959 
166.60/41.69	o 960 
167.16/41.71	o 961 
167.16/41.73	o 962 
167.16/41.76	o 963 
167.16/41.79	o 964 
167.75/41.81	o 965 
167.75/41.83	o 966 
167.75/41.86	o 967 
167.75/41.88	o 968 
168.28/41.90	o 969 
168.28/41.92	o 970 
168.28/41.95	o 971 
168.28/41.97	o 972 
168.28/41.99	o 973 
168.94/42.05	o 974 
169.51/42.46	o 975 
171.73/44.52	o 976 
171.73/44.55	o 977 
171.73/44.57	o 978 
171.73/44.59	o 979 
172.24/44.61	o 980 
172.24/44.64	o 981 
172.24/44.66	o 982 
172.24/44.68	o 983 
172.78/44.70	o 984 
172.78/44.72	o 985 
172.78/44.76	o 986 
172.78/44.78	o 987 
173.35/44.80	o 988 
173.35/44.83	o 989 
173.35/44.85	o 990 
173.35/44.88	o 991 
173.89/44.90	o 992 
173.89/44.93	o 993 
173.89/44.95	o 994 
173.89/44.98	o 995 
173.89/45.00	o 996 
174.45/45.02	o 997 
174.45/45.05	o 998 
174.45/45.08	o 999 
175.01/45.11	o 1000 
175.01/45.14	o 1001 
175.01/45.16	o 1002 
175.01/45.18	o 1003 
175.56/45.21	o 1004 
175.56/45.23	o 1005 
175.56/45.25	o 1006 
175.56/45.28	o 1007 
176.14/45.31	o 1008 
176.14/45.33	o 1009 
176.14/45.35	o 1010 
176.14/45.37	o 1011 
176.14/45.39	o 1012 
176.76/45.42	o 1013 
176.76/45.44	o 1014 
176.76/45.47	o 1015 
176.76/45.49	o 1016 
177.28/45.53	o 1017 
177.28/45.57	o 1018 
177.28/45.59	o 1019 
177.73/45.62	o 1020 
177.73/45.64	o 1021 
177.73/45.67	o 1022 
177.73/45.70	o 1023 
178.29/45.73	o 1024 
178.29/45.79	o 1025 
179.01/45.82	o 1026 
179.01/45.84	o 1027 
179.01/45.86	o 1028 
179.01/45.89	o 1029 
179.60/45.91	o 1030 
179.60/45.94	o 1031 
179.60/45.97	o 1032 
179.60/45.99	o 1033 
180.26/46.02	o 1034 
180.26/46.04	o 1035 
180.26/46.06	o 1036 
180.26/46.08	o 1037 
180.26/46.10	o 1038 
180.82/46.13	o 1039 
180.82/46.14	o 1040 
180.82/46.17	o 1041 
180.82/46.19	o 1042 
181.43/46.21	o 1043 
181.43/46.24	o 1044 
181.43/46.26	o 1045 
181.43/46.28	o 1046 
182.05/46.30	o 1047 
182.05/46.33	o 1048 
182.05/46.35	o 1049 
182.05/46.38	o 1050 
182.63/46.41	o 1051 
182.63/46.43	o 1052 
182.63/46.46	o 1053 
182.63/46.49	o 1054 
183.18/46.51	o 1055 
183.18/46.55	o 1056 
183.18/46.57	o 1057 
183.18/46.60	o 1058 
183.70/46.62	o 1059 
183.70/46.65	o 1060 
183.70/46.68	o 1061 
183.70/46.70	o 1062 
184.30/46.72	o 1063 
184.30/46.75	o 1064 
184.30/46.78	o 1065 
184.90/46.81	o 1066 
184.90/46.83	o 1067 
184.90/46.85	o 1068 
184.90/46.88	o 1069 
185.49/46.91	o 1070 
185.49/46.93	o 1071 
185.49/46.95	o 1072 
185.49/46.97	o 1073 
185.49/47.00	o 1074 
186.14/47.03	o 1075 
186.14/47.06	o 1076 
186.14/47.08	o 1077 
186.76/47.11	o 1078 
186.76/47.14	o 1079 
186.76/47.16	o 1080 
186.76/47.19	o 1081 
187.32/47.22	o 1082 
187.32/47.25	o 1083 
187.32/47.27	o 1084 
187.83/47.30	o 1085 
187.83/47.32	o 1086 
187.83/47.34	o 1087 
187.83/47.36	o 1088 
187.83/47.38	o 1089 
188.52/47.41	o 1090 
188.52/47.44	o 1091 
188.52/47.46	o 1092 
188.52/47.49	o 1093 
189.11/47.52	o 1094 
189.11/47.54	o 1095 
189.11/47.57	o 1096 
189.11/47.59	o 1097 
189.69/47.62	o 1098 
189.69/47.65	o 1099 
189.69/47.68	o 1100 
190.20/47.71	o 1101 
190.20/47.73	o 1102 
190.20/47.75	o 1103 
190.20/47.78	o 1104 
190.77/47.81	o 1105 
190.77/47.84	o 1106 
190.77/47.87	o 1107 
190.77/47.89	o 1108 
191.30/47.91	o 1109 
191.30/47.94	o 1110 
191.30/47.97	o 1111 
191.30/47.99	o 1112 
191.30/48.01	o 1113 
192.01/48.03	o 1114 
192.01/48.07	o 1115 
192.01/48.09	o 1116 
192.59/48.12	o 1117 
192.59/48.14	o 1118 
192.59/48.17	o 1119 
192.59/48.19	o 1120 
193.20/48.22	o 1121 
193.20/48.24	o 1122 
193.20/48.27	o 1123 
193.20/48.29	o 1124 
193.82/48.32	o 1125 
193.82/48.34	o 1126 
193.82/48.37	o 1127 
193.82/48.39	o 1128 
194.36/48.42	o 1129 
194.36/48.45	o 1130 
194.36/48.47	o 1131 
194.94/48.50	o 1132 
194.94/48.52	o 1133 
194.94/48.55	o 1134 
194.94/48.58	o 1135 
195.57/48.61	o 1136 
195.57/48.63	o 1137 
1817.74/252.09	s SATISFIABLE
1817.74/252.09	v <instantiation>
1817.74/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>
1817.74/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>
1817.74/252.09	v </instantiation>
1817.74/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 (13003 MiB free)
  memory of node 1: 16384 MiB (13419 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281610-1503177990/watcher-4281610-1503177990 -o /tmp/evaluation-result-4281610-1503177990/solver-4281610-1503177990 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 940723496 HOME/instance-4281610-1503177990.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=27917, runsolver pid=27914

[startup+0.100154 s]*
/proc/loadavg: 8.42 7.96 7.67 2/200 27938
/proc/meminfo: memFree=27041308/32770624 swapFree=67108860/67108860
[pid=27917] ppid=27914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27917/stat : 27917 (xcsp3-exec) S 27914 27917 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150886957 9740288 346 33554432000 4194304 5098028 140729404307344 140729404305448 140408021799548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27246592 140729404314731 140729404314940 140729404314940 140729404317675 0
/proc/27917/statm: 2378 346 289 221 0 87 0
[pid=27919] ppid=27917 vsize=25999808 memory=26208 CPUtime=0.12 cores=0-7
/proc/27919/stat : 27919 (java) S 27917 27917 25517 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 150886957 26623803392 6552 33554432000 4194304 4196468 140722407026496 140722407009040 140223746465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
/proc/27919/statm: 6499952 6552 2843 1 0 6488269 0
[pid=27919/tid=27920] ppid=27917 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27919/task/27920/stat : 27920 (java) R 27917 27917 25517 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 20 0 150886957 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223750697776 140223730546014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27921] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27921/stat : 27921 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223305087248 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27922] ppid=27917 vsize=25999808 memory=139661124540032 CPUtime=0 cores=0-7
/proc/27919/task/27922/stat : 27922 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223304034704 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27923] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27923/stat : 27923 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223302982160 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27924] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27924/stat : 27924 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223301929616 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27925] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27925/stat : 27925 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223300877072 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27926] ppid=27917 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27919/task/27926/stat : 27926 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223299824528 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27927] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27927/stat : 27927 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223298771984 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27928] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27928/stat : 27928 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26623803392 6552 33554432000 4194304 4196468 140722407026496 140223297719440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27929] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27929/stat : 27929 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886959 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221950687216 140223746476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27930] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27930/stat : 27930 (java) S 27917 27917 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150886960 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221949633440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27931] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27931/stat : 27931 (java) S 27917 27917 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150886960 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221948580848 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27932] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27932/stat : 27932 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886962 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221947529424 140223746484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27933] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27933/stat : 27933 (java) S 27917 27917 25517 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 150886962 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221946477040 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27934] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27934/stat : 27934 (java) R 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150886962 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221945424496 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27935] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27935/stat : 27935 (java) R 27917 27917 25517 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 150886963 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221944371952 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27936] ppid=27917 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27919/task/27936/stat : 27936 (java) R 27917 27917 25517 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 150886963 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221943319408 140223730546014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27937] ppid=27917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27937/stat : 27937 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150886963 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221942266080 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27938] ppid=27917 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27919/task/27938/stat : 27938 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886963 26623803392 6552 33554432000 4194304 4196468 140722407026496 140221941213616 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27592 KiB

[startup+0.210339 s]*
/proc/loadavg: 8.42 7.96 7.67 3/200 27938
/proc/meminfo: memFree=27031348/32770624 swapFree=67108860/67108860
[pid=27917] ppid=27914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27917/stat : 27917 (xcsp3-exec) S 27914 27917 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150886957 9740288 346 33554432000 4194304 5098028 140729404307344 140729404305448 140408021799548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27246592 140729404314731 140729404314940 140729404314940 140729404317675 0
/proc/27917/statm: 2378 346 289 221 0 87 0
[pid=27919] ppid=27917 vsize=26004064 memory=39064 CPUtime=0.33 cores=0-7
/proc/27919/stat : 27919 (java) S 27917 27917 25517 0 -1 1077944320 8303 0 0 0 31 2 0 0 20 0 20 0 150886957 26628161536 9766 33554432000 4194304 4196468 140722407026496 140722407009040 140223746465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
/proc/27919/statm: 6501016 9766 3072 1 0 6488269 0
[pid=27919/tid=27920] ppid=27917 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27919/task/27920/stat : 27920 (java) R 27917 27917 25517 0 -1 4202560 5389 0 0 0 18 1 0 0 20 0 20 0 150886957 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223750687472 140223746477462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27921] ppid=27917 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/27919/task/27921/stat : 27921 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223305087248 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27922] ppid=27917 vsize=26004064 memory=3907349016898934432 CPUtime=0 cores=0-7
/proc/27919/task/27922/stat : 27922 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223304034704 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27923] ppid=27917 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27919/task/27923/stat : 27923 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223302982160 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27924] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27924/stat : 27924 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223301929616 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27925] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27925/stat : 27925 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223300877072 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27926] ppid=27917 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27919/task/27926/stat : 27926 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223299824528 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27927] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27927/stat : 27927 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223298771984 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27928] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27928/stat : 27928 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 9766 33554432000 4194304 4196468 140722407026496 140223297719440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27929] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27929/stat : 27929 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886959 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221950687216 140223746476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27930] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27930/stat : 27930 (java) S 27917 27917 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150886960 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221949633440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27931] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27931/stat : 27931 (java) S 27917 27917 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150886960 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221948580848 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27932] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27932/stat : 27932 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886962 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221947529424 140223746484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27933] ppid=27917 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/27919/task/27933/stat : 27933 (java) S 27917 27917 25517 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 20 0 150886962 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221946477040 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27934] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27934/stat : 27934 (java) S 27917 27917 25517 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 150886962 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221945424496 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27935] ppid=27917 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/27919/task/27935/stat : 27935 (java) S 27917 27917 25517 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 150886963 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221944371952 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27936] ppid=27917 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/27919/task/27936/stat : 27936 (java) R 27917 27917 25517 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 20 0 150886963 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221943319408 140223730546014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27937] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27937/stat : 27937 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150886963 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221942266080 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27938] ppid=27917 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27919/task/27938/stat : 27938 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886963 26628161536 9766 33554432000 4194304 4196468 140722407026496 140221941213616 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40448 KiB

[startup+0.309773 s]*
/proc/loadavg: 8.42 7.96 7.67 3/200 27938
/proc/meminfo: memFree=27027316/32770624 swapFree=67108860/67108860
[pid=27917] ppid=27914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27917/stat : 27917 (xcsp3-exec) S 27914 27917 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150886957 9740288 346 33554432000 4194304 5098028 140729404307344 140729404305448 140408021799548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27246592 140729404314731 140729404314940 140729404314940 140729404317675 0
/proc/27917/statm: 2378 346 289 221 0 87 0
[pid=27919] ppid=27917 vsize=26004064 memory=45744 CPUtime=0.49 cores=0-7
/proc/27919/stat : 27919 (java) S 27917 27917 25517 0 -1 1077944320 9146 0 0 0 47 2 0 0 20 0 20 0 150886957 26628161536 11436 33554432000 4194304 4196468 140722407026496 140722407009040 140223746465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
/proc/27919/statm: 6501016 11436 3088 1 0 6488269 0
[pid=27919/tid=27920] ppid=27917 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27919/task/27920/stat : 27920 (java) R 27917 27917 25517 0 -1 4202560 6056 0 0 0 28 1 0 0 20 0 20 0 150886957 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223750704864 140223384203038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27921] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27921/stat : 27921 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223305087248 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27922] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27922/stat : 27922 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223304034704 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27923] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27923/stat : 27923 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223302982160 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27924] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27924/stat : 27924 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223301929616 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27925] ppid=27917 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/27919/task/27925/stat : 27925 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223300877072 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27926] ppid=27917 vsize=26004064 memory=139660995163055 CPUtime=0 cores=0-7
/proc/27919/task/27926/stat : 27926 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223299824528 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27927] ppid=27917 vsize=26004064 memory=139660995165360 CPUtime=0 cores=0-7
/proc/27919/task/27927/stat : 27927 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223298771984 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27928] ppid=27917 vsize=26004064 memory=139660995167664 CPUtime=0 cores=0-7
/proc/27919/task/27928/stat : 27928 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628161536 11436 33554432000 4194304 4196468 140722407026496 140223297719440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27929] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27929/stat : 27929 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886959 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221950687216 140223746476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27930] ppid=27917 vsize=26004064 memory=279321990342288 CPUtime=0 cores=0-7
/proc/27919/task/27930/stat : 27930 (java) S 27917 27917 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150886960 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221949633440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27931] ppid=27917 vsize=26004064 memory=279321990349200 CPUtime=0 cores=0-7
/proc/27919/task/27931/stat : 27931 (java) S 27917 27917 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150886960 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221948580848 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27932] ppid=27917 vsize=26004064 memory=279321990290480 CPUtime=0 cores=0-7
/proc/27919/task/27932/stat : 27932 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886962 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221947529424 140223746484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27933] ppid=27917 vsize=26004064 memory=279321990363024 CPUtime=0.02 cores=0-7
/proc/27919/task/27933/stat : 27933 (java) R 27917 27917 25517 0 -1 4202560 575 0 0 0 2 0 0 0 20 0 20 0 150886962 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221946477040 140223738754976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27934] ppid=27917 vsize=26004064 memory=279321990369936 CPUtime=0 cores=0-7
/proc/27919/task/27934/stat : 27934 (java) R 27917 27917 25517 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 150886962 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221945424496 140223746476674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27935] ppid=27917 vsize=26004064 memory=279321990367632 CPUtime=0.03 cores=0-7
/proc/27919/task/27935/stat : 27935 (java) R 27917 27917 25517 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 20 0 150886963 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221944371952 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27936] ppid=27917 vsize=26004064 memory=279321990383792 CPUtime=0.12 cores=0-7
/proc/27919/task/27936/stat : 27936 (java) R 27917 27917 25517 0 -1 4202560 886 0 0 0 12 0 0 0 20 0 20 0 150886963 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221943315168 140223732181552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27937] ppid=27917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27937/stat : 27937 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150886963 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221942266080 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27938] ppid=27917 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27919/task/27938/stat : 27938 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886963 26628161536 11436 33554432000 4194304 4196468 140722407026496 140221941213616 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47128 KiB

[startup+0.701044 s]
/proc/loadavg: 8.42 7.96 7.67 5/200 27938
/proc/meminfo: memFree=26999524/32770624 swapFree=67108860/67108860
[pid=27917] ppid=27914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27917/stat : 27917 (xcsp3-exec) S 27914 27917 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150886957 9740288 346 33554432000 4194304 5098028 140729404307344 140729404305448 140408021799548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27246592 140729404314731 140729404314940 140729404314940 140729404317675 0
/proc/27917/statm: 2378 346 289 221 0 87 0
[pid=27919] ppid=27917 vsize=26004140 memory=101044 CPUtime=1.9 cores=0-7
/proc/27919/stat : 27919 (java) S 27917 27917 25517 0 -1 1077944320 13237 0 0 0 186 4 0 0 20 0 20 0 150886957 26628239360 25261 33554432000 4194304 4196468 140722407026496 140722407009040 140223746465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
/proc/27919/statm: 6501035 25261 3199 1 0 6488269 0
[pid=27919/tid=27920] ppid=27917 vsize=26004140 memory=279321990741680 CPUtime=0.67 cores=0-7
/proc/27919/task/27920/stat : 27920 (java) R 27917 27917 25517 0 -1 4202560 6469 0 0 0 65 2 0 0 20 0 20 0 150886957 26628239360 25261 33554432000 4194304 4196468 140722407026496 140223750703840 140223728873104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27921] ppid=27917 vsize=26004140 memory=139660995371888 CPUtime=0 cores=0-7
/proc/27919/task/27921/stat : 27921 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150886958 26628239360 25261 33554432000 4194304 4196468 140722407026496 140223305087248 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27922] ppid=27917 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27919/task/27922/stat : 27922 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628239360 25261 33554432000 4194304 4196468 140722407026496 140223304034704 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27923] ppid=27917 vsize=26004140 memory=5788 CPUtime=0 cores=0-7
/proc/27919/task/27923/stat : 27923 (java) S 27917 27917 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150886958 26628239360 25261 33554432000 4194304 4196468 140722407026496 140223302982160 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0

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

[pid=27919/tid=4545] ppid=27917 vsize=26540748 memory=1384 CPUtime=113.43 cores=0-7
/proc/27919/task/4545/stat : 4545 (java) R 27917 27917 25517 0 -1 4202560 2641 0 0 0 11338 5 0 0 20 0 28 0 150891821 27177725952 808528 33554432000 4194304 4196468 140722407026496 140221929488176 140223388885116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
Current children cumulated CPU time: 1102.22 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3235496 KiB

[startup+222.302 s]
/proc/loadavg: 8.05 7.82 7.65 9/207 4545
/proc/meminfo: memFree=23802256/32770624 swapFree=67108860/67108860
[pid=27917] ppid=27914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27917/stat : 27917 (xcsp3-exec) S 27914 27917 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150886957 9740288 346 33554432000 4194304 5098028 140729404307344 140729404305448 140408021799548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27246592 140729404314731 140729404314940 140729404314940 140729404317675 0
/proc/27917/statm: 2378 346 289 221 0 87 0
[pid=27919] ppid=27917 vsize=26540748 memory=3262824 CPUtime=1580.8 cores=0-7
/proc/27919/stat : 27919 (java) S 27917 27917 25517 0 -1 1077944320 251564 0 0 0 157548 532 0 0 20 0 28 0 150886957 27177725952 815706 33554432000 4194304 4196468 140722407026496 140722407009040 140223746465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
/proc/27919/statm: 6635187 815706 3306 1 0 6622421 0
[pid=27919/tid=27920] ppid=27917 vsize=26540748 memory=3262824 CPUtime=9.08 cores=0-7
/proc/27919/task/27920/stat : 27920 (java) S 27917 27917 25517 0 -1 1077944384 12647 0 0 0 888 20 0 0 20 0 28 0 150886957 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223750706240 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27921] ppid=27917 vsize=26540748 memory=3252588 CPUtime=0.99 cores=0-7
/proc/27919/task/27921/stat : 27921 (java) S 27917 27917 25517 0 -1 1077944384 3615 0 0 0 78 21 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223305087248 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27922] ppid=27917 vsize=26540748 memory=1384 CPUtime=1 cores=0-7
/proc/27919/task/27922/stat : 27922 (java) S 27917 27917 25517 0 -1 1077944384 1737 0 0 0 77 23 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223304034704 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27923] ppid=27917 vsize=26540748 memory=3252588 CPUtime=1.02 cores=0-7
/proc/27919/task/27923/stat : 27923 (java) S 27917 27917 25517 0 -1 1077944384 921 0 0 0 79 23 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223302982160 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27924] ppid=27917 vsize=26540748 memory=3262824 CPUtime=1 cores=0-7
/proc/27919/task/27924/stat : 27924 (java) S 27917 27917 25517 0 -1 1077944384 1538 0 0 0 77 23 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223301929616 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27925] ppid=27917 vsize=26540748 memory=3262824 CPUtime=1.04 cores=0-7
/proc/27919/task/27925/stat : 27925 (java) S 27917 27917 25517 0 -1 1077944384 1938 0 0 0 80 24 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223300877072 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27926] ppid=27917 vsize=26540748 memory=1384 CPUtime=1.02 cores=0-7
/proc/27919/task/27926/stat : 27926 (java) S 27917 27917 25517 0 -1 1077944384 1578 0 0 0 79 23 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223299824528 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27927] ppid=27917 vsize=26540748 memory=33 CPUtime=1.03 cores=0-7
/proc/27919/task/27927/stat : 27927 (java) S 27917 27917 25517 0 -1 1077944384 2333 0 0 0 80 23 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223298771984 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27928] ppid=27917 vsize=26540748 memory=23460 CPUtime=1.04 cores=0-7
/proc/27919/task/27928/stat : 27928 (java) S 27917 27917 25517 0 -1 1077944384 1029 0 0 0 80 24 0 0 20 0 28 0 150886958 27177725952 815706 33554432000 4194304 4196468 140722407026496 140223297719440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27929] ppid=27917 vsize=26540748 memory=279321990788032 CPUtime=0.1 cores=0-7
/proc/27919/task/27929/stat : 27929 (java) S 27917 27917 25517 0 -1 1077944384 7037 0 0 0 8 2 0 0 20 0 28 0 150886959 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221950687216 140223746476674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27930] ppid=27917 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/27919/task/27930/stat : 27930 (java) S 27917 27917 25517 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150886960 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221949633504 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27931] ppid=27917 vsize=26540748 memory=1236 CPUtime=0 cores=0-7
/proc/27919/task/27931/stat : 27931 (java) S 27917 27917 25517 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 150886960 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221948580864 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27932] ppid=27917 vsize=26540748 memory=2240 CPUtime=0 cores=0-7
/proc/27919/task/27932/stat : 27932 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150886962 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221947529424 140223746484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27933] ppid=27917 vsize=26540748 memory=1384 CPUtime=3.74 cores=0-7
/proc/27919/task/27933/stat : 27933 (java) S 27917 27917 25517 0 -1 1077944384 28556 0 0 0 367 7 0 0 20 0 28 0 150886962 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221946477040 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27934] ppid=27917 vsize=26540748 memory=3125392 CPUtime=4.01 cores=0-7
/proc/27919/task/27934/stat : 27934 (java) S 27917 27917 25517 0 -1 1077944384 31338 0 0 0 393 8 0 0 20 0 28 0 150886962 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221945424496 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27935] ppid=27917 vsize=26540748 memory=1384 CPUtime=4.23 cores=0-7
/proc/27919/task/27935/stat : 27935 (java) S 27917 27917 25517 0 -1 1077944384 28069 0 0 0 418 5 0 0 20 0 28 0 150886963 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221944371952 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27936] ppid=27917 vsize=26540748 memory=3262824 CPUtime=1.34 cores=0-7
/proc/27919/task/27936/stat : 27936 (java) S 27917 27917 25517 0 -1 1077944384 17582 0 0 0 131 3 0 0 20 0 28 0 150886963 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221943319408 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27937] ppid=27917 vsize=26540748 memory=3234112 CPUtime=0 cores=0-7
/proc/27919/task/27937/stat : 27937 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150886963 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221942266080 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27938] ppid=27917 vsize=26540748 memory=1384 CPUtime=0.09 cores=0-7
/proc/27919/task/27938/stat : 27938 (java) S 27917 27917 25517 0 -1 1077944384 2766 0 0 0 3 6 0 0 20 0 28 0 150886963 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221941213616 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4538] ppid=27917 vsize=26540748 memory=1384 CPUtime=173.31 cores=0-7
/proc/27919/task/4538/stat : 4538 (java) R 27917 27917 25517 0 -1 4202560 3464 0 0 0 17324 7 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221933699032 140223388515775 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4539] ppid=27917 vsize=26540748 memory=3252588 CPUtime=173.3 cores=0-7
/proc/27919/task/4539/stat : 4539 (java) R 27917 27917 25517 0 -1 4202560 3025 0 0 0 17329 1 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221928436760 140223389202218 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4540] ppid=27917 vsize=26540748 memory=3262824 CPUtime=172.88 cores=0-7
/proc/27919/task/4540/stat : 4540 (java) R 27917 27917 25517 0 -1 4202560 2424 0 0 0 17286 2 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221932647640 140223385737237 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4541] ppid=27917 vsize=26540748 memory=4140 CPUtime=171.21 cores=0-7
/proc/27919/task/4541/stat : 4541 (java) R 27917 27917 25517 0 -1 4202560 19714 0 0 0 17056 65 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221930544544 140223388883772 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4542] ppid=27917 vsize=26540748 memory=3262824 CPUtime=173.33 cores=0-7
/proc/27919/task/4542/stat : 4542 (java) R 27917 27917 25517 0 -1 4202560 3322 0 0 0 17329 4 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221931594720 140223392397877 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4543] ppid=27917 vsize=26540748 memory=1384 CPUtime=173.39 cores=0-7
/proc/27919/task/4543/stat : 4543 (java) R 27917 27917 25517 0 -1 4202560 2127 0 0 0 17336 3 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221926331432 140223387299380 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4544] ppid=27917 vsize=26540748 memory=1384 CPUtime=172.63 cores=0-7
/proc/27919/task/4544/stat : 4544 (java) R 27917 27917 25517 0 -1 4202560 5273 0 0 0 17258 5 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221927383048 140223391650261 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4545] ppid=27917 vsize=26540748 memory=3262824 CPUtime=173.36 cores=0-7
/proc/27919/task/4545/stat : 4545 (java) R 27917 27917 25517 0 -1 4202560 3236 0 0 0 17330 6 0 0 20 0 28 0 150891821 27177725952 815706 33554432000 4194304 4196468 140722407026496 140221929488840 140223389201126 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
Current children cumulated CPU time: 1580.8 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3264208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.03 7.84 7.66 9/207 4545
/proc/meminfo: memFree=23797460/32770624 swapFree=67108860/67108860
[pid=27917] ppid=27914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27917/stat : 27917 (xcsp3-exec) S 27914 27917 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150886957 9740288 346 33554432000 4194304 5098028 140729404307344 140729404305448 140408021799548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27246592 140729404314731 140729404314940 140729404314940 140729404317675 0
/proc/27917/statm: 2378 346 289 221 0 87 0
[pid=27919] ppid=27917 vsize=26540748 memory=3266924 CPUtime=1817.74 cores=0-7
/proc/27919/stat : 27919 (java) S 27917 27917 25517 0 -1 1077944320 262880 0 0 0 181228 546 0 0 20 0 28 0 150886957 27177725952 816731 33554432000 4194304 4196468 140722407026496 140722407009040 140223746465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
/proc/27919/statm: 6635187 816731 3306 1 0 6622421 0
[pid=27919/tid=27920] ppid=27917 vsize=26540748 memory=6791534058613427641 CPUtime=9.08 cores=0-7
/proc/27919/task/27920/stat : 27920 (java) S 27917 27917 25517 0 -1 1077944384 12647 0 0 0 888 20 0 0 20 0 28 0 150886957 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223750706240 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27921] ppid=27917 vsize=26540748 memory=7452158208998926400 CPUtime=1 cores=0-7
/proc/27919/task/27921/stat : 27921 (java) S 27917 27917 25517 0 -1 1077944384 3632 0 0 0 79 21 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223305087248 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27922] ppid=27917 vsize=26540748 memory=7450190061323577195 CPUtime=1.01 cores=0-7
/proc/27919/task/27922/stat : 27922 (java) S 27917 27917 25517 0 -1 1077944384 1791 0 0 0 78 23 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223304034704 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27923] ppid=27917 vsize=26540748 memory=5933043270017378660 CPUtime=1.02 cores=0-7
/proc/27919/task/27923/stat : 27923 (java) S 27917 27917 25517 0 -1 1077944384 1031 0 0 0 79 23 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223302982160 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27924] ppid=27917 vsize=26540748 memory=7954030291078113386 CPUtime=1.01 cores=0-7
/proc/27919/task/27924/stat : 27924 (java) S 27917 27917 25517 0 -1 1077944384 1581 0 0 0 78 23 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223301929616 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27925] ppid=27917 vsize=26540748 memory=7954030291078113386 CPUtime=1.04 cores=0-7
/proc/27919/task/27925/stat : 27925 (java) S 27917 27917 25517 0 -1 1077944384 2008 0 0 0 80 24 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223300877072 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27926] ppid=27917 vsize=26540748 memory=7954030291078113386 CPUtime=1.03 cores=0-7
/proc/27919/task/27926/stat : 27926 (java) S 27917 27917 25517 0 -1 1077944384 1593 0 0 0 80 23 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223299824528 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27927] ppid=27917 vsize=26540748 memory=6791534058613427641 CPUtime=1.03 cores=0-7
/proc/27919/task/27927/stat : 27927 (java) S 27917 27917 25517 0 -1 1077944384 2358 0 0 0 80 23 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223298771984 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27928] ppid=27917 vsize=26540748 memory=1196 CPUtime=1.04 cores=0-7
/proc/27919/task/27928/stat : 27928 (java) S 27917 27917 25517 0 -1 1077944384 1410 0 0 0 80 24 0 0 20 0 28 0 150886958 27177725952 816731 33554432000 4194304 4196468 140722407026496 140223297719440 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27929] ppid=27917 vsize=26540748 memory=4612 CPUtime=0.11 cores=0-7
/proc/27919/task/27929/stat : 27929 (java) S 27917 27917 25517 0 -1 1077944384 7367 0 0 0 9 2 0 0 20 0 28 0 150886959 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221950687216 140223746476674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27930] ppid=27917 vsize=26540748 memory=15876 CPUtime=0 cores=0-7
/proc/27919/task/27930/stat : 27930 (java) S 27917 27917 25517 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150886960 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221949633504 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27931] ppid=27917 vsize=26540748 memory=18448 CPUtime=0 cores=0-7
/proc/27919/task/27931/stat : 27931 (java) S 27917 27917 25517 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 150886960 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221948580864 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27932] ppid=27917 vsize=26540748 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27919/task/27932/stat : 27932 (java) S 27917 27917 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150886962 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221947529424 140223746484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27933] ppid=27917 vsize=26540748 memory=4044 CPUtime=3.74 cores=0-7
/proc/27919/task/27933/stat : 27933 (java) S 27917 27917 25517 0 -1 1077944384 28565 0 0 0 367 7 0 0 20 0 28 0 150886962 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221946477040 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27934] ppid=27917 vsize=26540748 memory=1792 CPUtime=4.01 cores=0-7
/proc/27919/task/27934/stat : 27934 (java) S 27917 27917 25517 0 -1 1077944384 31349 0 0 0 393 8 0 0 20 0 28 0 150886962 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221945424496 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27935] ppid=27917 vsize=26540748 memory=636 CPUtime=4.23 cores=0-7
/proc/27919/task/27935/stat : 27935 (java) S 27917 27917 25517 0 -1 1077944384 28078 0 0 0 418 5 0 0 20 0 28 0 150886963 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221944371952 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27936] ppid=27917 vsize=26540748 memory=956 CPUtime=1.34 cores=0-7
/proc/27919/task/27936/stat : 27936 (java) S 27917 27917 25517 0 -1 1077944384 18146 0 0 0 131 3 0 0 20 0 28 0 150886963 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221943319408 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27937] ppid=27917 vsize=26540748 memory=2424 CPUtime=0 cores=0-7
/proc/27919/task/27937/stat : 27937 (java) S 27917 27917 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150886963 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221942266080 140223746475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=27938] ppid=27917 vsize=26540748 memory=1236 CPUtime=0.1 cores=0-7
/proc/27919/task/27938/stat : 27938 (java) S 27917 27917 25517 0 -1 1077944384 2896 0 0 0 3 7 0 0 20 0 28 0 150886963 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221941213616 140223746476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4538] ppid=27917 vsize=26540748 memory=2240 CPUtime=202.91 cores=0-7
/proc/27919/task/4538/stat : 4538 (java) R 27917 27917 25517 0 -1 4202560 4142 0 0 0 20283 8 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221933698520 140223392695266 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4539] ppid=27917 vsize=26540748 memory=4128 CPUtime=202.75 cores=0-7
/proc/27919/task/4539/stat : 4539 (java) R 27917 27917 25517 0 -1 4202560 3823 0 0 0 20273 2 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221928436104 140223387317111 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4540] ppid=27917 vsize=26540748 memory=1572 CPUtime=202.55 cores=0-7
/proc/27919/task/4540/stat : 4540 (java) R 27917 27917 25517 0 -1 4202560 3139 0 0 0 20252 3 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221932647128 140223389201423 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4541] ppid=27917 vsize=26540748 memory=932 CPUtime=200.62 cores=0-7
/proc/27919/task/4541/stat : 4541 (java) R 27917 27917 25517 0 -1 4202560 23875 0 0 0 19990 72 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221930542104 140223391650261 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4542] ppid=27917 vsize=26540748 memory=792 CPUtime=203.03 cores=0-7
/proc/27919/task/4542/stat : 4542 (java) R 27917 27917 25517 0 -1 4202560 4226 0 0 0 20297 6 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221931594712 140223387319515 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4543] ppid=27917 vsize=26540748 memory=1004 CPUtime=203.08 cores=0-7
/proc/27919/task/4543/stat : 4543 (java) R 27917 27917 25517 0 -1 4202560 2703 0 0 0 20303 5 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221926334384 140223388516691 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4544] ppid=27917 vsize=26540748 memory=5788 CPUtime=202.32 cores=0-7
/proc/27919/task/4544/stat : 4544 (java) R 27917 27917 25517 0 -1 4202560 6524 0 0 0 20226 6 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221927385448 140223390074009 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
[pid=27919/tid=4545] ppid=27917 vsize=26540748 memory=1196 CPUtime=203.05 cores=0-7
/proc/27919/task/4545/stat : 4545 (java) R 27917 27917 25517 0 -1 4202560 3701 0 0 0 20299 6 0 0 20 0 28 0 150891821 27177725952 816731 33554432000 4194304 4196468 140722407026496 140221929488176 140223387299540 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22040576 140722407027864 140722407028040 140722407028040 140722407030735 0
Current children cumulated CPU time: 1817.74 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3268308 KiB

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

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

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

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

Child status: 143
Real time (s): 252.13
CPU time (s): 1818.56
CPU user time (s): 1813.07
CPU system time (s): 5.48895
CPU usage (%): 721.28
Max. virtual memory (cumulated for all children) (KiB): 26552160
Max. memory (cumulated for all children) (KiB): 3268308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1813.07
system time used= 5.48895
maximum resident set size= 3267352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76587
involuntary context switches= 18781


# summary of solver processes directly reported to runsolver:
#   pid: 27917,27919
#   total CPU time (s): 1818.56
#   total CPU user time (s): 1813.07
#   total CPU system time (s): 5.48895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.02199 second user time and 3.20124 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-19 23:12:10
IDJOB=4281610
IDBENCH=115882
IDSOLVER=2676
FILE ID=node107/4281610-1503177990
RUNJOBID= node107-1503167371-25544
PBS_JOBID= 20630834
Free space on /tmp= 61868 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-4281610-1503177990/watcher-4281610-1503177990 -o /tmp/evaluation-result-4281610-1503177990/solver-4281610-1503177990 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 940723496 HOME/instance-4281610-1503177990.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=940723496

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
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:        27057256 kB
MemAvailable:   31977576 kB
Buffers:          267976 kB
Cached:          4946080 kB
SwapCached:            0 kB
Active:           837764 kB
Inactive:        4431088 kB
Active(anon):      57772 kB
Inactive(anon):    33132 kB
Active(file):     779992 kB
Inactive(file):  4397956 kB
Unevictable:        7640 kB
Mlocked:            7640 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:         60708 kB
Mapped:            51316 kB
Shmem:             33420 kB
Slab:             142576 kB
SReclaimable:     116416 kB
SUnreclaim:        26160 kB
KernelStack:        3280 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61860 MiB
End job on node107 at 2017-08-19 23:16:23