Trace number 4254848

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-07-26)SAT (TO)847 1841.61 252.116

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-4254848-1502639849.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4254848-1502639849.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
11.03/5.28	c solve instance...
28.41/7.51	o 0 
30.10/7.99	o 4 
32.60/9.76	o 6 
32.60/9.78	o 8 
32.84/9.80	o 10 
32.84/9.82	o 12 
32.84/9.85	o 14 
32.84/9.88	o 16 
33.46/9.92	o 18 
34.28/10.01	o 20 
35.02/10.15	o 22 
35.67/10.30	o 24 
38.77/10.69	o 26 
42.79/11.14	o 28 
56.37/13.68	o 30 
77.79/16.88	o 32 
106.65/20.54	o 34 
154.45/26.77	o 35 
154.45/26.79	o 36 
154.68/26.80	o 37 
154.68/26.81	o 38 
154.68/26.82	o 39 
154.68/26.84	o 40 
154.68/26.86	o 41 
154.68/26.87	o 42 
154.68/26.88	o 43 
155.10/26.91	o 44 
155.10/26.92	o 45 
155.10/26.93	o 46 
155.10/26.94	o 47 
155.10/26.95	o 48 
155.10/26.96	o 49 
155.10/26.97	o 50 
155.10/26.98	o 51 
155.10/26.99	o 52 
155.10/27.00	o 53 
155.69/27.01	o 54 
155.69/27.03	o 55 
155.69/27.04	o 56 
155.69/27.05	o 57 
155.69/27.06	o 58 
155.69/27.07	o 59 
155.69/27.09	o 60 
155.69/27.10	o 61 
156.12/27.12	o 62 
156.12/27.13	o 63 
156.12/27.14	o 64 
156.12/27.16	o 65 
156.12/27.17	o 66 
156.12/27.18	o 67 
156.12/27.19	o 68 
156.12/27.20	o 69 
156.54/27.21	o 70 
156.54/27.23	o 71 
156.54/27.24	o 72 
156.54/27.25	o 73 
156.54/27.26	o 74 
156.54/27.27	o 75 
156.54/27.29	o 76 
156.54/27.30	o 77 
156.91/27.31	o 78 
156.91/27.32	o 79 
156.91/27.34	o 80 
156.91/27.35	o 81 
156.91/27.36	o 82 
156.91/27.37	o 83 
156.91/27.38	o 84 
156.91/27.39	o 85 
157.31/27.40	o 86 
157.31/27.42	o 87 
157.31/27.43	o 88 
157.31/27.44	o 89 
157.31/27.46	o 90 
157.31/27.47	o 91 
157.31/27.48	o 92 
157.31/27.50	o 93 
157.78/27.51	o 94 
157.78/27.52	o 95 
157.78/27.53	o 96 
157.78/27.54	o 97 
157.78/27.55	o 98 
157.78/27.56	o 99 
157.78/27.58	o 100 
157.78/27.59	o 101 
157.78/27.60	o 102 
158.30/27.61	o 103 
158.30/27.62	o 104 
158.30/27.63	o 105 
158.30/27.64	o 106 
158.30/27.65	o 107 
158.30/27.66	o 108 
158.30/27.69	o 109 
158.30/27.70	o 110 
158.88/27.71	o 111 
158.88/27.73	o 112 
158.88/27.74	o 113 
158.88/27.75	o 114 
158.88/27.76	o 115 
158.88/27.77	o 116 
158.88/27.79	o 117 
159.32/27.80	o 118 
159.32/27.81	o 119 
159.32/27.83	o 120 
159.32/27.85	o 121 
159.32/27.86	o 122 
159.32/27.87	o 123 
159.32/27.88	o 124 
159.32/27.89	o 125 
159.74/27.90	o 126 
159.74/27.91	o 127 
159.74/27.93	o 128 
159.74/27.94	o 129 
159.74/27.95	o 130 
159.74/27.97	o 131 
159.74/27.98	o 132 
159.74/28.00	o 133 
159.74/28.01	o 134 
160.23/28.02	o 135 
160.23/28.04	o 136 
160.23/28.06	o 137 
160.23/28.07	o 138 
160.23/28.08	o 139 
160.23/28.09	o 140 
160.70/28.11	o 141 
160.70/28.12	o 142 
160.70/28.14	o 143 
160.70/28.15	o 144 
160.70/28.16	o 145 
160.70/28.18	o 146 
160.70/28.19	o 147 
161.11/28.20	o 148 
161.11/28.21	o 149 
161.11/28.22	o 150 
161.11/28.24	o 151 
161.11/28.25	o 152 
161.11/28.26	o 153 
161.11/28.27	o 154 
161.11/28.29	o 155 
161.58/28.30	o 156 
161.58/28.32	o 157 
161.58/28.33	o 158 
161.58/28.34	o 159 
161.58/28.36	o 160 
161.58/28.37	o 161 
161.58/28.39	o 162 
162.00/28.40	o 163 
162.00/28.41	o 164 
162.00/28.43	o 165 
162.00/28.44	o 166 
162.00/28.45	o 167 
162.00/28.46	o 168 
162.00/28.47	o 169 
162.00/28.48	o 170 
162.00/28.50	o 171 
162.48/28.51	o 172 
162.48/28.52	o 173 
162.48/28.54	o 174 
162.48/28.55	o 175 
162.48/28.56	o 176 
162.48/28.57	o 177 
162.48/28.58	o 178 
162.94/28.60	o 179 
162.94/28.61	o 180 
162.94/28.62	o 181 
162.94/28.64	o 182 
162.94/28.65	o 183 
162.94/28.67	o 184 
162.94/28.68	o 185 
162.94/28.69	o 186 
163.45/28.70	o 187 
163.45/28.71	o 188 
163.45/28.72	o 189 
163.45/28.74	o 190 
163.45/28.75	o 191 
163.45/28.76	o 192 
163.45/28.78	o 193 
163.45/28.79	o 194 
163.92/28.81	o 195 
163.92/28.82	o 196 
163.92/28.83	o 197 
163.92/28.85	o 198 
163.92/28.86	o 199 
163.92/28.87	o 200 
163.92/28.88	o 201 
163.92/28.90	o 202 
164.39/28.91	o 203 
164.39/28.92	o 204 
164.39/28.93	o 205 
164.39/28.94	o 206 
164.39/28.96	o 207 
164.39/28.97	o 208 
164.39/28.98	o 209 
164.39/29.00	o 210 
164.90/29.01	o 211 
164.90/29.02	o 212 
164.90/29.04	o 213 
164.90/29.05	o 214 
164.90/29.07	o 215 
164.90/29.08	o 216 
164.90/29.09	o 217 
164.90/29.10	o 218 
165.38/29.12	o 219 
165.38/29.13	o 220 
165.38/29.14	o 221 
165.38/29.16	o 222 
165.38/29.17	o 223 
165.38/29.18	o 224 
165.38/29.19	o 225 
165.81/29.20	o 226 
165.81/29.22	o 227 
165.81/29.23	o 228 
165.81/29.24	o 229 
165.81/29.25	o 230 
165.81/29.26	o 231 
165.81/29.27	o 232 
165.81/29.29	o 233 
166.30/29.30	o 234 
166.30/29.31	o 235 
166.30/29.32	o 236 
166.30/29.33	o 237 
166.30/29.34	o 238 
166.30/29.35	o 239 
166.30/29.36	o 240 
166.30/29.38	o 241 
166.30/29.39	o 242 
166.81/29.40	o 243 
166.81/29.42	o 244 
166.81/29.43	o 245 
166.81/29.44	o 246 
166.81/29.46	o 247 
166.81/29.47	o 248 
166.81/29.48	o 249 
167.23/29.50	o 250 
167.23/29.51	o 251 
167.23/29.52	o 252 
167.23/29.54	o 253 
167.23/29.56	o 254 
167.23/29.57	o 255 
167.23/29.58	o 256 
167.69/29.60	o 257 
167.69/29.62	o 258 
167.69/29.63	o 259 
167.69/29.64	o 260 
167.69/29.66	o 261 
167.69/29.67	o 262 
167.69/29.68	o 263 
167.69/29.70	o 264 
168.15/29.71	o 265 
168.15/29.73	o 266 
168.15/29.74	o 267 
168.15/29.75	o 268 
168.15/29.77	o 269 
168.15/29.78	o 270 
168.15/29.80	o 271 
168.62/29.81	o 272 
168.62/29.83	o 273 
168.62/29.84	o 274 
168.62/29.85	o 275 
168.62/29.86	o 276 
168.62/29.87	o 277 
168.62/29.89	o 278 
168.62/29.90	o 279 
169.16/29.91	o 280 
169.16/29.92	o 281 
169.16/29.93	o 282 
169.16/29.95	o 283 
169.16/29.96	o 284 
169.16/29.97	o 285 
169.16/29.98	o 286 
169.16/29.99	o 287 
169.16/30.00	o 288 
169.74/30.01	o 289 
169.74/30.03	o 290 
169.74/30.04	o 291 
169.74/30.07	o 292 
170.36/30.43	o 293 
170.36/30.45	o 294 
171.76/31.76	o 295 
171.76/31.78	o 296 
171.76/31.79	o 297 
172.01/31.80	o 298 
172.01/31.82	o 299 
172.01/31.84	o 300 
172.01/31.85	o 301 
172.01/31.86	o 302 
172.01/31.87	o 303 
172.01/31.88	o 304 
172.01/31.89	o 305 
172.46/31.90	o 306 
172.46/31.92	o 307 
172.46/31.93	o 308 
172.46/31.94	o 309 
172.46/31.95	o 310 
172.46/31.96	o 311 
172.46/31.97	o 312 
172.46/31.99	o 313 
172.46/32.00	o 314 
173.03/32.01	o 315 
173.03/32.03	o 316 
173.03/32.05	o 317 
173.03/32.06	o 318 
173.03/32.07	o 319 
173.03/32.08	o 320 
173.03/32.10	o 321 
173.53/32.11	o 322 
173.53/32.13	o 323 
173.53/32.14	o 324 
173.53/32.15	o 325 
173.53/32.16	o 326 
173.53/32.17	o 327 
173.53/32.19	o 328 
173.53/32.20	o 329 
173.98/32.21	o 330 
173.98/32.23	o 331 
173.98/32.24	o 332 
173.98/32.25	o 333 
173.98/32.26	o 334 
173.98/32.28	o 335 
173.98/32.29	o 336 
174.52/32.31	o 337 
174.52/32.32	o 338 
174.52/32.33	o 339 
174.52/32.35	o 340 
174.52/32.36	o 341 
174.52/32.37	o 342 
174.52/32.39	o 343 
174.98/32.40	o 344 
174.98/32.41	o 345 
174.98/32.42	o 346 
174.98/32.44	o 347 
174.98/32.45	o 348 
174.98/32.46	o 349 
174.98/32.48	o 350 
174.98/32.49	o 351 
175.47/32.51	o 352 
175.47/32.52	o 353 
175.47/32.54	o 354 
175.47/32.55	o 355 
175.47/32.56	o 356 
175.47/32.57	o 357 
175.47/32.58	o 358 
175.47/32.59	o 359 
175.98/32.60	o 360 
175.98/32.61	o 361 
175.98/32.63	o 362 
175.98/32.64	o 363 
175.98/32.65	o 364 
175.98/32.66	o 365 
175.98/32.67	o 366 
175.98/32.68	o 367 
175.98/32.70	o 368 
176.49/32.71	o 369 
176.49/32.72	o 370 
176.49/32.73	o 371 
176.49/32.74	o 372 
176.49/32.75	o 373 
176.49/32.77	o 374 
176.49/32.78	o 375 
176.49/32.79	o 376 
177.01/32.81	o 377 
177.01/32.82	o 378 
177.01/32.84	o 379 
177.01/32.85	o 380 
177.01/32.87	o 381 
177.01/32.88	o 382 
177.01/32.90	o 383 
177.48/32.91	o 384 
177.48/32.92	o 385 
177.48/32.94	o 386 
177.48/32.95	o 387 
177.48/32.96	o 388 
177.48/32.97	o 389 
177.48/32.98	o 390 
177.48/33.00	o 391 
178.04/33.01	o 392 
178.04/33.02	o 393 
178.04/33.04	o 394 
178.04/33.05	o 395 
178.04/33.07	o 396 
178.04/33.09	o 397 
178.04/33.10	o 398 
178.52/33.12	o 399 
178.52/33.13	o 400 
178.52/33.15	o 401 
178.52/33.16	o 402 
178.52/33.18	o 403 
178.52/33.19	o 404 
178.52/33.20	o 405 
179.04/33.22	o 406 
179.04/33.23	o 407 
179.04/33.24	o 408 
179.04/33.25	o 409 
179.04/33.26	o 410 
179.04/33.27	o 411 
179.04/33.29	o 412 
179.56/33.30	o 413 
179.56/33.31	o 414 
179.56/33.32	o 415 
179.56/33.34	o 416 
179.56/33.35	o 417 
179.56/33.37	o 418 
179.56/33.38	o 419 
179.56/33.40	o 420 
180.06/33.41	o 421 
180.06/33.42	o 422 
180.06/33.44	o 423 
180.06/33.45	o 424 
180.06/33.46	o 425 
180.06/33.48	o 426 
180.06/33.49	o 427 
180.55/33.51	o 428 
180.55/33.52	o 429 
180.55/33.53	o 430 
180.55/33.55	o 431 
180.55/33.56	o 432 
180.55/33.57	o 433 
180.55/33.59	o 434 
181.14/33.61	o 435 
181.14/33.62	o 436 
181.14/33.64	o 437 
181.14/33.65	o 438 
181.14/33.67	o 439 
181.14/33.68	o 440 
181.14/33.70	o 441 
181.60/33.71	o 442 
181.60/33.72	o 443 
181.60/33.74	o 444 
181.60/33.76	o 445 
181.60/33.77	o 446 
181.60/33.79	o 447 
182.11/33.80	o 448 
182.11/33.84	o 449 
182.11/33.86	o 450 
182.11/33.87	o 451 
182.11/33.88	o 452 
182.11/33.90	o 453 
182.61/33.91	o 454 
182.61/33.92	o 455 
182.61/33.93	o 456 
182.61/33.95	o 457 
182.61/33.96	o 458 
182.61/33.97	o 459 
182.61/33.99	o 460 
182.61/34.00	o 461 
183.18/34.01	o 462 
183.18/34.02	o 463 
183.18/34.04	o 464 
183.18/34.05	o 465 
183.18/34.06	o 466 
183.18/34.07	o 467 
183.18/34.10	o 468 
183.73/34.11	o 469 
183.73/34.12	o 470 
183.73/34.13	o 471 
183.73/34.15	o 472 
183.73/34.16	o 473 
183.73/34.17	o 474 
183.73/34.19	o 475 
184.24/34.20	o 476 
184.24/34.22	o 477 
184.24/34.23	o 478 
184.24/34.25	o 479 
184.24/34.26	o 480 
184.24/34.28	o 481 
184.24/34.29	o 482 
184.74/34.31	o 483 
184.74/34.32	o 484 
184.74/34.34	o 485 
184.74/34.35	o 486 
184.74/34.37	o 487 
184.74/34.38	o 488 
184.74/34.39	o 489 
185.31/34.40	o 490 
185.31/34.42	o 491 
185.31/34.44	o 492 
185.31/34.45	o 493 
185.31/34.46	o 494 
185.31/34.47	o 495 
185.31/34.48	o 496 
185.31/34.50	o 497 
185.79/34.51	o 498 
185.79/34.52	o 499 
185.79/34.54	o 500 
185.79/34.56	o 501 
185.79/34.57	o 502 
185.79/34.59	o 503 
186.32/34.60	o 504 
186.32/34.62	o 505 
186.32/34.63	o 506 
186.32/34.65	o 507 
186.32/34.66	o 508 
186.32/34.67	o 509 
186.32/34.69	o 510 
186.85/34.70	o 511 
186.85/34.71	o 512 
186.85/34.73	o 513 
186.85/34.74	o 514 
186.85/34.77	o 515 
187.36/34.98	o 516 
188.64/36.15	o 517 
188.64/36.17	o 518 
188.64/36.18	o 519 
188.91/36.20	o 520 
188.91/36.21	o 521 
188.91/36.23	o 522 
188.91/36.24	o 523 
188.91/36.25	o 524 
188.91/36.27	o 525 
188.91/36.28	o 526 
189.46/36.30	o 527 
189.46/36.32	o 528 
189.46/36.33	o 529 
189.46/36.35	o 530 
189.46/36.36	o 531 
189.46/36.37	o 532 
189.46/36.38	o 533 
189.46/36.40	o 534 
190.01/36.41	o 535 
190.01/36.42	o 536 
190.01/36.43	o 537 
190.01/36.45	o 538 
190.01/36.47	o 539 
190.01/36.48	o 540 
190.01/36.49	o 541 
190.59/36.51	o 542 
190.59/36.53	o 543 
190.59/36.54	o 544 
190.59/36.56	o 545 
190.59/36.57	o 546 
190.59/36.59	o 547 
191.05/36.61	o 548 
191.05/36.62	o 549 
191.05/36.64	o 550 
191.05/36.65	o 551 
191.05/36.67	o 552 
191.05/36.68	o 553 
191.56/36.70	o 554 
191.56/36.71	o 555 
191.56/36.73	o 556 
191.56/36.74	o 557 
191.56/36.76	o 558 
191.56/36.77	o 559 
191.56/36.78	o 560 
192.11/36.80	o 561 
192.11/36.82	o 562 
192.11/36.83	o 563 
192.11/36.84	o 564 
192.11/36.86	o 565 
192.11/36.87	o 566 
192.11/36.89	o 567 
192.11/36.90	o 568 
192.68/36.91	o 569 
192.68/36.93	o 570 
192.68/36.94	o 571 
192.68/36.95	o 572 
192.68/36.97	o 573 
192.68/36.98	o 574 
192.68/37.00	o 575 
193.29/37.01	o 576 
193.29/37.03	o 577 
193.29/37.04	o 578 
193.29/37.06	o 579 
193.29/37.07	o 580 
193.29/37.09	o 581 
193.29/37.10	o 582 
193.87/37.12	o 583 
193.87/37.13	o 584 
193.87/37.15	o 585 
193.87/37.16	o 586 
193.87/37.18	o 587 
193.87/37.19	o 588 
194.35/37.21	o 589 
194.35/37.22	o 590 
194.35/37.24	o 591 
194.35/37.25	o 592 
194.35/37.27	o 593 
194.35/37.29	o 594 
194.83/37.30	o 595 
194.83/37.31	o 596 
194.83/37.33	o 597 
194.83/37.35	o 598 
194.83/37.36	o 599 
194.83/37.37	o 600 
194.83/37.39	o 601 
195.42/37.40	o 602 
195.42/37.42	o 603 
195.42/37.43	o 604 
195.42/37.45	o 605 
195.42/37.46	o 606 
195.42/37.47	o 607 
195.42/37.49	o 608 
195.97/37.51	o 609 
195.97/37.53	o 610 
195.97/37.55	o 611 
195.97/37.56	o 612 
195.97/37.58	o 613 
195.97/37.60	o 614 
196.46/37.61	o 615 
196.46/37.63	o 616 
196.46/37.65	o 617 
196.46/37.67	o 618 
196.46/37.69	o 619 
196.98/37.70	o 620 
196.98/37.71	o 621 
196.98/37.73	o 622 
196.98/37.74	o 623 
196.98/37.75	o 624 
196.98/37.78	o 625 
196.98/37.79	o 626 
197.52/37.80	o 627 
197.52/37.82	o 628 
197.52/37.84	o 629 
197.52/37.85	o 630 
197.52/37.87	o 631 
197.52/37.88	o 632 
197.52/37.89	o 633 
198.08/37.91	o 634 
198.08/37.92	o 635 
198.08/37.94	o 636 
198.08/37.95	o 637 
198.08/37.96	o 638 
198.08/37.98	o 639 
198.08/38.00	o 640 
198.63/38.03	o 641 
198.63/38.04	o 642 
198.63/38.06	o 643 
198.63/38.07	o 644 
198.63/38.09	o 645 
198.63/38.11	o 646 
199.19/38.13	o 647 
199.19/38.15	o 648 
199.19/38.16	o 649 
199.19/38.18	o 650 
199.63/38.20	o 651 
199.63/38.21	o 652 
199.63/38.23	o 653 
199.63/38.24	o 654 
199.63/38.26	o 655 
199.63/38.27	o 656 
199.63/38.29	o 657 
200.23/38.31	o 658 
200.23/38.33	o 659 
200.23/38.35	o 660 
200.23/38.36	o 661 
200.23/38.38	o 662 
200.23/38.39	o 663 
200.74/38.41	o 664 
200.74/38.42	o 665 
200.74/38.43	o 666 
200.74/38.45	o 667 
200.74/38.47	o 668 
200.74/38.49	o 669 
201.27/38.50	o 670 
201.27/38.52	o 671 
201.27/38.53	o 672 
201.27/38.55	o 673 
201.27/38.57	o 674 
201.27/38.58	o 675 
201.82/38.60	o 676 
201.82/38.61	o 677 
201.82/38.63	o 678 
201.82/38.65	o 679 
201.82/38.66	o 680 
201.82/38.67	o 681 
201.82/38.69	o 682 
202.44/38.71	o 683 
202.44/38.72	o 684 
202.44/38.74	o 685 
202.44/38.76	o 686 
202.44/38.77	o 687 
202.44/38.78	o 688 
202.44/38.80	o 689 
202.96/38.81	o 690 
202.96/38.83	o 691 
202.96/38.84	o 692 
202.96/38.85	o 693 
202.96/38.87	o 694 
202.96/38.89	o 695 
203.58/38.90	o 696 
203.58/38.93	o 697 
203.58/38.94	o 698 
203.58/38.96	o 699 
203.58/38.97	o 700 
203.58/38.99	o 701 
203.58/39.00	o 702 
204.12/39.02	o 703 
204.12/39.03	o 704 
204.12/39.05	o 705 
204.12/39.06	o 706 
204.12/39.09	o 707 
204.71/39.11	o 708 
204.71/39.13	o 709 
204.94/39.29	o 710 
206.11/40.39	o 711 
206.23/40.41	o 712 
206.23/40.42	o 713 
206.23/40.43	o 714 
206.23/40.45	o 715 
206.23/40.46	o 716 
206.23/40.48	o 717 
206.23/40.50	o 718 
206.81/40.51	o 719 
206.81/40.53	o 720 
206.81/40.54	o 721 
206.81/40.56	o 722 
206.81/40.57	o 723 
206.81/40.59	o 724 
207.38/40.61	o 725 
207.38/40.62	o 726 
207.38/40.65	o 727 
207.38/40.66	o 728 
207.38/40.68	o 729 
207.87/40.70	o 730 
207.87/40.72	o 731 
207.87/40.74	o 732 
207.87/40.75	o 733 
207.87/40.77	o 734 
207.87/40.78	o 735 
208.41/40.80	o 736 
208.41/40.81	o 737 
208.41/40.84	o 738 
208.41/40.85	o 739 
208.41/40.86	o 740 
208.41/40.88	o 741 
208.41/40.90	o 742 
208.98/40.91	o 743 
208.98/40.93	o 744 
208.98/40.94	o 745 
208.98/40.96	o 746 
208.98/40.98	o 747 
208.98/40.99	o 748 
209.61/41.01	o 749 
209.61/41.03	o 750 
209.61/41.04	o 751 
209.61/41.06	o 752 
209.61/41.08	o 753 
209.61/41.09	o 754 
209.61/41.10	o 755 
210.15/41.13	o 756 
210.15/41.15	o 757 
210.15/41.16	o 758 
210.15/41.18	o 759 
210.15/41.20	o 760 
210.64/41.21	o 761 
210.64/41.23	o 762 
210.64/41.25	o 763 
210.64/41.27	o 764 
210.64/41.28	o 765 
210.64/41.30	o 766 
211.25/41.32	o 767 
211.25/41.33	o 768 
211.25/41.35	o 769 
211.25/41.36	o 770 
211.25/41.38	o 771 
211.25/41.40	o 772 
211.81/41.42	o 773 
211.81/41.43	o 774 
211.81/41.45	o 775 
211.81/41.46	o 776 
211.81/41.48	o 777 
212.37/41.50	o 778 
212.37/41.53	o 779 
212.37/41.55	o 780 
212.37/41.57	o 781 
212.37/41.59	o 782 
212.94/41.61	o 783 
212.94/41.62	o 784 
212.94/41.65	o 785 
212.94/41.67	o 786 
212.94/41.69	o 787 
213.39/41.71	o 788 
213.39/41.73	o 789 
213.39/41.74	o 790 
213.39/41.76	o 791 
213.39/41.78	o 792 
213.39/41.79	o 793 
213.94/41.81	o 794 
213.94/41.83	o 795 
213.94/41.84	o 796 
213.94/41.87	o 797 
213.94/41.89	o 798 
214.57/41.91	o 799 
214.57/41.92	o 800 
214.57/41.94	o 801 
214.57/41.96	o 802 
214.57/41.98	o 803 
214.57/42.00	o 804 
215.11/42.02	o 805 
215.11/42.04	o 806 
215.11/42.05	o 807 
215.11/42.07	o 808 
215.11/42.09	o 809 
215.68/42.11	o 810 
215.68/42.13	o 811 
215.68/42.15	o 812 
215.68/42.16	o 813 
215.68/42.19	o 814 
216.17/42.21	o 815 
216.17/42.22	o 816 
216.17/42.24	o 817 
216.17/42.26	o 818 
216.17/42.28	o 819 
216.74/42.30	o 820 
216.74/42.32	o 821 
216.74/42.34	o 822 
216.74/42.36	o 823 
216.74/42.37	o 824 
216.74/42.39	o 825 
217.31/42.43	o 826 
217.58/42.55	o 827 
218.77/43.63	o 828 
218.77/43.64	o 829 
218.77/43.66	o 830 
218.77/43.69	o 831 
219.33/43.81	o 832 
220.40/44.88	o 833 
220.59/44.91	o 834 
220.85/45.02	o 835 
221.93/46.09	o 836 
222.12/46.11	o 837 
222.30/46.22	o 838 
223.48/47.30	o 839 
223.48/47.32	o 840 
226.28/48.55	o 841 
226.28/48.58	o 842 
314.30/59.66	o 843 
488.28/82.37	o 844 
488.28/82.38	o 845 
686.32/107.30	o 846 
1635.28/226.28	o 847 
1840.95/252.08	s SATISFIABLE
1840.95/252.08	v <instantiation>
1840.95/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>
1840.95/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 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 1 1 1 1 0 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 1 1 0 0 0 1 1 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 1 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 0 1 1 2 1 0 0 0 0 0 0 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 1 1 0 1 2 1 1 0 0 0 0 1 0 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 0 0 1 1 1 0 0 1 1 0 0 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 408 427 458 482 847 </values>
1840.95/252.08	v </instantiation>
1840.95/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	847

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254848-1502639849/watcher-4254848-1502639849 -o /tmp/evaluation-result-4254848-1502639849/solver-4254848-1502639849 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 847131596 HOME/instance-4254848-1502639849.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
solver pid=21777, runsolver pid=21774
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 7.90 7.60 7.53 2/199 21798
/proc/meminfo: memFree=31508508/32770624 swapFree=67108860/67108860
[pid=21777] ppid=21774 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21777/stat : 21777 (xcsp3-exec) S 21774 21777 10735 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97073252 9740288 346 33554432000 4194304 5098028 140732318082928 140732318081032 140421726421628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19456000 140732318086251 140732318086460 140732318086460 140732318089195 0
/proc/21777/statm: 2378 346 289 221 0 87 0
[pid=21779] ppid=21777 vsize=25999808 memory=26596 CPUtime=0.12 cores=0-7
/proc/21779/stat : 21779 (java) S 21777 21777 10735 0 -1 1077944320 5495 0 0 0 11 1 0 0 20 0 20 0 97073252 26623803392 6649 33554432000 4194304 4196468 140725705194048 140725705176592 139734394257143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
/proc/21779/statm: 6499952 6649 2872 1 0 6488269 0
[pid=21779/tid=21780] ppid=21777 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21779/task/21780/stat : 21780 (java) R 21777 21777 10735 0 -1 4202560 3492 0 0 0 8 1 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139734398490416 139734026377001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21781] ppid=21777 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21779/task/21781/stat : 21781 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139734346877712 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21782] ppid=21777 vsize=25999808 memory=140470856910464 CPUtime=0 cores=0-7
/proc/21779/task/21782/stat : 21782 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139733951183760 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21783] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21783/stat : 21783 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139733950131216 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21784] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21784/stat : 21784 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139733949078672 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21785] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21785/stat : 21785 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139733948025104 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21786] ppid=21777 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21779/task/21786/stat : 21786 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139733946972560 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21787] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21787/stat : 21787 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139733945920016 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21788] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21788/stat : 21788 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26623803392 6649 33554432000 4194304 4196468 140725705194048 139733944867472 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21789] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21789/stat : 21789 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073255 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732599355888 139734394268290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21790] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21790/stat : 21790 (java) S 21777 21777 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97073255 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732598302112 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21791] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21791/stat : 21791 (java) S 21777 21777 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97073255 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732597249520 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21792] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21792/stat : 21792 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073258 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732596198096 139734394275739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21793] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21793/stat : 21793 (java) S 21777 21777 10735 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 97073258 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732595144688 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21794] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21794/stat : 21794 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073258 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732594092144 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21795] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21795/stat : 21795 (java) S 21777 21777 10735 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97073258 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732593039600 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21796] ppid=21777 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21779/task/21796/stat : 21796 (java) R 21777 21777 10735 0 -1 4202560 298 0 0 0 1 0 0 0 20 0 20 0 97073258 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732591987056 139734373065877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21797] ppid=21777 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21797/stat : 21797 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073258 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732590934752 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21798] ppid=21777 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21779/task/21798/stat : 21798 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073258 26623803392 6649 33554432000 4194304 4196468 140725705194048 139732589882288 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27980 KiB

[startup+0.210333 s]*
/proc/loadavg: 7.90 7.60 7.53 3/199 21798
/proc/meminfo: memFree=31496748/32770624 swapFree=67108860/67108860
[pid=21777] ppid=21774 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21777/stat : 21777 (xcsp3-exec) S 21774 21777 10735 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97073252 9740288 346 33554432000 4194304 5098028 140732318082928 140732318081032 140421726421628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19456000 140732318086251 140732318086460 140732318086460 140732318089195 0
/proc/21777/statm: 2378 346 289 221 0 87 0
[pid=21779] ppid=21777 vsize=26004064 memory=38904 CPUtime=0.33 cores=0-7
/proc/21779/stat : 21779 (java) S 21777 21777 10735 0 -1 1077944320 8417 0 0 0 30 3 0 0 20 0 20 0 97073252 26628161536 9726 33554432000 4194304 4196468 140725705194048 140725705176592 139734394257143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
/proc/21779/statm: 6501016 9726 3047 1 0 6488269 0
[pid=21779/tid=21780] ppid=21777 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21779/task/21780/stat : 21780 (java) D 21777 21777 10735 0 -1 1077944384 5506 0 0 0 17 2 0 0 20 0 20 0 97073253 26628161536 9726 33554432000 4194304 4196468 140725705194048 139734398458976 139734386936365 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21781] ppid=21777 vsize=26004096 memory=331 CPUtime=0 cores=0-7
/proc/21779/task/21781/stat : 21781 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26628194304 9726 33554432000 4194304 4196468 140725705194048 139734346877712 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21782] ppid=21777 vsize=26004096 memory=288370847008622208 CPUtime=0 cores=0-7
/proc/21779/task/21782/stat : 21782 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628194304 9726 33554432000 4194304 4196468 140725705194048 139733951183760 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21783] ppid=21777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21779/task/21783/stat : 21783 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 9726 33554432000 4194304 4196468 140725705194048 139733950131216 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21784] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21784/stat : 21784 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 9726 33554432000 4194304 4196468 140725705194048 139733949078672 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21785] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21785/stat : 21785 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 9726 33554432000 4194304 4196468 140725705194048 139733948025104 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21786] ppid=21777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21779/task/21786/stat : 21786 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 9726 33554432000 4194304 4196468 140725705194048 139733946972560 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21787] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21787/stat : 21787 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 9726 33554432000 4194304 4196468 140725705194048 139733945920016 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21788] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21788/stat : 21788 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 9726 33554432000 4194304 4196468 140725705194048 139733944867472 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21789] ppid=21777 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21789/stat : 21789 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073255 26628194304 9726 33554432000 4194304 4196468 140725705194048 139732599355888 139734394268290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21790] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21790/stat : 21790 (java) S 21777 21777 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97073255 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732598302112 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21791] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21791/stat : 21791 (java) S 21777 21777 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97073255 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732597249520 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21792] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21792/stat : 21792 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073258 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732596198096 139734394275739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21793] ppid=21777 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21779/task/21793/stat : 21793 (java) S 21777 21777 10735 0 -1 1077944384 570 0 0 0 1 0 0 0 20 0 20 0 97073258 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732595144688 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21794] ppid=21777 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21779/task/21794/stat : 21794 (java) R 21777 21777 10735 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 97073258 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732594092144 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21795] ppid=21777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21779/task/21795/stat : 21795 (java) S 21777 21777 10735 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 20 0 97073258 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732593039600 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21796] ppid=21777 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/21779/task/21796/stat : 21796 (java) S 21777 21777 10735 0 -1 1077944384 769 0 0 0 8 0 0 0 20 0 20 0 97073258 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732591987056 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21797] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21797/stat : 21797 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073258 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732590934752 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21798] ppid=21777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21779/task/21798/stat : 21798 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073258 26628161536 9726 33554432000 4194304 4196468 140725705194048 139732589882288 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40288 KiB

[startup+0.310351 s]*
/proc/loadavg: 7.90 7.60 7.53 4/199 21798
/proc/meminfo: memFree=31490784/32770624 swapFree=67108860/67108860
[pid=21777] ppid=21774 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21777/stat : 21777 (xcsp3-exec) S 21774 21777 10735 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97073252 9740288 346 33554432000 4194304 5098028 140732318082928 140732318081032 140421726421628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19456000 140732318086251 140732318086460 140732318086460 140732318089195 0
/proc/21777/statm: 2378 346 289 221 0 87 0
[pid=21779] ppid=21777 vsize=26004064 memory=45748 CPUtime=0.51 cores=0-7
/proc/21779/stat : 21779 (java) S 21777 21777 10735 0 -1 1077944320 9171 0 0 0 47 4 0 0 20 0 20 0 97073252 26628161536 11437 33554432000 4194304 4196468 140725705194048 140725705176592 139734394257143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
/proc/21779/statm: 6501016 11437 3076 1 0 6488269 0
[pid=21779/tid=21780] ppid=21777 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21779/task/21780/stat : 21780 (java) R 21777 21777 10735 0 -1 4202560 6059 0 0 0 27 2 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139734398494832 139734026385748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21781] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21781/stat : 21781 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139734346877712 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21782] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21782/stat : 21782 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139733951183760 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21783] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21783/stat : 21783 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139733950131216 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21784] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21784/stat : 21784 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139733949078672 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21785] ppid=21777 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21779/task/21785/stat : 21785 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139733948025104 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21786] ppid=21777 vsize=26004064 memory=140470730716079 CPUtime=0 cores=0-7
/proc/21779/task/21786/stat : 21786 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139733946972560 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21787] ppid=21777 vsize=26004064 memory=140470730718384 CPUtime=0 cores=0-7
/proc/21779/task/21787/stat : 21787 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139733945920016 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21788] ppid=21777 vsize=26004064 memory=140470730720688 CPUtime=0 cores=0-7
/proc/21779/task/21788/stat : 21788 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26628161536 11437 33554432000 4194304 4196468 140725705194048 139733944867472 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21789] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21789/stat : 21789 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073255 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732599355888 139734394268290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21790] ppid=21777 vsize=26004064 memory=280941461448336 CPUtime=0 cores=0-7
/proc/21779/task/21790/stat : 21790 (java) S 21777 21777 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97073255 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732598302112 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21791] ppid=21777 vsize=26004064 memory=280941461455248 CPUtime=0 cores=0-7
/proc/21779/task/21791/stat : 21791 (java) S 21777 21777 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97073255 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732597249520 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21792] ppid=21777 vsize=26004064 memory=280941461396528 CPUtime=0 cores=0-7
/proc/21779/task/21792/stat : 21792 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073258 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732596198096 139734394275739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21793] ppid=21777 vsize=26004064 memory=280941461469072 CPUtime=0.02 cores=0-7
/proc/21779/task/21793/stat : 21793 (java) R 21777 21777 10735 0 -1 4202560 579 0 0 0 2 0 0 0 20 0 20 0 97073258 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732595144688 139734387242185 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21794] ppid=21777 vsize=26004064 memory=280941461475984 CPUtime=0.02 cores=0-7
/proc/21779/task/21794/stat : 21794 (java) S 21777 21777 10735 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 97073258 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732594092144 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21795] ppid=21777 vsize=26004064 memory=280941461473680 CPUtime=0.02 cores=0-7
/proc/21779/task/21795/stat : 21795 (java) R 21777 21777 10735 0 -1 4202560 212 0 0 0 2 0 0 0 20 0 20 0 97073258 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732593039600 139734375781999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21796] ppid=21777 vsize=26004064 memory=280941461489840 CPUtime=0.13 cores=0-7
/proc/21779/task/21796/stat : 21796 (java) R 21777 21777 10735 0 -1 4202560 905 0 0 0 13 0 0 0 20 0 20 0 97073258 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732591983424 139734378612125 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21797] ppid=21777 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21797/stat : 21797 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073258 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732590934752 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21798] ppid=21777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21779/task/21798/stat : 21798 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073258 26628161536 11437 33554432000 4194304 4196468 140725705194048 139732589882288 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47132 KiB

[startup+0.700984 s]
/proc/loadavg: 7.90 7.60 7.53 5/199 21798
/proc/meminfo: memFree=31462432/32770624 swapFree=67108860/67108860
[pid=21777] ppid=21774 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21777/stat : 21777 (xcsp3-exec) S 21774 21777 10735 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97073252 9740288 346 33554432000 4194304 5098028 140732318082928 140732318081032 140421726421628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19456000 140732318086251 140732318086460 140732318086460 140732318089195 0
/proc/21777/statm: 2378 346 289 221 0 87 0
[pid=21779] ppid=21777 vsize=26006188 memory=91980 CPUtime=1.81 cores=0-7
/proc/21779/stat : 21779 (java) S 21777 21777 10735 0 -1 1077944320 12483 0 0 0 175 6 0 0 20 0 20 0 97073252 26630336512 22995 33554432000 4194304 4196468 140725705194048 140725705176592 139734394257143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
/proc/21779/statm: 6501547 22995 3199 1 0 6488781 0
[pid=21779/tid=21780] ppid=21777 vsize=26006188 memory=280941461847728 CPUtime=0.67 cores=0-7
/proc/21779/task/21780/stat : 21780 (java) R 21777 21777 10735 0 -1 4202560 6528 0 0 0 64 3 0 0 20 0 20 0 97073253 26630336512 22995 33554432000 4194304 4196468 140725705194048 139734398494416 139734030575578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21781] ppid=21777 vsize=26006188 memory=140470730924912 CPUtime=0 cores=0-7
/proc/21779/task/21781/stat : 21781 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97073253 26630336512 22995 33554432000 4194304 4196468 140725705194048 139734346877712 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21782] ppid=21777 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21779/task/21782/stat : 21782 (java) S 21777 21777 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97073253 26630336512 22995 33554432000 4194304 4196468 140725705194048 139733951183760 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21783] ppid=21777 vsize=26006188 memory=5672 CPUtime=0 cores=0-7
/proc/21779/task/21783/stat : 21783 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97073253 26630336512 22995 33554432000 4194304 4196468 140725705194048 139733950131216 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0

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

[pid=21779/tid=28440] ppid=21777 vsize=26541776 memory=1384 CPUtime=54.24 cores=0-7
/proc/21779/task/28440/stat : 28440 (java) S 21777 21777 10735 0 -1 1077944384 2278 0 0 0 5420 4 0 0 20 0 28 0 97083982 27178778624 1125531 33554432000 4194304 4196468 140725705194048 139732575560800 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
Current children cumulated CPU time: 1125.67 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4503508 KiB

[startup+222.301 s]
/proc/loadavg: 8.58 7.64 7.51 9/207 28440
/proc/meminfo: memFree=27045796/32770624 swapFree=67108860/67108860
[pid=21777] ppid=21774 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21777/stat : 21777 (xcsp3-exec) S 21774 21777 10735 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97073252 9740288 346 33554432000 4194304 5098028 140732318082928 140732318081032 140421726421628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19456000 140732318086251 140732318086460 140732318086460 140732318089195 0
/proc/21777/statm: 2378 346 289 221 0 87 0
[pid=21779] ppid=21777 vsize=26541776 memory=4482136 CPUtime=1604.18 cores=0-7
/proc/21779/stat : 21779 (java) S 21777 21777 10735 0 -1 1077944320 237492 0 0 0 159907 511 0 0 20 0 28 0 97073252 27178778624 1120534 33554432000 4194304 4196468 140725705194048 140725705176592 139734394257143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
/proc/21779/statm: 6635444 1120534 3289 1 0 6622678 0
[pid=21779/tid=21780] ppid=21777 vsize=26541776 memory=4482128 CPUtime=6.25 cores=0-7
/proc/21779/task/21780/stat : 21780 (java) S 21777 21777 10735 0 -1 1077944384 11206 0 0 0 604 21 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139734398497856 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21781] ppid=21777 vsize=26541776 memory=4515980 CPUtime=0.38 cores=0-7
/proc/21779/task/21781/stat : 21781 (java) S 21777 21777 10735 0 -1 1077944384 1189 0 0 0 28 10 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139734346877712 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21782] ppid=21777 vsize=26541776 memory=4494404 CPUtime=0.39 cores=0-7
/proc/21779/task/21782/stat : 21782 (java) S 21777 21777 10735 0 -1 1077944384 1658 0 0 0 28 11 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139733951183760 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21783] ppid=21777 vsize=26541776 memory=4489248 CPUtime=0.39 cores=0-7
/proc/21779/task/21783/stat : 21783 (java) S 21777 21777 10735 0 -1 1077944384 2533 0 0 0 28 11 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139733950131216 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21784] ppid=21777 vsize=26541776 memory=4489248 CPUtime=0.4 cores=0-7
/proc/21779/task/21784/stat : 21784 (java) S 21777 21777 10735 0 -1 1077944384 1444 0 0 0 28 12 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139733949078672 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21785] ppid=21777 vsize=26541776 memory=1384 CPUtime=0.39 cores=0-7
/proc/21779/task/21785/stat : 21785 (java) S 21777 21777 10735 0 -1 1077944384 2000 0 0 0 28 11 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139733948025104 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21786] ppid=21777 vsize=26541776 memory=4482076 CPUtime=0.41 cores=0-7
/proc/21779/task/21786/stat : 21786 (java) S 21777 21777 10735 0 -1 1077944384 2089 0 0 0 29 12 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139733946972560 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21787] ppid=21777 vsize=26541776 memory=1384 CPUtime=0.41 cores=0-7
/proc/21779/task/21787/stat : 21787 (java) S 21777 21777 10735 0 -1 1077944384 1834 0 0 0 30 11 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139733945920016 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21788] ppid=21777 vsize=26541776 memory=4482076 CPUtime=0.37 cores=0-7
/proc/21779/task/21788/stat : 21788 (java) S 21777 21777 10735 0 -1 1077944384 1609 0 0 0 27 10 0 0 20 0 28 0 97073253 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139733944867472 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21789] ppid=21777 vsize=26541776 memory=4482128 CPUtime=0.09 cores=0-7
/proc/21779/task/21789/stat : 21789 (java) S 21777 21777 10735 0 -1 1077944384 8298 0 0 0 6 3 0 0 20 0 28 0 97073255 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732599355888 139734394268290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21790] ppid=21777 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/21779/task/21790/stat : 21790 (java) S 21777 21777 10735 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97073255 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732598302176 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21791] ppid=21777 vsize=26541776 memory=648 CPUtime=0 cores=0-7
/proc/21779/task/21791/stat : 21791 (java) S 21777 21777 10735 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97073255 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732597249536 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21792] ppid=21777 vsize=26541776 memory=4482136 CPUtime=0 cores=0-7
/proc/21779/task/21792/stat : 21792 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97073258 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732596198096 139734394275739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21793] ppid=21777 vsize=26541776 memory=4482136 CPUtime=3.88 cores=0-7
/proc/21779/task/21793/stat : 21793 (java) S 21777 21777 10735 0 -1 1077944384 21975 0 0 0 384 4 0 0 20 0 28 0 97073258 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732595144688 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21794] ppid=21777 vsize=26541776 memory=2344 CPUtime=3.76 cores=0-7
/proc/21779/task/21794/stat : 21794 (java) S 21777 21777 10735 0 -1 1077944384 18558 0 0 0 372 4 0 0 20 0 28 0 97073258 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732594092144 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21795] ppid=21777 vsize=26541776 memory=928 CPUtime=3.62 cores=0-7
/proc/21779/task/21795/stat : 21795 (java) S 21777 21777 10735 0 -1 1077944384 24510 0 0 0 359 3 0 0 20 0 28 0 97073258 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732593039600 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21796] ppid=21777 vsize=26541776 memory=1384 CPUtime=1.29 cores=0-7
/proc/21779/task/21796/stat : 21796 (java) S 21777 21777 10735 0 -1 1077944384 15025 0 0 0 127 2 0 0 20 0 28 0 97073258 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732591987056 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21797] ppid=21777 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/21779/task/21797/stat : 21797 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97073258 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732590934752 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21798] ppid=21777 vsize=26541776 memory=1384 CPUtime=0.08 cores=0-7
/proc/21779/task/21798/stat : 21798 (java) S 21777 21777 10735 0 -1 1077944384 2904 0 0 0 4 4 0 0 20 0 28 0 97073258 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732589882288 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28433] ppid=21777 vsize=26541776 memory=1384 CPUtime=114.61 cores=0-7
/proc/21779/task/28433/stat : 28433 (java) R 21777 21777 10735 0 -1 4202560 3099 0 0 0 11456 5 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732574502696 139734031475136 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28434] ppid=21777 vsize=26541776 memory=6760 CPUtime=114.84 cores=0-7
/proc/21779/task/28434/stat : 28434 (java) R 21777 21777 10735 0 -1 4202560 2414 0 0 0 11483 1 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732579768088 139734026732576 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28435] ppid=21777 vsize=26541776 memory=832 CPUtime=114.82 cores=0-7
/proc/21779/task/28435/stat : 28435 (java) R 21777 21777 10735 0 -1 4202560 1829 0 0 0 11481 1 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732571353824 139734036195406 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28436] ppid=21777 vsize=26541776 memory=1384 CPUtime=114.54 cores=0-7
/proc/21779/task/28436/stat : 28436 (java) R 21777 21777 10735 0 -1 4202560 5408 0 0 0 11450 4 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732576608776 139734036108858 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28437] ppid=21777 vsize=26541776 memory=1384 CPUtime=114.65 cores=0-7
/proc/21779/task/28437/stat : 28437 (java) R 21777 21777 10735 0 -1 4202560 6067 0 0 0 11455 10 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732581872856 139734029458818 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28438] ppid=21777 vsize=26541776 memory=1384 CPUtime=114.3 cores=0-7
/proc/21779/task/28438/stat : 28438 (java) R 21777 21777 10735 0 -1 4202560 12173 0 0 0 11353 77 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732577664688 139734036299249 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28439] ppid=21777 vsize=26541776 memory=4482076 CPUtime=114.72 cores=0-7
/proc/21779/task/28439/stat : 28439 (java) R 21777 21777 10735 0 -1 4202560 1872 0 0 0 11470 2 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732580820376 139734029458599 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28440] ppid=21777 vsize=26541776 memory=27936 CPUtime=113.85 cores=0-7
/proc/21779/task/28440/stat : 28440 (java) R 21777 21777 10735 0 -1 4202560 2605 0 0 0 11380 5 0 0 20 0 28 0 97083982 27178778624 1120534 33554432000 4194304 4196468 140725705194048 139732575556504 139734036384939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
Current children cumulated CPU time: 1604.18 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4483520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.42 7.69 7.53 9/207 28448
/proc/meminfo: memFree=27052280/32770624 swapFree=67108860/67108860
[pid=21777] ppid=21774 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21777/stat : 21777 (xcsp3-exec) S 21774 21777 10735 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97073252 9740288 346 33554432000 4194304 5098028 140732318082928 140732318081032 140421726421628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19456000 140732318086251 140732318086460 140732318086460 140732318089195 0
/proc/21777/statm: 2378 346 289 221 0 87 0
[pid=21779] ppid=21777 vsize=26541776 memory=4475160 CPUtime=1840.95 cores=0-7
/proc/21779/stat : 21779 (java) S 21777 21777 10735 0 -1 1077944320 257676 0 0 0 183542 553 0 0 20 0 28 0 97073252 27178778624 1118790 33554432000 4194304 4196468 140725705194048 140725705176592 139734394257143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
/proc/21779/statm: 6635444 1118790 3289 1 0 6622678 0
[pid=21779/tid=21780] ppid=21777 vsize=26541776 memory=6791534058613427641 CPUtime=6.25 cores=0-7
/proc/21779/task/21780/stat : 21780 (java) S 21777 21777 10735 0 -1 1077944384 11395 0 0 0 604 21 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139734398497856 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21781] ppid=21777 vsize=26541776 memory=4872558044660077418 CPUtime=0.41 cores=0-7
/proc/21779/task/21781/stat : 21781 (java) S 21777 21777 10735 0 -1 1077944384 1338 0 0 0 30 11 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139734346877712 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21782] ppid=21777 vsize=26541776 memory=6791534058613427641 CPUtime=0.41 cores=0-7
/proc/21779/task/21782/stat : 21782 (java) S 21777 21777 10735 0 -1 1077944384 1754 0 0 0 30 11 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139733951183760 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21783] ppid=21777 vsize=26541776 memory=4473628 CPUtime=0.41 cores=0-7
/proc/21779/task/21783/stat : 21783 (java) S 21777 21777 10735 0 -1 1077944384 3033 0 0 0 30 11 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139733950131216 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21784] ppid=21777 vsize=26541776 memory=1384 CPUtime=0.42 cores=0-7
/proc/21779/task/21784/stat : 21784 (java) S 21777 21777 10735 0 -1 1077944384 1559 0 0 0 30 12 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139733949078672 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21785] ppid=21777 vsize=26541776 memory=4473628 CPUtime=0.42 cores=0-7
/proc/21779/task/21785/stat : 21785 (java) S 21777 21777 10735 0 -1 1077944384 2191 0 0 0 30 12 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139733948025104 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21786] ppid=21777 vsize=26541776 memory=1200 CPUtime=0.43 cores=0-7
/proc/21779/task/21786/stat : 21786 (java) S 21777 21777 10735 0 -1 1077944384 2307 0 0 0 31 12 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139733946972560 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21787] ppid=21777 vsize=26541776 memory=15876 CPUtime=0.43 cores=0-7
/proc/21779/task/21787/stat : 21787 (java) S 21777 21777 10735 0 -1 1077944384 2251 0 0 0 32 11 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139733945920016 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21788] ppid=21777 vsize=26541776 memory=16236 CPUtime=0.39 cores=0-7
/proc/21779/task/21788/stat : 21788 (java) S 21777 21777 10735 0 -1 1077944384 2050 0 0 0 29 10 0 0 20 0 28 0 97073253 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139733944867472 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21789] ppid=21777 vsize=26541776 memory=1384 CPUtime=0.09 cores=0-7
/proc/21779/task/21789/stat : 21789 (java) S 21777 21777 10735 0 -1 1077944384 9620 0 0 0 6 3 0 0 20 0 28 0 97073255 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732599355888 139734394268290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21790] ppid=21777 vsize=26541776 memory=4473624 CPUtime=0 cores=0-7
/proc/21779/task/21790/stat : 21790 (java) S 21777 21777 10735 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97073255 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732598302176 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21791] ppid=21777 vsize=26541776 memory=1232 CPUtime=0 cores=0-7
/proc/21779/task/21791/stat : 21791 (java) S 21777 21777 10735 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97073255 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732597249536 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21792] ppid=21777 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/21779/task/21792/stat : 21792 (java) S 21777 21777 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97073258 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732596198096 139734394275739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21793] ppid=21777 vsize=26541776 memory=11000 CPUtime=3.88 cores=0-7
/proc/21779/task/21793/stat : 21793 (java) S 21777 21777 10735 0 -1 1077944384 22479 0 0 0 384 4 0 0 20 0 28 0 97073258 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732595144688 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21794] ppid=21777 vsize=26541776 memory=1224 CPUtime=3.77 cores=0-7
/proc/21779/task/21794/stat : 21794 (java) S 21777 21777 10735 0 -1 1077944384 18842 0 0 0 373 4 0 0 20 0 28 0 97073258 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732594092144 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21795] ppid=21777 vsize=26541776 memory=5672 CPUtime=3.64 cores=0-7
/proc/21779/task/21795/stat : 21795 (java) S 21777 21777 10735 0 -1 1077944384 25117 0 0 0 360 4 0 0 20 0 28 0 97073258 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732593039600 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21796] ppid=21777 vsize=26541776 memory=4612 CPUtime=1.31 cores=0-7
/proc/21779/task/21796/stat : 21796 (java) S 21777 21777 10735 0 -1 1077944384 15848 0 0 0 128 3 0 0 20 0 28 0 97073258 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732591987056 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21797] ppid=21777 vsize=26541776 memory=1200 CPUtime=0 cores=0-7
/proc/21779/task/21797/stat : 21797 (java) S 21777 21777 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97073258 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732590934752 139734394267349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=21798] ppid=21777 vsize=26541776 memory=15876 CPUtime=0.08 cores=0-7
/proc/21779/task/21798/stat : 21798 (java) S 21777 21777 10735 0 -1 1077944384 3148 0 0 0 4 4 0 0 20 0 28 0 97073258 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732589882288 139734394268290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28441] ppid=21777 vsize=26541776 memory=16236 CPUtime=25.63 cores=0-7
/proc/21779/task/28441/stat : 28441 (java) R 21777 21777 10735 0 -1 4202560 1497 0 0 0 2561 2 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732575555768 139734035745341 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28442] ppid=21777 vsize=26541776 memory=4044 CPUtime=25.67 cores=0-7
/proc/21779/task/28442/stat : 28442 (java) R 21777 21777 10735 0 -1 4202560 1177 0 0 0 2566 1 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732574504824 139734036195432 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28443] ppid=21777 vsize=26541776 memory=16408 CPUtime=25.66 cores=0-7
/proc/21779/task/28443/stat : 28443 (java) R 21777 21777 10735 0 -1 4202560 910 0 0 0 2566 0 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732579766712 139734029458789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28444] ppid=21777 vsize=26541776 memory=1232 CPUtime=25.66 cores=0-7
/proc/21779/task/28444/stat : 28444 (java) R 21777 21777 10735 0 -1 4202560 4110 0 0 0 2542 24 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732571356208 139734031622993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28445] ppid=21777 vsize=26541776 memory=648 CPUtime=25.65 cores=0-7
/proc/21779/task/28445/stat : 28445 (java) R 21777 21777 10735 0 -1 4202560 1826 0 0 0 2560 5 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732576608936 139734036134054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28446] ppid=21777 vsize=26541776 memory=1796 CPUtime=25.39 cores=0-7
/proc/21779/task/28446/stat : 28446 (java) R 21777 21777 10735 0 -1 4202560 925 0 0 0 2538 1 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732577661616 139734036299226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28447] ppid=21777 vsize=26541776 memory=956 CPUtime=25.5 cores=0-7
/proc/21779/task/28447/stat : 28447 (java) R 21777 21777 10735 0 -1 4202560 1080 0 0 0 2549 1 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732580819624 139734036108775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
[pid=21779/tid=28448] ppid=21777 vsize=26541776 memory=2344 CPUtime=25.61 cores=0-7
/proc/21779/task/28448/stat : 28448 (java) R 21777 21777 10735 0 -1 4202560 1909 0 0 0 2560 1 0 0 20 0 28 0 97095881 27178778624 1118790 33554432000 4194304 4196468 140725705194048 139732581872680 139734036444092 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27000832 140725705196696 140725705196872 140725705196872 140725705199567 0
Current children cumulated CPU time: 1840.95 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4476544 KiB

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

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

[startup+252.116 s]
# the end of solver process 21779 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1836.05 s, system=5.55735 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.116
CPU time (s): 1841.61
CPU user time (s): 1836.05
CPU system time (s): 5.55735
CPU usage (%): 730.462
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 4583100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1836.05
system time used= 5.55735
maximum resident set size= 4587864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63678
involuntary context switches= 20827


# summary of solver processes directly reported to runsolver:
#   pid: 21777,21779
#   total CPU time (s): 1841.61
#   total CPU user time (s): 1836.05
#   total CPU system time (s): 5.55735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91602 second user time and 3.20365 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-13 17:43:11
IDJOB=4254848
IDBENCH=115917
IDSOLVER=2636
FILE ID=node102/4254848-1502639849
RUNJOBID= node102-1502634636-10762
PBS_JOBID= 20628324
Free space on /tmp= 61912 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-4254848-1502639849/watcher-4254848-1502639849 -o /tmp/evaluation-result-4254848-1502639849/solver-4254848-1502639849 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 847131596 HOME/instance-4254848-1502639849.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=847131596

node102.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.35
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.35
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.35
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.35
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:        31524704 kB
MemAvailable:   31987792 kB
Buffers:          114024 kB
Cached:           633644 kB
SwapCached:            0 kB
Active:           646828 kB
Inactive:         152580 kB
Active(anon):       4292 kB
Inactive(anon):    75372 kB
Active(file):     642536 kB
Inactive(file):    77208 kB
Unevictable:        6444 kB
Mlocked:            6444 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7908 kB
Writeback:             0 kB
AnonPages:        131716 kB
Mapped:            43376 kB
Shmem:             25228 kB
Slab:             144644 kB
SReclaimable:     118356 kB
SUnreclaim:        26288 kB
KernelStack:        3520 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61904 MiB
End job on node102 at 2017-08-13 17:47:23