Trace number 4244733

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
R1: choco-solver 5a (2017-07-05)SAT (TO)1137 2400.36 329.312

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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244733-1500684452.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4244733-1500684452.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
15.09/7.78	c solve instance...
75.31/15.48	o 0 
81.64/16.56	o 4 
81.64/16.59	o 6 
85.88/20.15	o 8 
85.88/20.18	o 10 
86.17/20.21	o 12 
86.17/20.27	o 14 
87.53/20.45	o 24 
87.53/20.49	o 25 
88.19/20.52	o 26 
88.19/20.54	o 27 
88.19/20.57	o 28 
88.19/20.59	o 29 
88.78/20.62	o 30 
88.78/20.65	o 31 
88.78/20.68	o 32 
89.43/20.72	o 33 
89.43/20.74	o 34 
89.43/20.77	o 35 
89.97/20.80	o 36 
89.97/20.82	o 37 
89.97/20.85	o 38 
89.97/20.87	o 39 
89.97/20.90	o 40 
90.55/20.92	o 41 
90.55/20.94	o 42 
90.55/20.97	o 43 
90.55/20.98	o 44 
91.11/21.01	o 45 
91.11/21.03	o 46 
91.11/21.06	o 47 
91.11/21.08	o 48 
91.63/21.10	o 49 
91.63/21.14	o 50 
91.63/21.15	o 51 
91.63/21.18	o 52 
92.06/21.20	o 53 
92.06/21.22	o 54 
92.06/21.24	o 55 
92.06/21.27	o 56 
92.06/21.29	o 57 
92.57/21.35	o 58 
92.57/21.37	o 59 
92.57/21.39	o 60 
93.39/21.53	o 61 
93.39/21.56	o 62 
93.39/21.58	o 63 
93.80/21.61	o 64 
93.80/21.63	o 65 
93.80/21.66	o 66 
93.80/21.68	o 67 
94.42/21.71	o 68 
94.42/21.74	o 69 
94.42/21.75	o 70 
94.42/21.79	o 71 
94.95/21.81	o 72 
94.95/21.83	o 73 
94.95/21.86	o 74 
94.95/21.89	o 75 
95.51/21.92	o 76 
95.51/21.94	o 77 
95.51/21.97	o 78 
95.51/21.99	o 79 
96.19/22.02	o 80 
96.19/22.04	o 81 
96.19/22.07	o 82 
96.19/22.10	o 83 
96.77/22.12	o 84 
96.77/22.14	o 85 
96.77/22.17	o 86 
97.29/22.20	o 87 
97.29/22.22	o 88 
97.29/22.24	o 89 
97.29/22.26	o 90 
97.29/22.28	o 91 
97.77/22.31	o 92 
97.77/22.34	o 93 
97.77/22.36	o 94 
98.35/22.42	o 95 
98.35/22.45	o 96 
98.35/22.47	o 97 
98.35/22.50	o 98 
98.95/22.52	o 99 
98.95/22.55	o 100 
98.95/22.57	o 101 
98.95/22.59	o 102 
99.51/22.63	o 103 
99.51/22.65	o 104 
99.51/22.67	o 105 
99.51/22.69	o 106 
100.06/22.71	o 107 
100.06/22.75	o 108 
100.06/22.77	o 109 
100.06/22.79	o 110 
100.56/22.82	o 111 
100.56/22.84	o 112 
100.56/22.86	o 113 
100.56/22.89	o 114 
101.07/22.91	o 115 
101.07/22.93	o 116 
101.07/22.96	o 117 
101.07/22.99	o 118 
101.61/23.01	o 119 
101.61/23.03	o 120 
101.61/23.06	o 121 
101.61/23.08	o 122 
101.61/23.10	o 123 
102.18/23.13	o 124 
102.18/23.16	o 125 
102.18/23.19	o 126 
102.71/23.22	o 127 
102.71/23.24	o 128 
102.71/23.27	o 129 
102.71/23.30	o 130 
103.17/23.32	o 131 
103.17/23.34	o 132 
103.17/23.37	o 133 
103.17/23.39	o 134 
103.77/23.41	o 135 
103.77/23.43	o 136 
103.77/23.45	o 137 
103.77/23.48	o 138 
104.33/23.51	o 139 
104.33/23.53	o 140 
104.33/23.58	o 141 
104.88/23.60	o 142 
104.88/23.62	o 143 
104.88/23.65	o 144 
104.88/23.67	o 145 
105.33/23.70	o 146 
105.33/23.72	o 147 
105.33/23.74	o 148 
105.33/23.75	o 149 
105.33/23.77	o 150 
105.90/23.80	o 151 
105.90/23.82	o 152 
105.90/23.84	o 153 
106.41/24.02	o 154 
106.41/24.05	o 155 
106.41/24.07	o 156 
106.41/24.10	o 157 
106.85/24.12	o 158 
106.85/24.15	o 159 
106.85/24.17	o 160 
106.85/24.20	o 161 
107.40/24.22	o 162 
107.40/24.25	o 163 
107.40/24.27	o 164 
107.40/24.29	o 165 
108.02/24.31	o 166 
108.02/24.33	o 167 
108.02/24.36	o 168 
108.02/24.39	o 169 
108.49/24.41	o 170 
108.49/24.43	o 171 
108.49/24.45	o 172 
108.49/24.47	o 173 
108.49/24.49	o 174 
109.05/24.51	o 175 
109.05/24.54	o 176 
109.05/24.57	o 177 
109.05/24.59	o 178 
109.56/24.62	o 179 
109.56/24.63	o 180 
109.56/24.66	o 181 
109.56/24.68	o 182 
110.10/24.70	o 183 
110.10/24.76	o 184 
110.10/24.78	o 185 
110.73/24.81	o 186 
110.73/24.84	o 187 
110.73/24.89	o 188 
111.30/24.91	o 189 
111.30/24.93	o 190 
111.30/24.95	o 191 
111.30/24.97	o 192 
111.30/25.00	o 193 
111.81/25.02	o 194 
111.81/25.04	o 195 
111.81/25.06	o 196 
111.81/25.09	o 197 
112.39/25.11	o 198 
112.39/25.13	o 199 
112.39/25.15	o 200 
112.39/25.17	o 201 
112.39/25.19	o 202 
112.98/25.21	o 203 
112.98/25.23	o 204 
112.98/25.25	o 205 
112.98/25.27	o 206 
112.98/25.30	o 207 
113.54/25.32	o 208 
113.54/25.34	o 209 
113.54/25.36	o 210 
114.00/25.45	o 211 
114.00/25.47	o 212 
114.00/25.49	o 213 
114.33/25.51	o 214 
114.33/25.53	o 215 
114.33/25.57	o 216 
114.33/25.59	o 217 
114.97/25.63	o 218 
114.97/25.64	o 219 
114.97/25.67	o 220 
114.97/25.69	o 221 
115.45/25.71	o 222 
115.45/25.74	o 223 
115.45/25.76	o 224 
115.45/25.78	o 225 
116.04/25.80	o 226 
116.04/25.82	o 227 
116.04/25.85	o 228 
116.04/25.87	o 229 
116.04/25.89	o 230 
116.59/25.91	o 231 
116.59/25.93	o 232 
116.59/25.96	o 233 
116.59/25.98	o 234 
117.11/26.00	o 235 
117.11/26.02	o 236 
117.11/26.05	o 237 
117.11/26.06	o 238 
117.11/26.08	o 239 
117.73/26.10	o 240 
117.73/26.12	o 241 
117.73/26.15	o 242 
117.73/26.18	o 243 
117.73/26.19	o 244 
118.24/26.22	o 245 
118.24/26.24	o 246 
118.24/26.26	o 247 
118.24/26.28	o 248 
118.81/26.30	o 249 
118.81/26.32	o 250 
118.81/26.34	o 251 
118.81/26.41	o 252 
119.48/26.42	o 253 
119.48/26.44	o 254 
119.48/26.46	o 255 
119.48/26.48	o 256 
120.12/26.51	o 257 
120.12/26.55	o 258 
120.12/26.57	o 259 
120.12/26.60	o 260 
120.57/26.62	o 261 
120.57/26.64	o 262 
120.57/26.67	o 263 
120.57/26.69	o 264 
121.17/26.71	o 265 
121.17/26.73	o 266 
148.09/30.10	o 267 
148.09/30.12	o 268 
148.09/30.14	o 269 
148.09/30.16	o 270 
148.09/30.19	o 271 
148.68/30.21	o 272 
148.68/30.23	o 273 
148.68/30.25	o 274 
148.68/30.27	o 275 
149.24/30.30	o 276 
149.24/30.32	o 277 
149.24/30.34	o 278 
149.24/30.37	o 279 
149.24/30.39	o 280 
149.77/30.41	o 281 
149.77/30.44	o 282 
149.77/30.45	o 283 
149.77/30.47	o 284 
150.36/30.50	o 285 
150.36/30.52	o 286 
150.36/30.54	o 287 
150.36/30.57	o 288 
150.36/30.59	o 289 
150.91/30.62	o 290 
150.91/30.64	o 291 
150.91/30.66	o 292 
150.91/30.68	o 293 
151.53/30.71	o 294 
151.53/30.72	o 295 
151.53/30.74	o 296 
152.28/30.82	o 297 
152.28/30.83	o 298 
152.28/30.85	o 299 
152.28/30.88	o 300 
152.28/30.90	o 301 
152.84/30.92	o 302 
152.84/30.94	o 303 
152.84/30.97	o 304 
152.84/30.99	o 305 
153.35/31.01	o 306 
153.35/31.03	o 307 
153.35/31.04	o 308 
153.35/31.06	o 309 
153.35/31.08	o 310 
153.95/31.10	o 311 
154.47/31.59	o 312 
154.63/31.61	o 313 
154.63/31.63	o 314 
154.63/31.66	o 315 
154.63/31.68	o 316 
155.15/31.71	o 317 
155.15/31.73	o 318 
155.15/31.75	o 319 
155.15/31.78	o 320 
155.70/31.80	o 321 
155.70/31.82	o 322 
155.70/31.84	o 323 
155.70/31.86	o 324 
155.70/31.88	o 325 
155.70/31.90	o 326 
156.30/31.92	o 327 
156.30/31.94	o 328 
156.30/31.97	o 329 
156.30/31.99	o 330 
156.90/32.01	o 331 
156.90/32.04	o 332 
156.90/32.06	o 333 
156.90/32.08	o 334 
157.43/32.10	o 335 
157.43/32.13	o 336 
157.43/32.15	o 337 
157.43/32.17	o 338 
157.43/32.20	o 339 
157.93/32.21	o 340 
157.93/32.24	o 341 
158.59/32.30	o 342 
158.59/32.32	o 343 
158.59/32.34	o 344 
158.59/32.37	o 345 
158.59/32.39	o 346 
159.17/32.40	o 347 
159.17/32.43	o 348 
159.17/32.45	o 349 
159.17/32.47	o 350 
159.17/32.50	o 351 
159.92/32.60	o 352 
159.92/32.63	o 353 
159.92/32.65	o 354 
159.92/32.67	o 355 
159.92/32.69	o 356 
160.50/32.71	o 357 
160.50/32.72	o 358 
160.50/32.76	o 359 
160.50/32.78	o 360 
160.50/32.79	o 361 
161.06/32.81	o 362 
161.06/32.84	o 363 
161.06/32.86	o 364 
161.06/32.89	o 365 
161.65/32.91	o 366 
161.65/32.92	o 367 
161.65/32.95	o 368 
161.65/32.97	o 369 
161.65/32.99	o 370 
162.30/33.02	o 371 
162.30/33.04	o 372 
162.30/33.06	o 373 
162.30/33.09	o 374 
162.81/33.12	o 375 
162.81/33.14	o 376 
162.81/33.17	o 377 
162.81/33.19	o 378 
163.26/33.21	o 379 
163.26/33.23	o 380 
163.26/33.26	o 381 
163.26/33.28	o 382 
163.84/33.30	o 383 
163.84/33.32	o 384 
163.84/33.34	o 385 
163.84/33.36	o 386 
164.42/33.42	o 387 
164.42/33.45	o 388 
164.42/33.47	o 389 
164.42/33.49	o 390 
165.07/33.51	o 391 
165.07/33.53	o 392 
165.45/33.62	o 393 
165.45/33.63	o 394 
165.45/33.66	o 395 
165.45/33.68	o 396 
165.91/33.70	o 397 
165.91/33.73	o 398 
165.91/33.75	o 399 
165.91/33.78	o 400 
166.45/33.80	o 401 
166.45/33.82	o 402 
166.45/33.84	o 403 
166.45/33.86	o 404 
166.45/33.88	o 405 
167.09/33.90	o 406 
167.09/33.92	o 407 
167.09/33.95	o 408 
167.09/33.97	o 409 
167.09/33.99	o 410 
167.67/34.02	o 411 
167.67/34.05	o 412 
167.67/34.07	o 413 
167.67/34.09	o 414 
168.29/34.11	o 415 
168.29/34.13	o 416 
168.29/34.15	o 417 
168.29/34.18	o 418 
168.29/34.19	o 419 
168.90/34.22	o 420 
168.90/34.24	o 421 
168.90/34.26	o 422 
168.90/34.28	o 423 
169.41/34.30	o 424 
169.41/34.33	o 425 
169.41/34.35	o 426 
169.41/34.38	o 427 
169.88/34.41	o 428 
169.88/34.43	o 429 
169.88/34.44	o 430 
169.88/34.47	o 431 
170.46/34.54	o 432 
170.46/34.56	o 433 
170.46/34.58	o 434 
171.07/34.60	o 435 
171.32/34.71	o 436 
171.32/34.74	o 437 
171.32/34.76	o 438 
171.32/34.78	o 439 
171.86/34.80	o 440 
171.86/34.82	o 441 
171.86/34.84	o 442 
171.86/34.86	o 443 
171.86/34.89	o 444 
172.46/34.91	o 445 
172.46/34.93	o 446 
172.46/34.96	o 447 
172.46/34.98	o 448 
173.07/35.00	o 449 
173.07/35.02	o 450 
173.07/35.04	o 451 
173.07/35.06	o 452 
173.07/35.08	o 453 
173.72/35.10	o 454 
173.72/35.13	o 455 
173.72/35.16	o 456 
173.72/35.18	o 457 
173.72/35.21	o 458 
174.32/35.23	o 459 
174.32/35.25	o 460 
174.32/35.28	o 461 
174.32/35.29	o 462 
174.93/35.32	o 463 
174.93/35.34	o 464 
174.93/35.36	o 465 
174.93/35.38	o 466 
174.93/35.39	o 467 
175.50/35.42	o 468 
175.50/35.44	o 469 
175.50/35.46	o 470 
175.50/35.47	o 471 
175.50/35.49	o 472 
176.15/35.51	o 473 
176.15/35.53	o 474 
176.15/35.55	o 475 
176.15/35.57	o 476 
176.15/35.59	o 477 
176.74/35.61	o 478 
176.74/35.63	o 479 
176.74/35.65	o 480 
176.74/35.67	o 481 
176.74/35.69	o 482 
177.33/35.76	o 483 
177.33/35.77	o 484 
177.33/35.79	o 485 
178.04/35.81	o 486 
178.04/35.83	o 487 
178.04/35.85	o 488 
178.04/35.87	o 489 
178.67/35.90	o 490 
178.67/35.92	o 491 
178.67/35.94	o 492 
178.67/35.96	o 493 
178.67/35.98	o 494 
179.29/36.00	o 495 
179.49/36.13	o 496 
179.49/36.16	o 497 
179.49/36.19	o 498 
179.89/36.21	o 499 
179.89/36.23	o 500 
179.89/36.25	o 501 
179.89/36.27	o 502 
179.89/36.30	o 503 
180.52/36.32	o 504 
180.52/36.35	o 505 
180.52/36.37	o 506 
180.52/36.39	o 507 
181.09/36.42	o 508 
181.09/36.45	o 509 
181.09/36.47	o 510 
181.09/36.49	o 511 
181.56/36.52	o 512 
181.56/36.54	o 513 
181.56/36.56	o 514 
181.56/36.58	o 515 
182.12/36.60	o 516 
182.12/36.63	o 517 
182.12/36.65	o 518 
182.12/36.67	o 519 
182.12/36.69	o 520 
182.69/36.72	o 521 
182.69/36.74	o 522 
182.69/36.76	o 523 
182.69/36.78	o 524 
183.26/36.80	o 525 
183.26/36.82	o 526 
183.26/36.85	o 527 
183.94/36.92	o 528 
183.94/36.94	o 529 
183.94/36.96	o 530 
183.94/36.99	o 531 
184.56/37.01	o 532 
184.56/37.03	o 533 
184.56/37.06	o 534 
185.10/37.12	o 535 
185.38/37.21	o 536 
188.35/39.79	o 537 
188.49/39.81	o 538 
188.49/39.84	o 539 
188.49/39.86	o 540 
188.49/39.89	o 541 
189.07/39.91	o 542 
189.07/39.93	o 543 
189.07/39.95	o 544 
189.07/39.97	o 545 
189.07/39.99	o 546 
189.76/40.02	o 547 
189.76/40.04	o 548 
189.76/40.06	o 549 
189.76/40.09	o 550 
190.33/40.11	o 551 
190.33/40.13	o 552 
190.33/40.15	o 553 
190.33/40.19	o 554 
190.90/40.21	o 555 
190.90/40.23	o 556 
190.90/40.25	o 557 
190.90/40.27	o 558 
190.90/40.29	o 559 
191.52/40.31	o 560 
191.52/40.33	o 561 
191.52/40.35	o 562 
191.52/40.37	o 563 
191.52/40.40	o 564 
192.17/40.42	o 565 
192.17/40.44	o 566 
192.17/40.47	o 567 
192.17/40.49	o 568 
192.79/40.51	o 569 
192.79/40.53	o 570 
192.79/40.55	o 571 
192.79/40.58	o 572 
192.79/40.60	o 573 
193.43/40.61	o 574 
193.43/40.63	o 575 
193.43/40.70	o 576 
194.11/40.72	o 577 
194.11/40.74	o 578 
194.11/40.76	o 579 
194.11/40.79	o 580 
194.75/40.81	o 581 
194.75/40.83	o 582 
194.75/40.86	o 583 
194.75/40.88	o 584 
195.32/40.90	o 585 
195.32/40.92	o 586 
195.32/40.94	o 587 
195.32/40.96	o 588 
195.32/40.98	o 589 
195.94/41.00	o 590 
195.94/41.03	o 591 
195.94/41.05	o 592 
195.94/41.07	o 593 
195.94/41.09	o 594 
196.58/41.11	o 595 
196.58/41.14	o 596 
196.58/41.16	o 597 
196.58/41.18	o 598 
197.25/41.20	o 599 
197.25/41.23	o 600 
197.72/41.46	o 601 
197.72/41.48	o 602 
198.04/41.51	o 603 
198.04/41.54	o 604 
198.04/41.56	o 605 
198.04/41.59	o 606 
198.60/41.61	o 607 
198.60/41.64	o 608 
198.60/41.66	o 609 
198.60/41.68	o 610 
199.27/41.70	o 611 
199.27/41.72	o 612 
199.27/41.74	o 613 
199.27/41.76	o 614 
199.27/41.79	o 615 
199.95/41.82	o 616 
199.95/41.87	o 617 
199.95/41.90	o 618 
200.65/41.92	o 619 
200.65/41.94	o 620 
200.65/41.96	o 621 
200.65/41.98	o 622 
201.21/42.01	o 623 
201.21/42.04	o 624 
201.21/42.06	o 625 
201.21/42.08	o 626 
201.79/42.11	o 627 
201.79/42.13	o 628 
201.79/42.15	o 629 
201.79/42.17	o 630 
201.79/42.19	o 631 
202.43/42.22	o 632 
202.43/42.24	o 633 
202.43/42.27	o 634 
202.43/42.29	o 635 
203.05/42.31	o 636 
203.05/42.35	o 637 
203.05/42.37	o 638 
203.05/42.39	o 639 
203.64/42.41	o 640 
203.64/42.43	o 641 
203.64/42.46	o 642 
203.64/42.48	o 643 
204.26/42.50	o 644 
204.26/42.53	o 645 
204.26/42.55	o 646 
204.26/42.59	o 647 
204.92/42.61	o 648 
204.92/42.63	o 649 
204.92/42.66	o 650 
204.92/42.68	o 651 
205.54/42.70	o 652 
205.54/42.73	o 653 
205.54/42.76	o 654 
205.54/42.78	o 655 
206.12/42.81	o 656 
206.12/42.84	o 657 
206.12/42.86	o 658 
206.12/42.88	o 659 
206.12/42.90	o 660 
206.80/42.93	o 661 
206.80/42.96	o 662 
206.80/42.98	o 663 
206.80/43.00	o 664 
207.37/43.02	o 665 
207.37/43.05	o 666 
207.37/43.07	o 667 
207.37/43.09	o 668 
207.96/43.11	o 669 
207.96/43.14	o 670 
207.96/43.16	o 671 
207.96/43.18	o 672 
208.60/43.21	o 673 
208.60/43.23	o 674 
208.60/43.25	o 675 
208.60/43.28	o 676 
209.23/43.31	o 677 
209.23/43.33	o 678 
209.23/43.36	o 679 
209.23/43.38	o 680 
209.82/43.40	o 681 
209.82/43.42	o 682 
209.82/43.44	o 683 
209.82/43.49	o 684 
210.44/43.51	o 685 
210.44/43.54	o 686 
217.54/44.41	o 687 
217.54/44.43	o 688 
217.54/44.45	o 689 
217.54/44.47	o 690 
217.54/44.50	o 691 
218.11/44.52	o 692 
218.11/44.54	o 693 
218.11/44.57	o 694 
218.11/44.59	o 695 
218.74/44.61	o 696 
218.74/44.63	o 697 
218.74/44.66	o 698 
218.74/44.68	o 699 
218.74/44.70	o 700 
219.42/44.72	o 701 
219.42/44.74	o 702 
219.42/44.76	o 703 
219.42/44.78	o 704 
220.10/44.80	o 705 
220.10/44.82	o 706 
220.10/44.87	o 707 
220.10/44.89	o 708 
220.71/44.91	o 709 
220.71/44.93	o 710 
220.71/44.96	o 711 
220.71/44.99	o 712 
221.32/45.01	o 713 
222.13/45.65	o 714 
222.13/45.67	o 715 
222.13/45.69	o 716 
222.50/45.71	o 717 
222.50/45.74	o 718 
222.50/45.77	o 719 
222.50/45.79	o 720 
223.14/45.81	o 721 
223.14/45.83	o 722 
223.14/45.86	o 723 
223.14/45.88	o 724 
223.71/45.90	o 725 
223.71/45.93	o 726 
223.71/45.95	o 727 
223.71/45.97	o 728 
224.30/46.00	o 729 
224.30/46.03	o 730 
224.30/46.05	o 731 
224.30/46.07	o 732 
224.30/46.10	o 733 
224.86/46.12	o 734 
224.86/46.14	o 735 
224.86/46.17	o 736 
224.86/46.21	o 737 
225.58/46.23	o 738 
225.58/46.26	o 739 
225.58/46.28	o 740 
226.22/46.32	o 741 
226.22/46.34	o 742 
226.22/46.37	o 743 
226.22/46.39	o 744 
226.79/46.45	o 745 
227.16/46.58	o 746 
229.96/48.94	o 747 
229.96/48.96	o 748 
229.96/48.99	o 749 
230.32/49.01	o 750 
230.32/49.04	o 751 
230.32/49.06	o 752 
230.32/49.08	o 753 
230.95/49.11	o 754 
230.95/49.13	o 755 
230.95/49.16	o 756 
230.95/49.18	o 757 
231.54/49.20	o 758 
231.54/49.23	o 759 
231.54/49.25	o 760 
231.54/49.27	o 761 
231.54/49.29	o 762 
232.14/49.31	o 763 
232.14/49.33	o 764 
232.14/49.36	o 765 
232.14/49.37	o 766 
232.14/49.39	o 767 
232.77/49.44	o 768 
232.77/49.46	o 769 
232.77/49.48	o 770 
232.77/49.50	o 771 
233.45/49.52	o 772 
233.45/49.55	o 773 
233.45/49.57	o 774 
233.45/49.59	o 775 
234.16/49.62	o 776 
234.16/49.64	o 777 
234.16/49.66	o 778 
234.16/49.68	o 779 
234.71/49.71	o 780 
234.71/49.73	o 781 
234.71/49.75	o 782 
234.71/49.78	o 783 
235.36/49.80	o 784 
235.36/49.83	o 785 
235.36/49.86	o 786 
235.36/49.88	o 787 
235.98/49.90	o 788 
235.98/49.93	o 789 
235.98/49.96	o 790 
235.98/49.98	o 791 
236.55/50.02	o 792 
236.55/50.05	o 793 
236.55/50.07	o 794 
236.55/50.10	o 795 
237.19/50.12	o 796 
237.19/50.15	o 797 
237.19/50.17	o 798 
237.19/50.19	o 799 
237.84/50.22	o 800 
237.84/50.24	o 801 
237.84/50.26	o 802 
237.84/50.28	o 803 
238.48/50.31	o 804 
238.48/50.33	o 805 
238.48/50.35	o 806 
238.48/50.38	o 807 
239.16/50.40	o 808 
239.16/50.42	o 809 
239.16/50.45	o 810 
239.16/50.47	o 811 
239.16/50.49	o 812 
239.77/50.52	o 813 
239.77/50.54	o 814 
239.77/50.57	o 815 
239.77/50.59	o 816 
240.49/50.62	o 817 
240.49/50.65	o 818 
240.49/50.67	o 819 
240.49/50.70	o 820 
241.09/50.72	o 821 
241.09/50.74	o 822 
241.09/50.79	o 823 
241.63/50.82	o 824 
241.63/50.84	o 825 
241.63/50.86	o 826 
241.63/50.89	o 827 
242.28/50.92	o 828 
242.28/50.94	o 829 
242.28/50.97	o 830 
242.28/50.99	o 831 
242.96/51.03	o 832 
242.96/51.05	o 833 
242.96/51.07	o 834 
242.96/51.10	o 835 
243.58/51.12	o 836 
243.58/51.14	o 837 
243.58/51.17	o 838 
243.58/51.19	o 839 
244.25/51.22	o 840 
244.83/51.60	o 841 
244.83/51.62	o 842 
244.83/51.65	o 843 
244.83/51.67	o 844 
244.83/51.69	o 845 
245.59/51.71	o 846 
245.59/51.74	o 847 
245.59/51.76	o 848 
245.59/51.79	o 849 
246.26/51.82	o 850 
246.26/51.85	o 851 
246.26/51.87	o 852 
246.78/51.90	o 853 
246.78/51.93	o 854 
246.78/51.96	o 855 
246.78/51.98	o 856 
247.46/52.01	o 857 
247.46/52.03	o 858 
247.46/52.05	o 859 
247.46/52.07	o 860 
247.46/52.10	o 861 
248.13/52.13	o 862 
248.13/52.15	o 863 
248.13/52.17	o 864 
248.13/52.19	o 865 
248.75/52.22	o 866 
248.75/52.24	o 867 
248.75/52.27	o 868 
248.75/52.29	o 869 
249.44/52.31	o 870 
249.44/52.34	o 871 
249.44/52.36	o 872 
249.44/52.38	o 873 
250.11/52.40	o 874 
250.11/52.42	o 875 
250.11/52.45	o 876 
250.11/52.47	o 877 
250.72/52.52	o 878 
250.72/52.56	o 879 
250.72/52.58	o 880 
251.30/52.60	o 881 
251.30/52.63	o 882 
251.30/52.65	o 883 
251.30/52.68	o 884 
251.97/52.70	o 885 
251.97/52.73	o 886 
251.97/52.75	o 887 
251.97/52.77	o 888 
251.97/52.81	o 889 
252.67/52.83	o 890 
253.63/53.56	o 891 
253.63/53.59	o 892 
253.90/53.61	o 893 
253.90/53.64	o 894 
253.90/53.66	o 895 
253.90/53.69	o 896 
254.56/53.72	o 897 
254.56/53.74	o 898 
254.56/53.77	o 899 
254.56/53.79	o 900 
255.16/53.81	o 901 
255.16/53.84	o 902 
255.16/53.88	o 903 
255.80/53.93	o 904 
256.03/54.03	o 905 
258.35/56.27	o 906 
258.58/56.31	o 907 
258.58/56.35	o 908 
258.58/56.38	o 909 
259.20/56.40	o 910 
259.20/56.43	o 911 
259.20/56.46	o 912 
259.20/56.48	o 913 
259.86/56.50	o 914 
259.86/56.52	o 915 
259.86/56.55	o 916 
259.86/56.57	o 917 
259.86/56.59	o 918 
260.50/56.62	o 919 
260.50/56.64	o 920 
260.50/56.67	o 921 
260.50/56.69	o 922 
261.18/56.72	o 923 
261.18/56.74	o 924 
261.18/56.76	o 925 
261.18/56.79	o 926 
261.83/56.82	o 927 
261.83/56.84	o 928 
261.83/56.86	o 929 
261.83/56.89	o 930 
262.49/56.91	o 931 
262.49/56.94	o 932 
262.49/56.96	o 933 
262.49/56.98	o 934 
263.16/57.01	o 935 
263.16/57.03	o 936 
263.16/57.06	o 937 
263.16/57.08	o 938 
264.57/57.90	o 939 
264.67/57.92	o 940 
264.67/57.95	o 941 
264.67/57.97	o 942 
264.67/57.99	o 943 
265.33/58.01	o 944 
265.33/58.05	o 945 
265.33/58.07	o 946 
265.99/58.10	o 947 
265.99/58.12	o 948 
265.99/58.15	o 949 
265.99/58.17	o 950 
265.99/58.19	o 951 
266.63/58.22	o 952 
266.63/58.24	o 953 
266.63/58.26	o 954 
266.63/58.29	o 955 
267.43/58.31	o 956 
267.43/58.34	o 957 
267.43/58.36	o 958 
267.43/58.39	o 959 
268.09/58.41	o 960 
268.09/58.44	o 961 
268.09/58.45	o 962 
268.09/58.48	o 963 
268.65/58.51	o 964 
268.65/58.53	o 965 
268.65/58.56	o 966 
268.65/58.58	o 967 
269.30/58.61	o 968 
269.30/58.63	o 969 
269.30/58.66	o 970 
269.30/58.68	o 971 
269.97/58.71	o 972 
269.97/58.73	o 973 
269.97/58.76	o 974 
269.97/58.79	o 975 
270.58/58.83	o 976 
270.58/58.86	o 977 
270.58/58.88	o 978 
271.30/58.91	o 979 
271.30/58.94	o 980 
271.30/58.96	o 981 
271.30/58.99	o 982 
271.95/59.01	o 983 
271.95/59.04	o 984 
271.95/59.06	o 985 
271.95/59.09	o 986 
272.61/59.12	o 987 
272.61/59.15	o 988 
272.61/59.17	o 989 
273.29/59.27	o 990 
273.29/59.29	o 991 
273.52/59.32	o 992 
273.52/59.35	o 993 
273.52/59.37	o 994 
273.52/59.40	o 995 
274.28/59.42	o 996 
274.28/59.45	o 997 
274.28/59.48	o 998 
274.28/59.51	o 999 
274.94/59.54	o 1000 
274.94/59.58	o 1001 
275.50/59.60	o 1002 
275.50/59.63	o 1003 
275.50/59.65	o 1004 
275.50/59.67	o 1005 
276.19/59.70	o 1006 
276.19/59.73	o 1007 
276.19/59.76	o 1008 
276.19/59.78	o 1009 
276.85/59.81	o 1010 
276.85/59.84	o 1011 
276.85/59.87	o 1012 
276.85/59.89	o 1013 
277.50/59.92	o 1014 
277.50/59.94	o 1015 
277.50/59.97	o 1016 
277.50/59.99	o 1017 
278.14/60.02	o 1018 
278.14/60.05	o 1019 
278.14/60.08	o 1020 
278.83/60.10	o 1021 
278.83/60.13	o 1022 
278.83/60.16	o 1023 
278.83/60.18	o 1024 
279.52/60.21	o 1025 
279.52/60.23	o 1026 
279.52/60.26	o 1027 
279.52/60.28	o 1028 
280.24/60.31	o 1029 
280.24/60.33	o 1030 
280.24/60.36	o 1031 
280.24/60.38	o 1032 
280.86/60.41	o 1033 
280.86/60.44	o 1034 
280.86/60.47	o 1035 
280.86/60.49	o 1036 
281.62/60.51	o 1037 
281.62/60.55	o 1038 
281.62/60.57	o 1039 
281.62/60.60	o 1040 
282.22/60.62	o 1041 
282.22/60.64	o 1042 
282.22/60.67	o 1043 
282.77/60.72	o 1044 
282.77/60.74	o 1045 
282.77/60.77	o 1046 
282.77/60.79	o 1047 
283.39/60.82	o 1048 
283.39/60.85	o 1049 
283.39/60.88	o 1050 
284.03/60.91	o 1051 
284.03/60.94	o 1052 
284.03/60.97	o 1053 
284.62/61.00	o 1054 
284.62/61.03	o 1055 
284.62/61.06	o 1056 
284.62/61.09	o 1057 
285.25/61.12	o 1058 
285.25/61.15	o 1059 
285.25/61.18	o 1060 
285.88/61.21	o 1061 
285.88/61.24	o 1062 
285.88/61.26	o 1063 
285.88/61.30	o 1064 
286.55/61.35	o 1065 
286.55/61.38	o 1066 
287.11/61.40	o 1067 
287.11/61.42	o 1068 
287.11/61.46	o 1069 
287.11/61.49	o 1070 
287.78/61.52	o 1071 
287.78/61.55	o 1072 
287.78/61.58	o 1073 
287.78/61.61	o 1074 
288.52/61.64	o 1075 
288.52/61.67	o 1076 
288.52/61.69	o 1077 
289.20/61.72	o 1078 
289.20/61.75	o 1079 
289.20/61.78	o 1080 
289.80/61.80	o 1081 
289.80/61.83	o 1082 
289.80/61.86	o 1083 
289.80/61.88	o 1084 
290.47/61.91	o 1085 
290.47/61.93	o 1086 
290.47/61.98	o 1087 
291.13/62.00	o 1088 
291.13/62.03	o 1089 
291.13/62.05	o 1090 
291.13/62.08	o 1091 
291.85/62.10	o 1092 
291.85/62.13	o 1093 
291.85/62.16	o 1094 
291.85/62.18	o 1095 
292.53/62.21	o 1096 
292.87/62.36	o 1097 
292.87/62.39	o 1098 
293.18/62.41	o 1099 
293.18/62.44	o 1100 
293.18/62.47	o 1101 
293.18/62.49	o 1102 
293.86/62.53	o 1103 
293.86/62.55	o 1104 
293.86/62.58	o 1105 
294.54/62.60	o 1106 
294.54/62.63	o 1107 
294.54/62.66	o 1108 
294.54/62.68	o 1109 
295.27/62.71	o 1110 
295.27/62.74	o 1111 
295.27/62.79	o 1112 
295.87/62.82	o 1113 
295.87/62.85	o 1114 
295.87/62.88	o 1115 
296.47/62.90	o 1116 
296.47/62.94	o 1117 
296.47/62.96	o 1118 
296.47/62.99	o 1119 
297.09/63.03	o 1120 
297.09/63.08	o 1121 
297.83/63.30	o 1122 
300.09/65.46	o 1123 
300.09/65.49	o 1124 
300.37/65.52	o 1125 
300.37/65.55	o 1126 
300.37/65.58	o 1127 
301.07/65.60	o 1128 
301.07/65.63	o 1129 
301.07/65.67	o 1130 
301.69/65.71	o 1131 
301.69/65.74	o 1132 
301.69/65.77	o 1133 
302.33/65.80	o 1134 
302.33/65.82	o 1135 
302.33/65.86	o 1136 
306.20/66.37	o 1137 
2400.36/329.33	s SATISFIABLE
2400.36/329.33	v <instantiation>
2400.36/329.33	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>
2400.36/329.33	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>
2400.36/329.33	v </instantiation>
2400.36/329.33	c Unexpected resolution interruption!

Verifier Data 

OK	1137

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244733-1500684452/watcher-4244733-1500684452 -o /tmp/evaluation-result-4244733-1500684452/solver-4244733-1500684452 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1891800325 HOME/instance-4244733-1500684452.xml 

pid=10223
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.25 10.55 5.90 10/270 10226
/proc/meminfo: memFree=31762712/32770624 swapFree=5700/247316
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0

[startup+0.100062 s]
/proc/loadavg: 15.25 10.55 5.90 10/270 10226
/proc/meminfo: memFree=31762712/32770624 swapFree=5700/247316
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200252 s]
/proc/loadavg: 15.25 10.55 5.90 10/270 10226
/proc/meminfo: memFree=31762712/32770624 swapFree=5700/247316
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300201 s]
/proc/loadavg: 15.25 10.55 5.90 10/270 10226
/proc/meminfo: memFree=31762712/32770624 swapFree=5700/247316
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700184 s]
/proc/loadavg: 15.25 10.55 5.90 10/270 10226
/proc/meminfo: memFree=31762712/32770624 swapFree=5700/247316
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50121 s]
/proc/loadavg: 14.75 10.52 5.91 10/291 10247
/proc/meminfo: memFree=31639276/32770624 swapFree=5700/247676
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
[pid=10227] ppid=10226 vsize=13269256 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/10227/stat : 10227 (java) S 10226 10226 7102 0 -1 1077944320 17980 0 0 0 357 7 0 0 20 0 20 0 3712710 13587718144 40819 33554432000 4194304 4196468 140726372687616 140726372670160 139696741723895 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
/proc/10227/statm: 3317314 40819 3223 1 0 3304547 0
[pid=10227/tid=10228] ppid=10226 vsize=13269256 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10228/stat : 10228 (java) R 10226 10226 7102 0 -1 4202560 7170 0 0 0 142 4 0 0 20 0 20 0 3712710 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696745961464 139696383638280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10230] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10230/stat : 10230 (java) S 10226 10226 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696698276624 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10231] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10231/stat : 10231 (java) S 10226 10226 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696340138896 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10232] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10232/stat : 10232 (java) S 10226 10226 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696339086352 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10233] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10233/stat : 10233 (java) S 10226 10226 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696338033808 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10234] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10234/stat : 10234 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696336980240 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10235] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10235/stat : 10235 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696335927696 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10236] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10236/stat : 10236 (java) S 10226 10226 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696334875152 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10237] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10237/stat : 10237 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3712711 13587718144 40819 33554432000 4194304 4196468 140726372687616 139696333822608 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10238] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10238/stat : 10238 (java) S 10226 10226 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 3712713 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695406496240 139696741735042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10239] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10239/stat : 10239 (java) S 10226 10226 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3712714 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695405442464 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10240] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10240/stat : 10240 (java) S 10226 10226 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3712714 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695404389872 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10241] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10241/stat : 10241 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3712718 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695403338448 139696741742491 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10242] ppid=10226 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10242/stat : 10242 (java) S 10226 10226 7102 0 -1 1077944384 2309 0 0 0 51 0 0 0 20 0 20 0 3712718 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695402285040 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10243] ppid=10226 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10243/stat : 10243 (java) S 10226 10226 7102 0 -1 1077944384 2094 0 0 0 53 1 0 0 20 0 20 0 3712718 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695401232496 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10244] ppid=10226 vsize=13269256 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10244/stat : 10244 (java) R 10226 10226 7102 0 -1 4202560 2480 0 0 0 52 0 0 0 20 0 20 0 3712718 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695400170816 139696726647001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10245] ppid=10226 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10245/stat : 10245 (java) S 10226 10226 7102 0 -1 1077944384 2611 0 0 0 56 1 0 0 20 0 20 0 3712718 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695399127408 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10246] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10246/stat : 10246 (java) S 10226 10226 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3712718 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695398075104 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10247] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10247/stat : 10247 (java) S 10226 10226 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3712719 13587718144 40819 33554432000 4194304 4196468 140726372687616 139695397022640 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 13278768

[startup+3.10184 s]
/proc/loadavg: 14.75 10.52 5.91 10/291 10247
/proc/meminfo: memFree=31544200/32770624 swapFree=5700/247676
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
[pid=10227] ppid=10226 vsize=13269256 CPUtime=8.14 cores=0,2,4,6,8,10,12,14
/proc/10227/stat : 10227 (java) S 10226 10226 7102 0 -1 1077944320 26783 0 0 0 762 52 0 0 20 0 20 0 3712710 13587718144 73461 33554432000 4194304 4196468 140726372687616 140726372670160 139696741723895 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
/proc/10227/statm: 3317314 73461 3255 1 0 3304547 0
[pid=10227/tid=10228] ppid=10226 vsize=13269256 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10228/stat : 10228 (java) R 10226 10226 7102 0 -1 4202560 8772 0 0 0 290 4 0 0 20 0 20 0 3712710 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696745962824 139696383005693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10230] ppid=10226 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10230/stat : 10230 (java) S 10226 10226 7102 0 -1 1077944384 75 0 0 0 4 5 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696698276624 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10231] ppid=10226 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10231/stat : 10231 (java) S 10226 10226 7102 0 -1 1077944384 103 0 0 0 5 5 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696340138896 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10232] ppid=10226 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10232/stat : 10232 (java) S 10226 10226 7102 0 -1 1077944384 170 0 0 0 4 5 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696339086352 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10233] ppid=10226 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10233/stat : 10233 (java) S 10226 10226 7102 0 -1 1077944384 140 0 0 0 5 5 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696338033808 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10234] ppid=10226 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10234/stat : 10234 (java) S 10226 10226 7102 0 -1 1077944384 90 0 0 0 5 5 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696336980240 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10235] ppid=10226 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10235/stat : 10235 (java) S 10226 10226 7102 0 -1 1077944384 110 0 0 0 5 4 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696335927696 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10236] ppid=10226 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10236/stat : 10236 (java) S 10226 10226 7102 0 -1 1077944384 295 0 0 0 4 4 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696334875152 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10237] ppid=10226 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10237/stat : 10237 (java) S 10226 10226 7102 0 -1 1077944384 83 0 0 0 4 4 0 0 20 0 20 0 3712711 13587718144 73461 33554432000 4194304 4196468 140726372687616 139696333822608 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10238] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10238/stat : 10238 (java) S 10226 10226 7102 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 20 0 3712713 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695406496240 139696741735042 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10239] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10239/stat : 10239 (java) S 10226 10226 7102 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3712714 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695405442528 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10240] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10240/stat : 10240 (java) S 10226 10226 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3712714 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695404389888 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10241] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10241/stat : 10241 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3712718 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695403338448 139696741742491 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10242] ppid=10226 vsize=13269256 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10242/stat : 10242 (java) S 10226 10226 7102 0 -1 1077944384 3952 0 0 0 117 0 0 0 20 0 20 0 3712718 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695402285040 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10243] ppid=10226 vsize=13269256 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10243/stat : 10243 (java) S 10226 10226 7102 0 -1 1077944384 3663 0 0 0 119 1 0 0 20 0 20 0 3712718 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695401232496 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10244] ppid=10226 vsize=13269256 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10244/stat : 10244 (java) R 10226 10226 7102 0 -1 4202560 4382 0 0 0 120 0 0 0 20 0 20 0 3712718 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695400179952 139696741735830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10245] ppid=10226 vsize=13269256 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10245/stat : 10245 (java) S 10226 10226 7102 0 -1 1077944384 3375 0 0 0 74 1 0 0 20 0 20 0 3712718 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695399127408 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10246] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10246/stat : 10246 (java) S 10226 10226 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3712718 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695398075104 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10247] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10247/stat : 10247 (java) S 10226 10226 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 3712719 13587718144 73461 33554432000 4194304 4196468 140726372687616 139695397022640 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (KiB) 13278768

[startup+6.30087 s]
/proc/loadavg: 14.61 10.56 5.95 10/291 10247
/proc/meminfo: memFree=31245736/32770624 swapFree=5700/247688
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
[pid=10227] ppid=10226 vsize=13269256 CPUtime=13.48 cores=0,2,4,6,8,10,12,14
/proc/10227/stat : 10227 (java) S 10226 10226 7102 0 -1 1077944320 28591 0 0 0 1240 108 0 0 20 0 20 0 3712710 13587718144 128582 33554432000 4194304 4196468 140726372687616 140726372670160 139696741723895 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
/proc/10227/statm: 3317314 128582 3260 1 0 3304547 0
[pid=10227/tid=10228] ppid=10226 vsize=13269256 CPUtime=6.01 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10228/stat : 10228 (java) R 10226 10226 7102 0 -1 4202560 9080 0 0 0 594 7 0 0 20 0 20 0 3712710 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696745962296 139696726804657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10230] ppid=10226 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10230/stat : 10230 (java) S 10226 10226 7102 0 -1 1077944384 198 0 0 0 10 11 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696698276624 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10231] ppid=10226 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10231/stat : 10231 (java) S 10226 10226 7102 0 -1 1077944384 168 0 0 0 11 11 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696340138896 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10232] ppid=10226 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10232/stat : 10232 (java) S 10226 10226 7102 0 -1 1077944384 243 0 0 0 10 12 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696339086352 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10233] ppid=10226 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10233/stat : 10233 (java) S 10226 10226 7102 0 -1 1077944384 235 0 0 0 11 12 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696338033808 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10234] ppid=10226 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10234/stat : 10234 (java) S 10226 10226 7102 0 -1 1077944384 212 0 0 0 10 12 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696336980240 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10235] ppid=10226 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10235/stat : 10235 (java) S 10226 10226 7102 0 -1 1077944384 191 0 0 0 10 11 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696335927696 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10236] ppid=10226 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10236/stat : 10236 (java) S 10226 10226 7102 0 -1 1077944384 365 0 0 0 9 11 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696334875152 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10237] ppid=10226 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10237/stat : 10237 (java) S 10226 10226 7102 0 -1 1077944384 151 0 0 0 9 11 0 0 20 0 20 0 3712711 13587718144 128582 33554432000 4194304 4196468 140726372687616 139696333822608 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10238] ppid=10226 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10238/stat : 10238 (java) S 10226 10226 7102 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 3712713 13587718144 128582 33554432000 4194304 4196468 140726372687616 139695406496240 139696741735042 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10239] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10239/stat : 10239 (java) S 10226 10226 7102 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3712714 13587718144 128582 33554432000 4194304 4196468 140726372687616 139695405442528 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10240] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10240/stat : 10240 (java) S 10226 10226 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3712714 13587718144 128582 33554432000 4194304 4196468 140726372687616 139695404389888 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10241] ppid=10226 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10241/stat : 10241 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3712718 13587718144 128582 33554432000 4194304 4196468 140726372687616 139695403338448 139696741742491 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0

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

[pid=10227/tid=19223] ppid=10226 vsize=13803816 CPUtime=214.31 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19223/stat : 19223 (java) R 10226 10226 7102 0 -1 4202560 2609 0 0 0 21428 3 0 0 20 0 28 0 3719348 14135107584 952660 33554432000 4194304 4196468 140726372687616 139695386903064 139696388589224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19224] ppid=10226 vsize=13803816 CPUtime=215.42 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19224/stat : 19224 (java) R 10226 10226 7102 0 -1 4202560 1597 0 0 0 21541 1 0 0 20 0 28 0 3719348 14135107584 952660 33554432000 4194304 4196468 140726372687616 139695381640312 139696385340123 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
Current children cumulated CPU time (s) 2026
Current children cumulated vsize (KiB) 13813328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+329.301 s]
/proc/loadavg: 13.64 13.34 8.56 18/303 24605
/proc/meminfo: memFree=25047676/32770624 swapFree=5700/248120
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
[pid=10227] ppid=10226 vsize=13803816 CPUtime=2400.36 cores=0,2,4,6,8,10,12,14
/proc/10227/stat : 10227 (java) S 10226 10226 7102 0 -1 1077944320 221421 0 0 0 239260 776 0 0 20 0 28 0 3712710 14135107584 952678 33554432000 4194304 4196468 140726372687616 140726372670160 139696741723895 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
/proc/10227/statm: 3450954 952678 3311 1 0 3438187 0
[pid=10227/tid=10228] ppid=10226 vsize=13803816 CPUtime=9.05 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10228/stat : 10228 (java) S 10226 10226 7102 0 -1 1077944384 12091 0 0 0 890 15 0 0 20 0 28 0 3712710 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696745964608 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10230] ppid=10226 vsize=13803816 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10230/stat : 10230 (java) S 10226 10226 7102 0 -1 1077944384 1223 0 0 0 136 70 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696698276624 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10231] ppid=10226 vsize=13803816 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10231/stat : 10231 (java) S 10226 10226 7102 0 -1 1077944384 1436 0 0 0 140 72 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696340138896 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10232] ppid=10226 vsize=13803816 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10232/stat : 10232 (java) S 10226 10226 7102 0 -1 1077944384 1786 0 0 0 137 74 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696339086352 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10233] ppid=10226 vsize=13803816 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10233/stat : 10233 (java) S 10226 10226 7102 0 -1 1077944384 2063 0 0 0 140 68 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696338033808 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10234] ppid=10226 vsize=13803816 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10234/stat : 10234 (java) S 10226 10226 7102 0 -1 1077944384 1154 0 0 0 139 74 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696336980240 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10235] ppid=10226 vsize=13803816 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10235/stat : 10235 (java) S 10226 10226 7102 0 -1 1077944384 1463 0 0 0 141 70 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696335927696 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10236] ppid=10226 vsize=13803816 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10236/stat : 10236 (java) S 10226 10226 7102 0 -1 1077944384 3374 0 0 0 136 71 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696334875152 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10237] ppid=10226 vsize=13803816 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10237/stat : 10237 (java) S 10226 10226 7102 0 -1 1077944384 1272 0 0 0 135 74 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696333822608 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10238] ppid=10226 vsize=13803816 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10238/stat : 10238 (java) S 10226 10226 7102 0 -1 1077944384 6031 0 0 0 14 13 0 0 20 0 28 0 3712713 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695406496240 139696741735042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10239] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10239/stat : 10239 (java) S 10226 10226 7102 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3712714 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695405442528 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10240] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10240/stat : 10240 (java) S 10226 10226 7102 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3712714 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695404389888 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10241] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10241/stat : 10241 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695403338448 139696741742491 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10242] ppid=10226 vsize=13803816 CPUtime=5.56 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10242/stat : 10242 (java) S 10226 10226 7102 0 -1 1077944384 26233 0 0 0 553 3 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695402285040 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10243] ppid=10226 vsize=13803816 CPUtime=5.49 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10243/stat : 10243 (java) S 10226 10226 7102 0 -1 1077944384 26508 0 0 0 545 4 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695401232496 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10244] ppid=10226 vsize=13803816 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10244/stat : 10244 (java) S 10226 10226 7102 0 -1 1077944384 26112 0 0 0 538 4 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695400179952 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 5 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10245] ppid=10226 vsize=13803816 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10245/stat : 10245 (java) S 10226 10226 7102 0 -1 1077944384 16933 0 0 0 174 4 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695399127408 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 7 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10246] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10246/stat : 10246 (java) S 10226 10226 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695398075104 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10247] ppid=10226 vsize=13803816 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10247/stat : 10247 (java) S 10226 10226 7102 0 -1 1077944384 2161 0 0 0 8 9 0 0 20 0 28 0 3712719 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695397022640 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19217] ppid=10226 vsize=13803816 CPUtime=262.06 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19217/stat : 19217 (java) R 10226 10226 7102 0 -1 4202560 3484 0 0 0 26204 2 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695382692264 139696381540426 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19218] ppid=10226 vsize=13803816 CPUtime=262.35 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19218/stat : 19218 (java) R 10226 10226 7102 0 -1 4202560 2056 0 0 0 26234 1 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695389009320 139696381934754 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19219] ppid=10226 vsize=13803816 CPUtime=259.31 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19219/stat : 19219 (java) R 10226 10226 7102 0 -1 4202560 1142 0 0 0 25931 0 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695383744416 139696381935018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19220] ppid=10226 vsize=13803816 CPUtime=260.69 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19220/stat : 19220 (java) R 10226 10226 7102 0 -1 4202560 13412 0 0 0 26052 17 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695387955832 139696381175469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19221] ppid=10226 vsize=13803816 CPUtime=260.97 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19221/stat : 19221 (java) R 10226 10226 7102 0 -1 4202560 1115 0 0 0 26097 0 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695384797880 139696386333505 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19222] ppid=10226 vsize=13803816 CPUtime=262.08 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19222/stat : 19222 (java) R 10226 10226 7102 0 -1 4202560 1141 0 0 0 26208 0 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695385850792 139696381539569 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19223] ppid=10226 vsize=13803816 CPUtime=261.24 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19223/stat : 19223 (java) R 10226 10226 7102 0 -1 4202560 2761 0 0 0 26121 3 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695386903592 139696386333500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19224] ppid=10226 vsize=13803816 CPUtime=262.35 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19224/stat : 19224 (java) R 10226 10226 7102 0 -1 4202560 1688 0 0 0 26234 1 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695381640120 139696383314649 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
Current children cumulated CPU time (s) 2400.36
Current children cumulated vsize (KiB) 13813328

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10227 sig 9
??? kill 10226 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+329.301 s]
/proc/loadavg: 13.64 13.34 8.56 18/303 24605
/proc/meminfo: memFree=25047676/32770624 swapFree=5700/248120
[pid=10226] ppid=10223 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10226/stat : 10226 (xcsp3-exec) S 10223 10226 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3712709 9740288 345 33554432000 4194304 5098028 140732465953552 140732465951656 139708957954684 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9383936 140732465960078 140732465960288 140732465960288 140732465962987 0
/proc/10226/statm: 2378 345 289 221 0 87 0
[pid=10227] ppid=10226 vsize=13803816 CPUtime=2400.36 cores=0,2,4,6,8,10,12,14
/proc/10227/stat : 10227 (java) S 10226 10226 7102 0 -1 1077944320 221421 0 0 0 239260 776 0 0 20 0 28 0 3712710 14135107584 952678 33554432000 4194304 4196468 140726372687616 140726372670160 139696741723895 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
/proc/10227/statm: 3450954 952678 3311 1 0 3438187 0
[pid=10227/tid=10228] ppid=10226 vsize=13803816 CPUtime=9.05 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10228/stat : 10228 (java) S 10226 10226 7102 0 -1 1077944384 12091 0 0 0 890 15 0 0 20 0 28 0 3712710 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696745964608 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10230] ppid=10226 vsize=13803816 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10230/stat : 10230 (java) S 10226 10226 7102 0 -1 1077944384 1223 0 0 0 136 70 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696698276624 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10231] ppid=10226 vsize=13803816 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10231/stat : 10231 (java) S 10226 10226 7102 0 -1 1077944384 1436 0 0 0 140 72 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696340138896 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10232] ppid=10226 vsize=13803816 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10232/stat : 10232 (java) S 10226 10226 7102 0 -1 1077944384 1786 0 0 0 137 74 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696339086352 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10233] ppid=10226 vsize=13803816 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10233/stat : 10233 (java) S 10226 10226 7102 0 -1 1077944384 2063 0 0 0 140 68 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696338033808 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10234] ppid=10226 vsize=13803816 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10234/stat : 10234 (java) S 10226 10226 7102 0 -1 1077944384 1154 0 0 0 139 74 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696336980240 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10235] ppid=10226 vsize=13803816 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10235/stat : 10235 (java) S 10226 10226 7102 0 -1 1077944384 1463 0 0 0 141 70 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696335927696 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10236] ppid=10226 vsize=13803816 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10236/stat : 10236 (java) S 10226 10226 7102 0 -1 1077944384 3374 0 0 0 136 71 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696334875152 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10237] ppid=10226 vsize=13803816 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10237/stat : 10237 (java) S 10226 10226 7102 0 -1 1077944384 1272 0 0 0 135 74 0 0 20 0 28 0 3712711 14135107584 952678 33554432000 4194304 4196468 140726372687616 139696333822608 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10238] ppid=10226 vsize=13803816 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10238/stat : 10238 (java) S 10226 10226 7102 0 -1 1077944384 6031 0 0 0 14 13 0 0 20 0 28 0 3712713 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695406496240 139696741735042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10239] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10239/stat : 10239 (java) S 10226 10226 7102 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3712714 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695405442528 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10240] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10240/stat : 10240 (java) S 10226 10226 7102 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3712714 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695404389888 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10241] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10241/stat : 10241 (java) S 10226 10226 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695403338448 139696741742491 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10242] ppid=10226 vsize=13803816 CPUtime=5.56 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10242/stat : 10242 (java) S 10226 10226 7102 0 -1 1077944384 26233 0 0 0 553 3 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695402285040 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10243] ppid=10226 vsize=13803816 CPUtime=5.49 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10243/stat : 10243 (java) S 10226 10226 7102 0 -1 1077944384 26508 0 0 0 545 4 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695401232496 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10244] ppid=10226 vsize=13803816 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10244/stat : 10244 (java) S 10226 10226 7102 0 -1 1077944384 26112 0 0 0 538 4 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695400179952 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 5 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10245] ppid=10226 vsize=13803816 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10245/stat : 10245 (java) S 10226 10226 7102 0 -1 1077944384 16933 0 0 0 174 4 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695399127408 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 7 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10246] ppid=10226 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10246/stat : 10246 (java) S 10226 10226 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3712718 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695398075104 139696741734101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=10247] ppid=10226 vsize=13803816 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/10227/task/10247/stat : 10247 (java) S 10226 10226 7102 0 -1 1077944384 2161 0 0 0 8 9 0 0 20 0 28 0 3712719 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695397022640 139696741735042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19217] ppid=10226 vsize=13803816 CPUtime=262.06 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19217/stat : 19217 (java) R 10226 10226 7102 0 -1 4202560 3484 0 0 0 26204 2 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695382692264 139696381540426 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19218] ppid=10226 vsize=13803816 CPUtime=262.35 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19218/stat : 19218 (java) R 10226 10226 7102 0 -1 4202560 2056 0 0 0 26234 1 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695389009320 139696381934754 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19219] ppid=10226 vsize=13803816 CPUtime=259.31 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19219/stat : 19219 (java) R 10226 10226 7102 0 -1 4202560 1142 0 0 0 25931 0 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695383744416 139696381935018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19220] ppid=10226 vsize=13803816 CPUtime=260.69 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19220/stat : 19220 (java) R 10226 10226 7102 0 -1 4202560 13412 0 0 0 26052 17 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695387955832 139696381175469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19221] ppid=10226 vsize=13803816 CPUtime=260.97 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19221/stat : 19221 (java) R 10226 10226 7102 0 -1 4202560 1115 0 0 0 26097 0 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695384797880 139696386333505 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19222] ppid=10226 vsize=13803816 CPUtime=262.08 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19222/stat : 19222 (java) R 10226 10226 7102 0 -1 4202560 1141 0 0 0 26208 0 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695385850792 139696381539569 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19223] ppid=10226 vsize=13803816 CPUtime=261.24 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19223/stat : 19223 (java) R 10226 10226 7102 0 -1 4202560 2761 0 0 0 26121 3 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695386903592 139696386333500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
[pid=10227/tid=19224] ppid=10226 vsize=13803816 CPUtime=262.35 cores=0,2,4,6,8,10,12,14
/proc/10227/task/19224/stat : 19224 (java) R 10226 10226 7102 0 -1 4202560 1688 0 0 0 26234 1 0 0 20 0 28 0 3719348 14135107584 952678 33554432000 4194304 4196468 140726372687616 139695381640120 139696383314649 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33435648 140726372693180 140726372693356 140726372693356 140726372696015 0
Current children cumulated CPU time (s) 2400.36
Current children cumulated vsize (KiB) 13813328

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10226 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2076
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1038
# CPU time returned by wait4() is 0.003114
# while last known CPU time is 2400.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 329.312
CPU time (s): 2400.36
CPU user time (s): 2392.6
CPU system time (s): 7.76
CPU usage (%): 728.902
Max. virtual memory (cumulated for all children) (KiB): 13813328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002076
system time used= 0.001038
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.12426 second user time and 3.81228 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 02:47:32
IDJOB=4244733
IDBENCH=115882
IDSOLVER=2626
FILE ID=node130/4244733-1500684452
RUNJOBID= node130-1500684118-8559
PBS_JOBID= 20623029
Free space on /tmp= 61952 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244733-1500684452/watcher-4244733-1500684452 -o /tmp/evaluation-result-4244733-1500684452/solver-4244733-1500684452 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1891800325 HOME/instance-4244733-1500684452.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1891800325

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

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31763084 kB
MemAvailable:   31815824 kB
Buffers:           51804 kB
Cached:           312012 kB
SwapCached:            0 kB
Active:           379392 kB
Inactive:         256160 kB
Active(anon):     274384 kB
Inactive(anon):     8844 kB
Active(file):     105008 kB
Inactive(file):   247316 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8156 kB
Writeback:             0 kB
AnonPages:        295776 kB
Mapped:            42372 kB
Shmem:              8844 kB
Slab:              65868 kB
SReclaimable:      32504 kB
SUnreclaim:        33364 kB
KernelStack:        5040 kB
PageTables:         6296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1248044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61944 MiB
End job on node130 at 2017-07-22 02:53:02