Trace number 4280618

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)852 19821.6 2520.1399

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-4280618-1503116620.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280618-1503116620.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
11.51/5.39	c solve instance...
27.18/7.47	o 0 
28.66/7.67	o 4 
30.04/8.12	o 6 
30.04/8.14	o 8 
30.04/8.16	o 10 
32.17/9.73	o 12 
32.17/9.76	o 14 
32.17/9.78	o 16 
32.61/9.83	o 18 
33.31/9.91	o 20 
34.11/10.01	o 22 
34.87/10.15	o 24 
37.94/10.56	o 26 
41.91/11.06	o 28 
56.08/13.48	o 30 
76.75/16.56	o 32 
105.73/20.23	o 34 
144.88/25.79	o 35 
144.99/25.81	o 36 
144.99/25.82	o 37 
144.99/25.83	o 38 
144.99/25.84	o 39 
144.99/25.86	o 40 
144.99/25.87	o 41 
144.99/25.88	o 42 
144.99/25.89	o 43 
144.99/25.90	o 44 
145.51/25.92	o 45 
145.51/25.93	o 46 
145.51/25.94	o 47 
145.51/25.95	o 48 
145.51/25.97	o 49 
145.51/25.98	o 50 
145.51/26.01	o 51 
145.95/26.02	o 52 
145.95/26.03	o 53 
145.95/26.04	o 54 
145.95/26.05	o 55 
145.95/26.06	o 56 
145.95/26.07	o 57 
145.95/26.08	o 58 
145.95/26.09	o 59 
146.47/26.11	o 60 
146.47/26.12	o 61 
146.47/26.13	o 62 
146.47/26.14	o 63 
146.47/26.15	o 64 
146.47/26.16	o 65 
146.47/26.18	o 66 
146.47/26.19	o 67 
146.91/26.20	o 68 
146.91/26.21	o 69 
146.91/26.23	o 70 
146.91/26.24	o 71 
146.91/26.25	o 72 
146.91/26.26	o 73 
146.91/26.28	o 74 
147.30/26.30	o 75 
147.30/26.31	o 76 
147.30/26.32	o 77 
147.30/26.33	o 78 
147.30/26.34	o 79 
147.30/26.36	o 80 
147.30/26.37	o 81 
147.30/26.38	o 82 
147.30/26.40	o 83 
147.72/26.41	o 84 
147.72/26.42	o 85 
147.72/26.43	o 86 
147.72/26.44	o 87 
147.72/26.46	o 88 
147.72/26.47	o 89 
147.72/26.48	o 90 
147.72/26.49	o 91 
148.18/26.51	o 92 
148.18/26.52	o 93 
148.18/26.53	o 94 
148.18/26.54	o 95 
148.18/26.56	o 96 
148.18/26.57	o 97 
148.18/26.58	o 98 
148.18/26.59	o 99 
148.54/26.63	o 100 
148.54/26.64	o 101 
148.54/26.65	o 102 
148.54/26.66	o 103 
148.54/26.66	o 104 
148.54/26.68	o 105 
148.54/26.69	o 106 
149.04/26.70	o 107 
149.04/26.71	o 108 
149.04/26.72	o 109 
149.04/26.73	o 110 
149.04/26.74	o 111 
149.04/26.75	o 112 
149.04/26.76	o 113 
149.04/26.77	o 114 
149.04/26.78	o 115 
149.54/26.80	o 116 
149.54/26.81	o 117 
149.54/26.82	o 118 
149.54/26.84	o 119 
149.54/26.85	o 120 
149.54/26.86	o 121 
149.54/26.87	o 122 
149.54/26.88	o 123 
149.54/26.89	o 124 
149.54/26.90	o 125 
150.03/26.91	o 126 
150.03/26.92	o 127 
150.03/26.93	o 128 
150.03/26.94	o 129 
150.03/26.95	o 130 
150.03/26.97	o 131 
150.03/26.98	o 132 
150.03/27.00	o 133 
150.45/27.02	o 134 
150.45/27.03	o 135 
150.45/27.05	o 136 
150.45/27.06	o 137 
150.45/27.07	o 138 
150.45/27.08	o 139 
150.45/27.10	o 140 
150.83/27.11	o 141 
150.83/27.13	o 142 
150.83/27.14	o 143 
150.83/27.15	o 144 
150.83/27.17	o 145 
150.83/27.18	o 146 
150.83/27.19	o 147 
151.23/27.21	o 148 
151.23/27.23	o 149 
151.23/27.24	o 150 
151.23/27.25	o 151 
151.23/27.27	o 152 
151.23/27.28	o 153 
151.23/27.30	o 154 
151.64/27.31	o 155 
151.64/27.32	o 156 
151.64/27.34	o 157 
151.64/27.35	o 158 
151.64/27.37	o 159 
151.64/27.38	o 160 
151.64/27.40	o 161 
152.08/27.41	o 162 
152.08/27.42	o 163 
152.08/27.43	o 164 
152.08/27.45	o 165 
152.08/27.46	o 166 
152.08/27.47	o 167 
152.08/27.48	o 168 
152.08/27.49	o 169 
152.51/27.50	o 170 
152.51/27.52	o 171 
152.51/27.53	o 172 
152.51/27.54	o 173 
152.51/27.55	o 174 
152.51/27.56	o 175 
152.51/27.58	o 176 
152.51/27.59	o 177 
153.03/27.61	o 178 
153.03/27.62	o 179 
153.03/27.63	o 180 
153.03/27.64	o 181 
153.03/27.65	o 182 
153.03/27.66	o 183 
153.03/27.67	o 184 
153.03/27.68	o 185 
153.03/27.69	o 186 
153.45/27.70	o 187 
153.45/27.71	o 188 
153.45/27.72	o 189 
153.45/27.73	o 190 
153.45/27.74	o 191 
153.45/27.75	o 192 
153.45/27.76	o 193 
153.45/27.77	o 194 
153.45/27.78	o 195 
153.45/27.79	o 196 
154.02/27.80	o 197 
154.02/27.82	o 198 
154.02/27.83	o 199 
154.02/27.84	o 200 
154.02/27.86	o 201 
154.02/27.87	o 202 
154.02/27.88	o 203 
154.02/27.89	o 204 
154.46/27.91	o 205 
154.46/27.92	o 206 
154.46/27.93	o 207 
154.46/27.95	o 208 
154.46/27.96	o 209 
154.46/27.97	o 210 
154.46/27.98	o 211 
154.46/27.99	o 212 
154.46/28.00	o 213 
155.08/28.01	o 214 
155.08/28.03	o 215 
155.08/28.04	o 216 
155.08/28.05	o 217 
155.08/28.06	o 218 
155.08/28.07	o 219 
155.08/28.08	o 220 
155.08/28.09	o 221 
155.08/28.10	o 222 
155.58/28.11	o 223 
155.58/28.12	o 224 
155.58/28.14	o 225 
155.58/28.15	o 226 
155.58/28.16	o 227 
155.58/28.17	o 228 
155.58/28.18	o 229 
155.96/28.21	o 230 
155.96/28.22	o 231 
155.96/28.23	o 232 
155.96/28.25	o 233 
155.96/28.27	o 234 
155.96/28.28	o 235 
155.96/28.29	o 236 
156.38/28.30	o 237 
156.38/28.32	o 238 
156.38/28.33	o 239 
156.38/28.34	o 240 
156.38/28.36	o 241 
156.38/28.37	o 242 
156.38/28.38	o 243 
156.38/28.39	o 244 
156.82/28.41	o 245 
156.82/28.42	o 246 
156.82/28.43	o 247 
156.82/28.45	o 248 
156.82/28.46	o 249 
156.82/28.47	o 250 
156.82/28.49	o 251 
157.33/28.50	o 252 
157.33/28.51	o 253 
157.33/28.53	o 254 
157.33/28.54	o 255 
157.33/28.55	o 256 
157.33/28.57	o 257 
157.33/28.58	o 258 
157.33/28.59	o 259 
157.84/28.61	o 260 
157.84/28.62	o 261 
157.84/28.63	o 262 
157.84/28.65	o 263 
157.84/28.66	o 264 
157.84/28.67	o 265 
157.84/28.68	o 266 
157.84/28.70	o 267 
158.31/28.71	o 268 
158.31/28.72	o 269 
158.31/28.73	o 270 
158.31/28.75	o 271 
158.31/28.76	o 272 
158.31/28.77	o 273 
158.31/28.78	o 274 
158.31/28.79	o 275 
158.31/28.80	o 276 
158.86/28.82	o 277 
158.86/28.83	o 278 
158.86/28.85	o 279 
158.86/28.86	o 280 
158.86/28.87	o 281 
158.86/28.88	o 282 
158.86/28.89	o 283 
159.32/28.90	o 284 
159.32/28.92	o 285 
159.32/28.93	o 286 
159.32/28.94	o 287 
159.32/28.95	o 288 
159.32/28.96	o 289 
159.32/28.97	o 290 
159.32/28.98	o 291 
159.32/29.00	o 292 
159.91/29.01	o 293 
159.91/29.02	o 294 
159.91/29.03	o 295 
159.91/29.04	o 296 
159.91/29.06	o 297 
159.91/29.07	o 298 
159.91/29.08	o 299 
159.91/29.09	o 300 
159.91/29.10	o 301 
160.52/29.13	o 302 
160.87/29.43	o 303 
162.25/30.66	o 304 
162.25/30.69	o 305 
162.46/30.70	o 306 
162.46/30.72	o 307 
162.46/30.73	o 308 
162.46/30.75	o 309 
162.46/30.76	o 310 
162.46/30.77	o 311 
162.46/30.78	o 312 
162.46/30.79	o 313 
162.97/30.80	o 314 
162.97/30.82	o 315 
162.97/30.83	o 316 
162.97/30.85	o 317 
162.97/30.86	o 318 
162.97/30.87	o 319 
162.97/30.89	o 320 
163.44/30.90	o 321 
163.44/30.92	o 322 
163.44/30.93	o 323 
163.44/30.95	o 324 
163.44/30.97	o 325 
163.44/30.98	o 326 
163.44/31.00	o 327 
163.93/31.01	o 328 
163.93/31.02	o 329 
163.93/31.04	o 330 
163.93/31.05	o 331 
163.93/31.06	o 332 
163.93/31.07	o 333 
163.93/31.08	o 334 
163.93/31.11	o 335 
164.41/31.12	o 336 
164.41/31.13	o 337 
164.41/31.14	o 338 
164.41/31.15	o 339 
164.41/31.17	o 340 
164.41/31.18	o 341 
164.41/31.19	o 342 
164.91/31.20	o 343 
164.91/31.22	o 344 
164.91/31.23	o 345 
164.91/31.24	o 346 
164.91/31.25	o 347 
164.91/31.27	o 348 
164.91/31.28	o 349 
164.91/31.30	o 350 
165.39/31.31	o 351 
165.39/31.32	o 352 
165.39/31.33	o 353 
165.39/31.34	o 354 
165.39/31.36	o 355 
165.39/31.37	o 356 
165.39/31.38	o 357 
165.39/31.39	o 358 
165.94/31.41	o 359 
165.94/31.42	o 360 
165.94/31.44	o 361 
165.94/31.45	o 362 
165.94/31.46	o 363 
165.94/31.48	o 364 
165.94/31.49	o 365 
166.50/31.51	o 366 
166.50/31.52	o 367 
166.50/31.54	o 368 
166.50/31.55	o 369 
166.50/31.57	o 370 
166.50/31.58	o 371 
166.93/31.60	o 372 
166.93/31.61	o 373 
166.93/31.63	o 374 
166.93/31.64	o 375 
166.93/31.65	o 376 
166.93/31.67	o 377 
166.93/31.68	o 378 
166.93/31.70	o 379 
167.43/31.71	o 380 
167.43/31.72	o 381 
167.43/31.74	o 382 
167.43/31.75	o 383 
167.43/31.76	o 384 
167.43/31.78	o 385 
167.43/31.79	o 386 
167.98/31.80	o 387 
167.98/31.82	o 388 
167.98/31.83	o 389 
167.98/31.84	o 390 
167.98/31.86	o 391 
167.98/31.87	o 392 
167.98/31.88	o 393 
167.98/31.89	o 394 
167.98/31.90	o 395 
168.52/31.92	o 396 
168.52/31.93	o 397 
168.52/31.95	o 398 
168.52/31.97	o 399 
168.52/31.98	o 400 
168.52/31.99	o 401 
168.52/32.00	o 402 
169.05/32.01	o 403 
169.05/32.03	o 404 
169.05/32.04	o 405 
169.05/32.05	o 406 
169.05/32.07	o 407 
169.05/32.08	o 408 
169.05/32.09	o 409 
169.05/32.11	o 410 
169.58/32.12	o 411 
169.58/32.13	o 412 
169.58/32.14	o 413 
169.58/32.15	o 414 
169.58/32.17	o 415 
169.58/32.18	o 416 
170.09/32.20	o 417 
170.09/32.21	o 418 
170.09/32.22	o 419 
170.09/32.23	o 420 
170.09/32.25	o 421 
170.09/32.26	o 422 
170.09/32.27	o 423 
170.09/32.29	o 424 
170.64/32.30	o 425 
170.64/32.31	o 426 
170.64/32.33	o 427 
170.64/32.35	o 428 
170.64/32.36	o 429 
170.64/32.37	o 430 
170.64/32.39	o 431 
171.18/32.40	o 432 
171.18/32.42	o 433 
171.18/32.43	o 434 
171.18/32.45	o 435 
171.18/32.46	o 436 
171.18/32.48	o 437 
171.18/32.49	o 438 
171.65/32.51	o 439 
171.65/32.52	o 440 
171.65/32.54	o 441 
171.65/32.55	o 442 
171.65/32.56	o 443 
171.65/32.58	o 444 
171.65/32.60	o 445 
172.16/32.61	o 446 
172.16/32.63	o 447 
172.16/32.64	o 448 
172.16/32.66	o 449 
172.16/32.67	o 450 
172.16/32.69	o 451 
172.70/32.70	o 452 
172.70/32.72	o 453 
172.70/32.73	o 454 
172.70/32.74	o 455 
172.70/32.75	o 456 
172.70/32.77	o 457 
172.70/32.78	o 458 
172.70/32.79	o 459 
173.21/32.81	o 460 
173.21/32.82	o 461 
173.21/32.83	o 462 
173.21/32.85	o 463 
173.21/32.86	o 464 
173.21/32.88	o 465 
173.21/32.89	o 466 
173.76/32.90	o 467 
173.76/32.92	o 468 
173.76/32.94	o 469 
173.76/32.95	o 470 
173.76/32.97	o 471 
173.76/32.98	o 472 
173.76/33.00	o 473 
174.29/33.01	o 474 
174.29/33.02	o 475 
174.29/33.04	o 476 
174.29/33.06	o 477 
174.29/33.07	o 478 
174.29/33.08	o 479 
174.29/33.10	o 480 
174.29/33.11	o 481 
174.87/33.13	o 482 
174.87/33.15	o 483 
174.87/33.16	o 484 
174.87/33.19	o 485 
175.71/33.66	o 486 
177.09/34.84	o 487 
177.09/34.85	o 488 
177.09/34.86	o 489 
177.09/34.87	o 490 
177.09/34.89	o 491 
177.09/34.90	o 492 
177.43/34.91	o 493 
177.43/34.92	o 494 
177.43/34.94	o 495 
177.43/34.95	o 496 
177.43/34.97	o 497 
177.43/34.98	o 498 
177.43/34.99	o 499 
177.43/35.00	o 500 
178.10/35.02	o 501 
178.10/35.03	o 502 
178.10/35.04	o 503 
178.10/35.06	o 504 
178.10/35.07	o 505 
178.10/35.08	o 506 
178.10/35.10	o 507 
178.10/35.11	o 508 
178.64/35.12	o 509 
178.64/35.14	o 510 
178.64/35.15	o 511 
178.64/35.17	o 512 
178.64/35.19	o 513 
178.64/35.20	o 514 
179.10/35.21	o 515 
179.10/35.23	o 516 
179.10/35.24	o 517 
179.10/35.25	o 518 
179.10/35.27	o 519 
179.10/35.29	o 520 
179.65/35.30	o 521 
179.65/35.32	o 522 
179.65/35.34	o 523 
179.65/35.35	o 524 
179.65/35.37	o 525 
179.65/35.38	o 526 
180.14/35.40	o 527 
180.14/35.41	o 528 
180.14/35.43	o 529 
180.14/35.44	o 530 
180.14/35.45	o 531 
180.14/35.47	o 532 
180.14/35.48	o 533 
180.71/35.50	o 534 
180.71/35.52	o 535 
180.71/35.53	o 536 
180.71/35.55	o 537 
180.71/35.56	o 538 
180.71/35.58	o 539 
180.71/35.59	o 540 
181.28/35.60	o 541 
181.28/35.61	o 542 
181.28/35.63	o 543 
181.28/35.64	o 544 
181.28/35.66	o 545 
181.28/35.67	o 546 
181.28/35.68	o 547 
181.85/35.70	o 548 
181.85/35.71	o 549 
181.85/35.73	o 550 
181.85/35.74	o 551 
181.85/35.75	o 552 
181.85/35.77	o 553 
181.85/35.79	o 554 
182.42/35.80	o 555 
182.42/35.82	o 556 
182.42/35.83	o 557 
182.42/35.85	o 558 
182.42/35.86	o 559 
182.42/35.87	o 560 
182.42/35.89	o 561 
183.02/35.91	o 562 
183.02/35.92	o 563 
183.02/35.93	o 564 
183.02/35.95	o 565 
183.02/35.96	o 566 
183.02/35.97	o 567 
183.02/35.99	o 568 
183.02/36.00	o 569 
183.61/36.02	o 570 
183.61/36.03	o 571 
183.61/36.05	o 572 
183.61/36.07	o 573 
183.61/36.08	o 574 
183.61/36.09	o 575 
184.14/36.11	o 576 
184.14/36.12	o 577 
184.14/36.14	o 578 
184.14/36.16	o 579 
184.14/36.17	o 580 
184.14/36.18	o 581 
184.63/36.20	o 582 
184.63/36.21	o 583 
184.63/36.23	o 584 
184.63/36.24	o 585 
184.63/36.25	o 586 
184.63/36.26	o 587 
184.63/36.28	o 588 
184.63/36.29	o 589 
185.28/36.31	o 590 
185.28/36.32	o 591 
185.28/36.34	o 592 
185.28/36.35	o 593 
185.28/36.37	o 594 
185.28/36.38	o 595 
185.76/36.40	o 596 
185.76/36.41	o 597 
185.76/36.43	o 598 
185.76/36.44	o 599 
185.76/36.45	o 600 
185.76/36.47	o 601 
185.76/36.48	o 602 
186.36/36.51	o 603 
186.36/36.52	o 604 
186.36/36.54	o 605 
186.36/36.56	o 606 
186.36/36.58	o 607 
186.36/36.59	o 608 
186.93/36.61	o 609 
186.93/36.62	o 610 
186.93/36.64	o 611 
186.93/36.65	o 612 
186.93/36.67	o 613 
186.93/36.68	o 614 
187.44/36.70	o 615 
187.44/36.72	o 616 
187.44/36.73	o 617 
187.44/36.75	o 618 
187.44/36.77	o 619 
187.44/36.79	o 620 
187.98/36.80	o 621 
187.98/36.82	o 622 
187.98/36.84	o 623 
187.98/36.86	o 624 
187.98/36.87	o 625 
187.98/36.89	o 626 
188.51/36.90	o 627 
188.51/36.92	o 628 
188.51/36.94	o 629 
188.51/36.95	o 630 
188.51/36.97	o 631 
188.51/36.98	o 632 
188.51/36.99	o 633 
188.51/37.01	o 634 
189.13/37.03	o 635 
189.13/37.05	o 636 
189.13/37.06	o 637 
189.13/37.08	o 638 
189.13/37.09	o 639 
189.65/37.11	o 640 
189.65/37.13	o 641 
189.65/37.15	o 642 
189.65/37.17	o 643 
189.65/37.18	o 644 
190.11/37.20	o 645 
190.11/37.21	o 646 
190.11/37.23	o 647 
190.11/37.25	o 648 
190.11/37.26	o 649 
190.11/37.27	o 650 
190.11/37.29	o 651 
190.73/37.31	o 652 
190.73/37.32	o 653 
190.73/37.35	o 654 
191.33/37.63	o 655 
192.51/38.76	o 656 
192.51/38.78	o 657 
192.51/38.79	o 658 
192.84/38.81	o 659 
192.84/38.83	o 660 
192.84/38.85	o 661 
192.84/38.86	o 662 
192.84/38.88	o 663 
192.84/38.89	o 664 
193.30/38.92	o 665 
193.30/38.93	o 666 
193.30/38.94	o 667 
193.30/38.96	o 668 
193.30/38.98	o 669 
193.30/39.00	o 670 
193.89/39.01	o 671 
193.89/39.03	o 672 
193.89/39.04	o 673 
193.89/39.06	o 674 
193.89/39.08	o 675 
193.89/39.10	o 676 
194.49/39.11	o 677 
194.49/39.13	o 678 
194.49/39.15	o 679 
194.49/39.17	o 680 
194.49/39.19	o 681 
194.96/39.20	o 682 
194.96/39.22	o 683 
194.96/39.23	o 684 
194.96/39.25	o 685 
194.96/39.27	o 686 
194.96/39.28	o 687 
195.51/39.30	o 688 
195.51/39.32	o 689 
195.51/39.34	o 690 
195.51/39.35	o 691 
195.51/39.37	o 692 
195.51/39.38	o 693 
195.51/39.39	o 694 
196.15/39.41	o 695 
196.15/39.43	o 696 
196.15/39.45	o 697 
196.15/39.47	o 698 
196.15/39.48	o 699 
196.62/39.50	o 700 
196.62/39.52	o 701 
196.62/39.54	o 702 
196.62/39.56	o 703 
196.62/39.58	o 704 
196.62/39.60	o 705 
197.15/39.61	o 706 
197.15/39.63	o 707 
197.15/39.65	o 708 
197.15/39.67	o 709 
197.15/39.69	o 710 
197.75/39.71	o 711 
197.75/39.73	o 712 
197.75/39.74	o 713 
197.75/39.76	o 714 
197.75/39.78	o 715 
197.75/39.79	o 716 
198.29/39.81	o 717 
198.29/39.83	o 718 
198.29/39.84	o 719 
198.29/39.86	o 720 
198.29/39.88	o 721 
198.29/39.89	o 722 
198.85/39.91	o 723 
198.85/39.93	o 724 
198.85/39.94	o 725 
198.85/39.97	o 726 
198.85/39.98	o 727 
198.85/40.00	o 728 
199.39/40.02	o 729 
199.39/40.03	o 730 
199.39/40.05	o 731 
199.39/40.07	o 732 
199.39/40.09	o 733 
199.97/40.11	o 734 
199.97/40.12	o 735 
199.97/40.15	o 736 
199.97/40.16	o 737 
199.97/40.18	o 738 
199.97/40.20	o 739 
200.43/40.21	o 740 
200.43/40.23	o 741 
200.43/40.25	o 742 
200.43/40.27	o 743 
200.43/40.28	o 744 
201.01/40.30	o 745 
201.01/40.32	o 746 
201.01/40.33	o 747 
201.01/40.35	o 748 
201.01/40.37	o 749 
201.01/40.39	o 750 
201.54/40.40	o 751 
201.54/40.42	o 752 
201.54/40.44	o 753 
201.54/40.45	o 754 
201.54/40.47	o 755 
201.54/40.49	o 756 
202.17/40.51	o 757 
202.17/40.53	o 758 
202.17/40.54	o 759 
202.17/40.56	o 760 
202.17/40.58	o 761 
202.70/40.60	o 762 
202.70/40.62	o 763 
202.70/40.64	o 764 
202.70/40.66	o 765 
202.70/40.68	o 766 
203.21/40.70	o 767 
203.21/40.72	o 768 
203.21/40.74	o 769 
203.21/40.76	o 770 
203.21/40.78	o 771 
203.75/40.80	o 772 
203.75/40.82	o 773 
203.75/40.83	o 774 
203.75/40.85	o 775 
203.75/40.87	o 776 
203.75/40.89	o 777 
204.34/40.91	o 778 
204.34/40.93	o 779 
204.34/40.95	o 780 
204.34/40.96	o 781 
204.34/40.98	o 782 
204.34/41.00	o 783 
204.89/41.02	o 784 
204.89/41.04	o 785 
204.89/41.06	o 786 
204.89/41.08	o 787 
204.89/41.10	o 788 
205.46/41.12	o 789 
205.46/41.14	o 790 
205.46/41.16	o 791 
205.46/41.18	o 792 
205.90/41.20	o 793 
205.90/41.22	o 794 
205.90/41.24	o 795 
205.90/41.26	o 796 
205.90/41.28	o 797 
205.90/41.30	o 798 
206.45/41.32	o 799 
206.45/41.35	o 800 
206.45/41.36	o 801 
206.45/41.38	o 802 
207.01/41.40	o 803 
207.01/41.42	o 804 
207.01/41.44	o 805 
207.01/41.46	o 806 
207.01/41.48	o 807 
207.01/41.50	o 808 
207.57/41.51	o 809 
207.57/41.53	o 810 
207.57/41.55	o 811 
207.57/41.57	o 812 
207.57/41.59	o 813 
208.15/41.60	o 814 
208.15/41.62	o 815 
208.15/41.64	o 816 
208.15/41.66	o 817 
208.15/41.68	o 818 
208.15/41.70	o 819 
208.71/41.71	o 820 
208.71/41.73	o 821 
208.71/41.76	o 822 
209.19/41.88	o 823 
210.39/42.97	o 824 
210.39/42.99	o 825 
210.39/43.00	o 826 
210.71/43.02	o 827 
210.71/43.04	o 828 
210.71/43.07	o 829 
211.12/43.18	o 830 
212.30/44.26	o 831 
212.30/44.29	o 832 
212.71/44.40	o 833 
213.81/45.49	o 834 
214.00/45.51	o 835 
214.00/45.53	o 836 
214.00/45.54	o 837 
214.00/45.58	o 838 
214.47/45.68	o 839 
215.66/46.76	o 840 
218.60/47.99	o 841 
218.80/48.02	o 842 
307.38/59.38	o 843 
486.15/81.88	o 844 
486.89/81.90	o 845 
675.05/105.51	o 846 
1740.31/239.80	o 847 
2157.42/292.88	o 848 
2892.86/386.23	o 849 
9162.46/1176.54	o 850 
15495.35/1974.70	o 851 
16387.96/2087.36	o 852 
19820.69/2520.10	s SATISFIABLE
19820.69/2520.10	v <instantiation>
19820.69/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>
19820.69/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>
19820.69/2520.10	v </instantiation>
19820.69/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 (11251 MiB free)
  memory of node 1: 16384 MiB (12243 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280618-1503116620/watcher-4280618-1503116620 -o /tmp/evaluation-result-4280618-1503116620/solver-4280618-1503116620 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503110144-3961 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 170908354 HOME/instance-4280618-1503116620.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
solver pid=5151, runsolver pid=5148
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 8.41 8.37 8.26 3/199 5172
/proc/meminfo: memFree=24044748/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5151/stat : 5151 (xcsp3-exec) S 5148 5151 3934 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144749787 9740288 345 33554432000 4194304 5098028 140724730743744 140724730741848 140405769380476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14856192 140724730750053 140724730750263 140724730750263 140724730753003 0
/proc/5151/statm: 2378 345 289 221 0 87 0
[pid=5153] ppid=5151 vsize=25999808 memory=26340 CPUtime=0.12 cores=0-7
/proc/5153/stat : 5153 (java) S 5151 5151 3934 0 -1 1077944320 5512 0 0 0 11 1 0 0 20 0 20 0 144749787 26623803392 6585 33554432000 4194304 4196468 140725878506448 140725878488992 139997852368631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
/proc/5153/statm: 6499952 6585 2832 1 0 6488269 0
[pid=5153/tid=5154] ppid=5151 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5153/task/5154/stat : 5154 (java) R 5151 5151 3934 0 -1 4202560 3513 0 0 0 9 0 0 0 20 0 20 0 144749787 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997856603168 139997836449118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5155] ppid=5151 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5153/task/5155/stat : 5155 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997410098192 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5156] ppid=5151 vsize=25999808 memory=140099976296064 CPUtime=0 cores=0-7
/proc/5153/task/5156/stat : 5156 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997409045648 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5157] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5157/stat : 5157 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997407992592 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5158] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5158/stat : 5158 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997406940048 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5159] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5159/stat : 5159 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997405886992 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5160] ppid=5151 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5153/task/5160/stat : 5160 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997404834448 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5161] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5161/stat : 5161 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997403781392 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5162] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5162/stat : 5162 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26623803392 6585 33554432000 4194304 4196468 140725878506448 139997402728848 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5163] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5163/stat : 5163 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749790 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996979837680 139997852379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5164] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5164/stat : 5164 (java) S 5151 5151 3934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144749790 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996978783904 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5165] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5165/stat : 5165 (java) S 5151 5151 3934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144749790 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996977730800 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5166] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5166/stat : 5166 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749793 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996976679376 139997852387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5167] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5167/stat : 5167 (java) S 5151 5151 3934 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 144749793 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996975626480 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5168] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5168/stat : 5168 (java) S 5151 5151 3934 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 144749793 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996974573936 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5169] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5169/stat : 5169 (java) S 5151 5151 3934 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 144749793 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996973520880 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5170] ppid=5151 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5153/task/5170/stat : 5170 (java) S 5151 5151 3934 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 144749793 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996972468336 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5171] ppid=5151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5171/stat : 5171 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144749793 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996971416544 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5172] ppid=5151 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5153/task/5172/stat : 5172 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749793 26623803392 6585 33554432000 4194304 4196468 140725878506448 139996970364080 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27720 KiB

[startup+0.21061 s]*
/proc/loadavg: 8.41 8.37 8.26 3/199 5172
/proc/meminfo: memFree=24032436/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5151/stat : 5151 (xcsp3-exec) S 5148 5151 3934 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144749787 9740288 345 33554432000 4194304 5098028 140724730743744 140724730741848 140405769380476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14856192 140724730750053 140724730750263 140724730750263 140724730753003 0
/proc/5151/statm: 2378 345 289 221 0 87 0
[pid=5153] ppid=5151 vsize=26004064 memory=39248 CPUtime=0.33 cores=0-7
/proc/5153/stat : 5153 (java) S 5151 5151 3934 0 -1 1077944320 8374 0 0 0 31 2 0 0 20 0 20 0 144749787 26628161536 9812 33554432000 4194304 4196468 140725878506448 140725878488992 139997852368631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
/proc/5153/statm: 6501016 9812 3028 1 0 6488269 0
[pid=5153/tid=5154] ppid=5151 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5153/task/5154/stat : 5154 (java) R 5151 5151 3934 0 -1 4202560 5432 0 0 0 19 1 0 0 20 0 20 0 144749787 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997856583392 139997836449118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5155] ppid=5151 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/5153/task/5155/stat : 5155 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997410098192 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5156] ppid=5151 vsize=26004064 memory=140099976301472 CPUtime=0 cores=0-7
/proc/5153/task/5156/stat : 5156 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997409045648 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5157] ppid=5151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5153/task/5157/stat : 5157 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997407992592 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5158] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5158/stat : 5158 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997406940048 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5159] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5159/stat : 5159 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997405886992 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5160] ppid=5151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5153/task/5160/stat : 5160 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997404834448 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5161] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5161/stat : 5161 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997403781392 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5162] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5162/stat : 5162 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 9812 33554432000 4194304 4196468 140725878506448 139997402728848 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5163] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5163/stat : 5163 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749790 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996979837680 139997852379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5164] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5164/stat : 5164 (java) S 5151 5151 3934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144749790 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996978783904 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5165] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5165/stat : 5165 (java) S 5151 5151 3934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144749790 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996977730800 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5166] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5166/stat : 5166 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996976679376 139997852387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5167] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5167/stat : 5167 (java) S 5151 5151 3934 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996975626480 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5168] ppid=5151 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5153/task/5168/stat : 5168 (java) S 5151 5151 3934 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 144749793 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996974573936 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5169] ppid=5151 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/5153/task/5169/stat : 5169 (java) S 5151 5151 3934 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 144749793 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996973520880 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5170] ppid=5151 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5153/task/5170/stat : 5170 (java) R 5151 5151 3934 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 20 0 144749793 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996972468336 139997844605758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5171] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5171/stat : 5171 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996971416544 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5172] ppid=5151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5153/task/5172/stat : 5172 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 9812 33554432000 4194304 4196468 140725878506448 139996970364080 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40628 KiB

[startup+0.310462 s]*
/proc/loadavg: 8.41 8.37 8.26 4/199 5172
/proc/meminfo: memFree=24027660/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5151/stat : 5151 (xcsp3-exec) S 5148 5151 3934 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144749787 9740288 345 33554432000 4194304 5098028 140724730743744 140724730741848 140405769380476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14856192 140724730750053 140724730750263 140724730750263 140724730753003 0
/proc/5151/statm: 2378 345 289 221 0 87 0
[pid=5153] ppid=5151 vsize=26004064 memory=45944 CPUtime=0.5 cores=0-7
/proc/5153/stat : 5153 (java) S 5151 5151 3934 0 -1 1077944320 9227 0 0 0 48 2 0 0 20 0 20 0 144749787 26628161536 11486 33554432000 4194304 4196468 140725878506448 140725878488992 139997852368631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
/proc/5153/statm: 6501016 11486 3052 1 0 6488269 0
[pid=5153/tid=5154] ppid=5151 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5153/task/5154/stat : 5154 (java) R 5151 5151 3934 0 -1 4202560 6099 0 0 0 28 1 0 0 20 0 20 0 144749787 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997856604816 139997852380566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5155] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5155/stat : 5155 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997410098192 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5156] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5156/stat : 5156 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997409045648 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5157] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5157/stat : 5157 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997407992592 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5158] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5158/stat : 5158 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997406940048 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5159] ppid=5151 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5153/task/5159/stat : 5159 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997405886992 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5160] ppid=5151 vsize=26004064 memory=140099820024751 CPUtime=0 cores=0-7
/proc/5153/task/5160/stat : 5160 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997404834448 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5161] ppid=5151 vsize=26004064 memory=140099820027056 CPUtime=0 cores=0-7
/proc/5153/task/5161/stat : 5161 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997403781392 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5162] ppid=5151 vsize=26004064 memory=140099820029360 CPUtime=0 cores=0-7
/proc/5153/task/5162/stat : 5162 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26628161536 11486 33554432000 4194304 4196468 140725878506448 139997402728848 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5163] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5163/stat : 5163 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749790 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996979837680 139997852379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5164] ppid=5151 vsize=26004064 memory=280199640065680 CPUtime=0 cores=0-7
/proc/5153/task/5164/stat : 5164 (java) S 5151 5151 3934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144749790 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996978783904 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5165] ppid=5151 vsize=26004064 memory=280199640072592 CPUtime=0 cores=0-7
/proc/5153/task/5165/stat : 5165 (java) S 5151 5151 3934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144749790 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996977730800 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5166] ppid=5151 vsize=26004064 memory=280199640013872 CPUtime=0 cores=0-7
/proc/5153/task/5166/stat : 5166 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996976679376 139997852387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5167] ppid=5151 vsize=26004064 memory=280199640086416 CPUtime=0 cores=0-7
/proc/5153/task/5167/stat : 5167 (java) S 5151 5151 3934 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996975626480 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5168] ppid=5151 vsize=26004064 memory=280199640093328 CPUtime=0.04 cores=0-7
/proc/5153/task/5168/stat : 5168 (java) S 5151 5151 3934 0 -1 1077944384 552 0 0 0 4 0 0 0 20 0 20 0 144749793 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996974573936 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5169] ppid=5151 vsize=26004064 memory=280199640091024 CPUtime=0.02 cores=0-7
/proc/5153/task/5169/stat : 5169 (java) R 5151 5151 3934 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 20 0 144749793 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996973520880 139997852379778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5170] ppid=5151 vsize=26004064 memory=280199640107184 CPUtime=0.12 cores=0-7
/proc/5153/task/5170/stat : 5170 (java) R 5151 5151 3934 0 -1 4202560 844 0 0 0 12 0 0 0 20 0 20 0 144749793 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996972464704 139997852380566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5171] ppid=5151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5171/stat : 5171 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996971416544 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5172] ppid=5151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5153/task/5172/stat : 5172 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749793 26628161536 11486 33554432000 4194304 4196468 140725878506448 139996970364080 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47324 KiB

[startup+0.701025 s]
/proc/loadavg: 8.41 8.37 8.26 5/199 5172
/proc/meminfo: memFree=23999636/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5151/stat : 5151 (xcsp3-exec) S 5148 5151 3934 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144749787 9740288 345 33554432000 4194304 5098028 140724730743744 140724730741848 140405769380476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14856192 140724730750053 140724730750263 140724730750263 140724730753003 0
/proc/5151/statm: 2378 345 289 221 0 87 0
[pid=5153] ppid=5151 vsize=26006188 memory=91320 CPUtime=1.81 cores=0-7
/proc/5153/stat : 5153 (java) S 5151 5151 3934 0 -1 1077944320 12877 0 0 0 176 5 0 0 20 0 20 0 144749787 26630336512 22830 33554432000 4194304 4196468 140725878506448 140725878488992 139997852368631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
/proc/5153/statm: 6501547 22830 3198 1 0 6488781 0
[pid=5153/tid=5154] ppid=5151 vsize=26006188 memory=280199640465072 CPUtime=0.67 cores=0-7
/proc/5153/task/5154/stat : 5154 (java) R 5151 5151 3934 0 -1 4202560 6554 0 0 0 65 2 0 0 20 0 20 0 144749787 26630336512 22830 33554432000 4194304 4196468 140725878506448 139997856581264 139997836449118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5155] ppid=5151 vsize=26006188 memory=140099820233584 CPUtime=0 cores=0-7
/proc/5153/task/5155/stat : 5155 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26630336512 22830 33554432000 4194304 4196468 140725878506448 139997410098192 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5156] ppid=5151 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/5153/task/5156/stat : 5156 (java) S 5151 5151 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144749788 26630336512 22830 33554432000 4194304 4196468 140725878506448 139997409045648 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5157] ppid=5151 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/5153/task/5157/stat : 5157 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144749788 26630336512 22830 33554432000 4194304 4196468 140725878506448 139997407992592 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0

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

/proc/meminfo: memFree=20546176/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5151/stat : 5151 (xcsp3-exec) S 5148 5151 3934 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144749787 9740288 345 33554432000 4194304 5098028 140724730743744 140724730741848 140405769380476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14856192 140724730750053 140724730750263 140724730750263 140724730753003 0
/proc/5151/statm: 2378 345 289 221 0 87 0
[pid=5153] ppid=5151 vsize=26541776 memory=3514900 CPUtime=19680.5 cores=0-7
/proc/5153/stat : 5153 (java) S 5151 5151 3934 0 -1 1077944320 1219808 0 0 0 1967032 1016 0 0 20 0 28 0 144749787 27178778624 878725 33554432000 4194304 4196468 140725878506448 140725878488992 139997852368631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
/proc/5153/statm: 6635444 878725 3306 1 0 6622678 0
[pid=5153/tid=5154] ppid=5151 vsize=26541776 memory=3514900 CPUtime=6.51 cores=0-7
/proc/5153/task/5154/stat : 5154 (java) S 5151 5151 3934 0 -1 1077944384 12955 0 0 0 636 15 0 0 20 0 28 0 144749787 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997856609344 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5155] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.31 cores=0-7
/proc/5153/task/5155/stat : 5155 (java) S 5151 5151 3934 0 -1 1077944384 41662 0 0 0 1492 39 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997410098192 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5156] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.26 cores=0-7
/proc/5153/task/5156/stat : 5156 (java) S 5151 5151 3934 0 -1 1077944384 42358 0 0 0 1486 40 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997409045648 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5157] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.2 cores=0-7
/proc/5153/task/5157/stat : 5157 (java) S 5151 5151 3934 0 -1 1077944384 43519 0 0 0 1481 39 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997407992592 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5158] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.2 cores=0-7
/proc/5153/task/5158/stat : 5158 (java) S 5151 5151 3934 0 -1 1077944384 47571 0 0 0 1480 40 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997406940048 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5159] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.22 cores=0-7
/proc/5153/task/5159/stat : 5159 (java) S 5151 5151 3934 0 -1 1077944384 44688 0 0 0 1485 37 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997405886992 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5160] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.3 cores=0-7
/proc/5153/task/5160/stat : 5160 (java) S 5151 5151 3934 0 -1 1077944384 41947 0 0 0 1493 37 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997404834448 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5161] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.17 cores=0-7
/proc/5153/task/5161/stat : 5161 (java) S 5151 5151 3934 0 -1 1077944384 45246 0 0 0 1481 36 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997403781392 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5162] ppid=5151 vsize=26541776 memory=1380 CPUtime=15.24 cores=0-7
/proc/5153/task/5162/stat : 5162 (java) S 5151 5151 3934 0 -1 1077944384 48385 0 0 0 1486 38 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997402728848 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5163] ppid=5151 vsize=26541776 memory=1380 CPUtime=5.21 cores=0-7
/proc/5153/task/5163/stat : 5163 (java) S 5151 5151 3934 0 -1 1077944384 173493 0 0 0 450 71 0 0 20 0 28 0 144749790 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996979837680 139997852379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5164] ppid=5151 vsize=26541776 memory=1716 CPUtime=0 cores=0-7
/proc/5153/task/5164/stat : 5164 (java) S 5151 5151 3934 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 144749790 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996978783968 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5165] ppid=5151 vsize=26541776 memory=3514900 CPUtime=0 cores=0-7
/proc/5153/task/5165/stat : 5165 (java) S 5151 5151 3934 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 144749790 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996977730816 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5166] ppid=5151 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/5153/task/5166/stat : 5166 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996976679376 139997852387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5167] ppid=5151 vsize=26541776 memory=4140 CPUtime=3.68 cores=0-7
/proc/5153/task/5167/stat : 5167 (java) S 5151 5151 3934 0 -1 1077944384 30394 0 0 0 363 5 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996975626480 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5168] ppid=5151 vsize=26541776 memory=1380 CPUtime=3.79 cores=0-7
/proc/5153/task/5168/stat : 5168 (java) S 5151 5151 3934 0 -1 1077944384 29420 0 0 0 374 5 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996974573936 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5169] ppid=5151 vsize=26541776 memory=3514900 CPUtime=4.6 cores=0-7
/proc/5153/task/5169/stat : 5169 (java) S 5151 5151 3934 0 -1 1077944384 35216 0 0 0 454 6 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996973520880 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5170] ppid=5151 vsize=26541776 memory=1380 CPUtime=1.34 cores=0-7
/proc/5153/task/5170/stat : 5170 (java) S 5151 5151 3934 0 -1 1077944384 22833 0 0 0 129 5 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996972468336 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5171] ppid=5151 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/5153/task/5171/stat : 5171 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996971416544 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5172] ppid=5151 vsize=26541776 memory=1380 CPUtime=1.08 cores=0-7
/proc/5153/task/5172/stat : 5172 (java) S 5151 5151 3934 0 -1 1077944384 10203 0 0 0 41 67 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996970364080 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11891] ppid=5151 vsize=26541776 memory=1380 CPUtime=407.49 cores=0-7
/proc/5153/task/11891/stat : 11891 (java) R 5151 5151 3934 0 -1 4202560 5662 0 0 0 40744 5 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996951834520 139997491246133 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11892] ppid=5151 vsize=26541776 memory=4126316290023845779 CPUtime=409.72 cores=0-7
/proc/5153/task/11892/stat : 11892 (java) R 5151 5151 3934 0 -1 4202560 8306 0 0 0 40969 3 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996962354112 139997499664978 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11893] ppid=5151 vsize=26541776 memory=8112282956445269571 CPUtime=408.75 cores=0-7
/proc/5153/task/11893/stat : 11893 (java) R 5151 5151 3934 0 -1 4202560 5933 0 0 0 40869 6 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996960251840 139997499791564 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11894] ppid=5151 vsize=26541776 memory=1380 CPUtime=407.76 cores=0-7
/proc/5153/task/11894/stat : 11894 (java) R 5151 5151 3934 0 -1 4202560 7440 0 0 0 40768 8 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996954984984 139997499663708 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11895] ppid=5151 vsize=26541776 memory=3514900 CPUtime=409.68 cores=0-7
/proc/5153/task/11895/stat : 11895 (java) R 5151 5151 3934 0 -1 4202560 23183 0 0 0 40954 14 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996959195304 139997500234046 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11896] ppid=5151 vsize=26541776 memory=3514900 CPUtime=408.15 cores=0-7
/proc/5153/task/11896/stat : 11896 (java) R 5151 5151 3934 0 -1 4202560 5315 0 0 0 40811 4 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996957090568 139997499664889 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11897] ppid=5151 vsize=26541776 memory=1380 CPUtime=409.33 cores=0-7
/proc/5153/task/11897/stat : 11897 (java) R 5151 5151 3934 0 -1 4202560 5190 0 0 0 40931 2 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996956037992 139997499040433 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11898] ppid=5151 vsize=26541776 memory=3514900 CPUtime=407.99 cores=0-7
/proc/5153/task/11898/stat : 11898 (java) R 5151 5151 3934 0 -1 4202560 9410 0 0 0 40794 5 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996958146600 139997498634511 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
Current children cumulated CPU time: 19680.5 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3516280 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.18 8.42 8.34 9/208 11906
/proc/meminfo: memFree=20545336/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5151/stat : 5151 (xcsp3-exec) S 5148 5151 3934 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144749787 9740288 345 33554432000 4194304 5098028 140724730743744 140724730741848 140405769380476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14856192 140724730750053 140724730750263 140724730750263 140724730753003 0
/proc/5151/statm: 2378 345 289 221 0 87 0
[pid=5153] ppid=5151 vsize=26541776 memory=3514900 CPUtime=19820.7 cores=0-7
/proc/5153/stat : 5153 (java) S 5151 5151 3934 0 -1 1077944320 1226909 0 0 0 1981049 1020 0 0 20 0 28 0 144749787 27178778624 878725 33554432000 4194304 4196468 140725878506448 140725878488992 139997852368631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
/proc/5153/statm: 6635444 878725 3306 1 0 6622678 0
[pid=5153/tid=5154] ppid=5151 vsize=26541776 memory=1380 CPUtime=6.51 cores=0-7
/proc/5153/task/5154/stat : 5154 (java) S 5151 5151 3934 0 -1 1077944384 12955 0 0 0 636 15 0 0 20 0 28 0 144749787 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997856609344 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5155] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.43 cores=0-7
/proc/5153/task/5155/stat : 5155 (java) S 5151 5151 3934 0 -1 1077944384 41792 0 0 0 1504 39 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997410098192 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5156] ppid=5151 vsize=26541776 memory=4128 CPUtime=15.37 cores=0-7
/proc/5153/task/5156/stat : 5156 (java) S 5151 5151 3934 0 -1 1077944384 42599 0 0 0 1497 40 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997409045648 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5157] ppid=5151 vsize=26541776 memory=4126316290023845779 CPUtime=15.3 cores=0-7
/proc/5153/task/5157/stat : 5157 (java) S 5151 5151 3934 0 -1 1077944384 43588 0 0 0 1491 39 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997407992592 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5158] ppid=5151 vsize=26541776 memory=4195447490462202311 CPUtime=15.32 cores=0-7
/proc/5153/task/5158/stat : 5158 (java) S 5151 5151 3934 0 -1 1077944384 48197 0 0 0 1492 40 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997406940048 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5159] ppid=5151 vsize=26541776 memory=3514900 CPUtime=15.33 cores=0-7
/proc/5153/task/5159/stat : 5159 (java) S 5151 5151 3934 0 -1 1077944384 44807 0 0 0 1496 37 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997405886992 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5160] ppid=5151 vsize=26541776 memory=1200 CPUtime=15.43 cores=0-7
/proc/5153/task/5160/stat : 5160 (java) S 5151 5151 3934 0 -1 1077944384 42545 0 0 0 1506 37 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997404834448 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5161] ppid=5151 vsize=26541776 memory=8604 CPUtime=15.29 cores=0-7
/proc/5153/task/5161/stat : 5161 (java) S 5151 5151 3934 0 -1 1077944384 45739 0 0 0 1493 36 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997403781392 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5162] ppid=5151 vsize=26541776 memory=5784 CPUtime=15.35 cores=0-7
/proc/5153/task/5162/stat : 5162 (java) S 5151 5151 3934 0 -1 1077944384 48590 0 0 0 1497 38 0 0 20 0 28 0 144749788 27178778624 878725 33554432000 4194304 4196468 140725878506448 139997402728848 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5163] ppid=5151 vsize=26541776 memory=4616 CPUtime=5.24 cores=0-7
/proc/5153/task/5163/stat : 5163 (java) S 5151 5151 3934 0 -1 1077944384 174562 0 0 0 453 71 0 0 20 0 28 0 144749790 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996979837680 139997852379778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5164] ppid=5151 vsize=26541776 memory=1008 CPUtime=0 cores=0-7
/proc/5153/task/5164/stat : 5164 (java) S 5151 5151 3934 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 144749790 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996978783968 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5165] ppid=5151 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/5153/task/5165/stat : 5165 (java) S 5151 5151 3934 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 144749790 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996977730816 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5166] ppid=5151 vsize=26541776 memory=3514900 CPUtime=0 cores=0-7
/proc/5153/task/5166/stat : 5166 (java) S 5151 5151 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996976679376 139997852387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5167] ppid=5151 vsize=26541776 memory=920 CPUtime=3.68 cores=0-7
/proc/5153/task/5167/stat : 5167 (java) S 5151 5151 3934 0 -1 1077944384 30400 0 0 0 363 5 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996975626480 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5168] ppid=5151 vsize=26541776 memory=4116 CPUtime=3.79 cores=0-7
/proc/5153/task/5168/stat : 5168 (java) S 5151 5151 3934 0 -1 1077944384 29429 0 0 0 374 5 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996974573936 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5169] ppid=5151 vsize=26541776 memory=4104 CPUtime=4.6 cores=0-7
/proc/5153/task/5169/stat : 5169 (java) S 5151 5151 3934 0 -1 1077944384 35222 0 0 0 454 6 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996973520880 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5170] ppid=5151 vsize=26541776 memory=1380 CPUtime=1.34 cores=0-7
/proc/5153/task/5170/stat : 5170 (java) S 5151 5151 3934 0 -1 1077944384 22839 0 0 0 129 5 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996972468336 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5171] ppid=5151 vsize=26541776 memory=40280 CPUtime=0 cores=0-7
/proc/5153/task/5171/stat : 5171 (java) S 5151 5151 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996971416544 139997852378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=5172] ppid=5151 vsize=26541776 memory=1296 CPUtime=1.08 cores=0-7
/proc/5153/task/5172/stat : 5172 (java) S 5151 5151 3934 0 -1 1077944384 10259 0 0 0 41 67 0 0 20 0 28 0 144749793 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996970364080 139997852379778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11891] ppid=5151 vsize=26541776 memory=8112282956445269571 CPUtime=424.83 cores=0-7
/proc/5153/task/11891/stat : 11891 (java) R 5151 5151 3934 0 -1 4202560 5922 0 0 0 42477 6 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996951835096 139997499040410 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11892] ppid=5151 vsize=26541776 memory=1716 CPUtime=427.15 cores=0-7
/proc/5153/task/11892/stat : 11892 (java) R 5151 5151 3934 0 -1 4202560 8720 0 0 0 42712 3 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996962353944 139997500673006 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11893] ppid=5151 vsize=26541776 memory=796 CPUtime=426.17 cores=0-7
/proc/5153/task/11893/stat : 11893 (java) R 5151 5151 3934 0 -1 4202560 6247 0 0 0 42610 7 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996960248576 139997498945017 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11894] ppid=5151 vsize=26541776 memory=1952 CPUtime=425.14 cores=0-7
/proc/5153/task/11894/stat : 11894 (java) R 5151 5151 3934 0 -1 4202560 7766 0 0 0 42506 8 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996954985400 139997498332553 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11895] ppid=5151 vsize=26541776 memory=1200 CPUtime=427.08 cores=0-7
/proc/5153/task/11895/stat : 11895 (java) R 5151 5151 3934 0 -1 4202560 24321 0 0 0 42693 15 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996959198528 139997496059861 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11896] ppid=5151 vsize=26541776 memory=8604 CPUtime=425.59 cores=0-7
/proc/5153/task/11896/stat : 11896 (java) R 5151 5151 3934 0 -1 4202560 5613 0 0 0 42555 4 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996957090248 139997498944229 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11897] ppid=5151 vsize=26541776 memory=5784 CPUtime=426.83 cores=0-7
/proc/5153/task/11897/stat : 11897 (java) R 5151 5151 3934 0 -1 4202560 5376 0 0 0 42680 3 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996956038192 139997496059856 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
[pid=5153/tid=11898] ppid=5151 vsize=26541776 memory=4616 CPUtime=425.35 cores=0-7
/proc/5153/task/11898/stat : 11898 (java) R 5151 5151 3934 0 -1 4202560 9942 0 0 0 42529 6 0 0 20 0 28 0 144958523 27178778624 878725 33554432000 4194304 4196468 140725878506448 139996958143896 139997499526308 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 7532544 140725878514834 140725878515011 140725878515011 140725878517711 0
Current children cumulated CPU time: 19820.7 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 3516280 KiB

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

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

[startup+2520.14 s]
# the end of solver process 5153 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19811.4 s, system=10.2311 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

[startup+2520.13 s]*
/proc/loadavg: 8.18 8.42 8.34 2/181 11908
/proc/meminfo: memFree=22577500/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001872 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 19821.6
CPU user time (s): 19811.4
CPU system time (s): 10.2311
CPU usage (%): 786.526
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 3532496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19811.4
system time used= 10.2311
maximum resident set size= 3531116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1228734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 405035
involuntary context switches= 221247


# summary of solver processes directly reported to runsolver:
#   pid: 5151,5153
#   total CPU time (s): 19821.6
#   total CPU user time (s): 19811.4
#   total CPU system time (s): 10.2311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3399 second user time and 30.9394 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-19 06:09:20
IDJOB=4280618
IDBENCH=115917
IDSOLVER=2675
FILE ID=node104/4280618-1503116620
RUNJOBID= node104-1503110144-3961
PBS_JOBID= 20630753
Free space on /tmp= 61784 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-4280618-1503116620/watcher-4280618-1503116620 -o /tmp/evaluation-result-4280618-1503116620/solver-4280618-1503116620 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503110144-3961 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 170908354 HOME/instance-4280618-1503116620.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=170908354

node104.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.43
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.43
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.43
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.43
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:        24059180 kB
MemAvailable:   31966308 kB
Buffers:          269480 kB
Cached:          7917884 kB
SwapCached:            0 kB
Active:          3243872 kB
Inactive:        4993864 kB
Active(anon):      53472 kB
Inactive(anon):    33192 kB
Active(file):    3190400 kB
Inactive(file):  4960672 kB
Unevictable:        7828 kB
Mlocked:            7828 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7868 kB
Writeback:             0 kB
AnonPages:         54656 kB
Mapped:            50460 kB
Shmem:             33420 kB
Slab:             169644 kB
SReclaimable:     143784 kB
SUnreclaim:        25860 kB
KernelStack:        3056 kB
PageTables:         4804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61776 MiB
End job on node104 at 2017-08-19 06:51:21