Trace number 4280620

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 19885.5 2520.1201

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280620-1503114241.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280620-1503114241.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
13.39/7.33	c solve instance...
52.34/12.31	o 0 
52.34/12.38	o 4 
55.01/13.31	o 6 
59.59/16.89	o 8 
59.70/16.91	o 10 
59.70/16.94	o 12 
59.70/16.99	o 14 
60.28/17.03	o 16 
60.28/17.09	o 18 
60.80/17.19	o 20 
62.26/17.32	o 22 
62.26/17.35	o 24 
62.26/17.38	o 25 
62.26/17.40	o 26 
62.80/17.43	o 27 
62.80/17.45	o 28 
62.80/17.46	o 29 
62.80/17.48	o 30 
63.27/17.50	o 31 
63.27/17.52	o 32 
63.27/17.54	o 33 
63.27/17.56	o 34 
63.27/17.58	o 35 
63.27/17.60	o 36 
63.69/17.61	o 37 
63.69/17.63	o 38 
63.69/17.65	o 39 
63.69/17.67	o 40 
63.69/17.69	o 41 
64.16/17.73	o 42 
64.16/17.74	o 43 
64.16/17.76	o 44 
64.16/17.79	o 45 
64.60/17.81	o 46 
64.60/17.83	o 47 
64.60/17.85	o 48 
64.60/17.86	o 49 
64.60/17.89	o 50 
65.09/17.92	o 51 
65.09/17.93	o 52 
65.09/17.95	o 53 
65.09/17.97	o 54 
65.09/17.98	o 55 
65.09/18.00	o 56 
65.59/18.03	o 57 
65.59/18.05	o 58 
65.59/18.06	o 59 
65.59/18.09	o 60 
65.59/18.10	o 61 
66.09/18.12	o 62 
66.09/18.13	o 63 
66.09/18.15	o 64 
66.09/18.16	o 65 
66.47/18.20	o 66 
66.47/18.21	o 67 
66.47/18.23	o 68 
66.47/18.25	o 69 
66.47/18.26	o 70 
66.47/18.28	o 71 
66.47/18.29	o 72 
66.98/18.31	o 73 
66.98/18.33	o 74 
66.98/18.36	o 75 
66.98/18.38	o 76 
66.98/18.40	o 77 
67.48/18.42	o 78 
67.48/18.44	o 79 
67.48/18.47	o 80 
67.48/18.48	o 81 
67.48/18.50	o 82 
67.95/18.51	o 83 
67.95/18.53	o 84 
67.95/18.55	o 85 
67.95/18.56	o 86 
67.95/18.58	o 87 
67.95/18.59	o 88 
68.55/18.62	o 89 
68.55/18.64	o 90 
68.55/18.65	o 91 
68.55/18.68	o 92 
68.91/18.70	o 93 
68.91/18.71	o 94 
68.91/18.74	o 95 
68.91/18.76	o 96 
68.91/18.77	o 97 
68.91/18.79	o 98 
69.43/18.81	o 99 
69.43/18.82	o 100 
69.43/18.84	o 101 
69.43/18.87	o 102 
69.43/18.88	o 103 
69.87/18.92	o 104 
69.87/18.93	o 105 
69.87/18.95	o 106 
69.87/18.96	o 107 
69.87/18.98	o 108 
70.31/19.01	o 109 
70.31/19.02	o 110 
70.31/19.04	o 111 
70.31/19.07	o 112 
70.31/19.08	o 113 
70.31/19.09	o 114 
70.82/19.14	o 115 
70.82/19.15	o 116 
70.82/19.17	o 117 
70.82/19.18	o 118 
71.22/19.21	o 119 
71.22/19.22	o 120 
71.22/19.24	o 121 
71.22/19.26	o 122 
71.22/19.27	o 123 
71.22/19.29	o 124 
71.72/19.32	o 125 
71.72/19.34	o 126 
71.72/19.37	o 127 
71.72/19.38	o 128 
72.11/19.40	o 129 
72.11/19.42	o 130 
72.11/19.44	o 131 
72.11/19.47	o 132 
72.11/19.49	o 133 
72.62/19.51	o 134 
72.62/19.52	o 135 
72.62/19.54	o 136 
72.62/19.56	o 137 
72.62/19.58	o 138 
73.06/19.60	o 139 
73.06/19.61	o 140 
73.06/19.63	o 141 
73.06/19.65	o 142 
73.06/19.67	o 143 
73.06/19.68	o 144 
73.54/19.70	o 145 
73.54/19.72	o 146 
73.54/19.74	o 147 
73.54/19.76	o 148 
73.54/19.78	o 149 
73.54/19.79	o 150 
73.96/19.82	o 151 
73.96/19.84	o 152 
73.96/19.86	o 153 
73.96/19.89	o 154 
74.47/19.90	o 155 
74.47/19.92	o 156 
74.47/19.94	o 157 
74.47/19.96	o 158 
74.47/19.98	o 159 
74.47/20.00	o 160 
74.98/20.01	o 161 
74.98/20.03	o 162 
74.98/20.05	o 163 
74.98/20.06	o 164 
74.98/20.09	o 165 
75.50/20.11	o 166 
75.50/20.14	o 167 
75.50/20.16	o 168 
75.50/20.18	o 169 
75.50/20.19	o 170 
75.94/20.21	o 171 
75.94/20.23	o 172 
75.94/20.24	o 173 
75.94/20.26	o 174 
75.94/20.28	o 175 
75.94/20.30	o 176 
76.45/20.32	o 177 
76.45/20.33	o 178 
76.45/20.35	o 179 
76.45/20.36	o 180 
76.45/20.37	o 181 
76.45/20.39	o 182 
77.04/20.42	o 183 
77.04/20.43	o 184 
77.04/20.45	o 185 
77.04/20.48	o 186 
77.51/20.50	o 187 
77.51/20.53	o 188 
77.51/20.54	o 189 
77.51/20.56	o 190 
77.51/20.59	o 191 
77.97/20.60	o 192 
77.97/20.62	o 193 
77.97/20.64	o 194 
77.97/20.66	o 195 
77.97/20.67	o 196 
77.97/20.68	o 197 
78.49/20.71	o 198 
78.49/20.72	o 199 
78.49/20.74	o 200 
78.49/20.76	o 201 
78.49/20.78	o 202 
78.92/20.80	o 203 
78.92/20.82	o 204 
78.92/20.84	o 205 
78.92/20.85	o 206 
78.92/20.87	o 207 
78.92/20.89	o 208 
79.44/20.90	o 209 
79.44/20.92	o 210 
79.44/20.94	o 211 
79.44/20.95	o 212 
79.44/20.97	o 213 
79.44/21.00	o 214 
79.96/21.02	o 215 
79.96/21.03	o 216 
79.96/21.05	o 217 
79.96/21.07	o 218 
79.96/21.09	o 219 
79.96/21.11	o 220 
80.47/21.12	o 221 
80.47/21.15	o 222 
80.47/21.17	o 223 
80.47/21.19	o 224 
80.97/21.21	o 225 
80.97/21.22	o 226 
80.97/21.23	o 227 
80.97/21.25	o 228 
80.97/21.27	o 229 
80.97/21.28	o 230 
81.45/21.31	o 231 
81.45/21.32	o 232 
81.45/21.34	o 233 
81.45/21.35	o 234 
81.45/21.38	o 235 
81.45/21.39	o 236 
81.98/21.41	o 237 
81.98/21.42	o 238 
81.98/21.44	o 239 
81.98/21.47	o 240 
81.98/21.49	o 241 
82.42/21.51	o 242 
82.42/21.53	o 243 
82.42/21.54	o 244 
82.42/21.56	o 245 
82.42/21.58	o 246 
82.90/21.60	o 247 
82.90/21.62	o 248 
82.90/21.64	o 249 
82.90/21.66	o 250 
82.90/21.70	o 251 
83.38/21.71	o 252 
83.38/21.73	o 253 
83.38/21.75	o 254 
83.38/21.77	o 255 
83.38/21.79	o 256 
83.96/21.81	o 257 
83.96/21.82	o 258 
83.96/21.84	o 259 
83.96/21.86	o 260 
83.96/21.87	o 261 
84.45/21.90	o 262 
84.45/21.92	o 263 
84.45/21.94	o 264 
84.45/21.96	o 265 
84.45/21.99	o 266 
84.45/22.00	o 267 
84.95/22.02	o 268 
84.95/22.05	o 269 
84.95/22.08	o 270 
84.95/22.10	o 271 
85.40/22.12	o 272 
85.40/22.14	o 273 
85.40/22.16	o 274 
85.40/22.17	o 275 
85.40/22.19	o 276 
85.81/22.21	o 277 
85.81/22.23	o 278 
85.81/22.25	o 279 
85.81/22.27	o 280 
85.81/22.29	o 281 
86.37/22.31	o 282 
86.37/22.33	o 283 
86.37/22.34	o 284 
86.37/22.36	o 285 
86.37/22.38	o 286 
86.88/22.41	o 287 
86.88/22.43	o 288 
86.88/22.45	o 289 
86.88/22.47	o 290 
86.88/22.49	o 291 
87.40/22.51	o 292 
87.40/22.53	o 293 
87.40/22.54	o 294 
87.40/22.57	o 295 
87.40/22.58	o 296 
87.88/22.60	o 297 
87.88/22.62	o 298 
87.88/22.64	o 299 
87.88/22.66	o 300 
87.88/22.68	o 301 
87.88/22.70	o 302 
88.35/22.72	o 303 
88.35/22.74	o 304 
88.35/22.77	o 305 
88.35/22.79	o 306 
88.80/22.81	o 307 
88.80/22.82	o 308 
88.80/22.84	o 309 
88.80/22.87	o 310 
88.80/22.89	o 311 
89.25/22.91	o 312 
89.25/22.93	o 313 
89.25/22.96	o 314 
89.25/22.98	o 315 
89.25/23.00	o 316 
89.67/23.02	o 317 
89.67/23.03	o 318 
89.67/23.05	o 319 
89.67/23.07	o 320 
89.67/23.09	o 321 
90.15/23.12	o 322 
90.15/23.14	o 323 
90.15/23.16	o 324 
90.15/23.18	o 325 
90.50/23.20	o 326 
90.50/23.22	o 327 
90.50/23.24	o 328 
90.50/23.28	o 329 
90.50/23.29	o 330 
91.07/23.32	o 331 
91.07/23.33	o 332 
91.07/23.35	o 333 
91.07/23.37	o 334 
91.07/23.39	o 335 
91.55/23.41	o 336 
91.55/23.43	o 337 
91.55/23.45	o 338 
91.55/23.47	o 339 
91.55/23.49	o 340 
92.06/23.52	o 341 
92.06/23.54	o 342 
92.06/23.55	o 343 
92.06/23.58	o 344 
92.06/23.60	o 345 
92.47/23.61	o 346 
92.47/23.63	o 347 
92.47/23.65	o 348 
92.47/23.67	o 349 
92.47/23.69	o 350 
93.00/23.70	o 351 
93.00/23.72	o 352 
93.00/23.73	o 353 
93.00/23.75	o 354 
93.00/23.76	o 355 
93.00/23.78	o 356 
93.51/23.80	o 357 
93.51/23.81	o 358 
93.51/23.83	o 359 
93.51/23.84	o 360 
93.51/23.86	o 361 
93.51/23.87	o 362 
93.51/23.89	o 363 
94.04/23.90	o 364 
94.04/23.92	o 365 
94.04/23.93	o 366 
94.04/23.95	o 367 
94.04/23.98	o 368 
94.04/24.00	o 369 
94.54/24.01	o 370 
94.54/24.04	o 371 
94.54/24.05	o 372 
94.54/24.07	o 373 
94.54/24.09	o 374 
95.14/24.11	o 375 
95.14/24.12	o 376 
95.14/24.14	o 377 
95.14/24.15	o 378 
95.14/24.17	o 379 
95.14/24.19	o 380 
95.68/24.20	o 381 
95.68/24.22	o 382 
95.68/24.24	o 383 
95.68/24.25	o 384 
95.68/24.27	o 385 
96.15/24.30	o 386 
96.15/24.32	o 387 
96.15/24.34	o 388 
96.15/24.35	o 389 
96.15/24.37	o 390 
96.15/24.39	o 391 
96.68/24.40	o 392 
96.68/24.42	o 393 
96.68/24.43	o 394 
96.68/24.45	o 395 
96.68/24.47	o 396 
96.68/24.48	o 397 
97.23/24.50	o 398 
97.23/24.52	o 399 
97.23/24.53	o 400 
97.23/24.57	o 401 
97.23/24.59	o 402 
97.84/24.60	o 403 
97.84/24.62	o 404 
97.84/24.65	o 405 
97.84/24.67	o 406 
97.84/24.68	o 407 
98.33/24.70	o 408 
98.33/24.72	o 409 
98.33/24.73	o 410 
98.33/24.76	o 411 
98.33/24.78	o 412 
98.33/24.80	o 413 
98.85/24.82	o 414 
98.85/24.84	o 415 
98.85/24.86	o 416 
98.85/24.88	o 417 
99.37/24.90	o 418 
99.37/24.92	o 419 
99.37/24.94	o 420 
99.37/24.95	o 421 
99.37/24.97	o 422 
99.37/25.00	o 423 
99.88/25.02	o 424 
99.88/25.04	o 425 
99.88/25.06	o 426 
99.88/25.08	o 427 
99.88/25.09	o 428 
100.43/25.11	o 429 
100.43/25.13	o 430 
100.43/25.14	o 431 
100.43/25.16	o 432 
100.43/25.18	o 433 
100.89/25.20	o 434 
100.89/25.22	o 435 
100.89/25.23	o 436 
100.89/25.27	o 437 
100.89/25.29	o 438 
101.48/25.30	o 439 
101.48/25.32	o 440 
101.48/25.34	o 441 
101.48/25.36	o 442 
101.48/25.38	o 443 
101.48/25.39	o 444 
101.98/25.42	o 445 
101.98/25.45	o 446 
101.98/25.47	o 447 
101.98/25.48	o 448 
102.49/25.50	o 449 
102.49/25.52	o 450 
102.49/25.54	o 451 
102.49/25.56	o 452 
102.49/25.58	o 453 
103.05/25.60	o 454 
103.05/25.62	o 455 
103.05/25.64	o 456 
103.05/25.65	o 457 
103.05/25.67	o 458 
103.05/25.69	o 459 
103.66/25.71	o 460 
103.66/25.72	o 461 
103.66/25.74	o 462 
103.66/25.75	o 463 
103.66/25.77	o 464 
103.66/25.79	o 465 
104.23/25.81	o 466 
104.23/25.84	o 467 
104.23/25.86	o 468 
104.23/25.87	o 469 
104.23/25.89	o 470 
104.73/25.91	o 471 
104.73/25.93	o 472 
104.73/25.95	o 473 
104.73/25.97	o 474 
104.73/25.99	o 475 
104.73/26.00	o 476 
105.28/26.02	o 477 
105.28/26.07	o 478 
105.28/26.09	o 479 
105.28/26.11	o 480 
105.78/26.12	o 481 
105.78/26.14	o 482 
105.78/26.16	o 483 
105.78/26.19	o 484 
106.31/26.21	o 485 
106.31/26.23	o 486 
106.31/26.25	o 487 
106.31/26.27	o 488 
106.31/26.29	o 489 
106.85/26.32	o 490 
106.85/26.33	o 491 
106.85/26.35	o 492 
107.25/26.41	o 493 
108.11/26.81	o 494 
110.72/29.31	o 495 
110.72/29.33	o 496 
110.72/29.35	o 497 
110.72/29.37	o 498 
110.72/29.39	o 499 
111.22/29.40	o 500 
111.22/29.43	o 501 
111.22/29.44	o 502 
111.22/29.46	o 503 
111.22/29.48	o 504 
111.69/29.50	o 505 
111.69/29.52	o 506 
111.69/29.54	o 507 
111.69/29.55	o 508 
111.69/29.57	o 509 
111.69/29.59	o 510 
112.24/29.60	o 511 
112.24/29.62	o 512 
112.24/29.63	o 513 
112.24/29.65	o 514 
112.24/29.66	o 515 
112.24/29.68	o 516 
112.80/29.70	o 517 
112.80/29.72	o 518 
112.80/29.74	o 519 
112.80/29.79	o 520 
113.34/29.81	o 521 
113.34/29.82	o 522 
113.34/29.84	o 523 
113.34/29.85	o 524 
113.34/29.87	o 525 
113.34/29.89	o 526 
113.91/29.91	o 527 
113.91/29.92	o 528 
113.91/29.94	o 529 
113.91/29.96	o 530 
113.91/29.98	o 531 
113.91/29.99	o 532 
113.91/30.01	o 533 
114.48/30.03	o 534 
114.48/30.05	o 535 
114.48/30.06	o 536 
114.48/30.08	o 537 
114.48/30.10	o 538 
114.96/30.12	o 539 
114.96/30.13	o 540 
114.96/30.15	o 541 
114.96/30.17	o 542 
114.96/30.18	o 543 
115.48/30.20	o 544 
115.48/30.21	o 545 
115.48/30.23	o 546 
115.48/30.25	o 547 
115.48/30.27	o 548 
116.04/30.32	o 549 
116.04/30.33	o 550 
116.04/30.35	o 551 
116.04/30.37	o 552 
116.04/30.39	o 553 
116.56/30.40	o 554 
116.56/30.42	o 555 
116.56/30.44	o 556 
116.56/30.46	o 557 
116.56/30.48	o 558 
116.56/30.49	o 559 
117.14/30.51	o 560 
117.14/30.53	o 561 
117.14/30.54	o 562 
117.14/30.57	o 563 
117.14/30.58	o 564 
117.62/30.60	o 565 
117.62/30.61	o 566 
117.62/30.63	o 567 
117.62/30.65	o 568 
117.62/30.67	o 569 
117.62/30.69	o 570 
118.21/30.71	o 571 
118.21/30.73	o 572 
118.21/30.75	o 573 
118.21/30.77	o 574 
118.21/30.78	o 575 
118.73/30.80	o 576 
118.73/30.82	o 577 
118.73/30.84	o 578 
118.73/30.85	o 579 
118.73/30.87	o 580 
118.73/30.89	o 581 
119.30/30.91	o 582 
119.30/30.93	o 583 
119.30/30.94	o 584 
119.30/30.96	o 585 
119.30/30.98	o 586 
119.30/31.00	o 587 
119.83/31.01	o 588 
119.83/31.03	o 589 
119.83/31.05	o 590 
119.83/31.07	o 591 
119.83/31.10	o 592 
120.38/31.12	o 593 
120.38/31.14	o 594 
120.38/31.15	o 595 
120.38/31.18	o 596 
120.38/31.19	o 597 
120.87/31.21	o 598 
120.87/31.23	o 599 
120.87/31.24	o 600 
120.87/31.26	o 601 
120.87/31.28	o 602 
120.87/31.30	o 603 
121.39/31.31	o 604 
121.39/31.33	o 605 
121.39/31.35	o 606 
121.39/31.37	o 607 
121.39/31.39	o 608 
121.99/31.41	o 609 
121.99/31.42	o 610 
121.99/31.45	o 611 
121.99/31.47	o 612 
121.99/31.49	o 613 
122.56/31.50	o 614 
122.56/31.53	o 615 
122.56/31.55	o 616 
122.56/31.56	o 617 
122.56/31.59	o 618 
123.07/31.60	o 619 
123.07/31.62	o 620 
123.07/31.64	o 621 
123.07/31.67	o 622 
123.07/31.68	o 623 
123.60/31.70	o 624 
123.60/31.72	o 625 
123.60/31.74	o 626 
123.60/31.76	o 627 
123.60/31.78	o 628 
123.60/31.79	o 629 
124.11/31.81	o 630 
124.11/31.83	o 631 
124.11/31.86	o 632 
124.11/31.88	o 633 
124.68/31.90	o 634 
124.68/31.92	o 635 
124.68/31.94	o 636 
124.68/31.96	o 637 
124.68/31.98	o 638 
124.68/32.00	o 639 
125.22/32.02	o 640 
125.22/32.04	o 641 
125.22/32.06	o 642 
125.22/32.08	o 643 
125.22/32.10	o 644 
125.84/32.12	o 645 
125.84/32.14	o 646 
125.84/32.16	o 647 
125.84/32.18	o 648 
125.84/32.20	o 649 
126.28/32.22	o 650 
126.28/32.23	o 651 
126.28/32.25	o 652 
126.28/32.27	o 653 
126.28/32.29	o 654 
126.89/32.31	o 655 
126.89/32.33	o 656 
126.89/32.35	o 657 
126.89/32.36	o 658 
126.89/32.38	o 659 
126.89/32.40	o 660 
127.43/32.41	o 661 
127.43/32.43	o 662 
127.43/32.45	o 663 
127.43/32.47	o 664 
127.43/32.48	o 665 
128.04/32.50	o 666 
128.04/32.52	o 667 
128.04/32.54	o 668 
128.04/32.56	o 669 
128.04/32.59	o 670 
128.58/32.61	o 671 
128.58/32.63	o 672 
128.58/32.65	o 673 
128.58/32.68	o 674 
129.06/32.70	o 675 
129.06/32.73	o 676 
129.06/32.75	o 677 
129.06/32.76	o 678 
129.06/32.78	o 679 
129.58/32.80	o 680 
129.58/32.82	o 681 
129.58/32.84	o 682 
129.58/32.85	o 683 
129.58/32.87	o 684 
129.58/32.89	o 685 
130.21/32.91	o 686 
130.21/32.92	o 687 
130.21/32.94	o 688 
130.21/32.96	o 689 
130.21/32.97	o 690 
130.21/32.99	o 691 
130.77/33.02	o 692 
130.77/33.04	o 693 
130.77/33.06	o 694 
130.77/33.07	o 695 
130.77/33.09	o 696 
131.40/33.12	o 697 
131.40/33.15	o 698 
131.40/33.18	o 699 
131.93/33.20	o 700 
131.93/33.22	o 701 
131.93/33.24	o 702 
131.93/33.26	o 703 
131.93/33.29	o 704 
132.54/33.31	o 705 
132.54/33.32	o 706 
132.54/33.34	o 707 
132.54/33.36	o 708 
132.54/33.38	o 709 
133.10/33.41	o 710 
133.10/33.43	o 711 
133.10/33.44	o 712 
133.10/33.46	o 713 
133.10/33.48	o 714 
133.10/33.50	o 715 
133.64/33.51	o 716 
133.64/33.53	o 717 
133.64/33.55	o 718 
133.64/33.57	o 719 
133.64/33.59	o 720 
134.29/33.61	o 721 
134.29/33.63	o 722 
134.29/33.64	o 723 
134.29/33.66	o 724 
134.29/33.68	o 725 
134.85/33.70	o 726 
134.85/33.72	o 727 
134.85/33.74	o 728 
134.85/33.76	o 729 
134.85/33.78	o 730 
135.41/33.80	o 731 
135.41/33.82	o 732 
135.41/33.84	o 733 
135.41/33.86	o 734 
135.41/33.88	o 735 
135.99/33.91	o 736 
135.99/33.92	o 737 
135.99/33.94	o 738 
135.99/33.96	o 739 
135.99/33.98	o 740 
135.99/34.00	o 741 
136.58/34.02	o 742 
136.58/34.03	o 743 
136.58/34.06	o 744 
136.58/34.11	o 745 
137.22/34.24	o 746 
140.01/36.52	o 747 
140.01/36.56	o 748 
140.01/36.57	o 749 
140.01/36.60	o 750 
140.53/36.61	o 751 
140.53/36.63	o 752 
140.53/36.65	o 753 
140.53/36.66	o 754 
140.53/36.68	o 755 
141.13/36.70	o 756 
141.13/36.72	o 757 
141.13/36.73	o 758 
141.13/36.75	o 759 
141.13/36.78	o 760 
141.13/36.79	o 761 
141.80/36.81	o 762 
141.80/36.84	o 763 
141.80/36.86	o 764 
141.80/36.90	o 765 
142.27/36.92	o 766 
142.27/36.93	o 767 
142.27/36.96	o 768 
142.27/36.97	o 769 
142.27/37.00	o 770 
142.88/37.01	o 771 
142.88/37.03	o 772 
142.88/37.05	o 773 
142.88/37.07	o 774 
142.88/37.09	o 775 
143.50/37.11	o 776 
143.50/37.13	o 777 
143.50/37.16	o 778 
143.50/37.18	o 779 
143.97/37.20	o 780 
143.97/37.22	o 781 
143.97/37.24	o 782 
143.97/37.26	o 783 
143.97/37.28	o 784 
144.54/37.30	o 785 
144.54/37.32	o 786 
144.54/37.34	o 787 
144.54/37.37	o 788 
144.54/37.39	o 789 
145.10/37.41	o 790 
145.10/37.43	o 791 
145.10/37.45	o 792 
145.10/37.47	o 793 
145.10/37.49	o 794 
145.63/37.51	o 795 
145.63/37.53	o 796 
145.63/37.56	o 797 
145.63/37.58	o 798 
145.63/37.59	o 799 
146.24/37.61	o 800 
146.24/37.63	o 801 
146.24/37.65	o 802 
146.24/37.68	o 803 
146.74/37.70	o 804 
146.74/37.72	o 805 
146.74/37.74	o 806 
146.74/37.76	o 807 
146.74/37.78	o 808 
147.31/37.80	o 809 
147.31/37.82	o 810 
147.31/37.84	o 811 
147.31/37.86	o 812 
147.31/37.88	o 813 
147.88/37.90	o 814 
147.88/37.92	o 815 
147.88/37.93	o 816 
147.88/37.96	o 817 
147.88/37.98	o 818 
147.88/38.00	o 819 
148.46/38.02	o 820 
148.46/38.04	o 821 
148.46/38.06	o 822 
148.46/38.08	o 823 
148.46/38.10	o 824 
149.07/38.13	o 825 
149.07/38.15	o 826 
149.07/38.16	o 827 
149.07/38.18	o 828 
149.58/38.21	o 829 
149.58/38.23	o 830 
149.58/38.25	o 831 
149.58/38.27	o 832 
149.58/38.29	o 833 
150.04/38.31	o 834 
150.04/38.33	o 835 
150.04/38.35	o 836 
150.04/38.37	o 837 
150.04/38.39	o 838 
150.58/38.42	o 839 
150.58/38.44	o 840 
150.58/38.46	o 841 
150.58/38.48	o 842 
151.16/38.50	o 843 
151.16/38.52	o 844 
151.16/38.54	o 845 
151.16/38.56	o 846 
151.16/38.58	o 847 
151.71/38.61	o 848 
151.71/38.63	o 849 
151.71/38.66	o 850 
151.71/38.67	o 851 
152.23/38.70	o 852 
152.23/38.72	o 853 
152.23/38.74	o 854 
152.23/38.77	o 855 
152.23/38.79	o 856 
152.80/38.81	o 857 
152.80/38.83	o 858 
152.80/38.85	o 859 
152.80/38.88	o 860 
152.80/38.90	o 861 
153.30/38.92	o 862 
153.30/38.94	o 863 
153.30/38.97	o 864 
153.30/38.99	o 865 
153.91/39.02	o 866 
153.91/39.03	o 867 
153.91/39.05	o 868 
153.91/39.08	o 869 
153.91/39.10	o 870 
154.47/39.12	o 871 
154.47/39.14	o 872 
154.47/39.17	o 873 
154.47/39.19	o 874 
155.04/39.21	o 875 
155.04/39.23	o 876 
155.04/39.25	o 877 
155.04/39.26	o 878 
155.04/39.28	o 879 
155.59/39.31	o 880 
155.59/39.33	o 881 
155.59/39.35	o 882 
155.59/39.38	o 883 
156.10/39.40	o 884 
156.10/39.42	o 885 
156.10/39.44	o 886 
156.10/39.47	o 887 
156.10/39.49	o 888 
156.68/39.51	o 889 
156.68/39.54	o 890 
156.68/39.56	o 891 
156.68/39.58	o 892 
157.19/39.60	o 893 
157.19/39.63	o 894 
157.19/39.65	o 895 
157.19/39.67	o 896 
157.77/39.70	o 897 
157.77/39.73	o 898 
157.77/39.75	o 899 
157.77/39.77	o 900 
157.77/39.79	o 901 
158.41/39.81	o 902 
158.41/39.84	o 903 
158.41/39.86	o 904 
158.41/39.88	o 905 
158.94/39.90	o 906 
158.94/39.92	o 907 
158.94/39.94	o 908 
158.94/39.97	o 909 
158.94/39.99	o 910 
159.59/40.02	o 911 
159.59/40.03	o 912 
159.59/40.06	o 913 
159.59/40.08	o 914 
159.59/40.09	o 915 
160.15/40.12	o 916 
160.15/40.14	o 917 
160.15/40.17	o 918 
160.15/40.19	o 919 
160.67/40.21	o 920 
160.67/40.23	o 921 
160.67/40.25	o 922 
160.67/40.28	o 923 
161.20/40.31	o 924 
161.20/40.34	o 925 
161.20/40.35	o 926 
161.20/40.37	o 927 
161.71/40.40	o 928 
161.71/40.42	o 929 
161.71/40.44	o 930 
161.71/40.47	o 931 
161.71/40.49	o 932 
162.34/40.52	o 933 
162.34/40.54	o 934 
162.34/40.56	o 935 
162.34/40.58	o 936 
162.84/40.60	o 937 
162.84/40.63	o 938 
162.84/40.65	o 939 
162.84/40.67	o 940 
162.84/40.69	o 941 
163.50/40.71	o 942 
163.50/40.74	o 943 
163.50/40.76	o 944 
163.50/40.78	o 945 
164.02/40.81	o 946 
164.02/40.83	o 947 
164.02/40.85	o 948 
164.02/40.88	o 949 
164.58/40.90	o 950 
164.58/40.92	o 951 
164.58/40.94	o 952 
164.58/40.97	o 953 
164.58/40.99	o 954 
164.58/41.02	o 955 
165.19/41.04	o 956 
165.19/41.07	o 957 
165.19/41.09	o 958 
165.68/41.11	o 959 
165.68/41.13	o 960 
165.68/41.15	o 961 
165.68/41.17	o 962 
165.68/41.19	o 963 
166.31/41.21	o 964 
166.31/41.23	o 965 
166.31/41.25	o 966 
166.31/41.27	o 967 
166.86/41.30	o 968 
166.86/41.32	o 969 
166.86/41.34	o 970 
166.86/41.36	o 971 
166.86/41.38	o 972 
167.42/41.41	o 973 
167.42/41.45	o 974 
167.42/41.47	o 975 
167.85/41.57	o 976 
170.05/43.64	o 977 
170.05/43.66	o 978 
170.05/43.67	o 979 
170.43/43.70	o 980 
170.43/43.72	o 981 
170.43/43.74	o 982 
170.43/43.77	o 983 
170.43/43.79	o 984 
170.99/43.81	o 985 
170.99/43.83	o 986 
170.99/43.85	o 987 
170.99/43.88	o 988 
171.51/43.90	o 989 
171.51/43.92	o 990 
171.51/43.95	o 991 
171.51/43.98	o 992 
172.07/44.01	o 993 
172.07/44.03	o 994 
172.07/44.06	o 995 
172.07/44.08	o 996 
172.60/44.11	o 997 
172.60/44.14	o 998 
172.60/44.17	o 999 
172.60/44.18	o 1000 
173.12/44.20	o 1001 
173.12/44.22	o 1002 
173.12/44.25	o 1003 
173.12/44.27	o 1004 
173.12/44.29	o 1005 
173.74/44.31	o 1006 
173.74/44.34	o 1007 
173.74/44.37	o 1008 
173.74/44.38	o 1009 
174.30/44.40	o 1010 
174.30/44.43	o 1011 
174.30/44.45	o 1012 
174.30/44.48	o 1013 
174.87/44.50	o 1014 
174.87/44.53	o 1015 
174.87/44.55	o 1016 
174.87/44.58	o 1017 
175.41/44.60	o 1018 
175.41/44.63	o 1019 
175.41/44.65	o 1020 
175.41/44.67	o 1021 
175.41/44.70	o 1022 
175.95/44.72	o 1023 
175.95/44.74	o 1024 
175.95/44.76	o 1025 
176.61/44.80	o 1026 
176.61/44.83	o 1027 
176.61/44.85	o 1028 
176.61/44.87	o 1029 
176.61/44.89	o 1030 
177.15/44.92	o 1031 
177.15/44.95	o 1032 
177.15/44.97	o 1033 
177.15/44.99	o 1034 
177.78/45.02	o 1035 
177.78/45.04	o 1036 
177.78/45.06	o 1037 
177.78/45.08	o 1038 
177.78/45.11	o 1039 
178.31/45.13	o 1040 
178.31/45.15	o 1041 
178.83/45.20	o 1042 
178.83/45.22	o 1043 
178.83/45.24	o 1044 
178.83/45.26	o 1045 
178.83/45.29	o 1046 
179.43/45.31	o 1047 
179.43/45.34	o 1048 
179.43/45.36	o 1049 
179.43/45.39	o 1050 
180.02/45.42	o 1051 
180.02/45.45	o 1052 
180.02/45.48	o 1053 
180.02/45.49	o 1054 
180.47/45.52	o 1055 
180.47/45.54	o 1056 
180.47/45.57	o 1057 
180.47/45.59	o 1058 
181.10/45.61	o 1059 
181.10/45.63	o 1060 
181.10/45.65	o 1061 
181.10/45.67	o 1062 
181.10/45.69	o 1063 
181.79/45.72	o 1064 
181.79/45.74	o 1065 
181.79/45.78	o 1066 
182.29/45.80	o 1067 
182.29/45.82	o 1068 
182.29/45.84	o 1069 
182.29/45.86	o 1070 
182.29/45.88	o 1071 
182.91/45.91	o 1072 
182.91/45.94	o 1073 
182.91/45.96	o 1074 
182.91/45.99	o 1075 
182.91/46.01	o 1076 
183.53/46.04	o 1077 
183.53/46.07	o 1078 
183.53/46.09	o 1079 
184.04/46.12	o 1080 
184.04/46.15	o 1081 
184.04/46.17	o 1082 
184.49/46.20	o 1083 
184.49/46.23	o 1084 
184.49/46.26	o 1085 
184.49/46.28	o 1086 
185.04/46.31	o 1087 
185.04/46.33	o 1088 
185.04/46.35	o 1089 
185.04/46.37	o 1090 
185.04/46.39	o 1091 
185.71/46.41	o 1092 
185.71/46.43	o 1093 
185.71/46.46	o 1094 
185.71/46.49	o 1095 
186.24/46.51	o 1096 
186.24/46.54	o 1097 
186.24/46.56	o 1098 
186.24/46.58	o 1099 
186.76/46.61	o 1100 
186.76/46.63	o 1101 
186.76/46.66	o 1102 
186.76/46.69	o 1103 
187.38/46.72	o 1104 
187.38/46.74	o 1105 
187.38/46.77	o 1106 
187.38/46.79	o 1107 
187.95/46.82	o 1108 
187.95/46.84	o 1109 
187.95/46.86	o 1110 
187.95/46.88	o 1111 
188.53/46.90	o 1112 
188.53/46.92	o 1113 
188.53/46.95	o 1114 
188.53/46.98	o 1115 
188.53/47.00	o 1116 
189.18/47.02	o 1117 
189.18/47.05	o 1118 
189.18/47.07	o 1119 
189.18/47.10	o 1120 
189.78/47.12	o 1121 
189.78/47.14	o 1122 
189.78/47.18	o 1123 
190.24/47.20	o 1124 
190.24/47.23	o 1125 
190.24/47.25	o 1126 
190.24/47.28	o 1127 
190.84/47.31	o 1128 
190.84/47.33	o 1129 
190.84/47.35	o 1130 
190.84/47.38	o 1131 
191.39/47.40	o 1132 
191.39/47.42	o 1133 
191.39/47.45	o 1134 
191.39/47.48	o 1135 
191.98/47.50	o 1136 
191.98/47.53	o 1137 
19884.66/2520.09	s SATISFIABLE
19884.66/2520.09	v <instantiation>
19884.66/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][50] w[0][51] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][50] w[1][51] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][50] w[2][51] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][50] w[3][51] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][50] w[4][51] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][50] w[5][51] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][50] w[6][51] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][50] w[7][51] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][50] w[8][51] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][50] w[9][51] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][50] w[10][51] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][50] w[11][51] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][50] w[12][51] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][50] w[13][51] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][50] w[14][51] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][50] w[15][51] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][50] w[16][51] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][50] w[17][51] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][50] w[18][51] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][50] w[19][51] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][50] w[20][51] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][50] w[21][51] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][50] w[22][51] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][50] w[23][51] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][50] w[24][51] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][50] w[25][51] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][50] w[26][51] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][50] w[27][51] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][50] w[28][51] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][50] w[29][51] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][50] w[30][51] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][50] w[31][51] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][50] w[32][51] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][50] w[33][51] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][50] w[34][51] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][50] w[35][51] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][50] w[36][51] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][50] w[37][51] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][50] w[38][51] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][50] w[39][51] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][50] w[40][51] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][50] w[41][51] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][50] w[42][51] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][50] w[43][51] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][50] w[44][51] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][50] w[45][51] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][50] w[46][51] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][50] w[47][51] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][50] w[48][51] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][50] w[49][51] w[50][0] w[50][1] w[50][2] w[50][3] w[50][4] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][50] w[50][51] w[51][0] w[51][1] w[51][2] w[51][3] w[51][4] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][50] w[51][51] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] ws[46] ws[47] ws[48] ws[49] ws[50] ws[51] z </list>
19884.66/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 1 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 2 2 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 1 0 0 0 0 0 2 0 1 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 2 0 1 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 1 0 0 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 0 1 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 2 2 2 1 1 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 0 0 1 1 1 1 0 0 1 1 2 2 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 16 16 16 34 34 34 95 99 100 102 106 108 162 167 169 170 173 180 211 212 214 239 239 243 270 275 285 311 314 317 359 367 381 386 388 392 416 424 432 451 453 461 481 483 490 528 538 554 578 595 620 652 1137 </values>
19884.66/2520.09	v </instantiation>
19884.66/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	1137

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12715 MiB free)
  memory of node 1: 16384 MiB (13856 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=23923, runsolver pid=23920

[startup+0.100114 s]*
/proc/loadavg: 8.03 8.21 8.21 2/199 23944
/proc/meminfo: memFree=27194808/32770624 swapFree=67108860/67108860
[pid=23923] ppid=23920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23923/stat : 23923 (xcsp3-exec) S 23920 23923 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144511696 9740288 346 33554432000 4194304 5098028 140726183765024 140726183763128 139932022489724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9269248 140726183769189 140726183769399 140726183769399 140726183772139 0
/proc/23923/statm: 2378 346 289 221 0 87 0
[pid=23925] ppid=23923 vsize=25999808 memory=26244 CPUtime=0.11 cores=0-7
/proc/23925/stat : 23925 (java) S 23923 23923 22342 0 -1 1077944320 5500 0 0 0 10 1 0 0 20 0 20 0 144511696 26623803392 6561 33554432000 4194304 4196468 140723093330000 140723093312544 140373867175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
/proc/23925/statm: 6499952 6561 2842 1 0 6488269 0
[pid=23925/tid=23926] ppid=23923 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23925/task/23926/stat : 23926 (java) R 23923 23923 22342 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 20 0 144511696 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373871400400 140373848581946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23927] ppid=23923 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23925/task/23927/stat : 23927 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373425408528 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23928] ppid=23923 vsize=25999808 memory=139975443842688 CPUtime=0 cores=0-7
/proc/23925/task/23928/stat : 23928 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373424355984 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23929] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23929/stat : 23929 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373423302928 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23930] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23930/stat : 23930 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373422250384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23931] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23931/stat : 23931 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373421198352 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23932] ppid=23923 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23925/task/23932/stat : 23932 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373420145808 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23933] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23933/stat : 23933 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373419092752 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23934] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23934/stat : 23934 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373418040208 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23935] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23935/stat : 23935 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511699 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373263010032 140373867186818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23936] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23936/stat : 23936 (java) S 23923 23923 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144511699 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373261956256 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23937] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23937/stat : 23937 (java) S 23923 23923 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144511699 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373260903152 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23938] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23938/stat : 23938 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511702 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373259851728 140373867194267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23939] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23939/stat : 23939 (java) S 23923 23923 22342 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 144511702 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373258799856 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23940] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23940/stat : 23940 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511702 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373257747312 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23941] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23941/stat : 23941 (java) S 23923 23923 22342 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 144511702 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373256694256 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23942] ppid=23923 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23925/task/23942/stat : 23942 (java) S 23923 23923 22342 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 144511702 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373255641712 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23943] ppid=23923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23943/stat : 23943 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144511702 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373254588896 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23944] ppid=23923 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23925/task/23944/stat : 23944 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511702 26623803392 6561 33554432000 4194304 4196468 140723093330000 140373253536432 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27628 KiB

[startup+0.210193 s]*
/proc/loadavg: 8.03 8.21 8.21 2/199 23944
/proc/meminfo: memFree=27182760/32770624 swapFree=67108860/67108860
[pid=23923] ppid=23920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23923/stat : 23923 (xcsp3-exec) S 23920 23923 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144511696 9740288 346 33554432000 4194304 5098028 140726183765024 140726183763128 139932022489724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9269248 140726183769189 140726183769399 140726183769399 140726183772139 0
/proc/23923/statm: 2378 346 289 221 0 87 0
[pid=23925] ppid=23923 vsize=26004064 memory=39244 CPUtime=0.33 cores=0-7
/proc/23925/stat : 23925 (java) S 23923 23923 22342 0 -1 1077944320 8394 0 0 0 30 3 0 0 20 0 20 0 144511696 26628161536 9811 33554432000 4194304 4196468 140723093330000 140723093312544 140373867175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
/proc/23925/statm: 6501016 9811 3059 1 0 6488269 0
[pid=23925/tid=23926] ppid=23923 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23925/task/23926/stat : 23926 (java) R 23923 23923 22342 0 -1 4202560 5403 0 0 0 18 2 0 0 20 0 20 0 144511696 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373871390720 140373851256158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23927] ppid=23923 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/23925/task/23927/stat : 23927 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373425408528 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23928] ppid=23923 vsize=26004064 memory=139975444516069 CPUtime=0 cores=0-7
/proc/23925/task/23928/stat : 23928 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373424355984 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23929] ppid=23923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23925/task/23929/stat : 23929 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373423302928 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23930] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23930/stat : 23930 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373422250384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23931] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23931/stat : 23931 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373421198352 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23932] ppid=23923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23925/task/23932/stat : 23932 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373420145808 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23933] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23933/stat : 23933 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373419092752 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23934] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23934/stat : 23934 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373418040208 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23935] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23935/stat : 23935 (java) S 23923 23923 22342 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 144511699 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373263010032 140373867186818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23936] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23936/stat : 23936 (java) S 23923 23923 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144511699 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373261956256 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23937] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23937/stat : 23937 (java) S 23923 23923 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144511699 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373260903152 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23938] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23938/stat : 23938 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511702 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373259851728 140373867194267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23939] ppid=23923 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23925/task/23939/stat : 23939 (java) R 23923 23923 22342 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 20 0 144511702 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373258799856 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23940] ppid=23923 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23925/task/23940/stat : 23940 (java) S 23923 23923 22342 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 144511702 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373257747312 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23941] ppid=23923 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/23925/task/23941/stat : 23941 (java) S 23923 23923 22342 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 144511702 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373256694256 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23942] ppid=23923 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/23925/task/23942/stat : 23942 (java) R 23923 23923 22342 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 20 0 144511702 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373255641712 140373867187606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23943] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23943/stat : 23943 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144511702 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373254588896 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23944] ppid=23923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23925/task/23944/stat : 23944 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511702 26628161536 9811 33554432000 4194304 4196468 140723093330000 140373253536432 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40628 KiB

[startup+0.310214 s]*
/proc/loadavg: 8.03 8.21 8.21 3/199 23944
/proc/meminfo: memFree=27178728/32770624 swapFree=67108860/67108860
[pid=23923] ppid=23920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23923/stat : 23923 (xcsp3-exec) S 23920 23923 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144511696 9740288 346 33554432000 4194304 5098028 140726183765024 140726183763128 139932022489724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9269248 140726183769189 140726183769399 140726183769399 140726183772139 0
/proc/23923/statm: 2378 346 289 221 0 87 0
[pid=23925] ppid=23923 vsize=26004064 memory=46184 CPUtime=0.5 cores=0-7
/proc/23925/stat : 23925 (java) S 23923 23923 22342 0 -1 1077944320 9248 0 0 0 46 4 0 0 20 0 20 0 144511696 26628161536 11546 33554432000 4194304 4196468 140723093330000 140723093312544 140373867175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
/proc/23925/statm: 6501016 11546 3088 1 0 6488269 0
[pid=23925/tid=23926] ppid=23923 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23925/task/23926/stat : 23926 (java) R 23923 23923 22342 0 -1 4202560 6106 0 0 0 26 3 0 0 20 0 20 0 144511696 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373871414896 140373867197597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23927] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23927/stat : 23927 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373425408528 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23928] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23928/stat : 23928 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373424355984 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23929] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23929/stat : 23929 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373423302928 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23930] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23930/stat : 23930 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373422250384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23931] ppid=23923 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23925/task/23931/stat : 23931 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373421198352 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23932] ppid=23923 vsize=26004064 memory=139975333082031 CPUtime=0 cores=0-7
/proc/23925/task/23932/stat : 23932 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373420145808 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23933] ppid=23923 vsize=26004064 memory=139975333084336 CPUtime=0 cores=0-7
/proc/23925/task/23933/stat : 23933 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373419092752 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23934] ppid=23923 vsize=26004064 memory=3472463873514255840 CPUtime=0 cores=0-7
/proc/23925/task/23934/stat : 23934 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373418040208 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23935] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23935/stat : 23935 (java) S 23923 23923 22342 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 144511699 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373263010032 140373867186818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23936] ppid=23923 vsize=26004064 memory=279950666180240 CPUtime=0 cores=0-7
/proc/23925/task/23936/stat : 23936 (java) S 23923 23923 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144511699 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373261956256 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23937] ppid=23923 vsize=26004064 memory=279950666187152 CPUtime=0 cores=0-7
/proc/23925/task/23937/stat : 23937 (java) S 23923 23923 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144511699 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373260903152 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23938] ppid=23923 vsize=26004064 memory=279950666128304 CPUtime=0 cores=0-7
/proc/23925/task/23938/stat : 23938 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511702 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373259851728 140373867194267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23939] ppid=23923 vsize=26004064 memory=279950666200976 CPUtime=0.02 cores=0-7
/proc/23925/task/23939/stat : 23939 (java) S 23923 23923 22342 0 -1 1077944384 630 0 0 0 2 0 0 0 20 0 20 0 144511702 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373258799856 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23940] ppid=23923 vsize=26004064 memory=279950666207888 CPUtime=0.01 cores=0-7
/proc/23925/task/23940/stat : 23940 (java) R 23923 23923 22342 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 20 0 144511702 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373257747312 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23941] ppid=23923 vsize=26004064 memory=279950666205584 CPUtime=0.02 cores=0-7
/proc/23925/task/23941/stat : 23941 (java) S 23923 23923 22342 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 144511702 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373256694256 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23942] ppid=23923 vsize=26004064 memory=279950666221744 CPUtime=0.12 cores=0-7
/proc/23925/task/23942/stat : 23942 (java) R 23923 23923 22342 0 -1 4202560 861 0 0 0 12 0 0 0 20 0 20 0 144511702 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373255638080 140373867187606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23943] ppid=23923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23943/stat : 23943 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144511702 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373254588896 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23944] ppid=23923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23925/task/23944/stat : 23944 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144511702 26628161536 11546 33554432000 4194304 4196468 140723093330000 140373253536432 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47568 KiB

[startup+0.700968 s]
/proc/loadavg: 8.03 8.21 8.21 6/199 23944
/proc/meminfo: memFree=27154116/32770624 swapFree=67108860/67108860
[pid=23923] ppid=23920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23923/stat : 23923 (xcsp3-exec) S 23920 23923 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144511696 9740288 346 33554432000 4194304 5098028 140726183765024 140726183763128 139932022489724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9269248 140726183769189 140726183769399 140726183769399 140726183772139 0
/proc/23923/statm: 2378 346 289 221 0 87 0
[pid=23925] ppid=23923 vsize=26004140 memory=103996 CPUtime=1.93 cores=0-7
/proc/23925/stat : 23925 (java) S 23923 23923 22342 0 -1 1077944320 13441 0 0 0 187 6 0 0 20 0 20 0 144511696 26628239360 25999 33554432000 4194304 4196468 140723093330000 140723093312544 140373867175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
/proc/23925/statm: 6501035 25999 3197 1 0 6488269 0
[pid=23925/tid=23926] ppid=23923 vsize=26004140 memory=279950666579632 CPUtime=0.67 cores=0-7
/proc/23925/task/23926/stat : 23926 (java) R 23923 23923 22342 0 -1 4202560 6519 0 0 0 64 3 0 0 20 0 20 0 144511696 26628239360 25999 33554432000 4194304 4196468 140723093330000 140373871413280 140373849583760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23927] ppid=23923 vsize=26004140 memory=139975333290864 CPUtime=0 cores=0-7
/proc/23925/task/23927/stat : 23927 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628239360 25999 33554432000 4194304 4196468 140723093330000 140373425408528 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23928] ppid=23923 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23928/stat : 23928 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628239360 25999 33554432000 4194304 4196468 140723093330000 140373424355984 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23929] ppid=23923 vsize=26004140 memory=11108 CPUtime=0 cores=0-7
/proc/23925/task/23929/stat : 23929 (java) S 23923 23923 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144511697 26628239360 25999 33554432000 4194304 4196468 140723093330000 140373423302928 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0

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

[pid=23925/tid=500] ppid=23923 vsize=26541776 memory=2516844 CPUtime=2380.64 cores=0-7
/proc/23925/task/500/stat : 500 (java) R 23923 23923 22342 0 -1 4202560 24786 0 0 0 238029 35 0 0 20 0 28 0 144516449 27178778624 629083 33554432000 4194304 4196468 140723093330000 140373238158168 140373514827551 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
Current children cumulated CPU time: 19265 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2517716 KiB

[startup+2502.3 s]
/proc/loadavg: 8.05 8.15 8.21 9/208 561
/proc/meminfo: memFree=24704280/32770624 swapFree=67108860/67108860
[pid=23923] ppid=23920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23923/stat : 23923 (xcsp3-exec) S 23920 23923 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144511696 9740288 346 33554432000 4194304 5098028 140726183765024 140726183763128 139932022489724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9269248 140726183769189 140726183769399 140726183769399 140726183772139 0
/proc/23923/statm: 2378 346 289 221 0 87 0
[pid=23925] ppid=23923 vsize=26541776 memory=2510688 CPUtime=19743.4 cores=0-7
/proc/23925/stat : 23925 (java) S 23923 23923 22342 0 -1 1077944320 748650 0 0 0 1973220 1119 0 0 20 0 28 0 144511696 27178778624 627672 33554432000 4194304 4196468 140723093330000 140723093312544 140373867175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
/proc/23925/statm: 6635444 627672 3311 1 0 6622678 0
[pid=23925/tid=23926] ppid=23923 vsize=26541776 memory=1384 CPUtime=8.86 cores=0-7
/proc/23925/task/23926/stat : 23926 (java) S 23923 23923 22342 0 -1 1077944384 12634 0 0 0 865 21 0 0 20 0 28 0 144511696 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373871416384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23927] ppid=23923 vsize=26541776 memory=2511712 CPUtime=7.35 cores=0-7
/proc/23925/task/23927/stat : 23927 (java) S 23923 23923 22342 0 -1 1077944384 18737 0 0 0 699 36 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373425408528 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23928] ppid=23923 vsize=26541776 memory=2511712 CPUtime=7.26 cores=0-7
/proc/23925/task/23928/stat : 23928 (java) S 23923 23923 22342 0 -1 1077944384 23743 0 0 0 690 36 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373424355984 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23929] ppid=23923 vsize=26541776 memory=2511712 CPUtime=7.29 cores=0-7
/proc/23925/task/23929/stat : 23929 (java) S 23923 23923 22342 0 -1 1077944384 22908 0 0 0 693 36 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373423302928 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23930] ppid=23923 vsize=26541776 memory=2511712 CPUtime=7.38 cores=0-7
/proc/23925/task/23930/stat : 23930 (java) S 23923 23923 22342 0 -1 1077944384 21767 0 0 0 706 32 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373422250384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23931] ppid=23923 vsize=26541776 memory=2530184 CPUtime=7.33 cores=0-7
/proc/23925/task/23931/stat : 23931 (java) S 23923 23923 22342 0 -1 1077944384 20127 0 0 0 699 34 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373421198352 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23932] ppid=23923 vsize=26541776 memory=2517868 CPUtime=7.28 cores=0-7
/proc/23925/task/23932/stat : 23932 (java) S 23923 23923 22342 0 -1 1077944384 20421 0 0 0 695 33 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373420145808 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23933] ppid=23923 vsize=26541776 memory=2516844 CPUtime=7.3 cores=0-7
/proc/23925/task/23933/stat : 23933 (java) S 23923 23923 22342 0 -1 1077944384 18761 0 0 0 696 34 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373419092752 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23934] ppid=23923 vsize=26541776 memory=2514280 CPUtime=7.3 cores=0-7
/proc/23925/task/23934/stat : 23934 (java) S 23923 23923 22342 0 -1 1077944384 23943 0 0 0 697 33 0 0 20 0 28 0 144511697 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373418040208 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23935] ppid=23923 vsize=26541776 memory=2510688 CPUtime=2.01 cores=0-7
/proc/23925/task/23935/stat : 23935 (java) S 23923 23923 22342 0 -1 1077944384 63050 0 0 0 146 55 0 0 20 0 28 0 144511699 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373263010032 140373867186818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23936] ppid=23923 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/23925/task/23936/stat : 23936 (java) S 23923 23923 22342 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 144511699 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373261956384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23937] ppid=23923 vsize=26541776 memory=2512740 CPUtime=0 cores=0-7
/proc/23925/task/23937/stat : 23937 (java) S 23923 23923 22342 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 144511699 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373260903232 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23938] ppid=23923 vsize=26541776 memory=2514280 CPUtime=0 cores=0-7
/proc/23925/task/23938/stat : 23938 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144511702 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373259851728 140373867194267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23939] ppid=23923 vsize=26541776 memory=1384 CPUtime=3.85 cores=0-7
/proc/23925/task/23939/stat : 23939 (java) S 23923 23923 22342 0 -1 1077944384 32485 0 0 0 377 8 0 0 20 0 28 0 144511702 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373258799856 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23940] ppid=23923 vsize=26541776 memory=2510688 CPUtime=4.4 cores=0-7
/proc/23925/task/23940/stat : 23940 (java) S 23923 23923 22342 0 -1 1077944384 42820 0 0 0 433 7 0 0 20 0 28 0 144511702 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373257747312 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23941] ppid=23923 vsize=26541776 memory=1384 CPUtime=4.17 cores=0-7
/proc/23925/task/23941/stat : 23941 (java) S 23923 23923 22342 0 -1 1077944384 33979 0 0 0 411 6 0 0 20 0 28 0 144511702 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373256694256 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23942] ppid=23923 vsize=26541776 memory=164 CPUtime=1.37 cores=0-7
/proc/23925/task/23942/stat : 23942 (java) S 23923 23923 22342 0 -1 1077944384 24366 0 0 0 133 4 0 0 20 0 28 0 144511702 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373255641712 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23943] ppid=23923 vsize=26541776 memory=0 CPUtime=0 cores=0-7
/proc/23925/task/23943/stat : 23943 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144511702 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373254588896 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23944] ppid=23923 vsize=26541776 memory=40112 CPUtime=1 cores=0-7
/proc/23925/task/23944/stat : 23944 (java) S 23923 23923 22342 0 -1 1077944384 5177 0 0 0 60 40 0 0 20 0 28 0 144511702 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373253536432 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=493] ppid=23923 vsize=26541776 memory=1296 CPUtime=2436.91 cores=0-7
/proc/23925/task/493/stat : 493 (java) R 23923 23923 22342 0 -1 4202560 25222 0 0 0 243663 28 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373242367320 140373514801043 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=494] ppid=23923 vsize=26541776 memory=2511712 CPUtime=2434.76 cores=0-7
/proc/23925/task/494/stat : 494 (java) R 23923 23923 22342 0 -1 4202560 25426 0 0 0 243446 30 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373241318640 140373514302311 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=495] ppid=23923 vsize=26541776 memory=4132 CPUtime=2435.46 cores=0-7
/proc/23925/task/495/stat : 495 (java) R 23923 23923 22342 0 -1 4202560 27243 0 0 0 243511 35 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373243421912 140373514156758 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=496] ppid=23923 vsize=26541776 memory=40112 CPUtime=2434.87 cores=0-7
/proc/23925/task/496/stat : 496 (java) R 23923 23923 22342 0 -1 4202560 26453 0 0 0 243444 43 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373235009368 140373513747259 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=497] ppid=23923 vsize=26541776 memory=1384 CPUtime=2436.52 cores=0-7
/proc/23925/task/497/stat : 497 (java) R 23923 23923 22342 0 -1 4202560 19290 0 0 0 243627 25 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373239210800 140373514826398 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=498] ppid=23923 vsize=26541776 memory=4132 CPUtime=2439.44 cores=0-7
/proc/23925/task/498/stat : 498 (java) R 23923 23923 22342 0 -1 4202560 115550 0 0 0 243633 311 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373244474360 140373508831020 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=499] ppid=23923 vsize=26541776 memory=40112 CPUtime=2437.99 cores=0-7
/proc/23925/task/499/stat : 499 (java) R 23923 23923 22342 0 -1 4202560 35815 0 0 0 243761 38 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373245526696 140373508481008 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=500] ppid=23923 vsize=26541776 memory=1384 CPUtime=2440.08 cores=0-7
/proc/23925/task/500/stat : 500 (java) R 23923 23923 22342 0 -1 4202560 25485 0 0 0 243972 36 0 0 20 0 28 0 144516449 27178778624 627672 33554432000 4194304 4196468 140723093330000 140373238157912 140373514549525 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
Current children cumulated CPU time: 19743.4 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2512072 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.46 8.24 8.24 9/208 561
/proc/meminfo: memFree=24705500/32770624 swapFree=67108860/67108860
[pid=23923] ppid=23920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23923/stat : 23923 (xcsp3-exec) S 23920 23923 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144511696 9740288 346 33554432000 4194304 5098028 140726183765024 140726183763128 139932022489724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9269248 140726183769189 140726183769399 140726183769399 140726183772139 0
/proc/23923/statm: 2378 346 289 221 0 87 0
[pid=23925] ppid=23923 vsize=26541776 memory=2510176 CPUtime=19884.7 cores=0-7
/proc/23925/stat : 23925 (java) S 23923 23923 22342 0 -1 1077944320 749804 0 0 0 1987347 1119 0 0 20 0 28 0 144511696 27178778624 627544 33554432000 4194304 4196468 140723093330000 140723093312544 140373867175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
/proc/23925/statm: 6635444 627544 3311 1 0 6622678 0
[pid=23925/tid=23926] ppid=23923 vsize=26541776 memory=6791534058613427641 CPUtime=8.86 cores=0-7
/proc/23925/task/23926/stat : 23926 (java) S 23923 23923 22342 0 -1 1077944384 12634 0 0 0 865 21 0 0 20 0 28 0 144511696 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373871416384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23927] ppid=23923 vsize=26541776 memory=4126316290023845779 CPUtime=7.36 cores=0-7
/proc/23925/task/23927/stat : 23927 (java) S 23923 23923 22342 0 -1 1077944384 18819 0 0 0 700 36 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373425408528 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23928] ppid=23923 vsize=26541776 memory=1424 CPUtime=7.27 cores=0-7
/proc/23925/task/23928/stat : 23928 (java) S 23923 23923 22342 0 -1 1077944384 23785 0 0 0 691 36 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373424355984 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23929] ppid=23923 vsize=26541776 memory=15876 CPUtime=7.3 cores=0-7
/proc/23925/task/23929/stat : 23929 (java) S 23923 23923 22342 0 -1 1077944384 22914 0 0 0 694 36 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373423302928 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23930] ppid=23923 vsize=26541776 memory=4052 CPUtime=7.39 cores=0-7
/proc/23925/task/23930/stat : 23930 (java) S 23923 23923 22342 0 -1 1077944384 21777 0 0 0 707 32 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373422250384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23931] ppid=23923 vsize=26541776 memory=23272 CPUtime=7.33 cores=0-7
/proc/23925/task/23931/stat : 23931 (java) S 23923 23923 22342 0 -1 1077944384 20133 0 0 0 699 34 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373421198352 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23932] ppid=23923 vsize=26541776 memory=18444 CPUtime=7.29 cores=0-7
/proc/23925/task/23932/stat : 23932 (java) S 23923 23923 22342 0 -1 1077944384 20427 0 0 0 696 33 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373420145808 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23933] ppid=23923 vsize=26541776 memory=6791534058613427641 CPUtime=7.31 cores=0-7
/proc/23925/task/23933/stat : 23933 (java) S 23923 23923 22342 0 -1 1077944384 18863 0 0 0 697 34 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373419092752 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23934] ppid=23923 vsize=26541776 memory=4352 CPUtime=7.31 cores=0-7
/proc/23925/task/23934/stat : 23934 (java) S 23923 23923 22342 0 -1 1077944384 23948 0 0 0 698 33 0 0 20 0 28 0 144511697 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373418040208 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23935] ppid=23923 vsize=26541776 memory=1384 CPUtime=2.01 cores=0-7
/proc/23925/task/23935/stat : 23935 (java) S 23923 23923 22342 0 -1 1077944384 63230 0 0 0 146 55 0 0 20 0 28 0 144511699 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373263010032 140373867186818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23936] ppid=23923 vsize=26541776 memory=2510688 CPUtime=0 cores=0-7
/proc/23925/task/23936/stat : 23936 (java) S 23923 23923 22342 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 144511699 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373261956384 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23937] ppid=23923 vsize=26541776 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23925/task/23937/stat : 23937 (java) S 23923 23923 22342 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 144511699 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373260903232 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23938] ppid=23923 vsize=26541776 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/23925/task/23938/stat : 23938 (java) S 23923 23923 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144511702 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373259851728 140373867194267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23939] ppid=23923 vsize=26541776 memory=4128 CPUtime=3.85 cores=0-7
/proc/23925/task/23939/stat : 23939 (java) S 23923 23923 22342 0 -1 1077944384 32487 0 0 0 377 8 0 0 20 0 28 0 144511702 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373258799856 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23940] ppid=23923 vsize=26541776 memory=2200 CPUtime=4.4 cores=0-7
/proc/23925/task/23940/stat : 23940 (java) S 23923 23923 22342 0 -1 1077944384 42822 0 0 0 433 7 0 0 20 0 28 0 144511702 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373257747312 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23941] ppid=23923 vsize=26541776 memory=1384 CPUtime=4.17 cores=0-7
/proc/23925/task/23941/stat : 23941 (java) S 23923 23923 22342 0 -1 1077944384 33981 0 0 0 411 6 0 0 20 0 28 0 144511702 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373256694256 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23942] ppid=23923 vsize=26541776 memory=2510176 CPUtime=1.37 cores=0-7
/proc/23925/task/23942/stat : 23942 (java) S 23923 23923 22342 0 -1 1077944384 24368 0 0 0 133 4 0 0 20 0 28 0 144511702 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373255641712 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23943] ppid=23923 vsize=26541776 memory=1928 CPUtime=0 cores=0-7
/proc/23925/task/23943/stat : 23943 (java) S 23923 23923 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144511702 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373254588896 140373867185877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=23944] ppid=23923 vsize=26541776 memory=1384 CPUtime=1.01 cores=0-7
/proc/23925/task/23944/stat : 23944 (java) S 23923 23923 22342 0 -1 1077944384 5179 0 0 0 61 40 0 0 20 0 28 0 144511702 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373253536432 140373867186818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=493] ppid=23923 vsize=26541776 memory=2510176 CPUtime=2454.61 cores=0-7
/proc/23925/task/493/stat : 493 (java) R 23923 23923 22342 0 -1 4202560 25487 0 0 0 245433 28 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373242369872 140373514303061 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=494] ppid=23923 vsize=26541776 memory=40112 CPUtime=2452.46 cores=0-7
/proc/23925/task/494/stat : 494 (java) R 23923 23923 22342 0 -1 4202560 25450 0 0 0 245216 30 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373241315928 140373508503076 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=495] ppid=23923 vsize=26541776 memory=1296 CPUtime=2453.16 cores=0-7
/proc/23925/task/495/stat : 495 (java) R 23923 23923 22342 0 -1 4202560 27271 0 0 0 245281 35 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373243422104 140373505582495 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=496] ppid=23923 vsize=26541776 memory=2408 CPUtime=2452.57 cores=0-7
/proc/23925/task/496/stat : 496 (java) R 23923 23923 22342 0 -1 4202560 26496 0 0 0 245214 43 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373235009368 140373514885939 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=497] ppid=23923 vsize=26541776 memory=1728 CPUtime=2454.1 cores=0-7
/proc/23925/task/497/stat : 497 (java) R 23923 23923 22342 0 -1 4202560 19326 0 0 0 245385 25 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373239210968 140373514549648 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=498] ppid=23923 vsize=26541776 memory=4104 CPUtime=2457.14 cores=0-7
/proc/23925/task/498/stat : 498 (java) R 23923 23923 22342 0 -1 4202560 115773 0 0 0 245403 311 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373244474216 140373513796225 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=499] ppid=23923 vsize=26541776 memory=1720 CPUtime=2455.68 cores=0-7
/proc/23925/task/499/stat : 499 (java) R 23923 23923 22342 0 -1 4202560 35878 0 0 0 245530 38 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373245526744 140373507665165 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
[pid=23925/tid=500] ppid=23923 vsize=26541776 memory=1008 CPUtime=2457.53 cores=0-7
/proc/23925/task/500/stat : 500 (java) R 23923 23923 22342 0 -1 4202560 25508 0 0 0 245717 36 0 0 20 0 28 0 144516449 27178778624 627544 33554432000 4194304 4196468 140723093330000 140373238157856 140373508503242 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 21872640 140723093333138 140723093333315 140723093333315 140723093336015 0
Current children cumulated CPU time: 19884.7 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2511560 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 19885.5
CPU user time (s): 19874.2
CPU system time (s): 11.212
CPU usage (%): 789.067
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 3232632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19874.2
system time used= 11.212
maximum resident set size= 3231264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 750684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221571
involuntary context switches= 209210


# summary of solver processes directly reported to runsolver:
#   pid: 23923,23925
#   total CPU time (s): 19885.5
#   total CPU user time (s): 19874.2
#   total CPU system time (s): 11.212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8492 second user time and 31.225 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-19 05:29:41
IDJOB=4280620
IDBENCH=115882
IDSOLVER=2675
FILE ID=node115/4280620-1503114241
RUNJOBID= node115-1503110856-22369
PBS_JOBID= 20630758
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-4280620-1503114241/watcher-4280620-1503114241 -o /tmp/evaluation-result-4280620-1503114241/solver-4280620-1503114241 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503110856-22369 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 854616098 HOME/instance-4280620-1503114241.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=854616098

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27210860 kB
MemAvailable:   31973112 kB
Buffers:          236508 kB
Cached:          4819044 kB
SwapCached:            0 kB
Active:           886404 kB
Inactive:        4224716 kB
Active(anon):       6460 kB
Inactive(anon):    85176 kB
Active(file):     879944 kB
Inactive(file):  4139540 kB
Unevictable:        7056 kB
Mlocked:            7056 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             4 kB
AnonPages:         62564 kB
Mapped:            50500 kB
Shmem:             33416 kB
Slab:             143876 kB
SReclaimable:     117204 kB
SUnreclaim:        26672 kB
KernelStack:        3200 kB
PageTables:         4764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61860 MiB
End job on node115 at 2017-08-19 06:11:41