Trace number 4271798

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)846 1842.21 252.13499

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 benchmark847
Best CPU time to get the best result obtained on this benchmark1888.7
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-4271798-1502639903.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271798-1502639903.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
11.36/5.38	c solve instance...
27.87/7.59	o 0 
30.86/8.03	o 4 
33.93/9.91	o 6 
33.93/9.93	o 8 
33.93/9.95	o 10 
33.93/9.97	o 12 
33.93/9.99	o 14 
34.39/10.02	o 16 
34.39/10.06	o 18 
35.79/10.21	o 20 
36.53/10.32	o 22 
37.26/10.46	o 24 
40.42/10.87	o 26 
44.32/11.33	o 28 
57.33/13.88	o 30 
78.15/16.83	o 32 
108.12/20.66	o 34 
150.70/26.65	o 35 
150.70/26.67	o 36 
150.70/26.68	o 37 
150.70/26.69	o 38 
150.99/26.71	o 39 
150.99/26.72	o 40 
150.99/26.74	o 41 
150.99/26.75	o 42 
150.99/26.76	o 43 
151.52/26.80	o 44 
151.52/26.82	o 45 
151.52/26.83	o 46 
151.52/26.84	o 47 
151.52/26.86	o 48 
151.52/26.87	o 49 
151.52/26.88	o 50 
151.52/26.89	o 51 
151.99/26.91	o 52 
151.99/26.92	o 53 
151.99/26.93	o 54 
151.99/26.94	o 55 
151.99/26.95	o 56 
151.99/26.97	o 57 
151.99/26.98	o 58 
151.99/26.99	o 59 
151.99/27.00	o 60 
152.52/27.02	o 61 
152.52/27.03	o 62 
152.52/27.04	o 63 
152.52/27.06	o 64 
152.52/27.07	o 65 
152.52/27.08	o 66 
152.52/27.09	o 67 
152.52/27.11	o 68 
152.97/27.12	o 69 
152.97/27.14	o 70 
152.97/27.15	o 71 
152.97/27.16	o 72 
152.97/27.18	o 73 
152.97/27.20	o 74 
153.39/27.21	o 75 
153.39/27.22	o 76 
153.39/27.23	o 77 
153.39/27.24	o 78 
153.39/27.25	o 79 
153.39/27.25	o 80 
153.39/27.26	o 81 
153.39/27.27	o 82 
153.39/27.29	o 83 
153.91/27.30	o 84 
153.91/27.31	o 85 
153.91/27.32	o 86 
153.91/27.33	o 87 
153.91/27.34	o 88 
153.91/27.34	o 89 
153.91/27.36	o 90 
153.91/27.37	o 91 
153.91/27.38	o 92 
153.91/27.39	o 93 
154.43/27.40	o 94 
154.43/27.41	o 95 
154.43/27.42	o 96 
154.43/27.43	o 97 
154.43/27.44	o 98 
154.43/27.45	o 99 
154.43/27.46	o 100 
154.43/27.47	o 101 
154.43/27.48	o 102 
154.43/27.49	o 103 
154.91/27.50	o 104 
154.91/27.52	o 105 
154.91/27.53	o 106 
154.91/27.54	o 107 
154.91/27.55	o 108 
154.91/27.56	o 109 
154.91/27.58	o 110 
155.38/27.60	o 111 
155.38/27.61	o 112 
155.38/27.62	o 113 
155.38/27.63	o 114 
155.38/27.65	o 115 
155.38/27.66	o 116 
155.38/27.67	o 117 
155.38/27.68	o 118 
155.38/27.69	o 119 
155.89/27.71	o 120 
155.89/27.72	o 121 
155.89/27.73	o 122 
155.89/27.74	o 123 
155.89/27.75	o 124 
155.89/27.77	o 125 
155.89/27.78	o 126 
155.89/27.79	o 127 
156.35/27.80	o 128 
156.35/27.81	o 129 
156.35/27.82	o 130 
156.35/27.84	o 131 
156.35/27.85	o 132 
156.35/27.86	o 133 
156.35/27.87	o 134 
156.35/27.88	o 135 
156.35/27.89	o 136 
156.86/27.91	o 137 
156.86/27.92	o 138 
156.86/27.93	o 139 
156.86/27.94	o 140 
156.86/27.96	o 141 
156.86/27.97	o 142 
156.86/27.98	o 143 
156.86/27.99	o 144 
156.86/28.00	o 145 
157.36/28.01	o 146 
157.36/28.03	o 147 
157.36/28.04	o 148 
157.36/28.05	o 149 
157.36/28.06	o 150 
157.36/28.07	o 151 
157.36/28.08	o 152 
157.36/28.09	o 153 
157.36/28.11	o 154 
157.84/28.12	o 155 
157.84/28.13	o 156 
157.84/28.14	o 157 
157.84/28.15	o 158 
157.84/28.17	o 159 
157.84/28.18	o 160 
157.84/28.20	o 161 
157.84/28.21	o 162 
158.34/28.22	o 163 
158.34/28.23	o 164 
158.34/28.24	o 165 
158.34/28.25	o 166 
158.34/28.26	o 167 
158.34/28.27	o 168 
158.34/28.28	o 169 
158.34/28.29	o 170 
158.89/28.30	o 171 
158.89/28.32	o 172 
158.89/28.33	o 173 
158.89/28.34	o 174 
158.89/28.35	o 175 
158.89/28.36	o 176 
158.89/28.37	o 177 
158.89/28.39	o 178 
159.35/28.40	o 179 
159.35/28.41	o 180 
159.35/28.42	o 181 
159.35/28.43	o 182 
159.35/28.45	o 183 
159.35/28.46	o 184 
159.35/28.47	o 185 
159.35/28.49	o 186 
159.80/28.50	o 187 
159.80/28.51	o 188 
159.80/28.53	o 189 
159.80/28.54	o 190 
159.80/28.55	o 191 
159.80/28.56	o 192 
159.80/28.57	o 193 
159.80/28.59	o 194 
160.26/28.60	o 195 
160.26/28.61	o 196 
160.26/28.62	o 197 
160.26/28.63	o 198 
160.26/28.65	o 199 
160.26/28.66	o 200 
160.26/28.67	o 201 
160.26/28.68	o 202 
160.74/28.70	o 203 
160.74/28.71	o 204 
160.74/28.73	o 205 
160.74/28.74	o 206 
160.74/28.75	o 207 
160.74/28.76	o 208 
160.74/28.77	o 209 
160.74/28.78	o 210 
160.74/28.79	o 211 
161.30/28.81	o 212 
161.30/28.82	o 213 
161.30/28.83	o 214 
161.30/28.84	o 215 
161.30/28.85	o 216 
161.30/28.86	o 217 
161.30/28.88	o 218 
161.30/28.89	o 219 
161.76/28.90	o 220 
161.76/28.91	o 221 
161.76/28.93	o 222 
161.76/28.94	o 223 
161.76/28.95	o 224 
161.76/28.96	o 225 
161.76/28.97	o 226 
161.76/28.99	o 227 
161.76/29.00	o 228 
161.76/29.01	o 229 
162.30/29.02	o 230 
162.30/29.03	o 231 
162.30/29.04	o 232 
162.30/29.06	o 233 
162.30/29.07	o 234 
162.30/29.09	o 235 
162.30/29.10	o 236 
162.82/29.11	o 237 
162.82/29.12	o 238 
162.82/29.13	o 239 
162.82/29.15	o 240 
162.82/29.16	o 241 
162.82/29.17	o 242 
162.82/29.18	o 243 
163.29/29.20	o 244 
163.29/29.21	o 245 
163.29/29.22	o 246 
163.29/29.23	o 247 
163.29/29.24	o 248 
163.29/29.25	o 249 
163.29/29.27	o 250 
163.29/29.28	o 251 
163.29/29.29	o 252 
163.83/29.30	o 253 
163.83/29.31	o 254 
163.83/29.33	o 255 
163.83/29.34	o 256 
163.83/29.36	o 257 
163.83/29.37	o 258 
163.83/29.38	o 259 
163.83/29.40	o 260 
164.30/29.41	o 261 
164.30/29.42	o 262 
164.30/29.43	o 263 
164.30/29.44	o 264 
164.30/29.45	o 265 
164.30/29.47	o 266 
164.30/29.48	o 267 
164.30/29.49	o 268 
164.30/29.50	o 269 
164.84/29.51	o 270 
164.84/29.52	o 271 
164.84/29.55	o 272 
164.84/29.57	o 273 
165.59/29.92	o 274 
166.95/31.24	o 275 
166.95/31.26	o 276 
166.95/31.27	o 277 
166.95/31.28	o 278 
167.31/31.31	o 279 
167.31/31.33	o 280 
167.31/31.34	o 281 
167.31/31.35	o 282 
167.31/31.37	o 283 
167.31/31.38	o 284 
167.31/31.39	o 285 
167.79/31.41	o 286 
167.79/31.42	o 287 
167.79/31.43	o 288 
167.79/31.44	o 289 
167.79/31.46	o 290 
167.79/31.47	o 291 
167.79/31.48	o 292 
167.79/31.49	o 293 
168.25/31.51	o 294 
168.25/31.52	o 295 
168.25/31.53	o 296 
168.25/31.54	o 297 
168.25/31.55	o 298 
168.25/31.57	o 299 
168.25/31.58	o 300 
168.25/31.59	o 301 
168.25/31.60	o 302 
168.78/31.61	o 303 
168.78/31.63	o 304 
168.78/31.64	o 305 
168.78/31.65	o 306 
168.78/31.66	o 307 
168.78/31.67	o 308 
168.78/31.69	o 309 
169.28/31.70	o 310 
169.28/31.71	o 311 
169.28/31.72	o 312 
169.28/31.73	o 313 
169.28/31.75	o 314 
169.28/31.76	o 315 
169.28/31.77	o 316 
169.28/31.78	o 317 
169.28/31.80	o 318 
169.80/31.81	o 319 
169.80/31.82	o 320 
169.80/31.83	o 321 
169.80/31.84	o 322 
169.80/31.86	o 323 
169.80/31.87	o 324 
169.80/31.88	o 325 
169.80/31.89	o 326 
170.35/31.91	o 327 
170.35/31.92	o 328 
170.35/31.93	o 329 
170.35/31.94	o 330 
170.35/31.95	o 331 
170.35/31.96	o 332 
170.35/31.97	o 333 
170.35/31.99	o 334 
170.35/32.00	o 335 
170.92/32.01	o 336 
170.92/32.02	o 337 
170.92/32.04	o 338 
170.92/32.05	o 339 
170.92/32.06	o 340 
170.92/32.07	o 341 
170.92/32.09	o 342 
170.92/32.10	o 343 
171.44/32.11	o 344 
171.44/32.12	o 345 
171.44/32.13	o 346 
171.44/32.15	o 347 
171.44/32.16	o 348 
171.44/32.17	o 349 
171.44/32.18	o 350 
171.44/32.20	o 351 
171.93/32.21	o 352 
171.93/32.22	o 353 
171.93/32.23	o 354 
171.93/32.25	o 355 
171.93/32.26	o 356 
171.93/32.27	o 357 
171.93/32.28	o 358 
171.93/32.30	o 359 
172.49/32.31	o 360 
172.49/32.33	o 361 
172.49/32.34	o 362 
172.49/32.35	o 363 
172.49/32.36	o 364 
172.49/32.38	o 365 
172.49/32.39	o 366 
173.08/32.40	o 367 
173.08/32.42	o 368 
173.08/32.43	o 369 
173.08/32.44	o 370 
173.08/32.46	o 371 
173.08/32.47	o 372 
173.08/32.48	o 373 
173.55/32.50	o 374 
173.55/32.51	o 375 
173.55/32.53	o 376 
173.55/32.54	o 377 
173.55/32.55	o 378 
173.55/32.56	o 379 
173.55/32.58	o 380 
173.55/32.59	o 381 
174.04/32.60	o 382 
174.04/32.61	o 383 
174.04/32.62	o 384 
174.04/32.64	o 385 
174.04/32.65	o 386 
174.04/32.66	o 387 
174.04/32.68	o 388 
174.04/32.69	o 389 
174.58/32.70	o 390 
174.58/32.72	o 391 
174.58/32.73	o 392 
174.58/32.74	o 393 
174.58/32.75	o 394 
174.58/32.77	o 395 
174.58/32.78	o 396 
174.58/32.80	o 397 
175.10/32.81	o 398 
175.10/32.83	o 399 
175.10/32.85	o 400 
175.10/32.86	o 401 
175.10/32.87	o 402 
175.10/32.89	o 403 
175.63/32.91	o 404 
175.63/32.92	o 405 
175.63/32.93	o 406 
175.63/32.95	o 407 
175.63/32.96	o 408 
175.63/32.98	o 409 
175.63/32.99	o 410 
175.63/33.01	o 411 
176.18/33.02	o 412 
176.18/33.03	o 413 
176.18/33.05	o 414 
176.18/33.06	o 415 
176.18/33.08	o 416 
176.18/33.09	o 417 
176.18/33.11	o 418 
176.64/33.12	o 419 
176.64/33.14	o 420 
176.64/33.15	o 421 
176.64/33.16	o 422 
176.64/33.18	o 423 
176.64/33.19	o 424 
177.15/33.20	o 425 
177.15/33.21	o 426 
177.15/33.23	o 427 
177.15/33.24	o 428 
177.15/33.26	o 429 
177.15/33.27	o 430 
177.15/33.28	o 431 
177.15/33.29	o 432 
177.15/33.30	o 433 
177.70/33.32	o 434 
177.70/33.33	o 435 
177.70/33.34	o 436 
177.70/33.36	o 437 
177.70/33.37	o 438 
177.70/33.39	o 439 
178.19/33.40	o 440 
178.19/33.42	o 441 
178.19/33.43	o 442 
178.19/33.44	o 443 
178.19/33.46	o 444 
178.19/33.47	o 445 
178.19/33.49	o 446 
178.75/33.50	o 447 
178.75/33.51	o 448 
178.75/33.53	o 449 
178.75/33.54	o 450 
178.75/33.55	o 451 
178.75/33.57	o 452 
178.75/33.58	o 453 
178.75/33.59	o 454 
179.35/33.61	o 455 
179.35/33.63	o 456 
179.35/33.64	o 457 
179.35/33.66	o 458 
179.35/33.67	o 459 
179.35/33.68	o 460 
179.35/33.69	o 461 
179.80/33.71	o 462 
179.80/33.72	o 463 
179.80/33.74	o 464 
179.80/33.77	o 465 
180.56/34.24	o 466 
181.84/35.46	o 467 
181.84/35.47	o 468 
181.84/35.48	o 469 
181.84/35.50	o 470 
182.13/35.51	o 471 
182.13/35.53	o 472 
182.13/35.54	o 473 
182.13/35.56	o 474 
182.13/35.57	o 475 
182.13/35.58	o 476 
182.13/35.60	o 477 
182.69/35.61	o 478 
182.69/35.62	o 479 
182.69/35.63	o 480 
182.69/35.65	o 481 
182.69/35.66	o 482 
182.69/35.67	o 483 
182.69/35.69	o 484 
183.29/35.70	o 485 
183.29/35.71	o 486 
183.29/35.73	o 487 
183.29/35.74	o 488 
183.29/35.75	o 489 
183.29/35.77	o 490 
183.29/35.78	o 491 
183.29/35.79	o 492 
183.88/35.81	o 493 
183.88/35.82	o 494 
183.88/35.83	o 495 
183.88/35.85	o 496 
183.88/35.86	o 497 
183.88/35.87	o 498 
183.88/35.89	o 499 
184.40/35.90	o 500 
184.40/35.91	o 501 
184.40/35.93	o 502 
184.40/35.94	o 503 
184.40/35.96	o 504 
184.40/35.97	o 505 
184.40/35.98	o 506 
184.40/36.00	o 507 
184.98/36.01	o 508 
184.98/36.03	o 509 
184.98/36.04	o 510 
184.98/36.06	o 511 
184.98/36.07	o 512 
184.98/36.08	o 513 
184.98/36.10	o 514 
185.60/36.11	o 515 
185.60/36.12	o 516 
185.60/36.14	o 517 
185.60/36.15	o 518 
185.60/36.17	o 519 
185.60/36.18	o 520 
185.60/36.20	o 521 
186.08/36.21	o 522 
186.08/36.22	o 523 
186.08/36.24	o 524 
186.08/36.25	o 525 
186.08/36.27	o 526 
186.08/36.28	o 527 
186.08/36.29	o 528 
186.74/36.31	o 529 
186.74/36.32	o 530 
186.74/36.33	o 531 
186.74/36.35	o 532 
186.74/36.36	o 533 
186.74/36.38	o 534 
186.74/36.39	o 535 
187.25/36.41	o 536 
187.25/36.42	o 537 
187.25/36.44	o 538 
187.25/36.45	o 539 
187.25/36.46	o 540 
187.25/36.48	o 541 
187.25/36.49	o 542 
187.81/36.51	o 543 
187.81/36.52	o 544 
187.81/36.54	o 545 
187.81/36.55	o 546 
187.81/36.56	o 547 
187.81/36.58	o 548 
187.81/36.59	o 549 
188.36/36.61	o 550 
188.36/36.62	o 551 
188.36/36.64	o 552 
188.36/36.65	o 553 
188.36/36.67	o 554 
188.36/36.68	o 555 
188.36/36.69	o 556 
188.95/36.70	o 557 
188.95/36.72	o 558 
188.95/36.73	o 559 
188.95/36.74	o 560 
188.95/36.76	o 561 
188.95/36.77	o 562 
188.95/36.78	o 563 
189.51/36.80	o 564 
189.51/36.81	o 565 
189.51/36.83	o 566 
189.51/36.84	o 567 
189.51/36.85	o 568 
189.51/36.86	o 569 
189.51/36.88	o 570 
189.51/36.89	o 571 
190.15/36.90	o 572 
190.15/36.92	o 573 
190.15/36.93	o 574 
190.15/36.95	o 575 
190.15/36.96	o 576 
190.15/36.97	o 577 
190.15/36.98	o 578 
190.15/37.00	o 579 
190.74/37.01	o 580 
190.74/37.03	o 581 
190.74/37.04	o 582 
190.74/37.05	o 583 
190.74/37.07	o 584 
190.74/37.09	o 585 
190.74/37.10	o 586 
191.34/37.11	o 587 
191.34/37.13	o 588 
191.34/37.14	o 589 
191.34/37.15	o 590 
191.34/37.16	o 591 
191.34/37.18	o 592 
191.34/37.19	o 593 
191.92/37.21	o 594 
191.92/37.22	o 595 
191.92/37.24	o 596 
191.92/37.25	o 597 
191.92/37.26	o 598 
191.92/37.28	o 599 
191.92/37.29	o 600 
192.47/37.31	o 601 
192.47/37.33	o 602 
192.47/37.34	o 603 
192.47/37.35	o 604 
192.47/37.37	o 605 
192.47/37.38	o 606 
193.02/37.40	o 607 
193.02/37.41	o 608 
193.02/37.43	o 609 
193.02/37.44	o 610 
193.02/37.46	o 611 
193.02/37.47	o 612 
193.02/37.49	o 613 
193.63/37.50	o 614 
193.63/37.52	o 615 
193.63/37.54	o 616 
193.63/37.55	o 617 
193.63/37.57	o 618 
193.63/37.58	o 619 
193.63/37.59	o 620 
194.19/37.61	o 621 
194.19/37.62	o 622 
194.19/37.64	o 623 
194.19/37.65	o 624 
194.19/37.67	o 625 
194.19/37.68	o 626 
194.19/37.69	o 627 
194.83/37.71	o 628 
194.83/37.72	o 629 
194.83/37.74	o 630 
194.83/37.75	o 631 
194.83/37.77	o 632 
194.83/37.78	o 633 
195.36/37.80	o 634 
195.36/37.82	o 635 
195.36/37.84	o 636 
195.36/37.85	o 637 
195.36/37.87	o 638 
195.36/37.88	o 639 
195.36/37.90	o 640 
195.98/37.91	o 641 
195.98/37.93	o 642 
195.98/37.94	o 643 
195.98/37.96	o 644 
195.98/37.97	o 645 
195.98/37.99	o 646 
195.98/38.01	o 647 
196.58/38.02	o 648 
196.58/38.04	o 649 
196.58/38.05	o 650 
196.58/38.06	o 651 
196.58/38.09	o 652 
197.14/38.11	o 653 
197.14/38.12	o 654 
197.14/38.14	o 655 
197.14/38.15	o 656 
197.14/38.17	o 657 
197.14/38.18	o 658 
197.14/38.19	o 659 
197.69/38.22	o 660 
198.14/38.51	o 661 
199.33/39.63	o 662 
199.33/39.65	o 663 
199.33/39.66	o 664 
199.33/39.68	o 665 
199.33/39.69	o 666 
199.80/39.71	o 667 
199.80/39.72	o 668 
199.80/39.74	o 669 
199.80/39.75	o 670 
199.80/39.77	o 671 
199.80/39.79	o 672 
200.38/39.81	o 673 
200.38/39.82	o 674 
200.38/39.84	o 675 
200.38/39.85	o 676 
200.38/39.87	o 677 
200.38/39.88	o 678 
200.92/39.90	o 679 
200.92/39.92	o 680 
200.92/39.93	o 681 
200.92/39.95	o 682 
200.92/39.96	o 683 
200.92/39.98	o 684 
200.92/39.99	o 685 
201.51/40.02	o 686 
201.51/40.04	o 687 
201.51/40.05	o 688 
201.51/40.07	o 689 
201.51/40.09	o 690 
201.51/40.10	o 691 
202.19/40.12	o 692 
202.19/40.13	o 693 
202.19/40.15	o 694 
202.19/40.16	o 695 
202.19/40.18	o 696 
202.19/40.19	o 697 
202.73/40.20	o 698 
202.73/40.22	o 699 
202.73/40.23	o 700 
202.73/40.25	o 701 
202.73/40.26	o 702 
202.73/40.28	o 703 
202.73/40.29	o 704 
203.37/40.31	o 705 
203.37/40.33	o 706 
203.37/40.34	o 707 
203.37/40.36	o 708 
203.37/40.37	o 709 
203.37/40.39	o 710 
203.96/40.40	o 711 
203.96/40.42	o 712 
203.96/40.44	o 713 
203.96/40.46	o 714 
203.96/40.47	o 715 
203.96/40.49	o 716 
204.55/40.51	o 717 
204.55/40.52	o 718 
204.55/40.54	o 719 
204.55/40.56	o 720 
204.55/40.57	o 721 
204.55/40.59	o 722 
205.17/40.61	o 723 
205.17/40.62	o 724 
205.17/40.64	o 725 
205.17/40.65	o 726 
205.17/40.66	o 727 
205.17/40.68	o 728 
205.17/40.69	o 729 
205.71/40.71	o 730 
205.71/40.72	o 731 
205.71/40.74	o 732 
205.71/40.75	o 733 
205.71/40.77	o 734 
205.71/40.79	o 735 
206.37/40.80	o 736 
206.37/40.82	o 737 
206.37/40.83	o 738 
206.37/40.85	o 739 
206.37/40.86	o 740 
206.37/40.88	o 741 
206.37/40.90	o 742 
206.96/40.91	o 743 
206.96/40.93	o 744 
206.96/40.95	o 745 
206.96/40.97	o 746 
206.96/40.99	o 747 
206.96/41.00	o 748 
207.63/41.02	o 749 
207.63/41.03	o 750 
207.63/41.05	o 751 
207.63/41.07	o 752 
207.63/41.08	o 753 
207.63/41.10	o 754 
208.23/41.12	o 755 
208.23/41.13	o 756 
208.23/41.15	o 757 
208.23/41.17	o 758 
208.23/41.19	o 759 
208.71/41.21	o 760 
208.71/41.23	o 761 
208.71/41.24	o 762 
208.71/41.26	o 763 
208.71/41.28	o 764 
208.71/41.29	o 765 
209.39/41.31	o 766 
209.39/41.33	o 767 
209.39/41.34	o 768 
209.39/41.36	o 769 
209.39/41.37	o 770 
209.95/41.40	o 771 
209.95/41.42	o 772 
209.95/41.43	o 773 
209.95/41.45	o 774 
209.95/41.47	o 775 
209.95/41.49	o 776 
210.56/41.51	o 777 
210.56/41.52	o 778 
210.56/41.54	o 779 
210.56/41.56	o 780 
210.56/41.58	o 781 
210.56/41.60	o 782 
211.11/41.62	o 783 
211.11/41.64	o 784 
211.11/41.65	o 785 
211.11/41.67	o 786 
211.11/41.69	o 787 
211.72/41.71	o 788 
211.72/41.73	o 789 
211.72/41.74	o 790 
211.72/41.76	o 791 
211.72/41.78	o 792 
211.72/41.79	o 793 
212.25/41.81	o 794 
212.25/41.83	o 795 
212.25/41.85	o 796 
212.25/41.87	o 797 
212.25/41.88	o 798 
212.86/41.90	o 799 
212.86/41.92	o 800 
212.86/41.94	o 801 
212.86/41.96	o 802 
212.86/41.97	o 803 
212.86/41.99	o 804 
213.50/42.02	o 805 
213.50/42.04	o 806 
213.50/42.05	o 807 
213.50/42.07	o 808 
213.50/42.09	o 809 
214.12/42.11	o 810 
214.12/42.13	o 811 
214.12/42.15	o 812 
214.12/42.17	o 813 
214.12/42.19	o 814 
214.70/42.21	o 815 
214.70/42.22	o 816 
214.70/42.24	o 817 
214.70/42.27	o 818 
214.70/42.28	o 819 
215.26/42.30	o 820 
215.26/42.32	o 821 
215.26/42.34	o 822 
215.26/42.36	o 823 
215.26/42.39	o 824 
215.88/42.41	o 825 
215.88/42.44	o 826 
216.21/42.56	o 827 
217.41/43.66	o 828 
217.41/43.68	o 829 
217.72/43.70	o 830 
218.08/43.85	o 831 
219.29/44.93	o 832 
219.29/44.96	o 833 
219.57/45.08	o 834 
220.77/46.17	o 835 
220.77/46.20	o 836 
220.96/46.21	o 837 
221.28/46.33	o 838 
222.47/47.42	o 839 
222.47/47.45	o 840 
225.55/48.68	o 841 
225.74/48.71	o 842 
318.89/60.41	o 843 
497.45/82.87	o 844 
497.45/82.89	o 845 
703.01/109.29	o 846 
1841.41/252.08	s SATISFIABLE
1841.41/252.08	v <instantiation>
1841.41/252.08	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>
1841.41/252.08	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 1 0 0 1 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 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 1 1 0 0 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 0 0 0 0 0 0 0 0 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 1 1 2 1 2 2 1 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 1 0 2 2 2 2 2 1 1 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 1 1 1 1 1 1 1 0 0 1 1 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 407 427 460 486 846 </values>
1841.41/252.08	v </instantiation>
1841.41/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	846

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 (15309 MiB free)
  memory of node 1: 16384 MiB (15613 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271798-1502639903/watcher-4271798-1502639903 -o /tmp/evaluation-result-4271798-1502639903/solver-4271798-1502639903 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2139648710 HOME/instance-4271798-1502639903.xml 

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

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

solver pid=14097, runsolver pid=14094

[startup+0.100113 s]*
/proc/loadavg: 8.14 7.37 6.49 2/200 14118
/proc/meminfo: memFree=31650400/32770624 swapFree=67108860/67108860
[pid=14097] ppid=14094 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/14097/stat : 14097 (xcsp3-exec) S 14094 14097 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97078512 9740288 345 33554432000 4194304 5098028 140729302256416 140729302254520 140394752377468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30089216 140729302258794 140729302259004 140729302259004 140729302261739 0
/proc/14097/statm: 2378 345 289 221 0 87 0
[pid=14099] ppid=14097 vsize=25999808 memory=26204 CPUtime=0.12 cores=0-7
/proc/14099/stat : 14099 (java) S 14097 14097 8183 0 -1 1077944320 5477 0 0 0 11 1 0 0 20 0 20 0 97078512 26623803392 6551 33554432000 4194304 4196468 140728286991760 140728286974304 140142095404791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
/proc/14099/statm: 6499952 6551 2841 1 0 6488269 0
[pid=14099/tid=14100] ppid=14097 vsize=25999808 memory=7681058972596347552 CPUtime=0.08 cores=0-7
/proc/14099/task/14100/stat : 14100 (java) R 14097 14097 8183 0 -1 4202560 3473 0 0 0 8 0 0 0 20 0 20 0 97078513 26623803392 6551 33554432000 4194304 4196468 140728286991760 140142099637904 140142095426138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14101] ppid=14097 vsize=25999808 memory=732370252688751589 CPUtime=0 cores=0-7
/proc/14099/task/14101/stat : 14101 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142048025360 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14102] ppid=14097 vsize=25999808 memory=140114351298176 CPUtime=0 cores=0-7
/proc/14099/task/14102/stat : 14102 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142046972816 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14103] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14103/stat : 14103 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142045920272 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14104] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14104/stat : 14104 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142044867728 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14105] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14105/stat : 14105 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142043814160 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14106] ppid=14097 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14099/task/14106/stat : 14106 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142042761616 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14107] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14107/stat : 14107 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142041709072 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14108] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14108/stat : 14108 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26623803392 6615 33554432000 4194304 4196468 140728286991760 140142040656528 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14109] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14109/stat : 14109 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078515 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140837521904 140142095415938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14110] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14110/stat : 14110 (java) S 14097 14097 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97078515 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140836468128 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14111] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14111/stat : 14111 (java) S 14097 14097 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97078516 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140835415536 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14112] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14112/stat : 14112 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078518 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140834364112 140142095423387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14113] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14113/stat : 14113 (java) S 14097 14097 8183 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 97078518 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140833310704 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14114] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14114/stat : 14114 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078518 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140832258160 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14115] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14115/stat : 14115 (java) S 14097 14097 8183 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97078518 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140831205616 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14116] ppid=14097 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14099/task/14116/stat : 14116 (java) R 14097 14097 8183 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 97078518 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140830153072 140142079587878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14117] ppid=14097 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14117/stat : 14117 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078518 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140829100768 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14118] ppid=14097 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14099/task/14118/stat : 14118 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078518 26623803392 6615 33554432000 4194304 4196468 140728286991760 140140828048304 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27584 KiB

[startup+0.21009 s]*
/proc/loadavg: 8.14 7.37 6.49 3/200 14118
/proc/meminfo: memFree=31638780/32770624 swapFree=67108860/67108860
[pid=14097] ppid=14094 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/14097/stat : 14097 (xcsp3-exec) S 14094 14097 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97078512 9740288 345 33554432000 4194304 5098028 140729302256416 140729302254520 140394752377468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30089216 140729302258794 140729302259004 140729302259004 140729302261739 0
/proc/14097/statm: 2378 345 289 221 0 87 0
[pid=14099] ppid=14097 vsize=26004064 memory=38792 CPUtime=0.33 cores=0-7
/proc/14099/stat : 14099 (java) S 14097 14097 8183 0 -1 1077944320 8299 0 0 0 31 2 0 0 20 0 20 0 97078512 26628161536 9698 33554432000 4194304 4196468 140728286991760 140728286974304 140142095404791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
/proc/14099/statm: 6501016 9698 3045 1 0 6488269 0
[pid=14099/tid=14100] ppid=14097 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/14099/task/14100/stat : 14100 (java) R 14097 14097 8183 0 -1 4202560 5382 0 0 0 18 1 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142099625784 140142088082805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14101] ppid=14097 vsize=26004064 memory=732370252688751589 CPUtime=0 cores=0-7
/proc/14099/task/14101/stat : 14101 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142048025360 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14102] ppid=14097 vsize=26004064 memory=140114351298176 CPUtime=0 cores=0-7
/proc/14099/task/14102/stat : 14102 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142046972816 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14103] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14103/stat : 14103 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142045920272 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14104] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14104/stat : 14104 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142044867728 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14105] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14105/stat : 14105 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142043814160 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14106] ppid=14097 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14099/task/14106/stat : 14106 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142042761616 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14107] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14107/stat : 14107 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142041709072 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14108] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14108/stat : 14108 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 9698 33554432000 4194304 4196468 140728286991760 140142040656528 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14109] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14109/stat : 14109 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078515 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140837521904 140142095415938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14110] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14110/stat : 14110 (java) S 14097 14097 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97078515 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140836468128 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14111] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14111/stat : 14111 (java) S 14097 14097 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97078516 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140835415536 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14112] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14112/stat : 14112 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078518 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140834364112 140142095423387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14113] ppid=14097 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14099/task/14113/stat : 14113 (java) S 14097 14097 8183 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 97078518 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140833310704 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14114] ppid=14097 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/14099/task/14114/stat : 14114 (java) S 14097 14097 8183 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 97078518 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140832258160 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14115] ppid=14097 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14099/task/14115/stat : 14115 (java) S 14097 14097 8183 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 97078518 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140831205616 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14116] ppid=14097 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/14099/task/14116/stat : 14116 (java) S 14097 14097 8183 0 -1 1077944384 767 0 0 0 7 0 0 0 20 0 20 0 97078518 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140830153072 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14117] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14117/stat : 14117 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078518 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140829100768 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14118] ppid=14097 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14099/task/14118/stat : 14118 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078518 26628161536 9698 33554432000 4194304 4196468 140728286991760 140140828048304 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40172 KiB

[startup+0.309413 s]*
/proc/loadavg: 8.14 7.37 6.49 3/200 14118
/proc/meminfo: memFree=31633932/32770624 swapFree=67108860/67108860
[pid=14097] ppid=14094 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/14097/stat : 14097 (xcsp3-exec) S 14094 14097 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97078512 9740288 345 33554432000 4194304 5098028 140729302256416 140729302254520 140394752377468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30089216 140729302258794 140729302259004 140729302259004 140729302261739 0
/proc/14097/statm: 2378 345 289 221 0 87 0
[pid=14099] ppid=14097 vsize=26004064 memory=45748 CPUtime=0.5 cores=0-7
/proc/14099/stat : 14099 (java) S 14097 14097 8183 0 -1 1077944320 9167 0 0 0 47 3 0 0 20 0 20 0 97078512 26628161536 11437 33554432000 4194304 4196468 140728286991760 140728286974304 140142095404791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
/proc/14099/statm: 6501016 11437 3074 1 0 6488269 0
[pid=14099/tid=14100] ppid=14097 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14099/task/14100/stat : 14100 (java) R 14097 14097 8183 0 -1 4202560 6058 0 0 0 27 2 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142099640880 140142095416726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14101] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14101/stat : 14101 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142048025360 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14102] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14102/stat : 14102 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142046972816 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14103] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14103/stat : 14103 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142045920272 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14104] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14104/stat : 14104 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142044867728 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14105] ppid=14097 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14099/task/14105/stat : 14105 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142043814160 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14106] ppid=14097 vsize=26004064 memory=140114248430511 CPUtime=0 cores=0-7
/proc/14099/task/14106/stat : 14106 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142042761616 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14107] ppid=14097 vsize=26004064 memory=140114248432816 CPUtime=0 cores=0-7
/proc/14099/task/14107/stat : 14107 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142041709072 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14108] ppid=14097 vsize=26004064 memory=140114248435120 CPUtime=0 cores=0-7
/proc/14099/task/14108/stat : 14108 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628161536 11437 33554432000 4194304 4196468 140728286991760 140142040656528 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14109] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14109/stat : 14109 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078515 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140837521904 140142095415938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14110] ppid=14097 vsize=26004064 memory=280228496877200 CPUtime=0 cores=0-7
/proc/14099/task/14110/stat : 14110 (java) S 14097 14097 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97078515 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140836468128 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14111] ppid=14097 vsize=26004064 memory=280228496884112 CPUtime=0 cores=0-7
/proc/14099/task/14111/stat : 14111 (java) S 14097 14097 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97078516 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140835415536 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14112] ppid=14097 vsize=26004064 memory=280228496825392 CPUtime=0 cores=0-7
/proc/14099/task/14112/stat : 14112 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078518 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140834364112 140142095423387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14113] ppid=14097 vsize=26004064 memory=280228496897936 CPUtime=0.02 cores=0-7
/proc/14099/task/14113/stat : 14113 (java) S 14097 14097 8183 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 20 0 97078518 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140833310704 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14114] ppid=14097 vsize=26004064 memory=280228496904848 CPUtime=0.02 cores=0-7
/proc/14099/task/14114/stat : 14114 (java) S 14097 14097 8183 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 97078518 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140832258160 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14115] ppid=14097 vsize=26004064 memory=280228496902544 CPUtime=0.02 cores=0-7
/proc/14099/task/14115/stat : 14115 (java) S 14097 14097 8183 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 97078518 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140831205616 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14116] ppid=14097 vsize=26004064 memory=280228496918704 CPUtime=0.12 cores=0-7
/proc/14099/task/14116/stat : 14116 (java) R 14097 14097 8183 0 -1 4202560 885 0 0 0 12 0 0 0 20 0 20 0 97078518 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140830150864 140142095426138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14117] ppid=14097 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14117/stat : 14117 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078518 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140829100768 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14118] ppid=14097 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14099/task/14118/stat : 14118 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97078518 26628161536 11437 33554432000 4194304 4196468 140728286991760 140140828048304 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47128 KiB

[startup+0.700955 s]
/proc/loadavg: 8.14 7.37 6.49 5/200 14118
/proc/meminfo: memFree=31607412/32770624 swapFree=67108860/67108860
[pid=14097] ppid=14094 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/14097/stat : 14097 (xcsp3-exec) S 14094 14097 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97078512 9740288 345 33554432000 4194304 5098028 140729302256416 140729302254520 140394752377468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30089216 140729302258794 140729302259004 140729302259004 140729302261739 0
/proc/14097/statm: 2378 345 289 221 0 87 0
[pid=14099] ppid=14097 vsize=26004140 memory=94420 CPUtime=1.9 cores=0-7
/proc/14099/stat : 14099 (java) S 14097 14097 8183 0 -1 1077944320 13632 0 0 0 186 4 0 0 20 0 20 0 97078512 26628239360 23605 33554432000 4194304 4196468 140728286991760 140728286974304 140142095404791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
/proc/14099/statm: 6501035 23605 3200 1 0 6488269 0
[pid=14099/tid=14100] ppid=14097 vsize=26004140 memory=280228497213632 CPUtime=0.67 cores=0-7
/proc/14099/task/14100/stat : 14100 (java) R 14097 14097 8183 0 -1 4202560 6472 0 0 0 65 2 0 0 20 0 20 0 97078513 26628239360 23605 33554432000 4194304 4196468 140728286991760 140142099640064 140141715151273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14101] ppid=14097 vsize=26004140 memory=5050881541254 CPUtime=0 cores=0-7
/proc/14099/task/14101/stat : 14101 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628239360 23605 33554432000 4194304 4196468 140728286991760 140142048025360 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14102] ppid=14097 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14102/stat : 14102 (java) S 14097 14097 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97078513 26628239360 23605 33554432000 4194304 4196468 140728286991760 140142046972816 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14103] ppid=14097 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14099/task/14103/stat : 14103 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97078513 26628239360 23605 33554432000 4194304 4196468 140728286991760 140142045920272 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0

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

[pid=14099/tid=20759] ppid=14097 vsize=26541776 memory=840 CPUtime=52.76 cores=0-7
/proc/14099/task/20759/stat : 20759 (java) R 14097 14097 8183 0 -1 4202560 1657 0 0 0 5272 4 0 0 20 0 28 0 97089441 27178778624 1110580 33554432000 4194304 4196468 140728286991760 140140741518032 140141723128871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
Current children cumulated CPU time: 1125.84 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4443700 KiB

[startup+222.302 s]
/proc/loadavg: 8.72 7.79 6.81 9/207 20759
/proc/meminfo: memFree=27249444/32770624 swapFree=67108860/67108860
[pid=14097] ppid=14094 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/14097/stat : 14097 (xcsp3-exec) S 14094 14097 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97078512 9740288 345 33554432000 4194304 5098028 140729302256416 140729302254520 140394752377468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30089216 140729302258794 140729302259004 140729302259004 140729302261739 0
/proc/14097/statm: 2378 345 289 221 0 87 0
[pid=14099] ppid=14097 vsize=26541776 memory=4421820 CPUtime=1604.44 cores=0-7
/proc/14099/stat : 14099 (java) S 14097 14097 8183 0 -1 1077944320 247183 0 0 0 160009 435 0 0 20 0 28 0 97078512 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140728286974304 140142095404791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
/proc/14099/statm: 6635444 1105455 3288 1 0 6622678 0
[pid=14099/tid=14100] ppid=14097 vsize=26541776 memory=4421824 CPUtime=6.34 cores=0-7
/proc/14099/task/14100/stat : 14100 (java) S 14097 14097 8183 0 -1 1077944384 12598 0 0 0 617 17 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142099645504 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14101] ppid=14097 vsize=26541776 memory=4431528 CPUtime=0.37 cores=0-7
/proc/14099/task/14101/stat : 14101 (java) S 14097 14097 8183 0 -1 1077944384 1251 0 0 0 27 10 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142048025360 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14102] ppid=14097 vsize=26541776 memory=1380 CPUtime=0.39 cores=0-7
/proc/14099/task/14102/stat : 14102 (java) S 14097 14097 8183 0 -1 1077944384 2187 0 0 0 28 11 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142046972816 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14103] ppid=14097 vsize=26541776 memory=4432612 CPUtime=0.37 cores=0-7
/proc/14099/task/14103/stat : 14103 (java) S 14097 14097 8183 0 -1 1077944384 1608 0 0 0 27 10 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142045920272 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14104] ppid=14097 vsize=26541776 memory=4432612 CPUtime=0.4 cores=0-7
/proc/14099/task/14104/stat : 14104 (java) S 14097 14097 8183 0 -1 1077944384 2456 0 0 0 29 11 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142044867728 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14105] ppid=14097 vsize=26541776 memory=4432612 CPUtime=0.39 cores=0-7
/proc/14099/task/14105/stat : 14105 (java) S 14097 14097 8183 0 -1 1077944384 811 0 0 0 29 10 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142043814160 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14106] ppid=14097 vsize=26541776 memory=4421824 CPUtime=0.4 cores=0-7
/proc/14099/task/14106/stat : 14106 (java) S 14097 14097 8183 0 -1 1077944384 2271 0 0 0 30 10 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142042761616 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14107] ppid=14097 vsize=26541776 memory=4421820 CPUtime=0.39 cores=0-7
/proc/14099/task/14107/stat : 14107 (java) S 14097 14097 8183 0 -1 1077944384 1537 0 0 0 28 11 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142041709072 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14108] ppid=14097 vsize=26541776 memory=4421820 CPUtime=0.38 cores=0-7
/proc/14099/task/14108/stat : 14108 (java) S 14097 14097 8183 0 -1 1077944384 1764 0 0 0 28 10 0 0 20 0 28 0 97078513 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140142040656528 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14109] ppid=14097 vsize=26541776 memory=4421820 CPUtime=0.09 cores=0-7
/proc/14099/task/14109/stat : 14109 (java) S 14097 14097 8183 0 -1 1077944384 8054 0 0 0 6 3 0 0 20 0 28 0 97078515 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140837521904 140142095415938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14110] ppid=14097 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/14099/task/14110/stat : 14110 (java) S 14097 14097 8183 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97078515 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140836468192 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14111] ppid=14097 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/14099/task/14111/stat : 14111 (java) S 14097 14097 8183 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 97078516 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140835415552 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14112] ppid=14097 vsize=26541776 memory=644 CPUtime=0 cores=0-7
/proc/14099/task/14112/stat : 14112 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97078518 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140834364112 140142095423387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14113] ppid=14097 vsize=26541776 memory=4432612 CPUtime=3.85 cores=0-7
/proc/14099/task/14113/stat : 14113 (java) S 14097 14097 8183 0 -1 1077944384 27075 0 0 0 379 6 0 0 20 0 28 0 97078518 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140833310704 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14114] ppid=14097 vsize=26541776 memory=4421824 CPUtime=4.11 cores=0-7
/proc/14099/task/14114/stat : 14114 (java) S 14097 14097 8183 0 -1 1077944384 23048 0 0 0 408 3 0 0 20 0 28 0 97078518 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140832258160 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14115] ppid=14097 vsize=26541776 memory=4421820 CPUtime=4.42 cores=0-7
/proc/14099/task/14115/stat : 14115 (java) S 14097 14097 8183 0 -1 1077944384 27401 0 0 0 438 4 0 0 20 0 28 0 97078518 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140831205616 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14116] ppid=14097 vsize=26541776 memory=4421820 CPUtime=1.33 cores=0-7
/proc/14099/task/14116/stat : 14116 (java) S 14097 14097 8183 0 -1 1077944384 20366 0 0 0 128 5 0 0 20 0 28 0 97078518 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140830153072 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14117] ppid=14097 vsize=26541776 memory=1228 CPUtime=0 cores=0-7
/proc/14099/task/14117/stat : 14117 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97078518 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140829100768 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14118] ppid=14097 vsize=26541776 memory=15876 CPUtime=0.08 cores=0-7
/proc/14099/task/14118/stat : 14118 (java) S 14097 14097 8183 0 -1 1077944384 3044 0 0 0 3 5 0 0 20 0 28 0 97078518 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140828048304 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20752] ppid=14097 vsize=26541776 memory=15876 CPUtime=110.81 cores=0-7
/proc/14099/task/20752/stat : 20752 (java) R 14097 14097 8183 0 -1 4202560 2252 0 0 0 11077 4 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140748880848 140141721954852 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20753] ppid=14097 vsize=26541776 memory=18476 CPUtime=112.83 cores=0-7
/proc/14099/task/20753/stat : 20753 (java) R 14097 14097 8183 0 -1 4202560 1499 0 0 0 11283 0 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140744668664 140141714899730 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20754] ppid=14097 vsize=26541776 memory=-3622645143214314312 CPUtime=112.87 cores=0-7
/proc/14099/task/20754/stat : 20754 (java) R 14097 14097 8183 0 -1 4202560 1103 0 0 0 11286 1 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140745720312 140141722400559 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20755] ppid=14097 vsize=26541776 memory=4040 CPUtime=112.88 cores=0-7
/proc/14099/task/20755/stat : 20755 (java) R 14097 14097 8183 0 -1 4202560 7324 0 0 0 11275 13 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140749931224 140141714899716 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20756] ppid=14097 vsize=26541776 memory=1380 CPUtime=112.85 cores=0-7
/proc/14099/task/20756/stat : 20756 (java) R 14097 14097 8183 0 -1 4202560 9635 0 0 0 11266 19 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140747826376 140141722940175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20757] ppid=14097 vsize=26541776 memory=4140 CPUtime=112.86 cores=0-7
/proc/14099/task/20757/stat : 20757 (java) R 14097 14097 8183 0 -1 4202560 1595 0 0 0 11285 1 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140746773496 140141722795875 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20758] ppid=14097 vsize=26541776 memory=27968 CPUtime=112.77 cores=0-7
/proc/14099/task/20758/stat : 20758 (java) R 14097 14097 8183 0 -1 4202560 3150 0 0 0 11272 5 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140752036832 140141715581796 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20759] ppid=14097 vsize=26541776 memory=1296 CPUtime=112.73 cores=0-7
/proc/14099/task/20759/stat : 20759 (java) R 14097 14097 8183 0 -1 4202560 2278 0 0 0 11266 7 0 0 20 0 28 0 97089441 27178778624 1105455 33554432000 4194304 4196468 140728286991760 140140741518200 140141722848898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
Current children cumulated CPU time: 1604.44 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4423200 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.87 7.91 6.88 10/207 20759
/proc/meminfo: memFree=27255084/32770624 swapFree=67108860/67108860
[pid=14097] ppid=14094 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/14097/stat : 14097 (xcsp3-exec) S 14094 14097 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97078512 9740288 345 33554432000 4194304 5098028 140729302256416 140729302254520 140394752377468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30089216 140729302258794 140729302259004 140729302259004 140729302261739 0
/proc/14097/statm: 2378 345 289 221 0 87 0
[pid=14099] ppid=14097 vsize=26541776 memory=4415764 CPUtime=1841.41 cores=0-7
/proc/14099/stat : 14099 (java) S 14097 14097 8183 0 -1 1077944320 251684 0 0 0 183701 440 0 0 20 0 28 0 97078512 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140728286974304 140142095404791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
/proc/14099/statm: 6635444 1103941 3288 1 0 6622678 0
[pid=14099/tid=14100] ppid=14097 vsize=26541776 memory=6791534058613427641 CPUtime=6.34 cores=0-7
/proc/14099/task/14100/stat : 14100 (java) S 14097 14097 8183 0 -1 1077944384 12598 0 0 0 617 17 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142099645504 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14101] ppid=14097 vsize=26541776 memory=-7003737579269690708 CPUtime=0.37 cores=0-7
/proc/14099/task/14101/stat : 14101 (java) S 14097 14097 8183 0 -1 1077944384 1254 0 0 0 27 10 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142048025360 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14102] ppid=14097 vsize=26541776 memory=1236 CPUtime=0.4 cores=0-7
/proc/14099/task/14102/stat : 14102 (java) S 14097 14097 8183 0 -1 1077944384 2203 0 0 0 29 11 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142046972816 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14103] ppid=14097 vsize=26541776 memory=644 CPUtime=0.38 cores=0-7
/proc/14099/task/14103/stat : 14103 (java) S 14097 14097 8183 0 -1 1077944384 1614 0 0 0 28 10 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142045920272 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14104] ppid=14097 vsize=26541776 memory=1788 CPUtime=0.41 cores=0-7
/proc/14099/task/14104/stat : 14104 (java) S 14097 14097 8183 0 -1 1077944384 2499 0 0 0 30 11 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142044867728 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14105] ppid=14097 vsize=26541776 memory=956 CPUtime=0.4 cores=0-7
/proc/14099/task/14105/stat : 14105 (java) S 14097 14097 8183 0 -1 1077944384 943 0 0 0 30 10 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142043814160 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14106] ppid=14097 vsize=26541776 memory=2344 CPUtime=0.4 cores=0-7
/proc/14099/task/14106/stat : 14106 (java) S 14097 14097 8183 0 -1 1077944384 2282 0 0 0 30 10 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142042761616 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14107] ppid=14097 vsize=26541776 memory=956 CPUtime=0.41 cores=0-7
/proc/14099/task/14107/stat : 14107 (java) S 14097 14097 8183 0 -1 1077944384 1541 0 0 0 29 12 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142041709072 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14108] ppid=14097 vsize=26541776 memory=2344 CPUtime=0.4 cores=0-7
/proc/14099/task/14108/stat : 14108 (java) S 14097 14097 8183 0 -1 1077944384 1839 0 0 0 29 11 0 0 20 0 28 0 97078513 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140142040656528 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14109] ppid=14097 vsize=26541776 memory=1380 CPUtime=0.09 cores=0-7
/proc/14099/task/14109/stat : 14109 (java) S 14097 14097 8183 0 -1 1077944384 8273 0 0 0 6 3 0 0 20 0 28 0 97078515 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140837521904 140142095415938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14110] ppid=14097 vsize=26541776 memory=4140 CPUtime=0 cores=0-7
/proc/14099/task/14110/stat : 14110 (java) S 14097 14097 8183 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97078515 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140836468192 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14111] ppid=14097 vsize=26541776 memory=27968 CPUtime=0 cores=0-7
/proc/14099/task/14111/stat : 14111 (java) S 14097 14097 8183 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 97078516 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140835415552 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14112] ppid=14097 vsize=26541776 memory=1296 CPUtime=0 cores=0-7
/proc/14099/task/14112/stat : 14112 (java) S 14097 14097 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97078518 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140834364112 140142095423387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14113] ppid=14097 vsize=26541776 memory=2336 CPUtime=3.86 cores=0-7
/proc/14099/task/14113/stat : 14113 (java) S 14097 14097 8183 0 -1 1077944384 28747 0 0 0 380 6 0 0 20 0 28 0 97078518 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140833310704 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14114] ppid=14097 vsize=26541776 memory=1724 CPUtime=4.11 cores=0-7
/proc/14099/task/14114/stat : 14114 (java) S 14097 14097 8183 0 -1 1077944384 23049 0 0 0 408 3 0 0 20 0 28 0 97078518 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140832258160 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14115] ppid=14097 vsize=26541776 memory=1012 CPUtime=4.42 cores=0-7
/proc/14099/task/14115/stat : 14115 (java) S 14097 14097 8183 0 -1 1077944384 27402 0 0 0 438 4 0 0 20 0 28 0 97078518 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140831205616 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14116] ppid=14097 vsize=26541776 memory=1716 CPUtime=1.33 cores=0-7
/proc/14099/task/14116/stat : 14116 (java) S 14097 14097 8183 0 -1 1077944384 20945 0 0 0 128 5 0 0 20 0 28 0 97078518 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140830153072 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14117] ppid=14097 vsize=26541776 memory=5792 CPUtime=0 cores=0-7
/proc/14099/task/14117/stat : 14117 (java) S 14097 14097 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97078518 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140829100768 140142095414997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=14118] ppid=14097 vsize=26541776 memory=4616 CPUtime=0.1 cores=0-7
/proc/14099/task/14118/stat : 14118 (java) S 14097 14097 8183 0 -1 1077944384 3071 0 0 0 4 6 0 0 20 0 28 0 97078518 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140828048304 140142095415938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20752] ppid=14097 vsize=26541776 memory=792 CPUtime=140.51 cores=0-7
/proc/14099/task/20752/stat : 20752 (java) R 14097 14097 8183 0 -1 4202560 2653 0 0 0 14046 5 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140748878616 140141722457457 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20753] ppid=14097 vsize=26541776 memory=1420 CPUtime=142.52 cores=0-7
/proc/14099/task/20753/stat : 20753 (java) R 14097 14097 8183 0 -1 4202560 1556 0 0 0 14252 0 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140744668552 140141714899716 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20754] ppid=14097 vsize=26541776 memory=4616 CPUtime=142.41 cores=0-7
/proc/14099/task/20754/stat : 20754 (java) R 14097 14097 8183 0 -1 4202560 1189 0 0 0 14239 2 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140745720328 140141722457434 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20755] ppid=14097 vsize=26541776 memory=792 CPUtime=142.57 cores=0-7
/proc/14099/task/20755/stat : 20755 (java) R 14097 14097 8183 0 -1 4202560 7367 0 0 0 14244 13 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140749931144 140141722608269 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20756] ppid=14097 vsize=26541776 memory=1420 CPUtime=142.54 cores=0-7
/proc/14099/task/20756/stat : 20756 (java) R 14097 14097 8183 0 -1 4202560 10507 0 0 0 14234 20 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140747825928 140141719767061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20757] ppid=14097 vsize=26541776 memory=13040 CPUtime=142.55 cores=0-7
/proc/14099/task/20757/stat : 20757 (java) R 14097 14097 8183 0 -1 4202560 1662 0 0 0 14254 1 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140746773464 140141714899716 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20758] ppid=14097 vsize=26541776 memory=1944 CPUtime=141.98 cores=0-7
/proc/14099/task/20758/stat : 20758 (java) R 14097 14097 8183 0 -1 4202560 3273 0 0 0 14192 6 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140752039200 140141716720919 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
[pid=14099/tid=20759] ppid=14097 vsize=26541776 memory=1196 CPUtime=142.41 cores=0-7
/proc/14099/task/20759/stat : 20759 (java) R 14097 14097 8183 0 -1 4202560 2341 0 0 0 14234 7 0 0 20 0 28 0 97089441 27178778624 1103941 33554432000 4194304 4196468 140728286991760 140140741518208 140141722457434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140728286995608 140728286995784 140728286995784 140728286998479 0
Current children cumulated CPU time: 1841.41 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4417144 KiB

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

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

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

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

Child status: 143
Real time (s): 252.135
CPU time (s): 1842.21
CPU user time (s): 1837.77
CPU system time (s): 4.4315
CPU usage (%): 730.643
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 4476176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1837.77
system time used= 4.4315
maximum resident set size= 4476844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64544
involuntary context switches= 19763


# summary of solver processes directly reported to runsolver:
#   pid: 14097,14099
#   total CPU time (s): 1842.21
#   total CPU user time (s): 1837.77
#   total CPU system time (s): 4.4315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09961 second user time and 3.1653 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-13 17:44:04
IDJOB=4271798
IDBENCH=115917
IDSOLVER=2663
FILE ID=node103/4271798-1502639903
RUNJOBID= node103-1502637526-8210
PBS_JOBID= 20628330
Free space on /tmp= 61792 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271798-1502639903/watcher-4271798-1502639903 -o /tmp/evaluation-result-4271798-1502639903/solver-4271798-1502639903 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2139648710 HOME/instance-4271798-1502639903.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=2139648710

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31667128 kB
MemAvailable:   31993060 kB
Buffers:          106004 kB
Cached:           514440 kB
SwapCached:            0 kB
Active:           515064 kB
Inactive:         159576 kB
Active(anon):       3444 kB
Inactive(anon):    78632 kB
Active(file):     511620 kB
Inactive(file):    80944 kB
Unevictable:        6420 kB
Mlocked:            6420 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:         60996 kB
Mapped:            43572 kB
Shmem:             25228 kB
Slab:             124708 kB
SReclaimable:      98408 kB
SUnreclaim:        26300 kB
KernelStack:        3184 kB
PageTables:         4644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61788 MiB
End job on node103 at 2017-08-13 17:48:17