Trace number 4270808

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)852 19876.4 2520.1299

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270808-1502671625.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270808-1502671625.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
11.26/5.35	c solve instance...
29.45/7.71	o 0 
31.83/8.20	o 4 
31.83/8.22	o 6 
31.83/8.25	o 8 
34.27/9.99	o 10 
34.43/10.02	o 12 
34.43/10.04	o 14 
35.13/10.12	o 16 
35.13/10.16	o 18 
35.71/10.26	o 20 
36.43/10.36	o 22 
37.96/10.50	o 24 
41.11/10.92	o 26 
45.02/11.46	o 28 
59.50/13.95	o 30 
80.26/17.09	o 32 
109.85/20.80	o 34 
152.27/26.85	o 35 
152.27/26.87	o 36 
152.27/26.89	o 37 
152.27/26.90	o 38 
152.55/26.91	o 39 
152.55/26.92	o 40 
152.55/26.93	o 41 
152.55/26.94	o 42 
152.55/26.96	o 43 
152.55/26.97	o 44 
152.55/26.98	o 45 
152.55/26.99	o 46 
152.55/27.00	o 47 
153.07/27.01	o 48 
153.07/27.03	o 49 
153.07/27.04	o 50 
153.07/27.05	o 51 
153.07/27.09	o 52 
153.59/27.11	o 53 
153.59/27.12	o 54 
153.59/27.14	o 55 
153.59/27.16	o 56 
153.59/27.17	o 57 
153.59/27.19	o 58 
153.99/27.20	o 59 
153.99/27.22	o 60 
153.99/27.23	o 61 
153.99/27.25	o 62 
153.99/27.27	o 63 
153.99/27.28	o 64 
153.99/27.29	o 65 
154.46/27.31	o 66 
154.46/27.32	o 67 
154.46/27.34	o 68 
154.46/27.35	o 69 
154.46/27.37	o 70 
154.46/27.38	o 71 
154.46/27.39	o 72 
154.85/27.41	o 73 
154.85/27.42	o 74 
154.85/27.44	o 75 
154.85/27.45	o 76 
154.85/27.47	o 77 
154.85/27.48	o 78 
154.85/27.49	o 79 
155.34/27.51	o 80 
155.34/27.52	o 81 
155.34/27.53	o 82 
155.34/27.54	o 83 
155.34/27.56	o 84 
155.34/27.57	o 85 
155.34/27.58	o 86 
155.75/27.60	o 87 
155.75/27.61	o 88 
155.75/27.63	o 89 
155.75/27.65	o 90 
155.75/27.66	o 91 
155.75/27.67	o 92 
155.75/27.68	o 93 
156.17/27.70	o 94 
156.17/27.71	o 95 
156.17/27.72	o 96 
156.17/27.73	o 97 
156.17/27.75	o 98 
156.17/27.76	o 99 
156.17/27.77	o 100 
156.17/27.79	o 101 
156.68/27.80	o 102 
156.68/27.81	o 103 
156.68/27.83	o 104 
156.68/27.84	o 105 
156.68/27.85	o 106 
156.68/27.87	o 107 
156.68/27.88	o 108 
156.68/27.90	o 109 
157.14/27.91	o 110 
157.14/27.92	o 111 
157.14/27.93	o 112 
157.14/27.94	o 113 
157.14/27.96	o 114 
157.14/27.97	o 115 
157.14/27.98	o 116 
157.14/27.99	o 117 
157.14/28.00	o 118 
157.72/28.01	o 119 
157.72/28.02	o 120 
157.72/28.04	o 121 
157.72/28.05	o 122 
157.72/28.06	o 123 
157.72/28.08	o 124 
157.72/28.09	o 125 
157.72/28.10	o 126 
158.24/28.11	o 127 
158.24/28.13	o 128 
158.24/28.14	o 129 
158.24/28.15	o 130 
158.24/28.16	o 131 
158.24/28.17	o 132 
158.24/28.18	o 133 
158.24/28.20	o 134 
158.65/28.21	o 135 
158.65/28.23	o 136 
158.65/28.24	o 137 
158.65/28.25	o 138 
158.65/28.26	o 139 
158.65/28.28	o 140 
158.65/28.29	o 141 
159.13/28.30	o 142 
159.13/28.31	o 143 
159.13/28.33	o 144 
159.13/28.34	o 145 
159.13/28.35	o 146 
159.13/28.36	o 147 
159.13/28.38	o 148 
159.13/28.39	o 149 
159.13/28.40	o 150 
159.62/28.41	o 151 
159.62/28.43	o 152 
159.62/28.44	o 153 
159.62/28.46	o 154 
159.62/28.47	o 155 
159.62/28.48	o 156 
159.62/28.50	o 157 
160.12/28.51	o 158 
160.12/28.53	o 159 
160.12/28.54	o 160 
160.12/28.55	o 161 
160.12/28.56	o 162 
160.12/28.57	o 163 
160.12/28.59	o 164 
160.66/28.60	o 165 
160.66/28.61	o 166 
160.66/28.62	o 167 
160.66/28.64	o 168 
160.66/28.65	o 169 
160.66/28.66	o 170 
160.66/28.67	o 171 
160.66/28.68	o 172 
160.66/28.70	o 173 
161.19/28.71	o 174 
161.19/28.72	o 175 
161.19/28.74	o 176 
161.19/28.75	o 177 
161.19/28.76	o 178 
161.19/28.77	o 179 
161.19/28.78	o 180 
161.19/28.79	o 181 
161.76/28.80	o 182 
161.76/28.82	o 183 
161.76/28.83	o 184 
161.76/28.84	o 185 
161.76/28.85	o 186 
161.76/28.86	o 187 
161.76/28.87	o 188 
161.76/28.89	o 189 
161.76/28.90	o 190 
162.26/28.91	o 191 
162.26/28.92	o 192 
162.26/28.94	o 193 
162.26/28.95	o 194 
162.26/28.96	o 195 
162.26/28.97	o 196 
162.26/28.98	o 197 
162.26/29.00	o 198 
162.74/29.02	o 199 
162.74/29.04	o 200 
162.74/29.05	o 201 
162.74/29.06	o 202 
162.74/29.07	o 203 
162.74/29.09	o 204 
162.74/29.10	o 205 
163.30/29.11	o 206 
163.30/29.12	o 207 
163.30/29.13	o 208 
163.30/29.14	o 209 
163.30/29.16	o 210 
163.30/29.17	o 211 
163.30/29.18	o 212 
163.30/29.20	o 213 
163.77/29.21	o 214 
163.77/29.23	o 215 
163.77/29.24	o 216 
163.77/29.26	o 217 
163.77/29.27	o 218 
163.77/29.28	o 219 
163.77/29.30	o 220 
164.25/29.31	o 221 
164.25/29.32	o 222 
164.25/29.33	o 223 
164.25/29.35	o 224 
164.25/29.36	o 225 
164.25/29.37	o 226 
164.25/29.39	o 227 
164.78/29.40	o 228 
164.78/29.41	o 229 
164.78/29.43	o 230 
164.78/29.44	o 231 
164.78/29.45	o 232 
164.78/29.46	o 233 
164.78/29.47	o 234 
164.78/29.48	o 235 
165.29/29.50	o 236 
165.29/29.51	o 237 
165.29/29.53	o 238 
165.29/29.54	o 239 
165.29/29.57	o 240 
165.97/29.90	o 241 
167.33/31.24	o 242 
167.33/31.25	o 243 
167.33/31.27	o 244 
167.33/31.28	o 245 
167.33/31.30	o 246 
167.70/31.31	o 247 
167.70/31.32	o 248 
167.70/31.33	o 249 
167.70/31.35	o 250 
167.70/31.37	o 251 
167.70/31.38	o 252 
167.70/31.39	o 253 
168.24/31.40	o 254 
168.24/31.42	o 255 
168.24/31.43	o 256 
168.24/31.45	o 257 
168.24/31.46	o 258 
168.24/31.47	o 259 
168.24/31.48	o 260 
168.24/31.49	o 261 
168.73/31.51	o 262 
168.73/31.52	o 263 
168.73/31.53	o 264 
168.73/31.55	o 265 
168.73/31.56	o 266 
168.73/31.57	o 267 
168.73/31.58	o 268 
168.73/31.60	o 269 
169.27/31.61	o 270 
169.27/31.62	o 271 
169.27/31.64	o 272 
169.27/31.65	o 273 
169.27/31.67	o 274 
169.27/31.68	o 275 
169.27/31.69	o 276 
169.27/31.70	o 277 
169.84/31.72	o 278 
169.84/31.73	o 279 
169.84/31.75	o 280 
169.84/31.77	o 281 
169.84/31.78	o 282 
169.84/31.79	o 283 
170.36/31.80	o 284 
170.36/31.82	o 285 
170.36/31.84	o 286 
170.36/31.85	o 287 
170.36/31.86	o 288 
170.36/31.87	o 289 
170.36/31.89	o 290 
170.87/31.90	o 291 
170.87/31.91	o 292 
170.87/31.93	o 293 
170.87/31.94	o 294 
170.87/31.95	o 295 
170.87/31.97	o 296 
170.87/31.98	o 297 
170.87/31.99	o 298 
170.87/32.01	o 299 
171.44/32.02	o 300 
171.44/32.03	o 301 
171.44/32.05	o 302 
171.44/32.06	o 303 
171.44/32.07	o 304 
171.44/32.08	o 305 
171.44/32.09	o 306 
171.95/32.11	o 307 
171.95/32.12	o 308 
171.95/32.14	o 309 
171.95/32.15	o 310 
171.95/32.16	o 311 
171.95/32.17	o 312 
171.95/32.18	o 313 
171.95/32.20	o 314 
172.44/32.21	o 315 
172.44/32.22	o 316 
172.44/32.23	o 317 
172.44/32.25	o 318 
172.44/32.26	o 319 
172.44/32.28	o 320 
172.44/32.29	o 321 
173.05/32.30	o 322 
173.05/32.32	o 323 
173.05/32.33	o 324 
173.05/32.34	o 325 
173.05/32.35	o 326 
173.05/32.37	o 327 
173.05/32.38	o 328 
173.05/32.39	o 329 
173.57/32.41	o 330 
173.57/32.42	o 331 
173.57/32.44	o 332 
173.57/32.45	o 333 
173.57/32.46	o 334 
173.57/32.47	o 335 
173.57/32.49	o 336 
174.13/32.50	o 337 
174.13/32.51	o 338 
174.13/32.53	o 339 
174.13/32.54	o 340 
174.13/32.56	o 341 
174.13/32.57	o 342 
174.13/32.58	o 343 
174.13/32.60	o 344 
174.64/32.61	o 345 
174.64/32.63	o 346 
174.64/32.64	o 347 
174.64/32.65	o 348 
174.64/32.67	o 349 
174.64/32.68	o 350 
174.64/32.69	o 351 
175.19/32.71	o 352 
175.19/32.72	o 353 
175.19/32.73	o 354 
175.19/32.75	o 355 
175.19/32.76	o 356 
175.19/32.77	o 357 
175.19/32.78	o 358 
175.73/32.80	o 359 
175.73/32.81	o 360 
175.73/32.83	o 361 
175.73/32.84	o 362 
175.73/32.85	o 363 
175.73/32.86	o 364 
175.73/32.88	o 365 
175.73/32.89	o 366 
176.34/32.91	o 367 
176.34/32.92	o 368 
176.34/32.93	o 369 
176.34/32.95	o 370 
176.34/32.96	o 371 
176.34/32.97	o 372 
176.34/32.98	o 373 
176.34/33.00	o 374 
176.92/33.01	o 375 
176.92/33.03	o 376 
176.92/33.04	o 377 
176.92/33.06	o 378 
176.92/33.08	o 379 
176.92/33.09	o 380 
176.92/33.10	o 381 
177.48/33.12	o 382 
177.48/33.14	o 383 
177.48/33.15	o 384 
177.48/33.16	o 385 
177.48/33.18	o 386 
177.48/33.19	o 387 
177.97/33.20	o 388 
177.97/33.22	o 389 
177.97/33.23	o 390 
177.97/33.25	o 391 
177.97/33.26	o 392 
177.97/33.27	o 393 
177.97/33.29	o 394 
178.50/33.30	o 395 
178.50/33.31	o 396 
178.50/33.33	o 397 
178.50/33.34	o 398 
178.50/33.37	o 399 
179.13/33.65	o 400 
180.39/34.90	o 401 
180.49/34.91	o 402 
180.49/34.93	o 403 
180.49/34.94	o 404 
180.49/34.95	o 405 
180.49/34.96	o 406 
180.49/34.98	o 407 
180.49/34.99	o 408 
180.49/35.00	o 409 
181.11/35.02	o 410 
181.11/35.04	o 411 
181.11/35.05	o 412 
181.11/35.06	o 413 
181.11/35.08	o 414 
181.11/35.09	o 415 
181.11/35.10	o 416 
181.74/35.11	o 417 
181.74/35.13	o 418 
181.74/35.14	o 419 
181.74/35.16	o 420 
181.74/35.17	o 421 
181.74/35.18	o 422 
181.74/35.20	o 423 
182.19/35.21	o 424 
182.19/35.22	o 425 
182.19/35.24	o 426 
182.19/35.26	o 427 
182.19/35.27	o 428 
182.19/35.29	o 429 
182.75/35.30	o 430 
182.75/35.32	o 431 
182.75/35.33	o 432 
182.75/35.34	o 433 
182.75/35.35	o 434 
182.75/35.37	o 435 
182.75/35.38	o 436 
183.29/35.40	o 437 
183.29/35.41	o 438 
183.29/35.43	o 439 
183.29/35.44	o 440 
183.29/35.46	o 441 
183.29/35.47	o 442 
183.29/35.48	o 443 
183.83/35.50	o 444 
183.83/35.51	o 445 
183.83/35.53	o 446 
183.83/35.54	o 447 
183.83/35.55	o 448 
183.83/35.57	o 449 
183.83/35.58	o 450 
183.83/35.60	o 451 
184.36/35.61	o 452 
184.36/35.62	o 453 
184.36/35.64	o 454 
184.36/35.65	o 455 
184.36/35.66	o 456 
184.36/35.68	o 457 
184.36/35.69	o 458 
184.93/35.71	o 459 
184.93/35.72	o 460 
184.93/35.74	o 461 
184.93/35.75	o 462 
184.93/35.76	o 463 
184.93/35.78	o 464 
184.93/35.79	o 465 
185.58/35.80	o 466 
185.58/35.82	o 467 
185.58/35.83	o 468 
185.58/35.84	o 469 
185.58/35.86	o 470 
185.58/35.87	o 471 
185.58/35.89	o 472 
186.14/35.90	o 473 
186.14/35.91	o 474 
186.14/35.92	o 475 
186.14/35.94	o 476 
186.14/35.95	o 477 
186.14/35.97	o 478 
186.14/35.98	o 479 
186.14/35.99	o 480 
186.14/36.01	o 481 
186.81/36.02	o 482 
186.81/36.04	o 483 
186.81/36.06	o 484 
186.81/36.07	o 485 
186.81/36.08	o 486 
186.81/36.10	o 487 
187.33/36.11	o 488 
187.33/36.13	o 489 
187.33/36.14	o 490 
187.33/36.16	o 491 
187.33/36.17	o 492 
187.33/36.18	o 493 
187.82/36.20	o 494 
187.82/36.21	o 495 
187.82/36.23	o 496 
187.82/36.24	o 497 
187.82/36.26	o 498 
187.82/36.27	o 499 
187.82/36.29	o 500 
188.37/36.30	o 501 
188.37/36.32	o 502 
188.37/36.33	o 503 
188.37/36.35	o 504 
188.37/36.36	o 505 
188.37/36.37	o 506 
188.37/36.39	o 507 
188.96/36.40	o 508 
188.96/36.42	o 509 
188.96/36.43	o 510 
188.96/36.44	o 511 
188.96/36.46	o 512 
188.96/36.47	o 513 
188.96/36.48	o 514 
188.96/36.50	o 515 
189.56/36.51	o 516 
189.56/36.53	o 517 
189.56/36.54	o 518 
189.56/36.55	o 519 
189.56/36.57	o 520 
189.56/36.58	o 521 
189.56/36.60	o 522 
190.16/36.61	o 523 
190.16/36.62	o 524 
190.16/36.64	o 525 
190.16/36.65	o 526 
190.16/36.66	o 527 
190.16/36.68	o 528 
190.16/36.69	o 529 
190.78/36.70	o 530 
190.78/36.72	o 531 
190.78/36.73	o 532 
190.78/36.75	o 533 
190.78/36.76	o 534 
190.78/36.77	o 535 
190.78/36.79	o 536 
190.78/36.80	o 537 
191.35/36.81	o 538 
191.35/36.83	o 539 
191.35/36.84	o 540 
191.35/36.85	o 541 
191.35/36.87	o 542 
191.35/36.88	o 543 
191.35/36.90	o 544 
191.94/36.91	o 545 
191.94/36.92	o 546 
191.94/36.94	o 547 
191.94/36.95	o 548 
191.94/36.96	o 549 
191.94/36.98	o 550 
191.94/36.99	o 551 
191.94/37.01	o 552 
192.64/37.02	o 553 
192.64/37.04	o 554 
192.64/37.05	o 555 
192.64/37.06	o 556 
192.64/37.08	o 557 
192.64/37.09	o 558 
193.24/37.11	o 559 
193.24/37.12	o 560 
193.24/37.15	o 561 
193.24/37.17	o 562 
194.00/37.56	o 563 
195.28/38.71	o 564 
195.28/38.72	o 565 
195.28/38.74	o 566 
195.28/38.75	o 567 
195.28/38.77	o 568 
195.28/38.78	o 569 
195.28/38.80	o 570 
195.80/38.81	o 571 
195.80/38.82	o 572 
195.80/38.84	o 573 
195.80/38.85	o 574 
195.80/38.86	o 575 
195.80/38.88	o 576 
195.80/38.89	o 577 
196.41/38.90	o 578 
196.41/38.92	o 579 
196.41/38.93	o 580 
196.41/38.95	o 581 
196.41/38.96	o 582 
196.41/38.98	o 583 
196.41/39.00	o 584 
196.99/39.01	o 585 
196.99/39.03	o 586 
196.99/39.05	o 587 
196.99/39.06	o 588 
196.99/39.08	o 589 
196.99/39.09	o 590 
197.61/39.11	o 591 
197.61/39.12	o 592 
197.61/39.14	o 593 
197.61/39.16	o 594 
197.61/39.17	o 595 
197.61/39.18	o 596 
198.15/39.20	o 597 
198.15/39.22	o 598 
198.15/39.23	o 599 
198.15/39.24	o 600 
198.15/39.26	o 601 
198.15/39.27	o 602 
198.15/39.29	o 603 
198.81/39.30	o 604 
198.81/39.31	o 605 
198.81/39.33	o 606 
198.81/39.34	o 607 
198.81/39.36	o 608 
198.81/39.37	o 609 
198.81/39.39	o 610 
199.39/39.40	o 611 
199.39/39.41	o 612 
199.39/39.43	o 613 
199.39/39.44	o 614 
199.39/39.46	o 615 
199.39/39.47	o 616 
199.39/39.49	o 617 
200.02/39.50	o 618 
200.02/39.52	o 619 
200.02/39.53	o 620 
200.02/39.55	o 621 
200.02/39.56	o 622 
200.02/39.57	o 623 
200.02/39.59	o 624 
200.64/39.60	o 625 
200.64/39.62	o 626 
200.64/39.63	o 627 
200.64/39.64	o 628 
200.64/39.66	o 629 
200.64/39.67	o 630 
200.64/39.68	o 631 
200.64/39.70	o 632 
201.25/39.72	o 633 
201.25/39.73	o 634 
201.25/39.74	o 635 
201.25/39.76	o 636 
201.25/39.77	o 637 
201.25/39.78	o 638 
201.90/39.80	o 639 
201.90/39.81	o 640 
201.90/39.83	o 641 
201.90/39.84	o 642 
201.90/39.86	o 643 
201.90/39.87	o 644 
201.90/39.89	o 645 
201.90/39.90	o 646 
202.55/39.91	o 647 
202.55/39.93	o 648 
202.55/39.94	o 649 
202.55/39.96	o 650 
202.55/39.97	o 651 
202.55/39.98	o 652 
202.55/40.00	o 653 
203.23/40.01	o 654 
203.23/40.02	o 655 
203.23/40.04	o 656 
203.23/40.05	o 657 
203.23/40.07	o 658 
203.23/40.08	o 659 
203.23/40.09	o 660 
203.23/40.11	o 661 
203.88/40.12	o 662 
203.88/40.14	o 663 
203.88/40.16	o 664 
203.88/40.17	o 665 
203.88/40.19	o 666 
204.43/40.20	o 667 
204.43/40.21	o 668 
204.43/40.23	o 669 
204.43/40.25	o 670 
204.43/40.26	o 671 
204.43/40.27	o 672 
204.43/40.29	o 673 
204.43/40.30	o 674 
205.09/40.32	o 675 
205.09/40.33	o 676 
205.09/40.35	o 677 
205.09/40.36	o 678 
205.09/40.38	o 679 
205.09/40.40	o 680 
205.67/40.41	o 681 
205.67/40.43	o 682 
205.67/40.44	o 683 
205.67/40.46	o 684 
205.67/40.47	o 685 
205.67/40.49	o 686 
206.32/40.51	o 687 
206.32/40.52	o 688 
206.32/40.54	o 689 
206.32/40.56	o 690 
206.32/40.57	o 691 
206.32/40.59	o 692 
206.91/40.60	o 693 
206.91/40.62	o 694 
206.91/40.64	o 695 
206.91/40.65	o 696 
206.91/40.67	o 697 
206.91/40.69	o 698 
207.48/40.71	o 699 
207.48/40.72	o 700 
207.48/40.74	o 701 
207.48/40.75	o 702 
207.48/40.77	o 703 
207.48/40.79	o 704 
208.10/40.80	o 705 
208.10/40.82	o 706 
208.10/40.84	o 707 
208.10/40.85	o 708 
208.10/40.88	o 709 
208.68/40.90	o 710 
208.68/40.92	o 711 
208.68/40.94	o 712 
208.68/40.96	o 713 
208.68/40.97	o 714 
208.68/40.99	o 715 
208.68/41.00	o 716 
209.35/41.02	o 717 
209.35/41.04	o 718 
209.35/41.05	o 719 
209.35/41.07	o 720 
209.35/41.08	o 721 
209.35/41.10	o 722 
209.98/41.12	o 723 
209.98/41.13	o 724 
209.98/41.15	o 725 
209.98/41.17	o 726 
209.98/41.18	o 727 
210.51/41.20	o 728 
210.51/41.21	o 729 
210.51/41.23	o 730 
210.51/41.25	o 731 
210.51/41.27	o 732 
210.51/41.28	o 733 
211.09/41.30	o 734 
211.09/41.33	o 735 
211.47/41.53	o 736 
212.65/42.63	o 737 
212.65/42.65	o 738 
212.65/42.66	o 739 
212.65/42.68	o 740 
213.05/42.70	o 741 
213.05/42.72	o 742 
213.05/42.73	o 743 
213.05/42.76	o 744 
213.05/42.77	o 745 
213.05/42.79	o 746 
213.69/42.80	o 747 
213.69/42.82	o 748 
213.69/42.84	o 749 
213.69/42.85	o 750 
213.69/42.87	o 751 
213.69/42.88	o 752 
214.31/42.90	o 753 
214.31/42.92	o 754 
214.31/42.93	o 755 
214.31/42.95	o 756 
214.31/42.96	o 757 
214.31/42.98	o 758 
214.31/43.00	o 759 
214.95/43.01	o 760 
214.95/43.03	o 761 
214.95/43.05	o 762 
214.95/43.07	o 763 
214.95/43.08	o 764 
214.95/43.10	o 765 
215.59/43.11	o 766 
215.59/43.13	o 767 
215.59/43.15	o 768 
215.59/43.17	o 769 
215.59/43.19	o 770 
216.13/43.21	o 771 
216.13/43.22	o 772 
216.13/43.24	o 773 
216.13/43.26	o 774 
216.13/43.27	o 775 
216.13/43.29	o 776 
216.76/43.31	o 777 
216.76/43.33	o 778 
216.76/43.34	o 779 
216.76/43.36	o 780 
216.76/43.38	o 781 
216.76/43.40	o 782 
217.33/43.41	o 783 
217.33/43.43	o 784 
217.33/43.45	o 785 
217.33/43.47	o 786 
217.33/43.48	o 787 
217.94/43.50	o 788 
217.94/43.52	o 789 
217.94/43.54	o 790 
217.94/43.56	o 791 
217.94/43.58	o 792 
218.51/43.60	o 793 
218.51/43.61	o 794 
218.51/43.63	o 795 
218.51/43.65	o 796 
218.51/43.67	o 797 
218.51/43.69	o 798 
219.18/43.70	o 799 
219.18/43.72	o 800 
219.18/43.74	o 801 
219.18/43.76	o 802 
219.18/43.77	o 803 
219.18/43.79	o 804 
219.79/43.81	o 805 
219.79/43.82	o 806 
219.79/43.84	o 807 
219.79/43.86	o 808 
219.79/43.88	o 809 
220.38/43.90	o 810 
220.38/43.92	o 811 
220.38/43.94	o 812 
220.38/43.95	o 813 
220.38/43.97	o 814 
220.38/43.99	o 815 
220.38/44.01	o 816 
221.01/44.02	o 817 
221.01/44.04	o 818 
221.01/44.06	o 819 
221.01/44.08	o 820 
221.01/44.09	o 821 
221.62/44.11	o 822 
221.62/44.13	o 823 
221.62/44.14	o 824 
221.62/44.16	o 825 
221.62/44.18	o 826 
221.62/44.19	o 827 
222.27/44.21	o 828 
222.27/44.23	o 829 
222.27/44.24	o 830 
222.27/44.27	o 831 
222.72/44.38	o 832 
223.90/45.46	o 833 
223.90/45.49	o 834 
224.29/45.61	o 835 
225.49/46.70	o 836 
225.49/46.73	o 837 
225.76/46.84	o 838 
226.98/47.93	o 839 
226.98/47.96	o 840 
230.09/49.21	o 841 
230.09/49.23	o 842 
324.01/61.09	o 843 
512.85/84.78	o 844 
512.85/84.80	o 845 
737.58/113.08	o 846 
1894.27/258.17	o 847 
2328.29/313.14	o 848 
3284.35/433.79	o 849 
9701.65/1241.89	o 850 
16587.74/2106.78	o 851 
17564.94/2230.21	o 852 
19875.53/2520.10	s SATISFIABLE
19875.53/2520.10	v <instantiation>
19875.53/2520.10	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
19875.53/2520.10	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 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 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 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 1 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 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 1 0 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 1 1 0 0 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 1 0 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 0 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 1 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 0 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 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 1 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 1 0 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 0 0 1 0 0 1 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 1 1 0 0 1 0 0 1 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 0 0 1 1 0 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 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 1 1 0 1 0 0 1 0 0 1 1 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 0 0 1 0 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 0 1 0 1 0 0 1 0 0 1 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 1 1 0 0 1 1 0 1 0 0 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 0 0 0 1 0 0 1 1 1 1 0 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 0 0 1 0 1 0 1 0 0 0 0 1 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 1 1 1 1 1 0 1 0 1 1 1 1 0 0 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 0 0 0 0 0 1 0 1 0 0 0 1 1 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 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 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 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 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 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 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 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 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 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 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 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 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 0 0 1 1 1 1 1 1 0 0 1 1 1 0 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 1 0 0 0 0 0 1 0 0 0 1 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 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 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 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 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 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 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 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 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 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 0 1 0 0 1 0 0 1 0 0 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 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 1 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 1 0 1 0 2 1 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 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 0 1 0 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 1 1 1 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 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 1 0 0 1 0 0 1 0 0 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 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 0 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 1 0 0 1 0 0 2 1 1 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 0 0 1 0 1 0 0 0 0 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 1 1 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 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 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 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 1 0 0 0 0 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 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 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 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 1 0 2 0 1 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 2 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 2 0 0 2 0 0 1 2 1 0 0 0 0 0 0 1 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 1 0 0 1 2 0 0 0 0 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 14 15 15 30 30 31 83 90 92 94 98 100 142 152 159 161 165 174 195 198 205 226 228 230 249 253 256 271 274 274 299 309 319 329 335 340 353 356 365 384 393 409 420 440 462 852 </values>
19875.53/2520.10	v </instantiation>
19875.53/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	852

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270808-1502671625/watcher-4270808-1502671625 -o /tmp/evaluation-result-4270808-1502671625/solver-4270808-1502671625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502668245-31343 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1070201081 HOME/instance-4270808-1502671625.xml 

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

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

solver pid=4108, runsolver pid=4105

[startup+0.100118 s]*
/proc/loadavg: 8.41 8.34 8.27 2/200 4129
/proc/meminfo: memFree=31574324/32770624 swapFree=67108860/67108860
[pid=4108] ppid=4105 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4108/stat : 4108 (xcsp3-exec) S 4105 4108 31316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100250773 9740288 346 33554432000 4194304 5098028 140727870695632 140727870693736 140499867288188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140727870702692 140727870702903 140727870702903 140727870705643 0
/proc/4108/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4108 vsize=25999808 memory=27440 CPUtime=0.11 cores=0-7
/proc/4110/stat : 4110 (java) S 4108 4108 31316 0 -1 1077944320 5212 0 0 0 10 1 0 0 20 0 20 0 100250773 26623803392 6860 33554432000 4194304 4196468 140735142171552 140735142154096 140526112526071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
/proc/4110/statm: 6499952 6860 2873 1 0 6488269 0
[pid=4110/tid=4111] ppid=4108 vsize=25999808 memory=280086762750192 CPUtime=0.09 cores=0-7
/proc/4110/task/4111/stat : 4111 (java) R 4108 4108 31316 0 -1 4202560 3227 0 0 0 8 1 0 0 20 0 20 0 100250773 26623803392 6860 33554432000 4194304 4196468 140735142171552 140526116759344 140526112547997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4112] ppid=4108 vsize=25999808 memory=732370181880368101 CPUtime=0 cores=0-7
/proc/4110/task/4112/stat : 4112 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140526035106192 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4113] ppid=4108 vsize=25999808 memory=140043542914688 CPUtime=0 cores=0-7
/proc/4110/task/4113/stat : 4113 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140526034053392 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4114] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4114/stat : 4114 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140526033001104 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4115] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4115/stat : 4115 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140526031948304 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4116] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4116/stat : 4116 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140526030896016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4117] ppid=4108 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4110/task/4117/stat : 4117 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140526029843216 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4118] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4118/stat : 4118 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140525664492688 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4119] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4119/stat : 4119 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250774 26623803392 6860 33554432000 4194304 4196468 140735142171552 140525663439888 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4120] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4120/stat : 4120 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250775 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524653271152 140526112537218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4121] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4121/stat : 4121 (java) S 4108 4108 31316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100250776 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524652217120 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4122] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4122/stat : 4122 (java) S 4108 4108 31316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100250776 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524651164784 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4123] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4123/stat : 4123 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250778 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524650113104 140526112544667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4124] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4124/stat : 4124 (java) S 4108 4108 31316 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 100250778 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524649060976 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4125] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4125/stat : 4125 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250779 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524648008176 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4126] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4126/stat : 4126 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100250779 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524646955888 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4127] ppid=4108 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4110/task/4127/stat : 4127 (java) S 4108 4108 31316 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 100250779 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524645903088 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4128] ppid=4108 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4128/stat : 4128 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100250779 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524644850016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4129] ppid=4108 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4110/task/4129/stat : 4129 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250779 26623803392 6860 33554432000 4194304 4196468 140735142171552 140524643797296 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28824 KiB

[startup+0.210145 s]*
/proc/loadavg: 8.41 8.34 8.27 2/200 4129
/proc/meminfo: memFree=31563880/32770624 swapFree=67108860/67108860
[pid=4108] ppid=4105 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4108/stat : 4108 (xcsp3-exec) S 4105 4108 31316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100250773 9740288 346 33554432000 4194304 5098028 140727870695632 140727870693736 140499867288188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140727870702692 140727870702903 140727870702903 140727870705643 0
/proc/4108/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4108 vsize=26004064 memory=38508 CPUtime=0.33 cores=0-7
/proc/4110/stat : 4110 (java) S 4108 4108 31316 0 -1 1077944320 7733 0 0 0 30 3 0 0 20 0 20 0 100250773 26628161536 9627 33554432000 4194304 4196468 140735142171552 140735142154096 140526112526071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
/proc/4110/statm: 6501016 9627 3050 1 0 6488269 0
[pid=4110/tid=4111] ppid=4108 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/4110/task/4111/stat : 4111 (java) R 4108 4108 31316 0 -1 4202560 4933 0 0 0 18 1 0 0 20 0 20 0 100250773 26628161536 9627 33554432000 4194304 4196468 140735142171552 140526116748976 140526096606558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4112] ppid=4108 vsize=26004064 memory=732370181880368101 CPUtime=0 cores=0-7
/proc/4110/task/4112/stat : 4112 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140526035106192 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4113] ppid=4108 vsize=26004064 memory=140043542914688 CPUtime=0 cores=0-7
/proc/4110/task/4113/stat : 4113 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140526034053392 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4114] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4114/stat : 4114 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140526033001104 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4115] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4115/stat : 4115 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140526031948304 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4116] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4116/stat : 4116 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140526030896016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4117] ppid=4108 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4110/task/4117/stat : 4117 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140526029843216 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4118] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4118/stat : 4118 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140525664492688 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4119] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4119/stat : 4119 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 9627 33554432000 4194304 4196468 140735142171552 140525663439888 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4120] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4120/stat : 4120 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250775 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524653271152 140526112537218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4121] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4121/stat : 4121 (java) S 4108 4108 31316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100250776 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524652217120 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4122] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4122/stat : 4122 (java) S 4108 4108 31316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100250776 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524651164784 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4123] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4123/stat : 4123 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250778 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524650113104 140526112544667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4124] ppid=4108 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/4110/task/4124/stat : 4124 (java) S 4108 4108 31316 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 100250778 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524649060976 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4125] ppid=4108 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4110/task/4125/stat : 4125 (java) S 4108 4108 31316 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 100250779 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524648008176 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4126] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4126/stat : 4126 (java) S 4108 4108 31316 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 20 0 100250779 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524646955888 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4127] ppid=4108 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/4110/task/4127/stat : 4127 (java) R 4108 4108 31316 0 -1 4202560 710 0 0 0 7 0 0 0 20 0 20 0 100250779 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524645903088 140526093785016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4128] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4128/stat : 4128 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100250779 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524644850016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4129] ppid=4108 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4110/task/4129/stat : 4129 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250779 26628161536 9627 33554432000 4194304 4196468 140735142171552 140524643797296 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39892 KiB

[startup+0.30944 s]*
/proc/loadavg: 8.41 8.34 8.27 3/200 4129
/proc/meminfo: memFree=31558816/32770624 swapFree=67108860/67108860
[pid=4108] ppid=4105 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4108/stat : 4108 (xcsp3-exec) S 4105 4108 31316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100250773 9740288 346 33554432000 4194304 5098028 140727870695632 140727870693736 140499867288188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140727870702692 140727870702903 140727870702903 140727870705643 0
/proc/4108/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4108 vsize=26004064 memory=45716 CPUtime=0.49 cores=0-7
/proc/4110/stat : 4110 (java) S 4108 4108 31316 0 -1 1077944320 8654 0 0 0 46 3 0 0 20 0 20 0 100250773 26628161536 11429 33554432000 4194304 4196468 140735142171552 140735142154096 140526112526071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
/proc/4110/statm: 6501016 11429 3066 1 0 6488269 0
[pid=4110/tid=4111] ppid=4108 vsize=26004064 memory=6935054825532540783 CPUtime=0.28 cores=0-7
/proc/4110/task/4111/stat : 4111 (java) R 4108 4108 31316 0 -1 4202560 5599 0 0 0 27 1 0 0 20 0 20 0 100250773 26628161536 11429 33554432000 4194304 4196468 140735142171552 140526116763632 140526112538006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4112] ppid=4108 vsize=26004064 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/4110/task/4112/stat : 4112 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140526035106192 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4113] ppid=4108 vsize=26004064 memory=16156 CPUtime=0 cores=0-7
/proc/4110/task/4113/stat : 4113 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140526034053392 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4114] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4114/stat : 4114 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140526033001104 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4115] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4115/stat : 4115 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140526031948304 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4116] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4116/stat : 4116 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140526030896016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4117] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4117/stat : 4117 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140526029843216 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4118] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4118/stat : 4118 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140525664492688 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4119] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4119/stat : 4119 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250774 26628161536 11429 33554432000 4194304 4196468 140735142171552 140525663439888 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4120] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4120/stat : 4120 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250775 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524653271152 140526112537218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4121] ppid=4108 vsize=26004064 memory=140043381474767 CPUtime=0 cores=0-7
/proc/4110/task/4121/stat : 4121 (java) S 4108 4108 31316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100250776 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524652217120 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4122] ppid=4108 vsize=26004064 memory=280086762944912 CPUtime=0 cores=0-7
/proc/4110/task/4122/stat : 4122 (java) S 4108 4108 31316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100250776 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524651164784 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4123] ppid=4108 vsize=26004064 memory=280086762942608 CPUtime=0 cores=0-7
/proc/4110/task/4123/stat : 4123 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250778 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524650113104 140526112544667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4124] ppid=4108 vsize=26004064 memory=280086762958736 CPUtime=0.02 cores=0-7
/proc/4110/task/4124/stat : 4124 (java) S 4108 4108 31316 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 100250778 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524649060976 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4125] ppid=4108 vsize=26004064 memory=280086762956432 CPUtime=0.02 cores=0-7
/proc/4110/task/4125/stat : 4125 (java) S 4108 4108 31316 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 100250779 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524648008176 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4126] ppid=4108 vsize=26004064 memory=280086762963344 CPUtime=0.01 cores=0-7
/proc/4110/task/4126/stat : 4126 (java) S 4108 4108 31316 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 100250779 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524646955888 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4127] ppid=4108 vsize=26004064 memory=280086762904624 CPUtime=0.12 cores=0-7
/proc/4110/task/4127/stat : 4127 (java) R 4108 4108 31316 0 -1 4202560 822 0 0 0 12 0 0 0 20 0 20 0 100250779 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524645900264 140526089750880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4128] ppid=4108 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4110/task/4128/stat : 4128 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100250779 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524644850016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4129] ppid=4108 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4110/task/4129/stat : 4129 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250779 26628161536 11429 33554432000 4194304 4196468 140735142171552 140524643797296 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47100 KiB

[startup+0.700934 s]
/proc/loadavg: 8.41 8.34 8.27 5/200 4129
/proc/meminfo: memFree=31530852/32770624 swapFree=67108860/67108860
[pid=4108] ppid=4105 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4108/stat : 4108 (xcsp3-exec) S 4105 4108 31316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100250773 9740288 346 33554432000 4194304 5098028 140727870695632 140727870693736 140499867288188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140727870702692 140727870702903 140727870702903 140727870705643 0
/proc/4108/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4108 vsize=26006188 memory=89168 CPUtime=1.72 cores=0-7
/proc/4110/stat : 4110 (java) S 4108 4108 31316 0 -1 1077944320 11799 0 0 0 167 5 0 0 20 0 20 0 100250773 26630336512 22292 33554432000 4194304 4196468 140735142171552 140735142154096 140526112526071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
/proc/4110/statm: 6501547 22292 3199 1 0 6488781 0
[pid=4110/tid=4111] ppid=4108 vsize=26006188 memory=6018850202018223254 CPUtime=0.67 cores=0-7
/proc/4110/task/4111/stat : 4111 (java) R 4108 4108 31316 0 -1 4202560 6062 0 0 0 65 2 0 0 20 0 20 0 100250773 26630336512 22292 33554432000 4194304 4196468 140735142171552 140526116763376 140526112538006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4112] ppid=4108 vsize=26006188 memory=-8820979915922421270 CPUtime=0 cores=0-7
/proc/4110/task/4112/stat : 4112 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26630336512 22292 33554432000 4194304 4196468 140735142171552 140526035106192 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4113] ppid=4108 vsize=26006188 memory=7373668299958692233 CPUtime=0 cores=0-7
/proc/4110/task/4113/stat : 4113 (java) S 4108 4108 31316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100250774 26630336512 22292 33554432000 4194304 4196468 140735142171552 140526034053392 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4114] ppid=4108 vsize=26006188 memory=4640773084224133539 CPUtime=0 cores=0-7
/proc/4110/task/4114/stat : 4114 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100250774 26630336512 22292 33554432000 4194304 4196468 140735142171552 140526033001104 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0

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

[pid=4110/tid=10869] ppid=4108 vsize=26541776 memory=8112282956445269571 CPUtime=210.99 cores=0-7
/proc/4110/task/10869/stat : 10869 (java) R 4108 4108 31316 0 -1 4202560 3792 0 0 0 21098 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524630524680 140525712545053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
Current children cumulated CPU time: 19255.9 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2890452 KiB

[startup+2502.3 s]
/proc/loadavg: 8.54 8.35 8.32 9/208 10874
/proc/meminfo: memFree=28709044/32770624 swapFree=67108860/67108860
[pid=4108] ppid=4105 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4108/stat : 4108 (xcsp3-exec) S 4105 4108 31316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100250773 9740288 346 33554432000 4194304 5098028 140727870695632 140727870693736 140499867288188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140727870702692 140727870702903 140727870702903 140727870705643 0
/proc/4108/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4108 vsize=26541776 memory=2889068 CPUtime=19734.3 cores=0-7
/proc/4110/stat : 4110 (java) S 4108 4108 31316 0 -1 1077944320 923316 0 0 0 1972649 782 0 0 20 0 28 0 100250773 27178778624 722267 33554432000 4194304 4196468 140735142171552 140735142154096 140526112526071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
/proc/4110/statm: 6635444 722267 3305 1 0 6622678 0
[pid=4110/tid=4111] ppid=4108 vsize=26541776 memory=2889068 CPUtime=6.31 cores=0-7
/proc/4110/task/4111/stat : 4111 (java) S 4108 4108 31316 0 -1 1077944384 11451 0 0 0 616 15 0 0 20 0 28 0 100250773 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526116766784 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4112] ppid=4108 vsize=26541776 memory=2889068 CPUtime=7.35 cores=0-7
/proc/4110/task/4112/stat : 4112 (java) S 4108 4108 31316 0 -1 1077944384 29188 0 0 0 715 20 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526035106192 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4113] ppid=4108 vsize=26541776 memory=2889064 CPUtime=7.35 cores=0-7
/proc/4110/task/4113/stat : 4113 (java) S 4108 4108 31316 0 -1 1077944384 26379 0 0 0 713 22 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526034053392 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4114] ppid=4108 vsize=26541776 memory=1384 CPUtime=7.38 cores=0-7
/proc/4110/task/4114/stat : 4114 (java) S 4108 4108 31316 0 -1 1077944384 31061 0 0 0 718 20 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526033001104 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4115] ppid=4108 vsize=26541776 memory=1384 CPUtime=7.33 cores=0-7
/proc/4110/task/4115/stat : 4115 (java) S 4108 4108 31316 0 -1 1077944384 27872 0 0 0 712 21 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526031948304 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4116] ppid=4108 vsize=26541776 memory=2889068 CPUtime=7.31 cores=0-7
/proc/4110/task/4116/stat : 4116 (java) S 4108 4108 31316 0 -1 1077944384 28628 0 0 0 709 22 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526030896016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4117] ppid=4108 vsize=26541776 memory=2889068 CPUtime=7.36 cores=0-7
/proc/4110/task/4117/stat : 4117 (java) S 4108 4108 31316 0 -1 1077944384 27966 0 0 0 716 20 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526029843216 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4118] ppid=4108 vsize=26541776 memory=2889068 CPUtime=7.37 cores=0-7
/proc/4110/task/4118/stat : 4118 (java) S 4108 4108 31316 0 -1 1077944384 26451 0 0 0 714 23 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140525664492688 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4119] ppid=4108 vsize=26541776 memory=2889068 CPUtime=7.35 cores=0-7
/proc/4110/task/4119/stat : 4119 (java) S 4108 4108 31316 0 -1 1077944384 26887 0 0 0 714 21 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140525663439888 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4120] ppid=4108 vsize=26541776 memory=1384 CPUtime=2.39 cores=0-7
/proc/4110/task/4120/stat : 4120 (java) S 4108 4108 31316 0 -1 1077944384 102346 0 0 0 184 55 0 0 20 0 28 0 100250775 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524653271152 140526112537218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4121] ppid=4108 vsize=26541776 memory=2889068 CPUtime=0 cores=0-7
/proc/4110/task/4121/stat : 4121 (java) S 4108 4108 31316 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 100250776 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524652217184 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4122] ppid=4108 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/4110/task/4122/stat : 4122 (java) S 4108 4108 31316 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 100250776 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524651164800 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4123] ppid=4108 vsize=26541776 memory=4128 CPUtime=0 cores=0-7
/proc/4110/task/4123/stat : 4123 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100250778 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524650113104 140526112544667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4124] ppid=4108 vsize=26541776 memory=2889068 CPUtime=4.18 cores=0-7
/proc/4110/task/4124/stat : 4124 (java) S 4108 4108 31316 0 -1 1077944384 31728 0 0 0 412 6 0 0 20 0 28 0 100250778 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524649060976 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4125] ppid=4108 vsize=26541776 memory=1384 CPUtime=4.29 cores=0-7
/proc/4110/task/4125/stat : 4125 (java) S 4108 4108 31316 0 -1 1077944384 38374 0 0 0 422 7 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524648008176 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4126] ppid=4108 vsize=26541776 memory=4140 CPUtime=3.92 cores=0-7
/proc/4110/task/4126/stat : 4126 (java) S 4108 4108 31316 0 -1 1077944384 31942 0 0 0 389 3 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524646955888 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4127] ppid=4108 vsize=26541776 memory=28788 CPUtime=1.36 cores=0-7
/proc/4110/task/4127/stat : 4127 (java) S 4108 4108 31316 0 -1 1077944384 28089 0 0 0 132 4 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524645903088 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4128] ppid=4108 vsize=26541776 memory=4140 CPUtime=0 cores=0-7
/proc/4110/task/4128/stat : 4128 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524644850016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4129] ppid=4108 vsize=26541776 memory=28788 CPUtime=1.05 cores=0-7
/proc/4110/task/4129/stat : 4129 (java) S 4108 4108 31316 0 -1 1077944384 9812 0 0 0 92 13 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524643797296 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10862] ppid=4108 vsize=26541776 memory=1384 CPUtime=269.96 cores=0-7
/proc/4110/task/10862/stat : 10862 (java) R 4108 4108 31316 0 -1 4202560 2805 0 0 0 26995 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524632631872 140525712387840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10863] ppid=4108 vsize=26541776 memory=2889068 CPUtime=271.4 cores=0-7
/proc/4110/task/10863/stat : 10863 (java) R 4108 4108 31316 0 -1 4202560 3140 0 0 0 27139 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524631577280 140525713446340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10864] ppid=4108 vsize=26541776 memory=2889068 CPUtime=270.49 cores=0-7
/proc/4110/task/10864/stat : 10864 (java) R 4108 4108 31316 0 -1 4202560 1987 0 0 0 27049 0 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524633683200 140525719327460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10865] ppid=4108 vsize=26541776 memory=4140 CPUtime=271.53 cores=0-7
/proc/4110/task/10865/stat : 10865 (java) R 4108 4108 31316 0 -1 4202560 2527 0 0 0 27152 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524634735528 140525712589688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10866] ppid=4108 vsize=26541776 memory=8112282956445269571 CPUtime=269.74 cores=0-7
/proc/4110/task/10866/stat : 10866 (java) R 4108 4108 31316 0 -1 4202560 2426 0 0 0 26973 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524629472592 140525713446335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10867] ppid=4108 vsize=26541776 memory=1944 CPUtime=271.55 cores=0-7
/proc/4110/task/10867/stat : 10867 (java) R 4108 4108 31316 0 -1 4202560 1982 0 0 0 27154 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524628420104 140525710693696 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10868] ppid=4108 vsize=26541776 memory=2889068 CPUtime=271.55 cores=0-7
/proc/4110/task/10868/stat : 10868 (java) R 4108 4108 31316 0 -1 4202560 2765 0 0 0 27153 2 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524625269288 140525712518617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10869] ppid=4108 vsize=26541776 memory=1724 CPUtime=270.67 cores=0-7
/proc/4110/task/10869/stat : 10869 (java) R 4108 4108 31316 0 -1 4202560 4313 0 0 0 27066 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524630524488 140525719256496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
Current children cumulated CPU time: 19734.3 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2890452 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.39 8.33 8.32 9/208 10874
/proc/meminfo: memFree=28709052/32770624 swapFree=67108860/67108860
[pid=4108] ppid=4105 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4108/stat : 4108 (xcsp3-exec) S 4105 4108 31316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100250773 9740288 346 33554432000 4194304 5098028 140727870695632 140727870693736 140499867288188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140727870702692 140727870702903 140727870702903 140727870705643 0
/proc/4108/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4108 vsize=26541776 memory=2889068 CPUtime=19875.5 cores=0-7
/proc/4110/stat : 4110 (java) S 4108 4108 31316 0 -1 1077944320 924572 0 0 0 1986770 783 0 0 20 0 28 0 100250773 27178778624 722267 33554432000 4194304 4196468 140735142171552 140735142154096 140526112526071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
/proc/4110/statm: 6635444 722267 3305 1 0 6622678 0
[pid=4110/tid=4111] ppid=4108 vsize=26541776 memory=6935054825532540783 CPUtime=6.31 cores=0-7
/proc/4110/task/4111/stat : 4111 (java) S 4108 4108 31316 0 -1 1077944384 11451 0 0 0 616 15 0 0 20 0 28 0 100250773 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526116766784 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4112] ppid=4108 vsize=26541776 memory=-7003737579269690708 CPUtime=7.37 cores=0-7
/proc/4110/task/4112/stat : 4112 (java) S 4108 4108 31316 0 -1 1077944384 29193 0 0 0 717 20 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526035106192 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4113] ppid=4108 vsize=26541776 memory=16188 CPUtime=7.36 cores=0-7
/proc/4110/task/4113/stat : 4113 (java) S 4108 4108 31316 0 -1 1077944384 26404 0 0 0 714 22 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526034053392 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4114] ppid=4108 vsize=26541776 memory=4040 CPUtime=7.4 cores=0-7
/proc/4110/task/4114/stat : 4114 (java) S 4108 4108 31316 0 -1 1077944384 31097 0 0 0 720 20 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526033001104 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4115] ppid=4108 vsize=26541776 memory=1236 CPUtime=7.34 cores=0-7
/proc/4110/task/4115/stat : 4115 (java) S 4108 4108 31316 0 -1 1077944384 27945 0 0 0 713 21 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526031948304 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4116] ppid=4108 vsize=26541776 memory=644 CPUtime=7.33 cores=0-7
/proc/4110/task/4116/stat : 4116 (java) S 4108 4108 31316 0 -1 1077944384 28681 0 0 0 711 22 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526030896016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4117] ppid=4108 vsize=26541776 memory=1568 CPUtime=7.38 cores=0-7
/proc/4110/task/4117/stat : 4117 (java) S 4108 4108 31316 0 -1 1077944384 27971 0 0 0 718 20 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140526029843216 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4118] ppid=4108 vsize=26541776 memory=2240 CPUtime=7.39 cores=0-7
/proc/4110/task/4118/stat : 4118 (java) S 4108 4108 31316 0 -1 1077944384 26460 0 0 0 716 23 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140525664492688 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4119] ppid=4108 vsize=26541776 memory=8112282956445269571 CPUtime=7.37 cores=0-7
/proc/4110/task/4119/stat : 4119 (java) S 4108 4108 31316 0 -1 1077944384 26940 0 0 0 716 21 0 0 20 0 28 0 100250774 27178778624 722267 33554432000 4194304 4196468 140735142171552 140525663439888 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4120] ppid=4108 vsize=26541776 memory=2889068 CPUtime=2.4 cores=0-7
/proc/4110/task/4120/stat : 4120 (java) S 4108 4108 31316 0 -1 1077944384 102452 0 0 0 185 55 0 0 20 0 28 0 100250775 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524653271152 140526112537218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4121] ppid=4108 vsize=26541776 memory=6764 CPUtime=0 cores=0-7
/proc/4110/task/4121/stat : 4121 (java) S 4108 4108 31316 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 100250776 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524652217184 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4122] ppid=4108 vsize=26541776 memory=840 CPUtime=0 cores=0-7
/proc/4110/task/4122/stat : 4122 (java) S 4108 4108 31316 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 100250776 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524651164800 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4123] ppid=4108 vsize=26541776 memory=1156 CPUtime=0 cores=0-7
/proc/4110/task/4123/stat : 4123 (java) S 4108 4108 31316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100250778 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524650113104 140526112544667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4124] ppid=4108 vsize=26541776 memory=-7003737579269690708 CPUtime=4.18 cores=0-7
/proc/4110/task/4124/stat : 4124 (java) S 4108 4108 31316 0 -1 1077944384 31729 0 0 0 412 6 0 0 20 0 28 0 100250778 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524649060976 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4125] ppid=4108 vsize=26541776 memory=1384 CPUtime=4.29 cores=0-7
/proc/4110/task/4125/stat : 4125 (java) S 4108 4108 31316 0 -1 1077944384 38380 0 0 0 422 7 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524648008176 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4126] ppid=4108 vsize=26541776 memory=2889068 CPUtime=3.92 cores=0-7
/proc/4110/task/4126/stat : 4126 (java) S 4108 4108 31316 0 -1 1077944384 31943 0 0 0 389 3 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524646955888 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4127] ppid=4108 vsize=26541776 memory=4104 CPUtime=1.36 cores=0-7
/proc/4110/task/4127/stat : 4127 (java) S 4108 4108 31316 0 -1 1077944384 28091 0 0 0 132 4 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524645903088 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4128] ppid=4108 vsize=26541776 memory=732 CPUtime=0 cores=0-7
/proc/4110/task/4128/stat : 4128 (java) S 4108 4108 31316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524644850016 140526112536277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=4129] ppid=4108 vsize=26541776 memory=1696 CPUtime=1.05 cores=0-7
/proc/4110/task/4129/stat : 4129 (java) S 4108 4108 31316 0 -1 1077944384 9828 0 0 0 92 13 0 0 20 0 28 0 100250779 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524643797296 140526112537218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10862] ppid=4108 vsize=26541776 memory=920 CPUtime=287.49 cores=0-7
/proc/4110/task/10862/stat : 10862 (java) R 4108 4108 31316 0 -1 4202560 2927 0 0 0 28748 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524632629208 140525719255784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10863] ppid=4108 vsize=26541776 memory=280086766094592 CPUtime=289.09 cores=0-7
/proc/4110/task/10863/stat : 10863 (java) R 4108 4108 31316 0 -1 4202560 3236 0 0 0 28908 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524631577392 140525712544317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10864] ppid=4108 vsize=26541776 memory=8747226831578988619 CPUtime=288.19 cores=0-7
/proc/4110/task/10864/stat : 10864 (java) R 4108 4108 31316 0 -1 4202560 2037 0 0 0 28818 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524633683120 140525712666118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10865] ppid=4108 vsize=26541776 memory=288287770672377436 CPUtime=289.21 cores=0-7
/proc/4110/task/10865/stat : 10865 (java) R 4108 4108 31316 0 -1 4202560 2653 0 0 0 28920 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524634735784 140525712519830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10866] ppid=4108 vsize=26541776 memory=3905803063239408416 CPUtime=287.43 cores=0-7
/proc/4110/task/10866/stat : 10866 (java) R 4108 4108 31316 0 -1 4202560 2509 0 0 0 28742 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524629472544 140525712665186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10867] ppid=4108 vsize=26541776 memory=0 CPUtime=289.23 cores=0-7
/proc/4110/task/10867/stat : 10867 (java) R 4108 4108 31316 0 -1 4202560 2036 0 0 0 28922 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524628419992 140525712519873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10868] ppid=4108 vsize=26541776 memory=6081103475832808803 CPUtime=289.23 cores=0-7
/proc/4110/task/10868/stat : 10868 (java) R 4108 4108 31316 0 -1 4202560 2908 0 0 0 28921 2 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524625271920 140525719028356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
[pid=4110/tid=10869] ppid=4108 vsize=26541776 memory=7595440001688102255 CPUtime=288.15 cores=0-7
/proc/4110/task/10869/stat : 10869 (java) R 4108 4108 31316 0 -1 4202560 4504 0 0 0 28814 1 0 0 20 0 28 0 100473794 27178778624 722267 33554432000 4194304 4196468 140735142171552 140524630524328 140525717242860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140735142179986 140735142180163 140735142180163 140735142182863 0
Current children cumulated CPU time: 19875.5 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2890452 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.13
CPU time (s): 19876.4
CPU user time (s): 19868.6
CPU system time (s): 7.85332
CPU usage (%): 788.706
Max. virtual memory (cumulated for all children) (KiB): 26551952
Max. memory (cumulated for all children) (KiB): 3120920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19868.6
system time used= 7.85332
maximum resident set size= 3133872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236935
involuntary context switches= 209191


# summary of solver processes directly reported to runsolver:
#   pid: 4108,4110
#   total CPU time (s): 19876.4
#   total CPU user time (s): 19868.6
#   total CPU system time (s): 7.85332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8334 second user time and 31.916 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-14 02:32:47
IDJOB=4270808
IDBENCH=115917
IDSOLVER=2662
FILE ID=node103/4270808-1502671625
RUNJOBID= node103-1502668245-31343
PBS_JOBID= 20628966
Free space on /tmp= 61792 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270808-1502671625/watcher-4270808-1502671625 -o /tmp/evaluation-result-4270808-1502671625/solver-4270808-1502671625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502668245-31343 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1070201081 HOME/instance-4270808-1502671625.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=1070201081

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31592240 kB
MemAvailable:   31994064 kB
Buffers:          123252 kB
Cached:           573024 kB
SwapCached:            0 kB
Active:           568112 kB
Inactive:         182244 kB
Active(anon):       3408 kB
Inactive(anon):    78604 kB
Active(file):     564704 kB
Inactive(file):   103640 kB
Unevictable:        6424 kB
Mlocked:            6424 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7992 kB
Writeback:             0 kB
AnonPages:         60520 kB
Mapped:            44148 kB
Shmem:             25228 kB
Slab:             124528 kB
SReclaimable:      98628 kB
SUnreclaim:        25900 kB
KernelStack:        3168 kB
PageTables:         4700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61784 MiB
End job on node103 at 2017-08-14 03:14:47