Trace number 4254849

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)887 1775.37 252.123

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-44.xml
MD5SUM4997da7be544d89c7d7e917a89d7c5a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark887
Best CPU time to get the best result obtained on this benchmark1821.27
Satisfiable
(Un)Satisfiability was proved
Number of variables4279
Number of constraints2384
Number of domains4
Minimum domain size2
Maximum domain size4233
Distribution of domain sizes[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree1
Maximum variable degree47
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity2
Maximum constraint arity48
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints2112
Number of intensional constraints221
Distribution of constraint types[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"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-4254849-1502639564.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4254849-1502639564.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
11.79/5.68	c solve instance...
29.98/8.04	o 0 
29.98/8.07	o 4 
29.98/8.08	o 6 
29.98/8.09	o 8 
29.98/8.10	o 10 
30.51/8.13	o 12 
30.51/8.15	o 14 
31.40/8.53	o 16 
33.66/10.13	o 18 
34.24/10.21	o 20 
35.03/10.31	o 22 
35.76/10.45	o 24 
38.89/10.87	o 26 
42.82/11.33	o 28 
55.79/13.55	o 30 
77.04/16.60	o 32 
106.43/20.30	o 34 
198.86/31.97	o 36 
274.10/41.53	o 37 
275.49/42.87	o 38 
275.49/42.89	o 39 
275.68/42.91	o 40 
275.68/42.93	o 41 
275.68/42.95	o 42 
275.68/42.96	o 43 
275.68/42.98	o 44 
275.68/42.99	o 45 
275.68/43.01	o 46 
276.12/43.02	o 47 
276.12/43.03	o 48 
276.12/43.05	o 49 
276.12/43.06	o 50 
276.12/43.08	o 51 
276.12/43.09	o 52 
276.12/43.10	o 53 
276.64/43.11	o 54 
276.64/43.13	o 55 
276.64/43.14	o 56 
276.64/43.15	o 57 
276.64/43.17	o 58 
276.64/43.18	o 59 
277.07/43.20	o 60 
277.07/43.22	o 61 
277.07/43.23	o 62 
277.07/43.24	o 63 
277.07/43.26	o 64 
277.07/43.26	o 65 
277.07/43.28	o 66 
277.07/43.29	o 67 
277.07/43.30	o 68 
277.56/43.31	o 69 
277.56/43.32	o 70 
277.56/43.34	o 71 
277.56/43.35	o 72 
277.56/43.37	o 73 
277.56/43.38	o 74 
277.56/43.39	o 75 
277.97/43.40	o 76 
277.97/43.41	o 77 
277.97/43.43	o 78 
277.97/43.44	o 79 
277.97/43.45	o 80 
277.97/43.47	o 81 
277.97/43.48	o 82 
277.97/43.49	o 83 
278.44/43.50	o 84 
278.44/43.52	o 85 
278.44/43.54	o 86 
278.44/43.55	o 87 
278.44/43.56	o 88 
278.44/43.58	o 89 
278.44/43.59	o 90 
278.90/43.60	o 91 
278.90/43.61	o 92 
278.90/43.63	o 93 
278.90/43.64	o 94 
278.90/43.65	o 95 
278.90/43.67	o 96 
278.90/43.68	o 97 
278.90/43.70	o 98 
279.37/43.71	o 99 
279.37/43.72	o 100 
279.37/43.73	o 101 
279.37/43.74	o 102 
279.37/43.75	o 103 
279.37/43.76	o 104 
279.37/43.78	o 105 
279.37/43.79	o 106 
279.93/43.81	o 107 
279.93/43.82	o 108 
279.93/43.83	o 109 
279.93/43.84	o 110 
279.93/43.86	o 111 
279.93/43.87	o 112 
279.93/43.88	o 113 
280.37/43.90	o 114 
280.37/43.91	o 115 
280.37/43.93	o 116 
280.37/43.94	o 117 
280.37/43.95	o 118 
280.37/43.96	o 119 
280.37/43.97	o 120 
280.37/43.98	o 121 
280.37/43.99	o 122 
280.37/44.01	o 123 
280.86/44.02	o 124 
280.86/44.03	o 125 
280.86/44.04	o 126 
280.86/44.06	o 127 
280.86/44.07	o 128 
280.86/44.08	o 129 
280.86/44.10	o 130 
280.86/44.11	o 131 
281.33/44.12	o 132 
281.33/44.13	o 133 
281.33/44.15	o 134 
281.33/44.16	o 135 
281.33/44.17	o 136 
281.33/44.18	o 137 
281.79/44.20	o 138 
281.79/44.21	o 139 
281.79/44.22	o 140 
281.79/44.24	o 141 
281.79/44.25	o 142 
281.79/44.26	o 143 
281.79/44.28	o 144 
281.79/44.29	o 145 
282.30/44.31	o 146 
282.30/44.32	o 147 
282.30/44.33	o 148 
282.30/44.35	o 149 
282.30/44.36	o 150 
282.30/44.37	o 151 
282.30/44.38	o 152 
282.30/44.39	o 153 
282.80/44.41	o 154 
282.80/44.42	o 155 
282.80/44.43	o 156 
282.80/44.44	o 157 
282.80/44.45	o 158 
282.80/44.46	o 159 
282.80/44.47	o 160 
282.80/44.49	o 161 
282.80/44.50	o 162 
283.28/44.51	o 163 
283.28/44.52	o 164 
283.28/44.54	o 165 
283.28/44.55	o 166 
283.28/44.56	o 167 
283.28/44.57	o 168 
283.28/44.58	o 169 
283.28/44.59	o 170 
283.76/44.61	o 171 
283.76/44.62	o 172 
283.76/44.63	o 173 
283.76/44.64	o 174 
283.76/44.65	o 175 
283.76/44.67	o 176 
283.76/44.68	o 177 
283.76/44.69	o 178 
284.29/44.70	o 179 
284.29/44.72	o 180 
284.29/44.73	o 181 
284.29/44.74	o 182 
284.29/44.76	o 183 
284.29/44.77	o 184 
284.29/44.78	o 185 
284.29/44.80	o 186 
284.76/44.81	o 187 
284.76/44.82	o 188 
284.76/44.84	o 189 
284.76/44.85	o 190 
284.76/44.86	o 191 
284.76/44.88	o 192 
284.76/44.89	o 193 
285.30/44.90	o 194 
285.30/44.92	o 195 
285.30/44.93	o 196 
285.30/44.94	o 197 
285.30/44.95	o 198 
285.30/44.97	o 199 
285.30/44.98	o 200 
285.30/44.99	o 201 
285.30/45.01	o 202 
285.82/45.02	o 203 
285.82/45.03	o 204 
285.82/45.04	o 205 
285.82/45.06	o 206 
285.82/45.07	o 207 
285.82/45.09	o 208 
285.82/45.10	o 209 
286.32/45.11	o 210 
286.32/45.13	o 211 
286.32/45.14	o 212 
286.32/45.15	o 213 
286.32/45.17	o 214 
286.32/45.18	o 215 
286.32/45.19	o 216 
286.78/45.20	o 217 
286.78/45.21	o 218 
286.78/45.22	o 219 
286.78/45.23	o 220 
286.78/45.24	o 221 
286.78/45.25	o 222 
286.78/45.27	o 223 
286.78/45.28	o 224 
286.78/45.29	o 225 
287.26/45.31	o 226 
287.26/45.32	o 227 
287.26/45.33	o 228 
287.26/45.35	o 229 
287.26/45.36	o 230 
287.26/45.37	o 231 
287.26/45.38	o 232 
287.26/45.40	o 233 
287.79/45.41	o 234 
287.79/45.42	o 235 
287.79/45.43	o 236 
287.79/45.44	o 237 
287.79/45.46	o 238 
287.79/45.47	o 239 
287.79/45.49	o 240 
288.30/45.50	o 241 
288.30/45.52	o 242 
288.30/45.53	o 243 
288.30/45.54	o 244 
288.30/45.56	o 245 
288.30/45.57	o 246 
288.30/45.58	o 247 
288.30/45.59	o 248 
288.85/45.61	o 249 
288.85/45.62	o 250 
288.85/45.63	o 251 
288.85/45.65	o 252 
288.85/45.66	o 253 
288.85/45.67	o 254 
288.85/45.69	o 255 
289.30/45.70	o 256 
289.30/45.74	o 257 
289.84/46.12	o 258 
291.10/47.38	o 259 
291.10/47.39	o 260 
291.33/47.40	o 261 
291.33/47.42	o 262 
291.33/47.43	o 263 
291.33/47.45	o 264 
291.33/47.46	o 265 
291.33/47.47	o 266 
291.33/47.49	o 267 
291.84/47.51	o 268 
291.84/47.52	o 269 
291.84/47.54	o 270 
291.84/47.55	o 271 
291.84/47.57	o 272 
291.84/47.58	o 273 
291.84/47.59	o 274 
292.29/47.61	o 275 
292.29/47.62	o 276 
292.29/47.64	o 277 
292.29/47.65	o 278 
292.29/47.66	o 279 
292.29/47.67	o 280 
292.29/47.69	o 281 
292.83/47.71	o 282 
292.83/47.72	o 283 
292.83/47.73	o 284 
292.83/47.75	o 285 
292.83/47.77	o 286 
292.83/47.78	o 287 
292.83/47.79	o 288 
293.25/47.81	o 289 
293.25/47.82	o 290 
293.25/47.84	o 291 
293.25/47.85	o 292 
293.25/47.86	o 293 
293.25/47.88	o 294 
293.25/47.89	o 295 
293.78/47.90	o 296 
293.78/47.92	o 297 
293.78/47.93	o 298 
293.78/47.94	o 299 
293.78/47.96	o 300 
293.78/47.97	o 301 
293.78/47.98	o 302 
293.78/48.00	o 303 
294.28/48.02	o 304 
294.28/48.03	o 305 
294.28/48.04	o 306 
294.28/48.06	o 307 
294.28/48.08	o 308 
294.28/48.09	o 309 
294.28/48.10	o 310 
294.79/48.12	o 311 
294.79/48.13	o 312 
294.79/48.14	o 313 
294.79/48.15	o 314 
294.79/48.17	o 315 
294.79/48.18	o 316 
295.26/48.20	o 317 
295.26/48.21	o 318 
295.26/48.22	o 319 
295.26/48.23	o 320 
295.26/48.25	o 321 
295.26/48.26	o 322 
295.26/48.27	o 323 
295.26/48.29	o 324 
295.81/48.30	o 325 
295.81/48.31	o 326 
295.81/48.32	o 327 
295.81/48.34	o 328 
295.81/48.35	o 329 
295.81/48.36	o 330 
295.81/48.38	o 331 
295.81/48.39	o 332 
296.37/48.41	o 333 
296.37/48.42	o 334 
296.37/48.43	o 335 
296.37/48.45	o 336 
296.37/48.46	o 337 
296.37/48.47	o 338 
296.37/48.48	o 339 
296.87/48.50	o 340 
296.87/48.51	o 341 
296.87/48.52	o 342 
296.87/48.53	o 343 
296.87/48.55	o 344 
296.87/48.56	o 345 
296.87/48.57	o 346 
296.87/48.58	o 347 
296.87/48.60	o 348 
297.44/48.61	o 349 
297.44/48.62	o 350 
297.44/48.63	o 351 
297.44/48.65	o 352 
297.44/48.66	o 353 
297.44/48.67	o 354 
297.44/48.68	o 355 
298.00/48.71	o 356 
298.00/48.72	o 357 
298.00/48.73	o 358 
298.00/48.75	o 359 
298.00/48.76	o 360 
298.00/48.77	o 361 
298.00/48.78	o 362 
298.00/48.79	o 363 
298.62/48.81	o 364 
298.62/48.82	o 365 
298.62/48.83	o 366 
298.62/48.84	o 367 
298.62/48.85	o 368 
298.62/48.86	o 369 
298.62/48.88	o 370 
298.62/48.89	o 371 
299.11/48.91	o 372 
299.11/48.92	o 373 
299.11/48.93	o 374 
299.11/48.94	o 375 
299.11/48.95	o 376 
299.11/48.97	o 377 
299.11/48.98	o 378 
299.11/49.00	o 379 
299.71/49.03	o 380 
299.71/49.04	o 381 
299.71/49.05	o 382 
299.71/49.07	o 383 
299.71/49.08	o 384 
299.71/49.09	o 385 
299.71/49.10	o 386 
299.71/49.12	o 387 
300.36/49.13	o 388 
300.36/49.14	o 389 
300.36/49.15	o 390 
300.36/49.16	o 391 
300.36/49.18	o 392 
300.79/49.20	o 393 
300.79/49.21	o 394 
300.79/49.23	o 395 
300.79/49.24	o 396 
300.79/49.25	o 397 
300.79/49.26	o 398 
300.79/49.28	o 399 
300.79/49.29	o 400 
301.37/49.30	o 401 
301.37/49.31	o 402 
301.37/49.33	o 403 
301.37/49.34	o 404 
301.37/49.35	o 405 
301.37/49.36	o 406 
301.37/49.37	o 407 
301.37/49.38	o 408 
301.37/49.40	o 409 
301.93/49.41	o 410 
301.93/49.42	o 411 
301.93/49.44	o 412 
301.93/49.46	o 413 
301.93/49.47	o 414 
301.93/49.48	o 415 
301.93/49.50	o 416 
302.47/49.51	o 417 
302.47/49.52	o 418 
302.47/49.55	o 419 
303.23/50.06	o 420 
304.50/51.29	o 421 
304.66/51.31	o 422 
304.66/51.32	o 423 
304.66/51.33	o 424 
304.66/51.34	o 425 
304.66/51.37	o 426 
304.66/51.38	o 427 
304.66/51.39	o 428 
305.17/51.40	o 429 
305.17/51.42	o 430 
305.17/51.43	o 431 
305.17/51.44	o 432 
305.17/51.46	o 433 
305.17/51.47	o 434 
305.17/51.48	o 435 
305.66/51.50	o 436 
305.66/51.52	o 437 
305.66/51.53	o 438 
305.66/51.54	o 439 
305.66/51.56	o 440 
305.66/51.57	o 441 
305.66/51.59	o 442 
306.23/51.61	o 443 
306.23/51.62	o 444 
306.23/51.64	o 445 
306.23/51.65	o 446 
306.23/51.66	o 447 
306.23/51.67	o 448 
306.23/51.69	o 449 
306.73/51.71	o 450 
306.73/51.72	o 451 
306.73/51.74	o 452 
306.73/51.75	o 453 
306.73/51.76	o 454 
306.73/51.77	o 455 
306.73/51.79	o 456 
307.27/51.80	o 457 
307.27/51.82	o 458 
307.27/51.84	o 459 
307.27/51.85	o 460 
307.27/51.87	o 461 
307.27/51.88	o 462 
307.27/51.89	o 463 
307.27/51.90	o 464 
307.76/51.92	o 465 
307.76/51.93	o 466 
307.76/51.94	o 467 
307.76/51.95	o 468 
307.76/51.96	o 469 
307.76/51.97	o 470 
307.76/51.99	o 471 
307.76/52.00	o 472 
308.38/52.01	o 473 
308.38/52.02	o 474 
308.38/52.04	o 475 
308.38/52.05	o 476 
308.38/52.06	o 477 
308.38/52.07	o 478 
308.38/52.09	o 479 
308.95/52.11	o 480 
308.95/52.12	o 481 
308.95/52.13	o 482 
308.95/52.14	o 483 
308.95/52.16	o 484 
308.95/52.17	o 485 
308.95/52.19	o 486 
309.44/52.20	o 487 
309.44/52.21	o 488 
309.44/52.23	o 489 
309.44/52.24	o 490 
309.44/52.25	o 491 
309.44/52.27	o 492 
309.44/52.29	o 493 
310.03/52.30	o 494 
310.03/52.32	o 495 
310.03/52.33	o 496 
310.03/52.34	o 497 
310.03/52.36	o 498 
310.03/52.37	o 499 
310.03/52.38	o 500 
310.03/52.40	o 501 
310.53/52.41	o 502 
310.53/52.43	o 503 
310.53/52.44	o 504 
310.53/52.46	o 505 
310.53/52.47	o 506 
310.53/52.49	o 507 
310.53/52.50	o 508 
311.12/52.52	o 509 
311.12/52.54	o 510 
311.12/52.55	o 511 
311.12/52.56	o 512 
311.12/52.58	o 513 
311.12/52.59	o 514 
311.59/52.61	o 515 
311.59/52.62	o 516 
311.59/52.63	o 517 
311.59/52.65	o 518 
311.59/52.67	o 519 
311.59/52.68	o 520 
311.59/52.70	o 521 
312.15/52.71	o 522 
312.15/52.72	o 523 
312.15/52.75	o 524 
312.15/52.76	o 525 
312.15/52.77	o 526 
312.15/52.79	o 527 
312.72/52.80	o 528 
312.72/52.82	o 529 
312.72/52.83	o 530 
312.72/52.84	o 531 
312.72/52.86	o 532 
312.72/52.87	o 533 
312.72/52.89	o 534 
313.32/52.90	o 535 
313.32/52.92	o 536 
313.32/52.94	o 537 
313.32/52.95	o 538 
313.32/52.96	o 539 
313.32/52.98	o 540 
313.32/53.00	o 541 
313.87/53.01	o 542 
313.87/53.02	o 543 
313.87/53.04	o 544 
313.87/53.05	o 545 
313.87/53.06	o 546 
313.87/53.08	o 547 
313.87/53.09	o 548 
313.87/53.11	o 549 
314.46/53.12	o 550 
314.46/53.13	o 551 
314.46/53.15	o 552 
314.46/53.16	o 553 
314.46/53.17	o 554 
314.46/53.19	o 555 
315.01/53.20	o 556 
315.01/53.22	o 557 
315.01/53.24	o 558 
315.01/53.25	o 559 
315.01/53.26	o 560 
315.01/53.28	o 561 
315.01/53.29	o 562 
315.55/53.31	o 563 
315.55/53.32	o 564 
315.55/53.34	o 565 
315.55/53.35	o 566 
315.55/53.36	o 567 
315.55/53.39	o 568 
316.05/53.40	o 569 
316.05/53.42	o 570 
316.05/53.43	o 571 
316.05/53.45	o 572 
316.05/53.46	o 573 
316.05/53.47	o 574 
316.05/53.49	o 575 
316.60/53.51	o 576 
316.60/53.52	o 577 
316.60/53.53	o 578 
316.60/53.55	o 579 
316.60/53.56	o 580 
316.60/53.57	o 581 
316.60/53.59	o 582 
317.15/53.60	o 583 
317.15/53.61	o 584 
317.15/53.63	o 585 
317.15/53.64	o 586 
317.15/53.66	o 587 
317.15/53.67	o 588 
317.15/53.68	o 589 
317.76/53.70	o 590 
317.76/53.72	o 591 
317.76/53.73	o 592 
317.76/53.75	o 593 
317.76/53.76	o 594 
317.76/53.77	o 595 
317.76/53.78	o 596 
318.31/53.80	o 597 
318.31/53.82	o 598 
318.31/53.83	o 599 
318.31/53.85	o 600 
318.31/53.87	o 601 
318.31/53.88	o 602 
318.31/53.89	o 603 
318.92/53.92	o 604 
318.92/53.93	o 605 
318.92/53.96	o 606 
319.55/54.35	o 607 
320.83/55.56	o 608 
320.83/55.58	o 609 
320.83/55.59	o 610 
321.13/55.61	o 611 
321.13/55.62	o 612 
321.13/55.64	o 613 
321.13/55.65	o 614 
321.13/55.66	o 615 
321.13/55.68	o 616 
321.13/55.69	o 617 
321.65/55.71	o 618 
321.65/55.72	o 619 
321.65/55.73	o 620 
321.65/55.76	o 621 
321.65/55.78	o 622 
321.65/55.79	o 623 
322.16/55.80	o 624 
322.16/55.82	o 625 
322.16/55.84	o 626 
322.16/55.86	o 627 
322.16/55.87	o 628 
322.16/55.88	o 629 
322.68/55.90	o 630 
322.68/55.92	o 631 
322.68/55.93	o 632 
322.68/55.95	o 633 
322.68/55.96	o 634 
322.68/55.98	o 635 
322.68/56.00	o 636 
323.23/56.01	o 637 
323.23/56.03	o 638 
323.23/56.04	o 639 
323.23/56.06	o 640 
323.23/56.07	o 641 
323.23/56.10	o 642 
323.79/56.11	o 643 
323.79/56.13	o 644 
323.79/56.14	o 645 
323.79/56.15	o 646 
323.79/56.17	o 647 
323.79/56.19	o 648 
324.28/56.20	o 649 
324.28/56.22	o 650 
324.28/56.24	o 651 
324.28/56.25	o 652 
324.28/56.27	o 653 
324.28/56.28	o 654 
324.78/56.30	o 655 
324.78/56.32	o 656 
324.78/56.33	o 657 
324.78/56.34	o 658 
324.78/56.36	o 659 
324.78/56.38	o 660 
324.78/56.39	o 661 
325.39/56.41	o 662 
325.39/56.42	o 663 
325.39/56.45	o 664 
325.39/56.46	o 665 
325.39/56.48	o 666 
325.39/56.49	o 667 
325.91/56.50	o 668 
325.91/56.53	o 669 
325.91/56.54	o 670 
325.91/56.56	o 671 
325.91/56.57	o 672 
325.91/56.59	o 673 
326.46/56.61	o 674 
326.46/56.63	o 675 
326.46/56.65	o 676 
326.46/56.66	o 677 
326.46/56.67	o 678 
326.46/56.69	o 679 
326.99/56.71	o 680 
326.99/56.72	o 681 
326.99/56.74	o 682 
326.99/56.76	o 683 
326.99/56.78	o 684 
326.99/56.79	o 685 
327.54/56.81	o 686 
327.54/56.83	o 687 
327.54/56.84	o 688 
327.54/56.86	o 689 
327.54/56.87	o 690 
327.54/56.89	o 691 
328.02/56.91	o 692 
328.02/56.92	o 693 
328.02/56.94	o 694 
328.02/56.96	o 695 
328.02/56.98	o 696 
328.02/56.99	o 697 
328.02/57.01	o 698 
328.67/57.03	o 699 
328.67/57.04	o 700 
328.67/57.06	o 701 
328.67/57.08	o 702 
328.67/57.09	o 703 
329.22/57.11	o 704 
329.22/57.13	o 705 
329.22/57.14	o 706 
329.22/57.17	o 707 
329.22/57.18	o 708 
329.22/57.19	o 709 
329.69/57.21	o 710 
329.69/57.22	o 711 
329.69/57.24	o 712 
329.69/57.26	o 713 
329.69/57.27	o 714 
329.69/57.29	o 715 
330.32/57.30	o 716 
330.32/57.32	o 717 
330.32/57.34	o 718 
330.32/57.35	o 719 
330.32/57.36	o 720 
330.32/57.38	o 721 
330.32/57.39	o 722 
330.92/57.41	o 723 
330.92/57.43	o 724 
330.92/57.45	o 725 
330.92/57.46	o 726 
330.92/57.48	o 727 
331.39/57.50	o 728 
331.39/57.52	o 729 
331.39/57.53	o 730 
331.39/57.55	o 731 
331.39/57.57	o 732 
331.39/57.59	o 733 
331.89/57.60	o 734 
331.89/57.62	o 735 
331.89/57.65	o 736 
331.89/57.66	o 737 
331.89/57.68	o 738 
331.89/57.69	o 739 
332.47/57.71	o 740 
332.47/57.76	o 741 
332.47/57.77	o 742 
332.47/57.79	o 743 
333.06/57.81	o 744 
333.06/57.82	o 745 
333.06/57.84	o 746 
333.06/57.86	o 747 
333.06/57.88	o 748 
333.55/57.90	o 749 
333.55/57.92	o 750 
333.55/57.94	o 751 
333.55/57.95	o 752 
333.55/57.97	o 753 
333.55/57.99	o 754 
333.55/58.00	o 755 
334.16/58.01	o 756 
334.16/58.03	o 757 
334.16/58.05	o 758 
334.16/58.07	o 759 
334.16/58.09	o 760 
334.16/58.10	o 761 
334.69/58.12	o 762 
334.69/58.13	o 763 
334.69/58.15	o 764 
334.69/58.16	o 765 
334.69/58.18	o 766 
335.25/58.20	o 767 
335.25/58.21	o 768 
335.25/58.23	o 769 
335.25/58.24	o 770 
335.25/58.27	o 771 
335.25/58.28	o 772 
335.25/58.30	o 773 
335.80/58.32	o 774 
335.80/58.33	o 775 
335.80/58.36	o 776 
335.80/58.38	o 777 
336.30/58.40	o 778 
336.30/58.41	o 779 
336.30/58.43	o 780 
336.30/58.46	o 781 
336.81/58.66	o 782 
338.08/59.86	o 783 
338.08/59.88	o 784 
338.08/59.89	o 785 
338.35/59.91	o 786 
338.35/59.94	o 787 
338.35/59.96	o 788 
338.35/59.97	o 789 
338.35/59.99	o 790 
338.35/60.00	o 791 
339.02/60.02	o 792 
339.02/60.04	o 793 
339.02/60.06	o 794 
339.02/60.08	o 795 
339.02/60.09	o 796 
339.58/60.11	o 797 
339.58/60.13	o 798 
339.58/60.15	o 799 
339.58/60.17	o 800 
339.58/60.20	o 801 
340.03/60.21	o 802 
340.03/60.23	o 803 
340.03/60.25	o 804 
340.03/60.27	o 805 
340.03/60.29	o 806 
340.63/60.30	o 807 
340.63/60.32	o 808 
340.63/60.34	o 809 
340.63/60.35	o 810 
340.63/60.37	o 811 
340.63/60.39	o 812 
341.22/60.41	o 813 
341.22/60.43	o 814 
341.22/60.44	o 815 
341.22/60.46	o 816 
341.22/60.47	o 817 
341.22/60.49	o 818 
341.80/60.50	o 819 
341.80/60.52	o 820 
341.80/60.54	o 821 
341.80/60.56	o 822 
341.80/60.58	o 823 
341.80/60.59	o 824 
342.33/60.62	o 825 
342.33/60.64	o 826 
342.33/60.65	o 827 
342.33/60.67	o 828 
342.33/60.69	o 829 
342.98/60.71	o 830 
342.98/60.73	o 831 
342.98/60.76	o 832 
342.98/60.78	o 833 
342.98/60.80	o 834 
343.47/60.81	o 835 
343.47/60.83	o 836 
343.47/60.85	o 837 
343.47/60.87	o 838 
343.47/60.89	o 839 
344.09/60.91	o 840 
344.09/60.93	o 841 
344.09/60.94	o 842 
344.09/60.96	o 843 
344.09/60.98	o 844 
344.09/60.99	o 845 
344.09/61.01	o 846 
344.72/61.03	o 847 
344.72/61.05	o 848 
344.72/61.07	o 849 
344.72/61.09	o 850 
344.72/61.10	o 851 
345.22/61.12	o 852 
345.22/61.14	o 853 
345.22/61.17	o 854 
345.77/61.30	o 855 
346.96/62.49	o 856 
347.06/62.51	o 857 
347.06/62.54	o 858 
347.06/62.57	o 859 
347.49/62.70	o 860 
348.78/63.88	o 861 
348.96/63.91	o 862 
349.18/64.04	o 863 
350.51/65.23	o 864 
350.51/65.25	o 865 
351.67/65.46	o 866 
352.98/66.65	o 867 
359.66/68.07	o 868 
359.66/68.10	o 869 
363.14/69.48	o 870 
363.63/69.63	o 871 
364.92/70.82	o 872 
389.45/73.95	o 873 
762.80/121.31	o 874 
762.80/121.34	o 875 
762.80/121.35	o 876 
762.80/121.38	o 877 
763.25/121.50	o 878 
764.58/122.69	o 879 
764.77/122.72	o 880 
764.99/122.83	o 881 
766.30/124.03	o 882 
766.30/124.06	o 883 
766.57/124.17	o 884 
767.87/125.39	o 885 
768.04/125.41	o 886 
866.77/137.85	o 887 
1774.64/252.08	s SATISFIABLE
1774.64/252.08	v <instantiation>
1774.64/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[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z </list>
1774.64/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 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 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 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 1 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 2 2 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 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 2 2 1 0 0 0 0 0 0 0 1 0 0 0 2 1 1 2 0 0 1 1 2 0 2 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 2 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 2 2 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 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 1 0 0 1 1 0 0 1 1 0 0 0 14 14 14 30 30 30 83 87 88 90 94 96 142 147 149 150 153 160 187 188 190 211 211 215 238 243 253 275 278 281 315 323 337 342 344 348 368 376 384 399 401 415 442 455 474 500 887 </values>
1774.64/252.08	v </instantiation>
1774.64/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	887

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254849-1502639564/watcher-4254849-1502639564 -o /tmp/evaluation-result-4254849-1502639564/solver-4254849-1502639564 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2028549129 HOME/instance-4254849-1502639564.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=10508, runsolver pid=10505
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 7.90 7.79 6.58 3/201 10529
/proc/meminfo: memFree=31616432/32770624 swapFree=67108860/67108860
[pid=10508] ppid=10505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10508/stat : 10508 (xcsp3-exec) S 10505 10508 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97044088 9740288 346 33554432000 4194304 5098028 140736883958512 140736883956616 139786757743228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20373504 140736883967082 140736883967292 140736883967292 140736883970027 0
/proc/10508/statm: 2378 346 289 221 0 87 0
[pid=10510] ppid=10508 vsize=25999808 memory=25896 CPUtime=0.12 cores=0-7
/proc/10510/stat : 10510 (java) S 10508 10508 8644 0 -1 1077944320 5315 0 0 0 11 1 0 0 20 0 20 0 97044088 26623803392 6474 33554432000 4194304 4196468 140728188180224 140728188162768 140694906924791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
/proc/10510/statm: 6499952 6474 2873 1 0 6488269 0
[pid=10510/tid=10511] ppid=10508 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10510/task/10511/stat : 10511 (java) R 10508 10508 8644 0 -1 4202560 3289 0 0 0 8 0 0 0 20 0 20 0 97044088 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694911157040 140694891005278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10512] ppid=10508 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/10510/task/10512/stat : 10512 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694465415568 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10513] ppid=10508 vsize=25999808 memory=140275575617152 CPUtime=0 cores=0-7
/proc/10510/task/10513/stat : 10513 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694464362768 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10514] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10514/stat : 10514 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694463310480 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10515] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10515/stat : 10515 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694462257680 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10516] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10516/stat : 10516 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694461205392 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10517] ppid=10508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10510/task/10517/stat : 10517 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694460152592 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10518] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10518/stat : 10518 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694459100304 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10519] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10519/stat : 10519 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044089 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694458047504 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10520] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10520/stat : 10520 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044090 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694034315376 140694906935938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10521] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10521/stat : 10521 (java) S 10508 10508 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97044091 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694033261344 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10522] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10522/stat : 10522 (java) S 10508 10508 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97044091 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694032209008 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10523] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10523/stat : 10523 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044094 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694031157328 140694906943387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10524] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10524/stat : 10524 (java) S 10508 10508 8644 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 20 0 97044094 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694030105200 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10525] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10525/stat : 10525 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044094 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694029052400 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10526] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10526/stat : 10526 (java) R 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044094 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694028000112 140694906935938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10527] ppid=10508 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10510/task/10527/stat : 10527 (java) R 10508 10508 8644 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 97044094 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694026947312 140694906946138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10528] ppid=10508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10528/stat : 10528 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044094 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694025894240 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10529] ppid=10508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10510/task/10529/stat : 10529 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044094 26623803392 6474 33554432000 4194304 4196468 140728188180224 140694024841520 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27280 KiB

[startup+0.210663 s]*
/proc/loadavg: 7.90 7.79 6.58 3/201 10529
/proc/meminfo: memFree=31605020/32770624 swapFree=67108860/67108860
[pid=10508] ppid=10505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10508/stat : 10508 (xcsp3-exec) S 10505 10508 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97044088 9740288 346 33554432000 4194304 5098028 140736883958512 140736883956616 139786757743228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20373504 140736883967082 140736883967292 140736883967292 140736883970027 0
/proc/10508/statm: 2378 346 289 221 0 87 0
[pid=10510] ppid=10508 vsize=26004064 memory=38140 CPUtime=0.33 cores=0-7
/proc/10510/stat : 10510 (java) S 10508 10508 8644 0 -1 1077944320 8084 0 0 0 31 2 0 0 20 0 20 0 97044088 26628161536 9535 33554432000 4194304 4196468 140728188180224 140728188162768 140694906924791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
/proc/10510/statm: 6501016 9535 3063 1 0 6488269 0
[pid=10510/tid=10511] ppid=10508 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10510/task/10511/stat : 10511 (java) R 10508 10508 8644 0 -1 4202560 5022 0 0 0 19 1 0 0 20 0 20 0 97044088 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694911145784 140694906946717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10512] ppid=10508 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/10510/task/10512/stat : 10512 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694465415568 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10513] ppid=10508 vsize=26004064 memory=140275575627908 CPUtime=0 cores=0-7
/proc/10510/task/10513/stat : 10513 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694464362768 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10514] ppid=10508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10510/task/10514/stat : 10514 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694463310480 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10515] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10515/stat : 10515 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694462257680 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10516] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10516/stat : 10516 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694461205392 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10517] ppid=10508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10510/task/10517/stat : 10517 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694460152592 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10518] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10518/stat : 10518 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694459100304 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10519] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10519/stat : 10519 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694458047504 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10520] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10520/stat : 10520 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044090 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694034315376 140694906935938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10521] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10521/stat : 10521 (java) S 10508 10508 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97044091 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694033261344 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10522] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10522/stat : 10522 (java) S 10508 10508 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97044091 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694032209008 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10523] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10523/stat : 10523 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044094 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694031157328 140694906943387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10524] ppid=10508 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/10510/task/10524/stat : 10524 (java) R 10508 10508 8644 0 -1 1077944384 817 0 0 0 2 0 0 0 20 0 20 0 97044094 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694030105296 140694906934997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10525] ppid=10508 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10510/task/10525/stat : 10525 (java) R 10508 10508 8644 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 97044094 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694029052400 140694906935938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10526] ppid=10508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10510/task/10526/stat : 10526 (java) S 10508 10508 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 97044094 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694028000112 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10527] ppid=10508 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/10510/task/10527/stat : 10527 (java) R 10508 10508 8644 0 -1 4202560 825 0 0 0 7 0 0 0 20 0 20 0 97044094 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694026947312 140694906936726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10528] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10528/stat : 10528 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044094 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694025894240 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10529] ppid=10508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10510/task/10529/stat : 10529 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044094 26628161536 9535 33554432000 4194304 4196468 140728188180224 140694024841520 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39524 KiB

[startup+0.310499 s]*
/proc/loadavg: 7.90 7.79 6.58 3/201 10529
/proc/meminfo: memFree=31600244/32770624 swapFree=67108860/67108860
[pid=10508] ppid=10505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10508/stat : 10508 (xcsp3-exec) S 10505 10508 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97044088 9740288 346 33554432000 4194304 5098028 140736883958512 140736883956616 139786757743228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20373504 140736883967082 140736883967292 140736883967292 140736883970027 0
/proc/10508/statm: 2378 346 289 221 0 87 0
[pid=10510] ppid=10508 vsize=26004064 memory=45340 CPUtime=0.51 cores=0-7
/proc/10510/stat : 10510 (java) S 10508 10508 8644 0 -1 1077944320 9047 0 0 0 48 3 0 0 20 0 20 0 97044088 26628161536 11335 33554432000 4194304 4196468 140728188180224 140728188162768 140694906924791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
/proc/10510/statm: 6501016 11335 3082 1 0 6488269 0
[pid=10510/tid=10511] ppid=10508 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10510/task/10511/stat : 10511 (java) R 10508 10508 8644 0 -1 4202560 5683 0 0 0 28 1 0 0 20 0 20 0 97044088 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694911163056 140694544565319 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10512] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10512/stat : 10512 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694465415568 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10513] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10513/stat : 10513 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694464362768 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10514] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10514/stat : 10514 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694463310480 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10515] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10515/stat : 10515 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694462257680 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10516] ppid=10508 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10510/task/10516/stat : 10516 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694461205392 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10517] ppid=10508 vsize=26004064 memory=140275443921839 CPUtime=0 cores=0-7
/proc/10510/task/10517/stat : 10517 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694460152592 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10518] ppid=10508 vsize=26004064 memory=140275443924144 CPUtime=0 cores=0-7
/proc/10510/task/10518/stat : 10518 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694459100304 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10519] ppid=10508 vsize=26004064 memory=140275443926448 CPUtime=0 cores=0-7
/proc/10510/task/10519/stat : 10519 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044089 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694458047504 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10520] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10520/stat : 10520 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044090 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694034315376 140694906935938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10521] ppid=10508 vsize=26004064 memory=280550887859856 CPUtime=0 cores=0-7
/proc/10510/task/10521/stat : 10521 (java) S 10508 10508 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97044091 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694033261344 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10522] ppid=10508 vsize=26004064 memory=280550887866768 CPUtime=0 cores=0-7
/proc/10510/task/10522/stat : 10522 (java) S 10508 10508 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97044091 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694032209008 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10523] ppid=10508 vsize=26004064 memory=280550887808048 CPUtime=0 cores=0-7
/proc/10510/task/10523/stat : 10523 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044094 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694031157328 140694906943387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10524] ppid=10508 vsize=26004064 memory=280550887880592 CPUtime=0.02 cores=0-7
/proc/10510/task/10524/stat : 10524 (java) S 10508 10508 8644 0 -1 1077944384 817 0 0 0 2 0 0 0 20 0 20 0 97044094 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694030105200 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10525] ppid=10508 vsize=26004064 memory=280550887887504 CPUtime=0.02 cores=0-7
/proc/10510/task/10525/stat : 10525 (java) S 10508 10508 8644 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 97044094 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694029052400 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10526] ppid=10508 vsize=26004064 memory=280550887885200 CPUtime=0.01 cores=0-7
/proc/10510/task/10526/stat : 10526 (java) S 10508 10508 8644 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 20 0 97044094 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694028000112 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10527] ppid=10508 vsize=26004064 memory=280550887901360 CPUtime=0.12 cores=0-7
/proc/10510/task/10527/stat : 10527 (java) R 10508 10508 8644 0 -1 4202560 1018 0 0 0 12 0 0 0 20 0 20 0 97044094 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694026944976 140694900024638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10528] ppid=10508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10528/stat : 10528 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97044094 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694025894240 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10529] ppid=10508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10510/task/10529/stat : 10529 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044094 26628161536 11335 33554432000 4194304 4196468 140728188180224 140694024841520 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46724 KiB

[startup+0.701022 s]
/proc/loadavg: 7.90 7.79 6.58 5/201 10529
/proc/meminfo: memFree=31573488/32770624 swapFree=67108860/67108860
[pid=10508] ppid=10505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10508/stat : 10508 (xcsp3-exec) S 10505 10508 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97044088 9740288 346 33554432000 4194304 5098028 140736883958512 140736883956616 139786757743228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20373504 140736883967082 140736883967292 140736883967292 140736883970027 0
/proc/10508/statm: 2378 346 289 221 0 87 0
[pid=10510] ppid=10508 vsize=26006188 memory=94328 CPUtime=1.86 cores=0-7
/proc/10510/stat : 10510 (java) S 10508 10508 8644 0 -1 1077944320 13073 0 0 0 181 5 0 0 20 0 20 0 97044088 26630336512 23582 33554432000 4194304 4196468 140728188180224 140728188162768 140694906924791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
/proc/10510/statm: 6501547 23582 3200 1 0 6488781 0
[pid=10510/tid=10511] ppid=10508 vsize=26006188 memory=280550888259248 CPUtime=0.67 cores=0-7
/proc/10510/task/10511/stat : 10511 (java) R 10508 10508 8644 0 -1 4202560 6120 0 0 0 65 2 0 0 20 0 20 0 97044088 26630336512 23582 33554432000 4194304 4196468 140728188180224 140694911161568 140694891005278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10512] ppid=10508 vsize=26006188 memory=140275444130672 CPUtime=0 cores=0-7
/proc/10510/task/10512/stat : 10512 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97044089 26630336512 23582 33554432000 4194304 4196468 140728188180224 140694465415568 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10513] ppid=10508 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10510/task/10513/stat : 10513 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26630336512 23582 33554432000 4194304 4196468 140728188180224 140694464362768 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10514] ppid=10508 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/10510/task/10514/stat : 10514 (java) S 10508 10508 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97044089 26630336512 23582 33554432000 4194304 4196468 140728188180224 140694463310480 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0

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

[pid=10510/tid=17502] ppid=10508 vsize=26541776 memory=1384 CPUtime=24.35 cores=0-7
/proc/10510/task/17502/stat : 17502 (java) R 10508 10508 8644 0 -1 4202560 1419 0 0 0 2434 1 0 0 20 0 28 0 97057874 27178778624 346331 33554432000 4194304 4196468 140728188180224 140694014726424 140694554550876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
Current children cumulated CPU time: 1061.82 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1386708 KiB

[startup+222.302 s]
/proc/loadavg: 8.08 7.60 6.73 9/211 17502
/proc/meminfo: memFree=30278992/32770624 swapFree=67108860/67108860
[pid=10508] ppid=10505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10508/stat : 10508 (xcsp3-exec) S 10505 10508 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97044088 9740288 346 33554432000 4194304 5098028 140736883958512 140736883956616 139786757743228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20373504 140736883967082 140736883967292 140736883967292 140736883970027 0
/proc/10508/statm: 2378 346 289 221 0 87 0
[pid=10510] ppid=10508 vsize=26541776 memory=1360228 CPUtime=1539.14 cores=0-7
/proc/10510/stat : 10510 (java) S 10508 10508 8644 0 -1 1077944320 271862 0 0 0 153550 364 0 0 20 0 28 0 97044088 27178778624 340057 33554432000 4194304 4196468 140728188180224 140728188162768 140694906924791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
/proc/10510/statm: 6635444 340057 3295 1 0 6622678 0
[pid=10510/tid=10511] ppid=10508 vsize=26541776 memory=1359676 CPUtime=6.67 cores=0-7
/proc/10510/task/10511/stat : 10511 (java) S 10508 10508 8644 0 -1 1077944384 12785 0 0 0 653 14 0 0 20 0 28 0 97044088 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694911165504 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10512] ppid=10508 vsize=26541776 memory=1473052 CPUtime=0.69 cores=0-7
/proc/10510/task/10512/stat : 10512 (java) S 10508 10508 8644 0 -1 1077944384 2342 0 0 0 57 12 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694465415568 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10513] ppid=10508 vsize=26541776 memory=1382248 CPUtime=0.71 cores=0-7
/proc/10510/task/10513/stat : 10513 (java) S 10508 10508 8644 0 -1 1077944384 2692 0 0 0 60 11 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694464362768 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10514] ppid=10508 vsize=26541776 memory=1375060 CPUtime=0.7 cores=0-7
/proc/10510/task/10514/stat : 10514 (java) S 10508 10508 8644 0 -1 1077944384 3058 0 0 0 57 13 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694463310480 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10515] ppid=10508 vsize=26541776 memory=1372496 CPUtime=0.7 cores=0-7
/proc/10510/task/10515/stat : 10515 (java) S 10508 10508 8644 0 -1 1077944384 3556 0 0 0 59 11 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694462257680 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10516] ppid=10508 vsize=26541776 memory=1370952 CPUtime=0.72 cores=0-7
/proc/10510/task/10516/stat : 10516 (java) S 10508 10508 8644 0 -1 1077944384 6088 0 0 0 59 13 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694461205392 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10517] ppid=10508 vsize=26541776 memory=1365824 CPUtime=0.69 cores=0-7
/proc/10510/task/10517/stat : 10517 (java) S 10508 10508 8644 0 -1 1077944384 3506 0 0 0 58 11 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694460152592 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10518] ppid=10508 vsize=26541776 memory=1384 CPUtime=0.69 cores=0-7
/proc/10510/task/10518/stat : 10518 (java) S 10508 10508 8644 0 -1 1077944384 3620 0 0 0 57 12 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694459100304 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10519] ppid=10508 vsize=26541776 memory=1361220 CPUtime=0.71 cores=0-7
/proc/10510/task/10519/stat : 10519 (java) S 10508 10508 8644 0 -1 1077944384 2784 0 0 0 59 12 0 0 20 0 28 0 97044089 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694458047504 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10520] ppid=10508 vsize=26541776 memory=1384 CPUtime=0.18 cores=0-7
/proc/10510/task/10520/stat : 10520 (java) S 10508 10508 8644 0 -1 1077944384 12081 0 0 0 12 6 0 0 20 0 28 0 97044090 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694034315376 140694906935938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10521] ppid=10508 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/10510/task/10521/stat : 10521 (java) S 10508 10508 8644 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 97044091 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694033261408 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10522] ppid=10508 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/10510/task/10522/stat : 10522 (java) S 10508 10508 8644 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 97044091 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694032209024 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10523] ppid=10508 vsize=26541776 memory=1393472 CPUtime=0 cores=0-7
/proc/10510/task/10523/stat : 10523 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97044094 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694031157328 140694906943387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10524] ppid=10508 vsize=26541776 memory=1384 CPUtime=3.63 cores=0-7
/proc/10510/task/10524/stat : 10524 (java) S 10508 10508 8644 0 -1 1077944384 29375 0 0 0 358 5 0 0 20 0 28 0 97044094 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694030105200 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10525] ppid=10508 vsize=26541776 memory=1360228 CPUtime=3.91 cores=0-7
/proc/10510/task/10525/stat : 10525 (java) S 10508 10508 8644 0 -1 1077944384 25817 0 0 0 385 6 0 0 20 0 28 0 97044094 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694029052400 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10526] ppid=10508 vsize=26541776 memory=1361220 CPUtime=3.87 cores=0-7
/proc/10510/task/10526/stat : 10526 (java) S 10508 10508 8644 0 -1 1077944384 26607 0 0 0 383 4 0 0 20 0 28 0 97044094 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694028000112 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10527] ppid=10508 vsize=26541776 memory=1384 CPUtime=1.31 cores=0-7
/proc/10510/task/10527/stat : 10527 (java) S 10508 10508 8644 0 -1 1077944384 22590 0 0 0 127 4 0 0 20 0 28 0 97044094 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694026947312 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10528] ppid=10508 vsize=26541776 memory=1360224 CPUtime=0 cores=0-7
/proc/10510/task/10528/stat : 10528 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97044094 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694025894240 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10529] ppid=10508 vsize=26541776 memory=1384 CPUtime=0.08 cores=0-7
/proc/10510/task/10529/stat : 10529 (java) S 10508 10508 8644 0 -1 1077944384 3036 0 0 0 3 5 0 0 20 0 28 0 97044094 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694024841520 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17495] ppid=10508 vsize=26541776 memory=1361220 CPUtime=83.83 cores=0-7
/proc/10510/task/17495/stat : 17495 (java) R 10508 10508 8644 0 -1 4202560 1981 0 0 0 8380 3 0 0 20 0 28 0 97057873 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694006312432 140694546543307 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17496] ppid=10508 vsize=26541776 memory=1384 CPUtime=83.74 cores=0-7
/proc/10510/task/17496/stat : 17496 (java) R 10508 10508 8644 0 -1 4202560 2105 0 0 0 8373 1 0 0 20 0 28 0 97057873 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694012621304 140694554760899 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17497] ppid=10508 vsize=26541776 memory=1358664 CPUtime=83.6 cores=0-7
/proc/10510/task/17497/stat : 17497 (java) R 10508 10508 8644 0 -1 4202560 2035 0 0 0 8357 3 0 0 20 0 28 0 97057874 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694011569016 140694554853115 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17498] ppid=10508 vsize=26541776 memory=4100 CPUtime=83.77 cores=0-7
/proc/10510/task/17498/stat : 17498 (java) R 10508 10508 8644 0 -1 4202560 2273 0 0 0 8375 2 0 0 20 0 28 0 97057874 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694015782304 140694554551047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17499] ppid=10508 vsize=26541776 memory=4100 CPUtime=83.5 cores=0-7
/proc/10510/task/17499/stat : 17499 (java) R 10508 10508 8644 0 -1 4202560 1904 0 0 0 8349 1 0 0 20 0 28 0 97057874 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694009463792 140694554551144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17500] ppid=10508 vsize=26541776 memory=27852 CPUtime=83.67 cores=0-7
/proc/10510/task/17500/stat : 17500 (java) R 10508 10508 8644 0 -1 4202560 2775 0 0 0 8364 3 0 0 20 0 28 0 97057874 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694016832440 140694546795719 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17501] ppid=10508 vsize=26541776 memory=1292 CPUtime=83.66 cores=0-7
/proc/10510/task/17501/stat : 17501 (java) R 10508 10508 8644 0 -1 4202560 6510 0 0 0 8355 11 0 0 20 0 28 0 97057874 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694010515752 140694555934090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17502] ppid=10508 vsize=26541776 memory=1360200 CPUtime=83.82 cores=0-7
/proc/10510/task/17502/stat : 17502 (java) R 10508 10508 8644 0 -1 4202560 2018 0 0 0 8381 1 0 0 20 0 28 0 97057874 27178778624 340057 33554432000 4194304 4196468 140728188180224 140694014726256 140694554551047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
Current children cumulated CPU time: 1539.14 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1361612 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.44 7.73 6.80 9/211 17502
/proc/meminfo: memFree=30274012/32770624 swapFree=67108860/67108860
[pid=10508] ppid=10505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10508/stat : 10508 (xcsp3-exec) S 10505 10508 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97044088 9740288 346 33554432000 4194304 5098028 140736883958512 140736883956616 139786757743228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20373504 140736883967082 140736883967292 140736883967292 140736883970027 0
/proc/10508/statm: 2378 346 289 221 0 87 0
[pid=10510] ppid=10508 vsize=26541776 memory=1365952 CPUtime=1774.64 cores=0-7
/proc/10510/stat : 10510 (java) S 10508 10508 8644 0 -1 1077944320 280822 0 0 0 177092 372 0 0 20 0 28 0 97044088 27178778624 341488 33554432000 4194304 4196468 140728188180224 140728188162768 140694906924791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
/proc/10510/statm: 6635444 341488 3295 1 0 6622678 0
[pid=10510/tid=10511] ppid=10508 vsize=26541776 memory=6791534058613427641 CPUtime=6.67 cores=0-7
/proc/10510/task/10511/stat : 10511 (java) S 10508 10508 8644 0 -1 1077944384 12785 0 0 0 653 14 0 0 20 0 28 0 97044088 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694911165504 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10512] ppid=10508 vsize=26541776 memory=1384 CPUtime=0.88 cores=0-7
/proc/10510/task/10512/stat : 10512 (java) S 10508 10508 8644 0 -1 1077944384 2522 0 0 0 76 12 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694465415568 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10513] ppid=10508 vsize=26541776 memory=1360736 CPUtime=0.88 cores=0-7
/proc/10510/task/10513/stat : 10513 (java) S 10508 10508 8644 0 -1 1077944384 3469 0 0 0 77 11 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694464362768 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10514] ppid=10508 vsize=26541776 memory=1358664 CPUtime=0.89 cores=0-7
/proc/10510/task/10514/stat : 10514 (java) S 10508 10508 8644 0 -1 1077944384 3413 0 0 0 76 13 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694463310480 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10515] ppid=10508 vsize=26541776 memory=4126316290023845779 CPUtime=0.88 cores=0-7
/proc/10510/task/10515/stat : 10515 (java) S 10508 10508 8644 0 -1 1077944384 4132 0 0 0 77 11 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694462257680 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10516] ppid=10508 vsize=26541776 memory=1367488 CPUtime=0.9 cores=0-7
/proc/10510/task/10516/stat : 10516 (java) S 10508 10508 8644 0 -1 1077944384 6381 0 0 0 77 13 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694461205392 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10517] ppid=10508 vsize=26541776 memory=4124 CPUtime=0.88 cores=0-7
/proc/10510/task/10517/stat : 10517 (java) S 10508 10508 8644 0 -1 1077944384 4144 0 0 0 77 11 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694460152592 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10518] ppid=10508 vsize=26541776 memory=2196 CPUtime=0.89 cores=0-7
/proc/10510/task/10518/stat : 10518 (java) S 10508 10508 8644 0 -1 1077944384 3852 0 0 0 76 13 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694459100304 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10519] ppid=10508 vsize=26541776 memory=6764 CPUtime=0.9 cores=0-7
/proc/10510/task/10519/stat : 10519 (java) S 10508 10508 8644 0 -1 1077944384 2913 0 0 0 78 12 0 0 20 0 28 0 97044089 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694458047504 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10520] ppid=10508 vsize=26541776 memory=840 CPUtime=0.24 cores=0-7
/proc/10510/task/10520/stat : 10520 (java) S 10508 10508 8644 0 -1 1077944384 13563 0 0 0 17 7 0 0 20 0 28 0 97044090 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694034315376 140694906935938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10521] ppid=10508 vsize=26541776 memory=4104 CPUtime=0 cores=0-7
/proc/10510/task/10521/stat : 10521 (java) S 10508 10508 8644 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 97044091 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694033261408 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10522] ppid=10508 vsize=26541776 memory=1692 CPUtime=0 cores=0-7
/proc/10510/task/10522/stat : 10522 (java) S 10508 10508 8644 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 97044091 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694032209024 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10523] ppid=10508 vsize=26541776 memory=916 CPUtime=0 cores=0-7
/proc/10510/task/10523/stat : 10523 (java) S 10508 10508 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97044094 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694031157328 140694906943387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10524] ppid=10508 vsize=26541776 memory=4132 CPUtime=3.63 cores=0-7
/proc/10510/task/10524/stat : 10524 (java) S 10508 10508 8644 0 -1 1077944384 29381 0 0 0 358 5 0 0 20 0 28 0 97044094 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694030105200 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10525] ppid=10508 vsize=26541776 memory=1156 CPUtime=3.91 cores=0-7
/proc/10510/task/10525/stat : 10525 (java) S 10508 10508 8644 0 -1 1077944384 25827 0 0 0 385 6 0 0 20 0 28 0 97044094 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694029052400 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10526] ppid=10508 vsize=26541776 memory=4112 CPUtime=3.87 cores=0-7
/proc/10510/task/10526/stat : 10526 (java) S 10508 10508 8644 0 -1 1077944384 26613 0 0 0 383 4 0 0 20 0 28 0 97044094 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694028000112 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10527] ppid=10508 vsize=26541776 memory=1384 CPUtime=1.31 cores=0-7
/proc/10510/task/10527/stat : 10527 (java) S 10508 10508 8644 0 -1 1077944384 22596 0 0 0 127 4 0 0 20 0 28 0 97044094 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694026947312 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10528] ppid=10508 vsize=26541776 memory=1364396 CPUtime=0 cores=0-7
/proc/10510/task/10528/stat : 10528 (java) S 10508 10508 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97044094 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694025894240 140694906934997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=10529] ppid=10508 vsize=26541776 memory=1948 CPUtime=0.09 cores=0-7
/proc/10510/task/10529/stat : 10529 (java) S 10508 10508 8644 0 -1 1077944384 3108 0 0 0 3 6 0 0 20 0 28 0 97044094 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694024841520 140694906935938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17495] ppid=10508 vsize=26541776 memory=288230587427455269 CPUtime=113.19 cores=0-7
/proc/10510/task/17495/stat : 17495 (java) R 10508 10508 8644 0 -1 4202560 2302 0 0 0 11315 4 0 0 20 0 28 0 97057873 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694006312544 140694554551025 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17496] ppid=10508 vsize=26541776 memory=14131151895791427 CPUtime=112.97 cores=0-7
/proc/10510/task/17496/stat : 17496 (java) R 10508 10508 8644 0 -1 4202560 2601 0 0 0 11295 2 0 0 20 0 28 0 97057873 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694012621016 140694554550690 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17497] ppid=10508 vsize=26541776 memory=800 CPUtime=112.84 cores=0-7
/proc/10510/task/17497/stat : 17497 (java) R 10508 10508 8644 0 -1 4202560 2437 0 0 0 11281 3 0 0 20 0 28 0 97057874 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694011569048 140694554852338 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17498] ppid=10508 vsize=26541776 memory=12068 CPUtime=112.94 cores=0-7
/proc/10510/task/17498/stat : 17498 (java) R 10508 10508 8644 0 -1 4202560 2719 0 0 0 11291 3 0 0 20 0 28 0 97057874 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694015779576 140694550916647 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17499] ppid=10508 vsize=26541776 memory=1440 CPUtime=112.64 cores=0-7
/proc/10510/task/17499/stat : 17499 (java) R 10508 10508 8644 0 -1 4202560 2269 0 0 0 11262 2 0 0 20 0 28 0 97057874 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694009466832 140694554250069 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17500] ppid=10508 vsize=26541776 memory=5792 CPUtime=112.8 cores=0-7
/proc/10510/task/17500/stat : 17500 (java) R 10508 10508 8644 0 -1 4202560 3412 0 0 0 11277 3 0 0 20 0 28 0 97057874 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694016832504 140694554551025 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17501] ppid=10508 vsize=26541776 memory=1224 CPUtime=113.01 cores=0-7
/proc/10510/task/17501/stat : 17501 (java) R 10508 10508 8644 0 -1 4202560 7620 0 0 0 11289 12 0 0 20 0 28 0 97057874 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694010515504 140694555934930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
[pid=10510/tid=17502] ppid=10508 vsize=26541776 memory=8560 CPUtime=113.19 cores=0-7
/proc/10510/task/17502/stat : 17502 (java) R 10508 10508 8644 0 -1 4202560 2439 0 0 0 11317 2 0 0 20 0 28 0 97057874 27178778624 341488 33554432000 4194304 4196468 140728188180224 140694014726248 140694554551025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140728188183704 140728188183880 140728188183880 140728188186575 0
Current children cumulated CPU time: 1774.64 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1367336 KiB

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

[startup+252.043 s]
# the end of solver process 10508 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000981 s, system=0.000981 s

[startup+252.123 s]
# the end of solver process 10510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1771.63 s, system=3.7396 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.123
CPU time (s): 1775.37
CPU user time (s): 1771.63
CPU system time (s): 3.7396
CPU usage (%): 704.167
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 2396428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.63
system time used= 3.73961
maximum resident set size= 2407476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282835
page faults= 0
swaps= 0
block input operations= 1120
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70088
involuntary context switches= 19162


# summary of solver processes directly reported to runsolver:
#   pid: 10508,10510
#   total CPU time (s): 1775.37
#   total CPU user time (s): 1771.63
#   total CPU system time (s): 3.7396

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.05158 second user time and 3.23392 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-13 17:38:26
IDJOB=4254849
IDBENCH=115895
IDSOLVER=2636
FILE ID=node113/4254849-1502639564
RUNJOBID= node113-1502637253-8671
PBS_JOBID= 20628327
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.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-4254849-1502639564/watcher-4254849-1502639564 -o /tmp/evaluation-result-4254849-1502639564/solver-4254849-1502639564 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2028549129 HOME/instance-4254849-1502639564.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=2028549129

node113.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.89
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.89
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.89
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.89
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:        31632608 kB
MemAvailable:   31987936 kB
Buffers:          119172 kB
Cached:           523296 kB
SwapCached:            0 kB
Active:           519148 kB
Inactive:         176572 kB
Active(anon):       3836 kB
Inactive(anon):    77700 kB
Active(file):     515312 kB
Inactive(file):    98872 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7620 kB
Writeback:             4 kB
AnonPages:         92884 kB
Mapped:            43268 kB
Shmem:             25224 kB
Slab:             140004 kB
SReclaimable:     113956 kB
SUnreclaim:        26048 kB
KernelStack:        3360 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-13 17:42:38