Trace number 4244732

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 4.0.5 (2017-07-05)SAT (TO)1137 2400.32 329.912

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-4244732-1500684211.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4244732-1500684211.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
15.31/7.55	c solve instance...
77.32/15.46	o 0 
77.32/15.50	o 4 
77.89/15.53	o 6 
77.89/15.55	o 8 
77.89/15.57	o 10 
78.35/15.61	o 12 
78.35/15.65	o 14 
81.36/16.08	o 16 
88.11/17.31	o 24 
92.39/20.81	o 25 
92.39/20.85	o 26 
92.39/20.87	o 27 
92.39/20.90	o 28 
92.93/20.93	o 29 
92.93/20.96	o 30 
92.93/20.99	o 31 
93.51/21.02	o 32 
93.51/21.04	o 33 
93.51/21.07	o 34 
94.11/21.21	o 35 
94.11/21.24	o 36 
94.11/21.26	o 37 
94.11/21.28	o 38 
94.58/21.30	o 39 
94.58/21.32	o 40 
94.58/21.35	o 41 
94.58/21.38	o 42 
95.05/21.40	o 43 
95.05/21.47	o 44 
95.05/21.49	o 45 
95.66/21.52	o 46 
95.66/21.56	o 47 
95.66/21.59	o 48 
96.15/21.62	o 49 
96.15/21.63	o 50 
96.15/21.67	o 51 
96.15/21.69	o 52 
96.76/21.72	o 53 
96.76/21.75	o 54 
96.76/21.78	o 55 
97.19/21.80	o 56 
97.19/21.83	o 57 
97.19/21.86	o 58 
97.19/21.88	o 59 
97.73/21.91	o 60 
97.73/21.94	o 61 
97.73/21.97	o 62 
97.73/22.00	o 63 
98.27/22.03	o 64 
98.27/22.06	o 65 
98.27/22.09	o 66 
98.86/22.11	o 67 
98.86/22.13	o 68 
98.86/22.16	o 69 
98.86/22.18	o 70 
99.41/22.21	o 71 
99.41/22.23	o 72 
99.41/22.29	o 73 
100.06/22.33	o 74 
100.06/22.35	o 75 
100.06/22.37	o 76 
100.61/22.41	o 77 
100.61/22.42	o 78 
100.61/22.45	o 79 
100.61/22.49	o 80 
101.05/22.51	o 81 
101.05/22.53	o 82 
101.05/22.57	o 83 
101.05/22.59	o 84 
101.56/22.61	o 85 
101.56/22.65	o 86 
101.56/22.67	o 87 
101.56/22.69	o 88 
102.12/22.72	o 89 
102.12/22.74	o 90 
102.12/22.76	o 91 
102.12/22.78	o 92 
102.77/22.81	o 93 
102.77/22.83	o 94 
102.77/22.85	o 95 
102.77/22.87	o 96 
102.77/22.90	o 97 
103.30/22.93	o 98 
103.30/22.95	o 99 
103.30/22.98	o 100 
103.79/23.00	o 101 
103.79/23.02	o 102 
103.79/23.08	o 103 
103.79/23.10	o 104 
104.41/23.12	o 105 
104.41/23.14	o 106 
104.41/23.16	o 107 
104.41/23.19	o 108 
105.00/23.21	o 109 
105.00/23.24	o 110 
105.00/23.26	o 111 
105.00/23.29	o 112 
105.44/23.32	o 113 
105.44/23.34	o 114 
105.44/23.36	o 115 
105.44/23.38	o 116 
106.06/23.40	o 117 
106.06/23.44	o 118 
106.06/23.47	o 119 
106.06/23.49	o 120 
106.55/23.51	o 121 
106.55/23.54	o 122 
106.55/23.56	o 123 
106.55/23.58	o 124 
107.17/23.61	o 125 
107.17/23.64	o 126 
107.17/23.67	o 127 
107.62/23.70	o 128 
107.62/23.72	o 129 
107.62/23.75	o 130 
107.62/23.77	o 131 
107.62/23.79	o 132 
108.32/23.95	o 133 
108.32/23.97	o 134 
108.32/23.99	o 135 
108.69/24.07	o 136 
108.69/24.09	o 137 
109.23/24.13	o 138 
109.23/24.16	o 139 
109.23/24.19	o 140 
109.77/24.22	o 141 
109.77/24.25	o 142 
109.77/24.28	o 143 
109.77/24.31	o 144 
110.26/24.34	o 145 
110.26/24.36	o 146 
110.26/24.39	o 147 
110.75/24.42	o 148 
110.75/24.44	o 149 
110.75/24.46	o 150 
110.75/24.49	o 151 
111.27/24.51	o 152 
111.27/24.53	o 153 
111.27/24.55	o 154 
111.27/24.58	o 155 
111.86/24.61	o 156 
111.86/24.63	o 157 
111.86/24.66	o 158 
111.86/24.68	o 159 
112.37/24.70	o 160 
112.37/24.73	o 161 
112.37/24.75	o 162 
112.37/24.78	o 163 
112.93/24.81	o 164 
112.93/24.83	o 165 
112.93/24.88	o 166 
113.49/24.90	o 167 
113.49/24.93	o 168 
113.49/24.95	o 169 
113.49/24.98	o 170 
114.04/25.00	o 171 
114.04/25.04	o 172 
114.04/25.06	o 173 
114.04/25.08	o 174 
114.58/25.10	o 175 
114.58/25.13	o 176 
114.58/25.15	o 177 
114.58/25.18	o 178 
115.13/25.20	o 179 
115.13/25.22	o 180 
115.13/25.25	o 181 
115.13/25.28	o 182 
115.75/25.32	o 183 
115.75/25.34	o 184 
115.75/25.37	o 185 
115.75/25.40	o 186 
116.33/25.42	o 187 
116.33/25.44	o 188 
116.33/25.47	o 189 
116.85/25.53	o 190 
116.85/25.55	o 191 
117.40/25.63	o 192 
117.40/25.65	o 193 
117.40/25.69	o 194 
117.83/25.71	o 195 
117.83/25.73	o 196 
117.83/25.76	o 197 
117.83/25.78	o 198 
118.39/25.81	o 199 
118.39/25.84	o 200 
118.39/25.86	o 201 
118.39/25.89	o 202 
118.91/25.91	o 203 
118.91/25.93	o 204 
118.91/25.96	o 205 
118.91/25.99	o 206 
119.46/26.02	o 207 
119.46/26.06	o 208 
119.46/26.09	o 209 
119.96/26.11	o 210 
119.96/26.14	o 211 
119.96/26.16	o 212 
119.96/26.18	o 213 
120.54/26.20	o 214 
120.54/26.23	o 215 
120.54/26.25	o 216 
120.54/26.27	o 217 
120.54/26.29	o 218 
121.09/26.32	o 219 
121.09/26.34	o 220 
121.09/26.35	o 221 
121.09/26.37	o 222 
121.82/26.44	o 223 
121.82/26.47	o 224 
121.82/26.49	o 225 
121.82/26.52	o 226 
122.37/26.54	o 227 
122.37/26.57	o 228 
122.37/26.59	o 229 
122.77/26.62	o 230 
122.77/26.64	o 231 
122.77/26.67	o 232 
123.30/26.70	o 233 
123.30/26.73	o 234 
123.30/26.76	o 235 
123.30/26.78	o 236 
123.83/26.81	o 237 
123.83/26.83	o 238 
123.83/26.86	o 239 
123.83/26.88	o 240 
124.36/26.90	o 241 
124.36/26.92	o 242 
124.36/26.95	o 243 
124.36/26.97	o 244 
124.36/26.99	o 245 
124.91/27.02	o 246 
124.91/27.04	o 247 
124.91/27.07	o 248 
124.91/27.10	o 249 
125.43/27.12	o 250 
125.43/27.14	o 251 
125.43/27.16	o 252 
125.43/27.19	o 253 
126.02/27.21	o 254 
126.02/27.22	o 255 
126.02/27.24	o 256 
126.02/27.27	o 257 
126.02/27.29	o 258 
126.62/27.31	o 259 
126.62/27.35	o 260 
126.62/27.37	o 261 
126.62/27.39	o 262 
127.03/27.41	o 263 
127.03/27.43	o 264 
127.03/27.49	o 265 
127.74/27.51	o 266 
153.97/30.87	o 267 
153.97/30.90	o 268 
154.64/30.92	o 269 
154.64/30.95	o 270 
154.64/30.97	o 271 
154.64/30.99	o 272 
155.07/31.02	o 273 
155.07/31.04	o 274 
155.07/31.06	o 275 
155.07/31.08	o 276 
155.62/31.11	o 277 
155.62/31.13	o 278 
156.25/31.21	o 279 
156.25/31.24	o 280 
156.25/31.26	o 281 
156.25/31.29	o 282 
156.81/31.31	o 283 
156.81/31.33	o 284 
156.81/31.36	o 285 
157.32/31.41	o 286 
157.32/31.44	o 287 
157.32/31.46	o 288 
157.32/31.49	o 289 
157.85/31.51	o 290 
157.85/31.54	o 291 
157.85/31.56	o 292 
157.85/31.59	o 293 
158.37/31.61	o 294 
158.37/31.63	o 295 
158.37/31.66	o 296 
158.37/31.68	o 297 
158.95/31.70	o 298 
158.95/31.73	o 299 
158.95/31.75	o 300 
158.95/31.77	o 301 
158.95/31.79	o 302 
159.53/31.88	o 303 
159.53/31.90	o 304 
159.85/31.93	o 305 
159.85/31.95	o 306 
159.85/31.98	o 307 
160.37/32.01	o 308 
160.37/32.03	o 309 
160.37/32.05	o 310 
160.37/32.07	o 311 
160.90/32.10	o 312 
160.90/32.13	o 313 
160.90/32.15	o 314 
160.90/32.18	o 315 
161.43/32.22	o 316 
161.43/32.24	o 317 
162.02/32.31	o 318 
162.02/32.33	o 319 
162.02/32.35	o 320 
162.02/32.39	o 321 
162.59/32.41	o 322 
162.59/32.43	o 323 
162.59/32.45	o 324 
162.59/32.47	o 325 
162.59/32.49	o 326 
163.20/32.52	o 327 
163.20/32.54	o 328 
163.20/32.56	o 329 
163.20/32.58	o 330 
163.83/32.62	o 331 
163.83/32.65	o 332 
163.83/32.67	o 333 
163.83/32.69	o 334 
164.37/32.72	o 335 
164.37/32.74	o 336 
164.37/32.77	o 337 
164.37/32.79	o 338 
164.91/32.81	o 339 
164.91/32.84	o 340 
164.91/32.87	o 341 
164.91/32.89	o 342 
165.42/32.93	o 343 
165.42/32.95	o 344 
165.42/32.97	o 345 
165.42/33.00	o 346 
165.96/33.03	o 347 
165.96/33.05	o 348 
165.96/33.08	o 349 
165.96/33.10	o 350 
166.46/33.13	o 351 
166.46/33.15	o 352 
166.46/33.17	o 353 
166.46/33.19	o 354 
166.92/33.21	o 355 
166.92/33.23	o 356 
166.92/33.25	o 357 
166.92/33.28	o 358 
167.49/33.31	o 359 
167.49/33.38	o 360 
168.12/33.41	o 361 
168.12/33.43	o 362 
168.12/33.48	o 363 
168.74/33.50	o 364 
168.74/33.52	o 365 
168.74/33.55	o 366 
168.74/33.58	o 367 
168.74/33.60	o 368 
169.26/33.62	o 369 
169.26/33.64	o 370 
169.26/33.66	o 371 
169.26/33.68	o 372 
169.81/33.71	o 373 
169.81/33.74	o 374 
169.81/33.77	o 375 
169.81/33.79	o 376 
170.34/33.82	o 377 
170.34/33.85	o 378 
170.34/33.87	o 379 
170.89/33.90	o 380 
170.89/33.92	o 381 
170.89/33.95	o 382 
170.89/33.98	o 383 
171.42/34.01	o 384 
171.42/34.03	o 385 
171.42/34.05	o 386 
171.42/34.08	o 387 
171.42/34.10	o 388 
172.06/34.12	o 389 
172.06/34.14	o 390 
172.06/34.16	o 391 
172.06/34.18	o 392 
172.06/34.20	o 393 
172.64/34.22	o 394 
172.64/34.24	o 395 
172.64/34.27	o 396 
172.64/34.29	o 397 
173.21/34.31	o 398 
173.21/34.33	o 399 
173.21/34.36	o 400 
173.21/34.38	o 401 
173.78/34.46	o 402 
173.78/34.49	o 403 
174.45/34.51	o 404 
174.80/34.79	o 405 
174.93/34.81	o 406 
174.93/34.83	o 407 
174.93/34.86	o 408 
174.93/34.88	o 409 
174.93/34.90	o 410 
175.55/34.92	o 411 
175.55/34.94	o 412 
175.55/34.96	o 413 
175.55/34.98	o 414 
176.16/35.01	o 415 
176.16/35.04	o 416 
176.16/35.06	o 417 
176.16/35.08	o 418 
176.74/35.12	o 419 
176.74/35.14	o 420 
176.74/35.16	o 421 
176.74/35.18	o 422 
177.30/35.22	o 423 
177.30/35.24	o 424 
177.30/35.27	o 425 
177.30/35.30	o 426 
177.87/35.32	o 427 
177.87/35.35	o 428 
177.87/35.37	o 429 
177.87/35.39	o 430 
178.39/35.43	o 431 
178.39/35.45	o 432 
178.39/35.48	o 433 
178.90/35.50	o 434 
178.90/35.52	o 435 
178.90/35.55	o 436 
178.90/35.58	o 437 
179.45/35.60	o 438 
179.77/35.88	o 439 
180.00/35.90	o 440 
180.00/35.93	o 441 
180.00/35.95	o 442 
180.00/35.98	o 443 
180.44/36.01	o 444 
180.44/36.04	o 445 
181.03/36.12	o 446 
181.03/36.15	o 447 
181.03/36.17	o 448 
181.03/36.20	o 449 
181.57/36.22	o 450 
181.57/36.24	o 451 
181.57/36.27	o 452 
181.57/36.30	o 453 
182.18/36.32	o 454 
182.18/36.35	o 455 
182.18/36.37	o 456 
182.18/36.40	o 457 
182.73/36.42	o 458 
182.73/36.45	o 459 
182.73/36.47	o 460 
182.73/36.49	o 461 
183.23/36.52	o 462 
183.23/36.54	o 463 
183.23/36.57	o 464 
183.23/36.59	o 465 
183.81/36.61	o 466 
183.81/36.64	o 467 
183.81/36.66	o 468 
183.81/36.69	o 469 
184.40/36.71	o 470 
184.40/36.73	o 471 
184.40/36.75	o 472 
184.40/36.77	o 473 
184.40/36.80	o 474 
184.99/36.82	o 475 
184.99/36.84	o 476 
184.99/36.87	o 477 
184.99/36.89	o 478 
185.57/36.91	o 479 
185.57/36.93	o 480 
185.57/36.95	o 481 
185.57/36.97	o 482 
185.57/36.99	o 483 
186.17/37.01	o 484 
186.17/37.04	o 485 
186.17/37.07	o 486 
186.76/37.10	o 487 
186.76/37.13	o 488 
186.76/37.14	o 489 
186.76/37.17	o 490 
186.76/37.19	o 491 
187.53/37.40	o 492 
187.88/37.42	o 493 
187.88/37.44	o 494 
187.88/37.46	o 495 
187.88/37.49	o 496 
188.51/37.51	o 497 
188.51/37.54	o 498 
188.51/37.56	o 499 
188.51/37.58	o 500 
189.08/37.60	o 501 
189.08/37.63	o 502 
189.08/37.66	o 503 
189.08/37.68	o 504 
189.67/37.70	o 505 
189.67/37.73	o 506 
189.67/37.76	o 507 
189.67/37.78	o 508 
189.67/37.80	o 509 
190.25/37.82	o 510 
190.25/37.84	o 511 
190.25/37.86	o 512 
190.25/37.88	o 513 
190.88/37.91	o 514 
190.88/37.93	o 515 
190.88/37.96	o 516 
190.88/37.98	o 517 
191.49/38.01	o 518 
191.49/38.03	o 519 
191.49/38.06	o 520 
191.49/38.08	o 521 
192.04/38.11	o 522 
192.04/38.13	o 523 
192.04/38.15	o 524 
192.04/38.17	o 525 
192.66/38.20	o 526 
192.66/38.23	o 527 
192.66/38.27	o 528 
193.14/38.34	o 529 
193.62/38.52	o 530 
196.63/41.02	o 531 
196.63/41.05	o 532 
196.63/41.07	o 533 
196.63/41.09	o 534 
197.10/41.12	o 535 
197.10/41.14	o 536 
197.10/41.17	o 537 
197.68/41.20	o 538 
197.68/41.22	o 539 
197.68/41.24	o 540 
197.68/41.26	o 541 
197.68/41.28	o 542 
198.28/41.31	o 543 
198.28/41.32	o 544 
198.28/41.35	o 545 
198.93/41.41	o 546 
198.93/41.43	o 547 
198.93/41.45	o 548 
198.93/41.48	o 549 
199.54/41.50	o 550 
199.54/41.52	o 551 
199.54/41.55	o 552 
199.54/41.57	o 553 
199.54/41.59	o 554 
200.17/41.61	o 555 
200.17/41.63	o 556 
200.17/41.65	o 557 
200.17/41.67	o 558 
200.17/41.69	o 559 
200.78/41.72	o 560 
200.78/41.74	o 561 
200.78/41.76	o 562 
200.78/41.78	o 563 
200.78/41.80	o 564 
201.48/41.83	o 565 
201.48/41.85	o 566 
201.48/41.87	o 567 
201.48/41.89	o 568 
202.13/41.92	o 569 
202.13/41.95	o 570 
202.49/42.06	o 571 
202.49/42.08	o 572 
202.78/42.11	o 573 
202.78/42.14	o 574 
202.78/42.16	o 575 
202.78/42.19	o 576 
203.34/42.21	o 577 
203.34/42.23	o 578 
203.34/42.26	o 579 
203.34/42.28	o 580 
203.99/42.30	o 581 
203.99/42.32	o 582 
203.99/42.35	o 583 
203.99/42.37	o 584 
203.99/42.40	o 585 
204.58/42.42	o 586 
204.58/42.44	o 587 
204.58/42.46	o 588 
204.58/42.49	o 589 
205.24/42.51	o 590 
205.24/42.54	o 591 
205.24/42.56	o 592 
205.24/42.59	o 593 
205.83/42.63	o 594 
205.83/42.66	o 595 
205.83/42.68	o 596 
205.83/42.70	o 597 
206.47/42.72	o 598 
206.47/42.75	o 599 
206.47/42.77	o 600 
206.47/42.80	o 601 
207.06/42.82	o 602 
207.06/42.84	o 603 
207.06/42.86	o 604 
207.06/42.88	o 605 
207.06/42.90	o 606 
207.74/42.92	o 607 
207.74/42.95	o 608 
207.74/42.98	o 609 
207.74/43.00	o 610 
208.39/43.02	o 611 
208.39/43.04	o 612 
208.39/43.07	o 613 
208.39/43.09	o 614 
209.00/43.11	o 615 
209.00/43.14	o 616 
209.00/43.16	o 617 
209.00/43.18	o 618 
209.63/43.20	o 619 
209.63/43.22	o 620 
209.63/43.24	o 621 
209.63/43.27	o 622 
209.63/43.29	o 623 
210.26/43.31	o 624 
210.26/43.33	o 625 
210.26/43.36	o 626 
210.26/43.38	o 627 
210.26/43.39	o 628 
210.89/43.41	o 629 
210.89/43.43	o 630 
210.89/43.49	o 631 
211.50/43.51	o 632 
211.50/43.54	o 633 
211.50/43.56	o 634 
211.50/43.58	o 635 
212.13/43.60	o 636 
212.13/43.63	o 637 
212.13/43.66	o 638 
212.13/43.68	o 639 
212.76/43.70	o 640 
212.76/43.72	o 641 
212.76/43.74	o 642 
212.76/43.76	o 643 
212.76/43.79	o 644 
213.40/43.81	o 645 
213.40/43.83	o 646 
213.40/43.85	o 647 
213.40/43.87	o 648 
213.40/43.89	o 649 
214.05/43.92	o 650 
214.05/43.94	o 651 
214.05/43.96	o 652 
214.05/43.98	o 653 
214.05/44.01	o 654 
214.77/44.05	o 655 
214.77/44.07	o 656 
214.77/44.10	o 657 
215.45/44.12	o 658 
215.45/44.14	o 659 
215.45/44.16	o 660 
215.45/44.19	o 661 
216.04/44.21	o 662 
216.04/44.24	o 663 
216.04/44.26	o 664 
216.04/44.28	o 665 
216.75/44.30	o 666 
216.75/44.32	o 667 
216.75/44.34	o 668 
216.75/44.36	o 669 
216.75/44.39	o 670 
217.35/44.42	o 671 
217.35/44.44	o 672 
217.35/44.47	o 673 
217.35/44.49	o 674 
217.99/44.53	o 675 
217.99/44.56	o 676 
217.99/44.58	o 677 
218.59/44.60	o 678 
218.59/44.63	o 679 
218.59/44.65	o 680 
218.59/44.68	o 681 
219.24/44.71	o 682 
219.24/44.73	o 683 
219.24/44.75	o 684 
219.84/44.80	o 685 
219.84/44.82	o 686 
226.94/45.72	o 687 
226.94/45.75	o 688 
226.94/45.78	o 689 
227.61/45.80	o 690 
227.61/45.82	o 691 
227.61/45.87	o 692 
227.61/45.89	o 693 
228.23/45.91	o 694 
228.23/45.93	o 695 
228.23/45.95	o 696 
228.23/45.97	o 697 
228.90/46.01	o 698 
228.90/46.03	o 699 
228.90/46.06	o 700 
229.37/46.11	o 701 
229.62/46.24	o 702 
232.28/48.52	o 703 
232.28/48.56	o 704 
232.28/48.58	o 705 
232.73/48.61	o 706 
232.73/48.63	o 707 
232.73/48.66	o 708 
232.73/48.68	o 709 
233.37/48.71	o 710 
233.37/48.73	o 711 
233.37/48.75	o 712 
233.37/48.78	o 713 
234.00/48.80	o 714 
234.00/48.83	o 715 
234.00/48.85	o 716 
234.00/48.87	o 717 
234.00/48.90	o 718 
234.60/48.94	o 719 
234.60/48.97	o 720 
234.60/49.00	o 721 
235.25/49.02	o 722 
235.25/49.05	o 723 
235.25/49.07	o 724 
235.25/49.10	o 725 
235.87/49.12	o 726 
235.87/49.14	o 727 
235.87/49.17	o 728 
235.87/49.19	o 729 
236.54/49.21	o 730 
236.54/49.24	o 731 
236.54/49.26	o 732 
236.54/49.28	o 733 
237.22/49.31	o 734 
237.22/49.34	o 735 
237.22/49.36	o 736 
237.22/49.38	o 737 
237.82/49.41	o 738 
237.82/49.44	o 739 
237.82/49.46	o 740 
237.82/49.50	o 741 
238.46/49.52	o 742 
238.46/49.54	o 743 
238.46/49.57	o 744 
238.46/49.59	o 745 
239.12/49.63	o 746 
239.12/49.65	o 747 
239.12/49.68	o 748 
239.65/49.71	o 749 
239.65/49.73	o 750 
239.65/49.75	o 751 
239.65/49.77	o 752 
240.25/49.80	o 753 
240.25/49.83	o 754 
240.25/49.85	o 755 
240.25/49.90	o 756 
240.83/49.93	o 757 
240.83/49.95	o 758 
240.83/49.98	o 759 
241.43/50.00	o 760 
241.43/50.03	o 761 
241.43/50.06	o 762 
241.43/50.08	o 763 
242.02/50.12	o 764 
242.02/50.14	o 765 
242.02/50.16	o 766 
242.02/50.18	o 767 
242.63/50.21	o 768 
242.63/50.23	o 769 
242.63/50.25	o 770 
242.63/50.28	o 771 
243.32/50.30	o 772 
243.32/50.32	o 773 
243.32/50.35	o 774 
243.32/50.37	o 775 
243.32/50.39	o 776 
243.93/50.41	o 777 
243.93/50.44	o 778 
243.93/50.47	o 779 
243.93/50.49	o 780 
244.53/50.51	o 781 
244.53/50.54	o 782 
244.53/50.57	o 783 
244.53/50.60	o 784 
245.94/51.32	o 785 
245.94/51.36	o 786 
245.94/51.39	o 787 
246.50/51.41	o 788 
246.50/51.44	o 789 
246.50/51.47	o 790 
246.50/51.49	o 791 
247.17/51.51	o 792 
247.17/51.54	o 793 
247.17/51.56	o 794 
247.17/51.59	o 795 
247.87/51.61	o 796 
247.87/51.65	o 797 
247.87/51.67	o 798 
247.87/51.69	o 799 
248.60/51.71	o 800 
248.60/51.74	o 801 
248.60/51.76	o 802 
248.60/51.78	o 803 
249.26/51.82	o 804 
249.26/51.84	o 805 
249.26/51.86	o 806 
249.26/51.89	o 807 
249.80/51.91	o 808 
249.80/51.94	o 809 
249.80/51.96	o 810 
249.80/51.99	o 811 
250.44/52.01	o 812 
250.44/52.03	o 813 
250.44/52.08	o 814 
251.15/52.10	o 815 
251.15/52.13	o 816 
251.15/52.17	o 817 
251.84/52.20	o 818 
251.84/52.22	o 819 
251.84/52.25	o 820 
251.84/52.27	o 821 
251.84/52.30	o 822 
252.52/52.32	o 823 
252.52/52.34	o 824 
252.52/52.37	o 825 
252.52/52.40	o 826 
253.18/52.42	o 827 
253.18/52.45	o 828 
253.18/52.47	o 829 
253.18/52.49	o 830 
253.76/52.52	o 831 
253.76/52.54	o 832 
253.76/52.57	o 833 
253.76/52.59	o 834 
254.54/52.62	o 835 
254.54/52.65	o 836 
254.54/52.67	o 837 
254.54/52.69	o 838 
255.90/53.43	o 839 
255.90/53.45	o 840 
255.90/53.49	o 841 
256.35/53.52	o 842 
256.35/53.54	o 843 
256.35/53.56	o 844 
256.35/53.59	o 845 
257.02/53.64	o 846 
257.44/53.79	o 847 
259.80/55.94	o 848 
259.80/55.96	o 849 
259.80/55.98	o 850 
260.18/56.01	o 851 
260.18/56.03	o 852 
260.18/56.06	o 853 
260.18/56.08	o 854 
260.91/56.12	o 855 
260.91/56.14	o 856 
260.91/56.17	o 857 
260.91/56.20	o 858 
261.51/56.23	o 859 
261.51/56.26	o 860 
261.51/56.28	o 861 
262.08/56.30	o 862 
262.08/56.33	o 863 
262.08/56.36	o 864 
262.08/56.38	o 865 
262.73/56.41	o 866 
262.73/56.43	o 867 
262.73/56.46	o 868 
262.73/56.48	o 869 
263.38/56.51	o 870 
263.38/56.54	o 871 
263.38/56.56	o 872 
263.38/56.59	o 873 
263.97/56.61	o 874 
263.97/56.63	o 875 
263.97/56.66	o 876 
264.94/57.14	o 877 
264.94/57.17	o 878 
264.94/57.19	o 879 
264.94/57.22	o 880 
265.40/57.25	o 881 
265.40/57.27	o 882 
265.40/57.30	o 883 
265.99/57.34	o 884 
265.99/57.36	o 885 
265.99/57.39	o 886 
266.59/57.41	o 887 
266.59/57.43	o 888 
266.59/57.46	o 889 
266.59/57.48	o 890 
267.26/57.51	o 891 
267.26/57.53	o 892 
267.26/57.57	o 893 
267.26/57.59	o 894 
267.89/57.62	o 895 
267.89/57.64	o 896 
267.89/57.67	o 897 
267.89/57.70	o 898 
268.55/57.72	o 899 
268.55/57.74	o 900 
268.55/57.77	o 901 
268.55/57.79	o 902 
269.25/57.81	o 903 
269.25/57.84	o 904 
269.25/57.87	o 905 
269.25/57.89	o 906 
269.96/57.92	o 907 
269.96/57.95	o 908 
269.96/57.97	o 909 
270.55/58.00	o 910 
270.55/58.03	o 911 
270.55/58.05	o 912 
270.55/58.08	o 913 
271.17/58.11	o 914 
271.17/58.15	o 915 
271.17/58.18	o 916 
271.79/58.20	o 917 
271.79/58.23	o 918 
271.79/58.25	o 919 
271.79/58.28	o 920 
271.79/58.30	o 921 
272.47/58.33	o 922 
272.47/58.35	o 923 
272.47/58.38	o 924 
272.47/58.41	o 925 
273.13/58.43	o 926 
273.13/58.46	o 927 
273.13/58.49	o 928 
273.66/58.51	o 929 
274.83/59.46	o 930 
274.83/59.48	o 931 
275.17/59.51	o 932 
275.17/59.53	o 933 
275.17/59.56	o 934 
275.17/59.59	o 935 
275.76/59.61	o 936 
275.76/59.65	o 937 
275.76/59.68	o 938 
276.37/59.71	o 939 
276.37/59.75	o 940 
276.37/59.77	o 941 
276.37/59.79	o 942 
277.02/59.83	o 943 
277.02/59.85	o 944 
277.02/59.88	o 945 
277.65/59.91	o 946 
277.65/59.94	o 947 
277.65/59.96	o 948 
277.65/59.99	o 949 
278.32/60.01	o 950 
278.32/60.04	o 951 
278.32/60.07	o 952 
278.32/60.09	o 953 
279.00/60.12	o 954 
279.00/60.14	o 955 
279.00/60.17	o 956 
279.00/60.20	o 957 
279.64/60.22	o 958 
279.64/60.26	o 959 
279.64/60.29	o 960 
280.27/60.31	o 961 
280.27/60.33	o 962 
280.27/60.36	o 963 
280.27/60.39	o 964 
280.92/60.41	o 965 
280.92/60.44	o 966 
280.92/60.47	o 967 
280.92/60.50	o 968 
281.61/60.52	o 969 
281.61/60.57	o 970 
281.61/60.59	o 971 
282.28/60.62	o 972 
282.28/60.64	o 973 
282.28/60.67	o 974 
282.87/60.70	o 975 
282.87/60.73	o 976 
282.87/60.75	o 977 
282.87/60.78	o 978 
283.51/60.81	o 979 
283.51/60.83	o 980 
283.51/60.86	o 981 
283.51/60.89	o 982 
284.12/60.92	o 983 
284.12/60.94	o 984 
284.12/60.97	o 985 
284.81/61.00	o 986 
284.81/61.03	o 987 
284.81/61.06	o 988 
284.81/61.08	o 989 
286.03/61.66	o 990 
286.03/61.69	o 991 
286.36/61.72	o 992 
286.36/61.75	o 993 
286.36/61.78	o 994 
286.89/61.82	o 995 
286.89/61.85	o 996 
286.89/61.87	o 997 
287.63/61.90	o 998 
287.63/61.93	o 999 
287.63/61.96	o 1000 
287.63/61.98	o 1001 
288.25/62.02	o 1002 
288.25/62.04	o 1003 
288.25/62.07	o 1004 
288.25/62.10	o 1005 
288.92/62.12	o 1006 
288.92/62.15	o 1007 
288.92/62.17	o 1008 
289.64/62.20	o 1009 
289.64/62.23	o 1010 
289.64/62.26	o 1011 
289.64/62.28	o 1012 
290.21/62.31	o 1013 
290.21/62.34	o 1014 
290.21/62.40	o 1015 
290.73/62.49	o 1016 
293.14/64.55	o 1017 
293.14/64.57	o 1018 
293.56/64.60	o 1019 
293.56/64.62	o 1020 
293.56/64.65	o 1021 
293.56/64.67	o 1022 
294.24/64.70	o 1023 
294.24/64.72	o 1024 
294.24/64.75	o 1025 
294.24/64.78	o 1026 
294.89/64.80	o 1027 
294.89/64.83	o 1028 
294.89/64.88	o 1029 
295.54/64.92	o 1030 
295.54/64.95	o 1031 
295.54/64.97	o 1032 
295.54/65.00	o 1033 
296.14/65.02	o 1034 
296.14/65.05	o 1035 
296.14/65.08	o 1036 
296.69/65.11	o 1037 
296.69/65.14	o 1038 
296.69/65.17	o 1039 
297.39/65.20	o 1040 
297.39/65.22	o 1041 
297.39/65.25	o 1042 
297.39/65.28	o 1043 
298.02/65.31	o 1044 
298.02/65.34	o 1045 
298.02/65.37	o 1046 
298.02/65.39	o 1047 
298.68/65.42	o 1048 
298.68/65.44	o 1049 
298.68/65.47	o 1050 
299.34/65.50	o 1051 
299.34/65.53	o 1052 
299.34/65.56	o 1053 
299.34/65.60	o 1054 
299.94/65.62	o 1055 
299.94/65.66	o 1056 
299.94/65.69	o 1057 
300.63/65.72	o 1058 
300.63/65.75	o 1059 
300.63/65.78	o 1060 
301.26/65.81	o 1061 
301.26/65.83	o 1062 
301.26/65.86	o 1063 
301.26/65.89	o 1064 
301.89/65.92	o 1065 
301.89/65.95	o 1066 
301.89/65.98	o 1067 
302.59/66.01	o 1068 
302.59/66.03	o 1069 
302.59/66.06	o 1070 
302.59/66.09	o 1071 
303.23/66.14	o 1072 
303.23/66.17	o 1073 
303.71/66.20	o 1074 
303.71/66.23	o 1075 
303.71/66.26	o 1076 
303.71/66.28	o 1077 
304.40/66.32	o 1078 
304.40/66.35	o 1079 
304.40/66.38	o 1080 
305.05/66.41	o 1081 
305.05/66.44	o 1082 
305.05/66.47	o 1083 
305.05/66.49	o 1084 
305.66/66.53	o 1085 
305.66/66.55	o 1086 
305.66/66.60	o 1087 
306.23/66.63	o 1088 
306.23/66.66	o 1089 
306.23/66.69	o 1090 
306.85/66.71	o 1091 
306.85/66.74	o 1092 
306.85/66.77	o 1093 
307.54/66.80	o 1094 
307.54/66.83	o 1095 
307.54/66.86	o 1096 
307.54/66.89	o 1097 
308.12/66.92	o 1098 
308.12/66.95	o 1099 
308.12/66.98	o 1100 
308.81/67.00	o 1101 
308.81/67.03	o 1102 
308.81/67.06	o 1103 
308.81/67.09	o 1104 
309.58/67.12	o 1105 
309.58/67.15	o 1106 
309.58/67.18	o 1107 
309.58/67.21	o 1108 
310.23/67.24	o 1109 
310.23/67.26	o 1110 
310.76/67.30	o 1111 
310.76/67.33	o 1112 
310.76/67.35	o 1113 
310.76/67.39	o 1114 
311.43/67.42	o 1115 
311.43/67.45	o 1116 
311.43/67.48	o 1117 
312.08/67.51	o 1118 
312.08/67.54	o 1119 
312.08/67.57	o 1120 
312.77/67.61	o 1121 
312.77/67.63	o 1122 
312.77/67.67	o 1123 
312.77/67.70	o 1124 
313.40/67.73	o 1125 
313.40/67.75	o 1126 
313.40/67.78	o 1127 
314.10/67.81	o 1128 
314.10/67.84	o 1129 
314.10/67.87	o 1130 
314.77/67.90	o 1131 
314.77/67.94	o 1132 
314.77/67.97	o 1133 
315.40/68.01	o 1134 
315.40/68.04	o 1135 
315.40/68.07	o 1136 
320.04/68.60	o 1137 
2400.32/329.94	s SATISFIABLE
2400.32/329.94	v <instantiation>
2400.32/329.94	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.32/329.94	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.32/329.94	v </instantiation>
2400.32/329.94	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-4244732-1500684211/watcher-4244732-1500684211 -o /tmp/evaluation-result-4244732-1500684211/solver-4244732-1500684211 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1038799451 HOME/instance-4244732-1500684211.xml 

pid=9221
running on 8 cores: 1,3,5,7,9,11,13,15

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: 14.45 10.57 5.85 9/271 9224
/proc/meminfo: memFree=31766756/32770624 swapFree=5800/235888
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0

[startup+0.100064 s]
/proc/loadavg: 14.45 10.57 5.85 9/271 9224
/proc/meminfo: memFree=31766756/32770624 swapFree=5800/235888
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200285 s]
/proc/loadavg: 14.45 10.57 5.85 9/271 9224
/proc/meminfo: memFree=31766756/32770624 swapFree=5800/235888
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30025 s]
/proc/loadavg: 14.45 10.57 5.85 9/271 9224
/proc/meminfo: memFree=31766756/32770624 swapFree=5800/235888
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700197 s]
/proc/loadavg: 14.45 10.57 5.85 9/271 9224
/proc/meminfo: memFree=31766756/32770624 swapFree=5800/235888
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50079 s]
/proc/loadavg: 14.45 10.57 5.85 10/292 9245
/proc/meminfo: memFree=31661532/32770624 swapFree=5800/235812
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
[pid=9225] ppid=9224 vsize=13269256 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/9225/stat : 9225 (java) S 9224 9224 7621 0 -1 1077944320 19261 0 0 0 362 6 0 0 20 0 20 0 3688831 13587718144 40169 33554432000 4194304 4196468 140735532340368 140735532322912 140066931404535 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
/proc/9225/statm: 3317314 40169 3221 1 0 3304547 0
[pid=9225/tid=9226] ppid=9224 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9226/stat : 9226 (java) R 9224 9224 7621 0 -1 4202560 7714 0 0 0 143 4 0 0 20 0 20 0 3688831 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066935640024 140066556262483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9228] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9228/stat : 9228 (java) S 9224 9224 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066530221072 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9229] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9229/stat : 9229 (java) S 9224 9224 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066529168528 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9230] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9230/stat : 9230 (java) S 9224 9224 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066528115472 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9231] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9231/stat : 9231 (java) S 9224 9224 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066527062928 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9232] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9232/stat : 9232 (java) S 9224 9224 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066526009872 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9233] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9233/stat : 9233 (java) S 9224 9224 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066524957328 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9234] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9234/stat : 9234 (java) S 9224 9224 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066523904272 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9235] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9235/stat : 9235 (java) S 9224 9224 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3688832 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066522851728 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9236] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9236/stat : 9236 (java) S 9224 9224 7621 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 3688834 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066259176176 140066931415682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9237] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9237/stat : 9237 (java) S 9224 9224 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3688835 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066258122400 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9238] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9238/stat : 9238 (java) S 9224 9224 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3688836 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066257069296 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9239] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9239/stat : 9239 (java) S 9224 9224 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3688840 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066256017872 140066931423131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9240] ppid=9224 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9240/stat : 9240 (java) S 9224 9224 7621 0 -1 1077944384 2354 0 0 0 50 0 0 0 20 0 20 0 3688840 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066254964976 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9241] ppid=9224 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9241/stat : 9241 (java) S 9224 9224 7621 0 -1 1077944384 1827 0 0 0 52 0 0 0 20 0 20 0 3688840 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066253912432 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9242] ppid=9224 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9242/stat : 9242 (java) S 9224 9224 7621 0 -1 1077944384 3044 0 0 0 57 0 0 0 20 0 20 0 3688840 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066252859376 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9243] ppid=9224 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9243/stat : 9243 (java) S 9224 9224 7621 0 -1 1077944384 3005 0 0 0 57 0 0 0 20 0 20 0 3688840 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066251806832 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9244] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9244/stat : 9244 (java) S 9224 9224 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3688840 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066250755040 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9245] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9245/stat : 9245 (java) S 9224 9224 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3688840 13587718144 40169 33554432000 4194304 4196468 140735532340368 140066249702576 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13278768

[startup+3.10108 s]
/proc/loadavg: 14.45 10.57 5.85 12/292 9245
/proc/meminfo: memFree=31559256/32770624 swapFree=5800/235932
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
[pid=9225] ppid=9224 vsize=13269256 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/9225/stat : 9225 (java) S 9224 9224 7621 0 -1 1077944320 26010 0 0 0 796 54 0 0 20 0 20 0 3688831 13587718144 72852 33554432000 4194304 4196468 140735532340368 140735532322912 140066931404535 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
/proc/9225/statm: 3317314 72852 3254 1 0 3304547 0
[pid=9225/tid=9226] ppid=9224 vsize=13269256 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9226/stat : 9226 (java) R 9224 9224 7621 0 -1 4202560 9029 0 0 0 291 4 0 0 20 0 20 0 3688831 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066935641112 140066555582905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9228] ppid=9224 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9228/stat : 9228 (java) S 9224 9224 7621 0 -1 1077944384 109 0 0 0 4 6 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066530221072 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9229] ppid=9224 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9229/stat : 9229 (java) S 9224 9224 7621 0 -1 1077944384 78 0 0 0 4 5 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066529168528 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9230] ppid=9224 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9230/stat : 9230 (java) S 9224 9224 7621 0 -1 1077944384 64 0 0 0 4 5 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066528115472 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9231] ppid=9224 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9231/stat : 9231 (java) S 9224 9224 7621 0 -1 1077944384 182 0 0 0 4 5 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066527062928 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9232] ppid=9224 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9232/stat : 9232 (java) S 9224 9224 7621 0 -1 1077944384 88 0 0 0 4 5 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066526009872 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9233] ppid=9224 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9233/stat : 9233 (java) S 9224 9224 7621 0 -1 1077944384 344 0 0 0 4 5 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066524957328 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9234] ppid=9224 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9234/stat : 9234 (java) S 9224 9224 7621 0 -1 1077944384 104 0 0 0 4 6 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066523904272 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9235] ppid=9224 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9235/stat : 9235 (java) S 9224 9224 7621 0 -1 1077944384 110 0 0 0 5 5 0 0 20 0 20 0 3688832 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066522851728 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9236] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9236/stat : 9236 (java) S 9224 9224 7621 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 3688834 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066259176176 140066931415682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9237] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9237/stat : 9237 (java) S 9224 9224 7621 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 3688835 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066258122464 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9238] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9238/stat : 9238 (java) S 9224 9224 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3688836 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066257069312 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9239] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9239/stat : 9239 (java) S 9224 9224 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3688840 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066256017872 140066931423131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9240] ppid=9224 vsize=13269256 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9240/stat : 9240 (java) R 9224 9224 7621 0 -1 4202560 3952 0 0 0 134 0 0 0 20 0 20 0 3688840 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066254964976 140066915409655 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9241] ppid=9224 vsize=13269256 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9241/stat : 9241 (java) S 9224 9224 7621 0 -1 1077944384 2822 0 0 0 125 0 0 0 20 0 20 0 3688840 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066253912432 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9242] ppid=9224 vsize=13269256 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9242/stat : 9242 (java) S 9224 9224 7621 0 -1 1077944384 3768 0 0 0 131 0 0 0 20 0 20 0 3688840 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066252859376 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9243] ppid=9224 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9243/stat : 9243 (java) S 9224 9224 7621 0 -1 1077944384 3837 0 0 0 74 1 0 0 20 0 20 0 3688840 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066251806832 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9244] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9244/stat : 9244 (java) S 9224 9224 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3688840 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066250755040 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9245] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9245/stat : 9245 (java) S 9224 9224 7621 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3688840 13587718144 72852 33554432000 4194304 4196468 140735532340368 140066249702576 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
Current children cumulated CPU time (s) 8.5
Current children cumulated vsize (KiB) 13278768

[startup+6.30091 s]
/proc/loadavg: 14.01 10.55 5.87 10/292 9245
/proc/meminfo: memFree=31271596/32770624 swapFree=5800/235944
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
[pid=9225] ppid=9224 vsize=13269256 CPUtime=13.9 cores=1,3,5,7,9,11,13,15
/proc/9225/stat : 9225 (java) S 9224 9224 7621 0 -1 1077944320 27731 0 0 0 1281 109 0 0 20 0 20 0 3688831 13587718144 126874 33554432000 4194304 4196468 140735532340368 140735532322912 140066931404535 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
/proc/9225/statm: 3317314 126874 3260 1 0 3304547 0
[pid=9225/tid=9226] ppid=9224 vsize=13269256 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9226/stat : 9226 (java) R 9224 9224 7621 0 -1 4202560 9231 0 0 0 596 6 0 0 20 0 20 0 3688831 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066935644112 140066555582914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9228] ppid=9224 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9228/stat : 9228 (java) S 9224 9224 7621 0 -1 1077944384 200 0 0 0 10 11 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066530221072 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9229] ppid=9224 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9229/stat : 9229 (java) S 9224 9224 7621 0 -1 1077944384 152 0 0 0 10 12 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066529168528 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9230] ppid=9224 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9230/stat : 9230 (java) S 9224 9224 7621 0 -1 1077944384 157 0 0 0 10 12 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066528115472 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9231] ppid=9224 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9231/stat : 9231 (java) S 9224 9224 7621 0 -1 1077944384 254 0 0 0 10 11 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066527062928 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9232] ppid=9224 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9232/stat : 9232 (java) S 9224 9224 7621 0 -1 1077944384 192 0 0 0 9 12 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066526009872 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9233] ppid=9224 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9233/stat : 9233 (java) S 9224 9224 7621 0 -1 1077944384 424 0 0 0 9 12 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066524957328 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9234] ppid=9224 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9234/stat : 9234 (java) S 9224 9224 7621 0 -1 1077944384 208 0 0 0 10 12 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066523904272 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9235] ppid=9224 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9235/stat : 9235 (java) S 9224 9224 7621 0 -1 1077944384 167 0 0 0 10 11 0 0 20 0 20 0 3688832 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066522851728 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9236] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9236/stat : 9236 (java) S 9224 9224 7621 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 3688834 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066259176176 140066931415682 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9237] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9237/stat : 9237 (java) S 9224 9224 7621 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 3688835 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066258122464 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9238] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9238/stat : 9238 (java) S 9224 9224 7621 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 3688836 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066257069312 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9239] ppid=9224 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9239/stat : 9239 (java) S 9224 9224 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3688840 13587718144 126874 33554432000 4194304 4196468 140735532340368 140066256017872 140066931423131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0

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

[pid=9225/tid=18229] ppid=9224 vsize=13804844 CPUtime=212.8 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18229/stat : 18229 (java) R 9224 9224 7621 0 -1 4202560 3009 0 0 0 21279 1 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066237478120 140066553980435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18230] ppid=9224 vsize=13804844 CPUtime=213.05 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18230/stat : 18230 (java) R 9224 9224 7621 0 -1 4202560 1882 0 0 0 21304 1 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066240636360 140066553116141 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
Current children cumulated CPU time (s) 2021.34
Current children cumulated vsize (KiB) 13814356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+329.902 s]
/proc/loadavg: 14.65 13.46 8.51 17/299 19753
/proc/meminfo: memFree=25077164/32770624 swapFree=5800/236376
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
[pid=9225] ppid=9224 vsize=13804844 CPUtime=2400.32 cores=1,3,5,7,9,11,13,15
/proc/9225/stat : 9225 (java) S 9224 9224 7621 0 -1 1077944320 223244 0 0 0 239256 776 0 0 20 0 28 0 3688831 14136160256 954760 33554432000 4194304 4196468 140735532340368 140735532322912 140066931404535 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
/proc/9225/statm: 3451211 954760 3311 1 0 3438444 0
[pid=9225/tid=9226] ppid=9224 vsize=13804844 CPUtime=8.98 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9226/stat : 9226 (java) S 9224 9224 7621 0 -1 1077944384 12521 0 0 0 882 16 0 0 20 0 28 0 3688831 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066935645248 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9228] ppid=9224 vsize=13804844 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9228/stat : 9228 (java) S 9224 9224 7621 0 -1 1077944384 1169 0 0 0 138 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066530221072 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9229] ppid=9224 vsize=13804844 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9229/stat : 9229 (java) S 9224 9224 7621 0 -1 1077944384 2164 0 0 0 141 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066529168528 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9230] ppid=9224 vsize=13804844 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9230/stat : 9230 (java) S 9224 9224 7621 0 -1 1077944384 1487 0 0 0 142 69 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066528115472 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9231] ppid=9224 vsize=13804844 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9231/stat : 9231 (java) S 9224 9224 7621 0 -1 1077944384 1543 0 0 0 138 70 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066527062928 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9232] ppid=9224 vsize=13804844 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9232/stat : 9232 (java) S 9224 9224 7621 0 -1 1077944384 1486 0 0 0 139 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066526009872 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9233] ppid=9224 vsize=13804844 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9233/stat : 9233 (java) S 9224 9224 7621 0 -1 1077944384 2354 0 0 0 139 71 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066524957328 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9234] ppid=9224 vsize=13804844 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9234/stat : 9234 (java) S 9224 9224 7621 0 -1 1077944384 1535 0 0 0 139 69 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066523904272 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9235] ppid=9224 vsize=13804844 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9235/stat : 9235 (java) S 9224 9224 7621 0 -1 1077944384 2707 0 0 0 140 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066522851728 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9236] ppid=9224 vsize=13804844 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9236/stat : 9236 (java) S 9224 9224 7621 0 -1 1077944384 6038 0 0 0 13 12 0 0 20 0 28 0 3688834 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066259176176 140066931415682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9237] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9237/stat : 9237 (java) S 9224 9224 7621 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3688835 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066258122464 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9238] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9238/stat : 9238 (java) S 9224 9224 7621 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 3688836 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066257069312 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9239] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9239/stat : 9239 (java) S 9224 9224 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066256017872 140066931423131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9240] ppid=9224 vsize=13804844 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9240/stat : 9240 (java) S 9224 9224 7621 0 -1 1077944384 31536 0 0 0 635 5 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066254964976 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9241] ppid=9224 vsize=13804844 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9241/stat : 9241 (java) S 9224 9224 7621 0 -1 1077944384 23248 0 0 0 511 3 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066253912432 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9242] ppid=9224 vsize=13804844 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9242/stat : 9242 (java) S 9224 9224 7621 0 -1 1077944384 24129 0 0 0 541 3 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066252859376 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9243] ppid=9224 vsize=13804844 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9243/stat : 9243 (java) S 9224 9224 7621 0 -1 1077944384 18643 0 0 0 170 4 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066251806832 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9244] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9244/stat : 9244 (java) S 9224 9224 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066250755040 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9245] ppid=9224 vsize=13804844 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9245/stat : 9245 (java) S 9224 9224 7621 0 -1 1077944384 2826 0 0 0 8 11 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066249702576 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18223] ppid=9224 vsize=13804844 CPUtime=258.45 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18223/stat : 18223 (java) R 9224 9224 7621 0 -1 4202560 3156 0 0 0 25843 2 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066241690432 140066553994179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18224] ppid=9224 vsize=13804844 CPUtime=260.18 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18224/stat : 18224 (java) R 9224 9224 7621 0 -1 4202560 1694 0 0 0 26017 1 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066236425544 140066560855503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18225] ppid=9224 vsize=13804844 CPUtime=260.07 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18225/stat : 18225 (java) R 9224 9224 7621 0 -1 4202560 1489 0 0 0 26007 0 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066238530160 140066553517696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18226] ppid=9224 vsize=13804844 CPUtime=260.19 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18226/stat : 18226 (java) R 9224 9224 7621 0 -1 4202560 12601 0 0 0 26009 10 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066231169864 140066558875279 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18227] ppid=9224 vsize=13804844 CPUtime=259.9 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18227/stat : 18227 (java) R 9224 9224 7621 0 -1 4202560 2221 0 0 0 25990 0 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066239582872 140066553845320 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18228] ppid=9224 vsize=13804844 CPUtime=257.63 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18228/stat : 18228 (java) R 9224 9224 7621 0 -1 4202560 1080 0 0 0 25763 0 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066234319688 140066553275776 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18229] ppid=9224 vsize=13804844 CPUtime=260.31 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18229/stat : 18229 (java) R 9224 9224 7621 0 -1 4202560 3109 0 0 0 26030 1 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066237478120 140066553838860 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18230] ppid=9224 vsize=13804844 CPUtime=260.49 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18230/stat : 18230 (java) R 9224 9224 7621 0 -1 4202560 1921 0 0 0 26047 2 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066240636136 140066553275776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
Current children cumulated CPU time (s) 2400.32
Current children cumulated vsize (KiB) 13814356

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 9225 sig 9
??? kill 9224 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+329.902 s]
/proc/loadavg: 14.65 13.46 8.51 17/299 19753
/proc/meminfo: memFree=25077164/32770624 swapFree=5800/236376
[pid=9224] ppid=9221 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9224/stat : 9224 (xcsp3-exec) S 9221 9224 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3688831 9740288 345 33554432000 4194304 5098028 140732798291520 140732798289624 140487045456508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17760256 140732798293134 140732798293344 140732798293344 140732798296043 0
/proc/9224/statm: 2378 345 289 221 0 87 0
[pid=9225] ppid=9224 vsize=13804844 CPUtime=2400.32 cores=1,3,5,7,9,11,13,15
/proc/9225/stat : 9225 (java) S 9224 9224 7621 0 -1 1077944320 223244 0 0 0 239256 776 0 0 20 0 28 0 3688831 14136160256 954760 33554432000 4194304 4196468 140735532340368 140735532322912 140066931404535 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
/proc/9225/statm: 3451211 954760 3311 1 0 3438444 0
[pid=9225/tid=9226] ppid=9224 vsize=13804844 CPUtime=8.98 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9226/stat : 9226 (java) S 9224 9224 7621 0 -1 1077944384 12521 0 0 0 882 16 0 0 20 0 28 0 3688831 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066935645248 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9228] ppid=9224 vsize=13804844 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9228/stat : 9228 (java) S 9224 9224 7621 0 -1 1077944384 1169 0 0 0 138 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066530221072 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9229] ppid=9224 vsize=13804844 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9229/stat : 9229 (java) S 9224 9224 7621 0 -1 1077944384 2164 0 0 0 141 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066529168528 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9230] ppid=9224 vsize=13804844 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9230/stat : 9230 (java) S 9224 9224 7621 0 -1 1077944384 1487 0 0 0 142 69 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066528115472 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9231] ppid=9224 vsize=13804844 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9231/stat : 9231 (java) S 9224 9224 7621 0 -1 1077944384 1543 0 0 0 138 70 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066527062928 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9232] ppid=9224 vsize=13804844 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9232/stat : 9232 (java) S 9224 9224 7621 0 -1 1077944384 1486 0 0 0 139 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066526009872 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9233] ppid=9224 vsize=13804844 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9233/stat : 9233 (java) S 9224 9224 7621 0 -1 1077944384 2354 0 0 0 139 71 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066524957328 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9234] ppid=9224 vsize=13804844 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9234/stat : 9234 (java) S 9224 9224 7621 0 -1 1077944384 1535 0 0 0 139 69 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066523904272 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9235] ppid=9224 vsize=13804844 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9235/stat : 9235 (java) S 9224 9224 7621 0 -1 1077944384 2707 0 0 0 140 72 0 0 20 0 28 0 3688832 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066522851728 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9236] ppid=9224 vsize=13804844 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9236/stat : 9236 (java) S 9224 9224 7621 0 -1 1077944384 6038 0 0 0 13 12 0 0 20 0 28 0 3688834 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066259176176 140066931415682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9237] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9237/stat : 9237 (java) S 9224 9224 7621 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3688835 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066258122464 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9238] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9238/stat : 9238 (java) S 9224 9224 7621 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 3688836 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066257069312 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9239] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9239/stat : 9239 (java) S 9224 9224 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066256017872 140066931423131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9240] ppid=9224 vsize=13804844 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9240/stat : 9240 (java) S 9224 9224 7621 0 -1 1077944384 31536 0 0 0 635 5 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066254964976 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9241] ppid=9224 vsize=13804844 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9241/stat : 9241 (java) S 9224 9224 7621 0 -1 1077944384 23248 0 0 0 511 3 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066253912432 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9242] ppid=9224 vsize=13804844 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9242/stat : 9242 (java) S 9224 9224 7621 0 -1 1077944384 24129 0 0 0 541 3 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066252859376 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9243] ppid=9224 vsize=13804844 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9243/stat : 9243 (java) S 9224 9224 7621 0 -1 1077944384 18643 0 0 0 170 4 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066251806832 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9244] ppid=9224 vsize=13804844 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9244/stat : 9244 (java) S 9224 9224 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066250755040 140066931414741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=9245] ppid=9224 vsize=13804844 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/9225/task/9245/stat : 9245 (java) S 9224 9224 7621 0 -1 1077944384 2826 0 0 0 8 11 0 0 20 0 28 0 3688840 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066249702576 140066931415682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18223] ppid=9224 vsize=13804844 CPUtime=258.45 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18223/stat : 18223 (java) R 9224 9224 7621 0 -1 4202560 3156 0 0 0 25843 2 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066241690432 140066553994179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18224] ppid=9224 vsize=13804844 CPUtime=260.18 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18224/stat : 18224 (java) R 9224 9224 7621 0 -1 4202560 1694 0 0 0 26017 1 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066236425544 140066560855503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18225] ppid=9224 vsize=13804844 CPUtime=260.07 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18225/stat : 18225 (java) R 9224 9224 7621 0 -1 4202560 1489 0 0 0 26007 0 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066238530160 140066553517696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18226] ppid=9224 vsize=13804844 CPUtime=260.19 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18226/stat : 18226 (java) R 9224 9224 7621 0 -1 4202560 12601 0 0 0 26009 10 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066231169864 140066558875279 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18227] ppid=9224 vsize=13804844 CPUtime=259.9 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18227/stat : 18227 (java) R 9224 9224 7621 0 -1 4202560 2221 0 0 0 25990 0 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066239582872 140066553845320 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18228] ppid=9224 vsize=13804844 CPUtime=257.63 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18228/stat : 18228 (java) R 9224 9224 7621 0 -1 4202560 1080 0 0 0 25763 0 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066234319688 140066553275776 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18229] ppid=9224 vsize=13804844 CPUtime=260.31 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18229/stat : 18229 (java) R 9224 9224 7621 0 -1 4202560 3109 0 0 0 26030 1 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066237478120 140066553838860 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
[pid=9225/tid=18230] ppid=9224 vsize=13804844 CPUtime=260.49 cores=1,3,5,7,9,11,13,15
/proc/9225/task/18230/stat : 18230 (java) R 9224 9224 7621 0 -1 4202560 1921 0 0 0 26047 2 0 0 20 0 28 0 3695692 14136160256 954760 33554432000 4194304 4196468 140735532340368 140066240636136 140066553275776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140735532348604 140735532348780 140735532348780 140735532351439 0
Current children cumulated CPU time (s) 2400.32
Current children cumulated vsize (KiB) 13814356

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 329.912
CPU time (s): 2400.32
CPU user time (s): 2392.56
CPU system time (s): 7.76
CPU usage (%): 727.563
Max. virtual memory (cumulated for all children) (KiB): 13814356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000991
system time used= 0.001982
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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 3.82554 second user time and 4.72596 second system time

The end

Launcher Data 

Begin job on node124 at 2017-07-22 02:43:31
IDJOB=4244732
IDBENCH=115882
IDSOLVER=2625
FILE ID=node124/4244732-1500684211
RUNJOBID= node124-1500683887-7653
PBS_JOBID= 20623343
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 4.0.5
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-4244732-1500684211/watcher-4244732-1500684211 -o /tmp/evaluation-result-4244732-1500684211/solver-4244732-1500684211 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1038799451 HOME/instance-4244732-1500684211.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1038799451

node124.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 2133.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 1600.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:        31766552 kB
MemAvailable:   31805972 kB
Buffers:           47636 kB
Cached:           303076 kB
SwapCached:            0 kB
Active:           390340 kB
Inactive:         244632 kB
Active(anon):     286888 kB
Inactive(anon):     8744 kB
Active(file):     103452 kB
Inactive(file):   235888 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8004 kB
Writeback:             0 kB
AnonPages:        295812 kB
Mapped:            42400 kB
Shmem:              8840 kB
Slab:              65128 kB
SReclaimable:      31828 kB
SUnreclaim:        33300 kB
KernelStack:        5008 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1261120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61992 MiB
End job on node124 at 2017-07-22 02:49:01