Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.4 | SAT (TO) | 613 | 2520.1299 | 2471.6599 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml |
MD5SUM | 45cb885f577274590a53a0b26d80d877 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 686 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3082 |
Number of constraints | 1747 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 3043 |
Distribution of domain sizes | [{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}] |
Minimum variable degree | 1 |
Maximum variable degree | 40 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 41 |
Distribution of constraint arities | [{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}] |
Number of extensional constraints | 1517 |
Number of intensional constraints | 186 |
Distribution of constraint types | [{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
3.26/2.27 c Concrete v3.4 running 18.16/7.84 % 04:33:56.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9257. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 628402659, 3 edges, 4 vertices, 1 tuples 18.16/7.87 % 04:33:56.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9365. 'extension(false, x[1][37]: {[0?1]}, x[2][37]: {[0?1]}) :: init: true :: relation: MDD 1071977170, 3 edges, 4 vertices, 1 tuples 18.16/7.87 % 04:33:56.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9370. 'extension(x[36][1]: {[0?1]}, x[37][1]: {[0?1]}, false) :: init: true :: relation: MDD 628402659, 3 edges, 4 vertices, 1 tuples 18.16/7.89 % 04:33:56.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9478. 'extension(x[36][37]: {[0?1]}, x[37][37]: {[0?1]}, false) :: init: true :: relation: MDD 1071977170, 3 edges, 4 vertices, 1 tuples 18.16/7.89 % 04:33:56.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9482. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 1963906615, 3 edges, 4 vertices, 1 tuples 18.48/7.91 % 04:33:56.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9590. 'extension(false, x[37][1]: {[0?1]}, x[37][2]: {[0?1]}) :: init: true :: relation: MDD 104298781, 3 edges, 4 vertices, 1 tuples 18.48/7.91 % 04:33:56.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9593. 'extension(x[1][36]: {[0?1]}, x[1][37]: {[0?1]}, false) :: init: true :: relation: MDD 1963906615, 3 edges, 4 vertices, 1 tuples 18.48/7.93 % 04:33:56.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9701. 'extension(x[37][36]: {[0?1]}, x[37][37]: {[0?1]}, false) :: init: true :: relation: MDD 104298781, 3 edges, 4 vertices, 1 tuples 18.48/7.93 % 04:33:56.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9705. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD 18.48/7.93 % 04:33:56.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9775. 'extension(x[1][37]: {[0?1]}, x[2][37]: {[0?1]}) :: init: true :: relation: Empty MDD 18.48/7.94 % 04:33:56.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9779. 'extension(x[36][1]: {[0?1]}, x[37][1]: {[0?1]}) :: init: true :: relation: Empty MDD 18.48/7.94 % 04:33:56.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9849. 'extension(x[36][37]: {[0?1]}, x[37][37]: {[0?1]}) :: init: true :: relation: Empty MDD 18.48/7.94 % 04:33:56.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9853. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD 18.48/7.95 % 04:33:56.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9925. 'extension(x[37][1]: {[0?1]}, x[37][2]: {[0?1]}) :: init: true :: relation: Empty MDD 18.48/7.95 % 04:33:56.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9931. 'extension(x[1][36]: {[0?1]}, x[1][37]: {[0?1]}) :: init: true :: relation: Empty MDD 18.48/7.95 % 04:33:56.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 10003. 'extension(x[37][36]: {[0?1]}, x[37][37]: {[0?1]}) :: init: true :: relation: Empty MDD 79.91/57.01 o 8 80.24/57.27 o 9 80.85/57.53 o 10 81.18/57.76 o 11 81.45/57.97 o 12 81.66/58.18 o 13 82.15/58.58 o 14 82.36/58.79 o 15 82.81/59.04 o 16 83.59/59.33 o 17 83.91/59.60 o 18 84.11/59.83 o 19 84.33/60.05 o 169 84.66/60.37 o 170 84.98/60.65 o 171 85.29/60.92 o 172 85.62/61.25 o 173 85.94/61.58 o 174 86.25/61.82 o 175 86.46/62.06 o 176 86.78/62.36 o 177 87.20/62.73 o 178 87.40/62.99 o 179 87.71/63.26 o 180 88.08/63.53 o 181 88.29/63.78 o 182 88.62/64.08 o 183 88.94/64.36 o 184 89.35/64.77 o 185 89.57/64.99 o 186 89.87/65.23 o 187 90.20/65.52 o 188 90.66/65.96 o 189 90.98/66.25 o 190 91.20/66.49 o 191 91.62/66.80 o 192 91.95/67.19 o 193 92.38/67.54 o 194 92.72/67.85 o 195 93.36/68.44 o 196 93.69/68.73 o 197 93.90/68.98 o 198 94.22/69.22 o 199 94.43/69.45 o 200 95.02/69.89 o 201 95.33/70.19 o 202 95.87/70.60 o 203 96.20/70.95 o 230 96.55/71.23 o 231 96.87/71.51 o 232 97.08/71.78 o 233 97.38/72.08 o 234 97.70/72.36 o 235 98.89/73.42 o 236 99.22/73.71 o 237 99.54/74.04 o 238 100.18/74.67 o 239 100.73/75.15 o 240 101.04/75.44 o 241 101.36/75.76 o 242 101.88/76.25 o 243 102.19/76.52 o 244 102.50/76.87 o 245 102.83/77.18 o 246 103.33/77.54 o 247 103.74/77.96 o 248 104.06/78.23 o 249 104.48/78.66 o 250 104.80/78.98 o 251 105.12/79.25 o 252 105.54/79.69 o 253 105.86/79.96 o 254 106.17/80.23 o 255 106.48/80.53 o 256 106.91/80.97 o 257 107.22/81.29 o 258 107.96/81.93 o 259 108.27/82.23 o 260 108.59/82.50 o 261 108.99/82.96 o 262 110.13/84.01 o 263 110.55/84.48 o 264 110.87/84.78 o 265 111.17/85.03 o 266 111.63/85.44 o 267 112.25/86.01 o 268 112.58/86.32 o 269 113.00/86.75 o 270 113.55/87.25 o 271 114.10/87.72 o 272 114.78/88.13 o 273 115.08/88.43 o 274 115.29/88.70 o 275 115.61/88.97 o 276 116.14/89.44 o 277 116.78/90.00 o 278 117.10/90.38 o 296 117.51/90.70 o 297 117.84/91.04 o 298 118.37/91.54 o 299 118.70/91.84 o 300 119.22/92.35 o 301 120.22/93.21 o 302 120.56/93.55 o 303 120.87/93.84 o 304 121.20/94.15 o 305 121.51/94.47 o 306 122.03/94.93 o 324 122.36/95.24 o 325 122.79/95.69 o 326 123.60/96.33 o 327 123.92/96.64 o 328 124.25/96.94 o 329 124.55/97.21 o 330 125.17/97.81 o 331 125.40/98.08 o 332 125.82/98.43 o 333 126.14/98.70 o 334 126.46/99.00 o 335 126.99/99.52 o 336 127.30/99.83 o 337 127.62/100.18 o 338 128.59/101.05 o 339 128.98/101.38 o 340 129.29/101.68 o 341 129.81/102.16 o 342 130.34/102.63 o 343 130.65/102.94 o 344 131.39/103.70 o 345 131.91/104.13 o 346 132.32/104.52 o 347 132.84/105.01 o 348 133.05/105.29 o 349 133.57/105.78 o 350 133.88/106.07 o 351 134.18/106.35 o 352 135.23/107.34 o 353 135.53/107.62 o 354 135.75/107.90 o 355 136.05/108.16 o 356 136.58/108.69 o 357 136.89/108.98 o 358 137.40/109.50 o 359 137.86/109.83 o 360 138.18/110.15 o 361 138.91/110.81 o 362 139.12/111.07 o 363 139.43/111.35 o 364 139.74/111.68 o 365 140.05/111.99 o 366 140.58/112.42 o 367 140.89/112.75 o 368 141.42/113.27 o 369 141.84/113.62 o 370 142.58/114.34 o 371 143.21/115.00 o 372 143.63/115.31 o 373 144.36/116.07 o 374 145.29/116.98 o 375 145.81/117.48 o 376 146.63/118.26 o 377 147.21/118.73 o 378 147.53/119.07 o 379 149.60/121.09 o 380 150.01/121.40 o 381 150.43/121.86 o 382 150.75/122.14 o 383 151.05/122.47 o 384 152.08/123.49 o 385 153.32/124.62 o 386 153.63/124.99 o 387 154.35/125.63 o 388 155.04/126.20 o 389 156.17/127.39 o 390 156.49/127.70 o 391 157.00/128.10 o 392 157.21/128.39 o 393 157.92/129.06 o 394 158.34/129.48 o 395 158.75/129.81 o 396 159.05/130.13 o 397 160.18/131.25 o 398 160.81/131.81 o 399 163.27/134.18 o 400 163.58/134.48 o 401 164.21/135.06 o 402 164.52/135.37 o 403 164.82/135.66 o 404 165.44/136.23 o 405 167.29/138.01 o 406 168.11/138.81 o 407 168.42/139.13 o 408 169.05/139.71 o 409 171.57/142.10 o 410 172.75/142.77 o 411 173.06/143.06 o 412 173.67/143.68 o 413 174.09/144.01 o 414 174.43/144.32 o 415 174.94/144.84 o 416 175.76/145.63 o 417 177.21/147.09 o 418 178.50/148.27 o 419 179.32/149.00 o 420 179.73/149.47 o 421 180.76/150.42 o 422 181.28/150.99 o 423 181.59/151.28 o 424 181.99/151.62 o 425 182.31/151.92 o 426 183.23/152.84 o 427 184.16/153.70 o 428 184.48/154.07 o 429 189.66/159.03 o 430 193.73/163.03 o 431 194.53/163.81 o 432 194.83/164.16 o 433 195.43/164.76 o 434 196.23/165.59 o 435 198.78/168.09 o 436 199.19/168.44 o 437 200.08/169.40 o 438 202.39/171.67 o 439 203.64/172.85 o 440 204.24/173.45 o 441 204.54/173.80 o 442 205.04/174.26 o 443 205.34/174.58 o 444 205.74/174.93 o 445 207.34/176.56 o 446 207.94/177.15 o 447 208.44/177.61 o 448 209.28/178.48 o 449 209.68/178.81 o 450 210.28/179.42 o 451 211.58/180.75 o 452 212.58/181.76 o 453 213.78/182.94 o 454 214.08/183.25 o 455 214.73/183.81 o 456 215.63/184.80 o 457 215.93/185.08 o 458 216.23/185.39 o 459 216.53/185.68 o 460 217.23/186.32 o 461 217.53/186.65 o 462 218.03/187.13 o 463 219.23/188.38 o 464 219.63/188.78 o 465 219.97/189.10 o 466 221.07/190.14 o 467 222.67/191.77 o 468 223.07/192.15 o 469 223.37/192.45 o 470 224.07/193.20 o 471 224.49/193.55 o 472 224.79/193.89 o 473 225.63/194.70 o 474 229.49/198.40 o 475 230.49/199.41 o 476 231.49/200.47 o 477 231.79/200.79 o 478 232.40/201.36 o 479 234.55/203.44 o 480 234.85/203.75 o 481 235.35/204.27 o 482 236.45/205.36 o 483 237.25/206.18 o 484 237.65/206.56 o 485 239.31/208.20 o 486 240.01/208.80 o 487 240.51/209.36 o 488 241.32/210.16 o 489 242.52/211.39 o 490 244.66/213.45 o 491 245.76/214.51 o 492 246.06/214.87 o 493 246.87/215.68 o 494 247.43/216.17 o 495 248.43/217.19 o 496 250.43/219.13 o 497 251.11/219.75 o 498 252.01/220.65 o 499 263.91/232.28 o 500 265.30/233.68 o 501 266.59/234.89 o 502 268.90/237.18 o 503 269.39/237.56 o 504 271.39/239.59 o 505 271.79/239.92 o 506 272.19/240.31 o 507 272.49/240.68 o 508 272.89/241.03 o 509 273.94/241.99 o 510 274.54/242.56 o 511 274.84/242.89 o 512 275.94/243.91 o 513 276.35/244.31 o 514 276.64/244.63 o 515 280.66/248.49 o 516 281.26/249.08 o 517 284.07/251.71 o 518 284.37/252.04 o 519 287.27/254.82 o 520 288.79/256.32 o 521 290.69/258.29 o 522 291.39/258.96 o 523 294.20/261.63 o 524 295.30/262.74 o 525 295.70/263.11 o 526 295.90/263.38 o 527 296.30/263.72 o 528 297.01/264.34 o 529 297.31/264.69 o 530 297.81/265.20 o 531 298.21/265.56 o 532 298.61/265.92 o 533 299.21/266.56 o 534 300.01/267.40 o 535 300.71/268.03 o 536 301.51/268.81 o 537 302.11/269.40 o 538 302.51/269.89 o 539 303.22/270.50 o 540 304.12/271.38 o 541 304.72/271.95 o 542 305.12/272.35 o 543 305.92/273.18 o 544 307.52/274.72 o 545 307.83/275.05 o 546 308.63/275.85 o 547 309.95/277.03 o 548 310.65/277.73 o 549 314.66/281.72 o 550 315.98/282.91 o 551 316.48/283.49 o 552 327.62/294.21 o 553 327.92/294.52 o 554 329.12/295.72 o 555 330.22/296.82 o 556 332.24/298.84 o 557 332.65/299.22 o 558 334.16/300.63 o 559 334.46/300.95 o 560 334.86/301.30 o 561 335.16/301.65 o 562 336.96/303.49 o 563 337.37/303.82 o 564 338.81/305.14 o 565 349.11/315.10 o 566 350.51/316.51 o 567 351.51/317.58 o 568 352.56/318.45 o 569 353.36/319.26 o 570 354.06/319.93 o 571 355.66/321.59 o 572 355.96/321.90 o 573 356.26/322.19 o 574 356.67/322.51 o 575 358.95/324.65 o 576 359.64/325.32 o 577 359.95/325.64 o 578 360.24/325.96 o 579 360.75/326.44 o 580 361.95/327.66 o 581 362.35/328.02 o 582 366.57/332.12 o 583 367.47/333.08 o 584 368.88/334.49 o 585 370.74/336.11 o 586 371.04/336.49 o 587 371.64/337.05 o 588 396.59/361.24 o 589 409.90/374.27 o 590 410.30/374.63 o 591 411.00/375.31 o 592 416.26/380.43 o 593 417.67/381.87 o 594 418.26/382.48 o 595 420.71/384.77 o 596 426.86/390.70 o 597 431.76/395.66 o 598 432.17/396.03 o 599 432.79/396.64 o 600 436.59/400.33 o 601 438.49/402.24 o 602 440.78/404.48 o 603 447.79/411.37 o 604 448.19/411.75 o 605 451.99/415.57 o 606 452.29/415.90 o 607 453.76/417.26 o 608 470.35/433.57 o 609 2236.99/2190.54 o 610 2257.04/2210.46 o 611 2263.74/2217.17 o 612 2264.14/2217.55 o 613 2520.04/2471.60 java.util.concurrent.TimeoutException 2520.04/2471.60 at concrete.MAC.mac(MAC.scala:74) 2520.04/2471.60 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2520.04/2471.60 at scala.util.Try$.apply(Try.scala:209) 2520.04/2471.60 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.04/2471.60 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.04/2471.60 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.04/2471.60 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.04/2471.60 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2520.04/2471.60 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.04/2471.60 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.04/2471.60 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.04/2471.60 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.04/2471.60 at concrete.MAC.oneRun(MAC.scala:146) 2520.04/2471.60 at concrete.MAC.nextSolution(MAC.scala:166) 2520.04/2471.60 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2520.04/2471.60 at concrete.ProblemState.map(ProblemState.scala:203) 2520.04/2471.60 at concrete.ProblemState.map(ProblemState.scala:188) 2520.04/2471.60 at concrete.MAC.nextSolution(MAC.scala:195) 2520.04/2471.60 at concrete.Solver.hasNext(Solver.scala:202) 2520.04/2471.60 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2520.04/2471.60 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2520.04/2471.60 at concrete.Solver.toStream(Solver.scala:73) 2520.04/2471.60 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2520.04/2471.60 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2520.04/2471.60 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2520.04/2471.60 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2520.04/2471.60 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2520.04/2471.60 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.04/2471.60 at scala.util.Success.map(Try.scala:209) 2520.04/2471.60 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2520.04/2471.60 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2520.04/2471.60 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.04/2471.60 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2520.04/2471.60 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.04/2471.60 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.04/2471.60 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.04/2471.60 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.04/2471.60 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.04/2471.61 at scala.collection.immutable.List.foreach(List.scala:389) 2520.04/2471.61 at scala.App.main(App.scala:76) 2520.04/2471.61 at scala.App.main$(App.scala:74) 2520.04/2471.61 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.04/2471.61 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2471.61 v <instantiation cost="613"> 2520.04/2471.61 v <list> 2520.04/2471.61 v 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z 2520.04/2471.61 v </list> 2520.04/2471.61 v <values> 2520.04/2471.61 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 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 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 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 0 0 0 0 1 2 2 1 1 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 2 0 2 0 1 0 0 0 0 1 0 0 0 1 0 2 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 0 1 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 2 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 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 1 0 1 0 1 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 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 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 1 0 0 0 0 0 1 1 2 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 1 2 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 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 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 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 2 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 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 1 0 0 0 1 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 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 1 0 0 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 1 0 2 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 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 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 2 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 1 2 0 1 1 0 1 1 0 0 1 0 1 2 2 2 1 1 2 1 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 31 74 89 103 112 116 124 129 133 139 150 159 166 175 183 190 199 210 216 225 234 244 254 264 275 283 293 299 309 319 324 328 337 343 354 366 376 408 434 613 2520.04/2471.61 v </values> 2520.04/2471.61 v </instantiation> 2520.04/2471.61 s SATISFIABLE
OK 613
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262185-1502419673/watcher-4262185-1502419673 -o /tmp/evaluation-result-4262185-1502419673/solver-4262185-1502419673 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580 bin/concrete HOME/instance-4262185-1502419673.xml pid=3267 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.30 1.25 1.30 3/195 3270 /proc/meminfo: memFree=30877208/32770624 swapFree=0/497080 [pid=3270] ppid=3267 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/3270/stat : 3270 (runsolver) D 3267 3270 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 44188089 24240128 107 18446744073709551615 4194304 4338465 140736396649808 140736396647448 140072794342103 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 6713344 140736396656849 140736396657225 140736396657225 140736396660682 0 /proc/3270/statm: 5918 107 54 36 0 2156 0 [startup+0.100166 s] /proc/loadavg: 1.30 1.25 1.30 3/195 3270 /proc/meminfo: memFree=30877208/32770624 swapFree=0/497080 [pid=3270] ppid=3267 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/3270/stat : 3270 (bash) S 3267 3270 1330 0 -1 4202496 898 6476 0 0 0 0 0 1 20 0 1 0 44188089 9867264 377 18446744073709551615 4194304 5098028 140731323393904 140731323387912 140246833683456 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 31395840 140731323396628 140731323396713 140731323396713 140731323400170 0 /proc/3270/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.200312 s] /proc/loadavg: 1.30 1.25 1.30 3/195 3270 /proc/meminfo: memFree=30877208/32770624 swapFree=0/497080 [pid=3270] ppid=3267 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/3270/stat : 3270 (bash) S 3267 3270 1330 0 -1 4202496 898 6476 0 0 0 0 0 1 20 0 1 0 44188089 9867264 377 18446744073709551615 4194304 5098028 140731323393904 140731323387912 140246833683456 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 31395840 140731323396628 140731323396713 140731323396713 140731323400170 0 /proc/3270/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300299 s] /proc/loadavg: 1.30 1.25 1.30 3/195 3270 /proc/meminfo: memFree=30877208/32770624 swapFree=0/497080 [pid=3270] ppid=3267 vsize=13907308 CPUtime=0.13 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 5984 12338 0 0 5 1 5 2 20 0 14 0 44188089 14241083392 5159 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3476827 5159 2570 1 0 3466324 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 13907308 [startup+0.700228 s] /proc/loadavg: 1.30 1.25 1.30 3/195 3270 /proc/meminfo: memFree=30877208/32770624 swapFree=0/497080 [pid=3270] ppid=3267 vsize=13974784 CPUtime=0.56 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 13417 12338 0 0 45 4 5 2 20 0 15 0 44188089 14310178816 14250 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3493696 14250 3064 1 0 3482965 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 13974784 [startup+1.50055 s] /proc/loadavg: 1.30 1.25 1.30 3/210 3333 /proc/meminfo: memFree=30787840/32770624 swapFree=0/497360 [pid=3270] ppid=3267 vsize=13985408 CPUtime=1.76 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 27670 12338 0 0 160 9 5 2 20 0 15 0 44188089 14321057792 33728 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3496352 33728 3337 1 0 3485525 0 [pid=3270/tid=3320] ppid=3267 vsize=13985408 CPUtime=1.24 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 22361 12338 0 0 110 7 5 2 20 0 15 0 44188114 14321057792 33728 18446744073709551615 4194304 4196468 140727119798240 139620795241888 139620775052645 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 2 12338 0 0 0 0 5 2 20 0 15 0 44188114 14321057792 33728 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 1 12338 0 0 0 0 5 2 20 0 15 0 44188114 14321057792 33728 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 1 12338 0 0 0 0 5 2 20 0 15 0 44188114 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 2 12338 0 0 0 0 5 2 20 0 15 0 44188114 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 5 12338 0 0 0 0 5 2 20 0 15 0 44188116 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 33 12338 0 0 0 0 5 2 20 0 15 0 44188116 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620335674656 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 21 12338 0 0 0 0 5 2 20 0 15 0 44188116 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620334622320 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3329] ppid=3267 vsize=13985408 CPUtime=0.22 cores=0,2,4,6 /proc/3270/task/3329/stat : 3329 (java) S 3267 3270 1330 0 -1 1077944384 1052 12338 0 0 15 0 5 2 20 0 15 0 44188119 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620332517488 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3330] ppid=3267 vsize=13985408 CPUtime=0.19 cores=0,2,4,6 /proc/3270/task/3330/stat : 3330 (java) S 3267 3270 1330 0 -1 1077944384 731 12338 0 0 12 0 5 2 20 0 15 0 44188119 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620331464688 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3331] ppid=3267 vsize=13985408 CPUtime=0.28 cores=0,2,4,6 /proc/3270/task/3331/stat : 3331 (java) R 3267 3270 1330 0 -1 1077944384 1290 12338 0 0 21 0 5 2 20 0 15 0 44188119 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620330412400 139620791020162 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3332] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 10 12338 0 0 0 0 5 2 20 0 15 0 44188127 14321057792 33769 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 13985408 [startup+3.1007 s] /proc/loadavg: 1.30 1.25 1.30 5/210 3333 /proc/meminfo: memFree=30695020/32770624 swapFree=0/497360 [pid=3270] ppid=3267 vsize=13997884 CPUtime=5.56 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 49181 12338 0 0 533 16 5 2 20 0 15 0 44188089 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3499471 57496 3447 1 0 3488085 0 [pid=3270/tid=3320] ppid=3267 vsize=13997884 CPUtime=2.8 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 34982 12338 0 0 263 10 5 2 20 0 15 0 44188114 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620795239184 139620776689672 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 210 12338 0 0 0 0 5 2 20 0 15 0 44188114 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 41 12338 0 0 1 0 5 2 20 0 15 0 44188114 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 37 12338 0 0 1 0 5 2 20 0 15 0 44188114 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 70 12338 0 0 1 0 5 2 20 0 15 0 44188114 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 1528 12338 0 0 1 0 5 2 20 0 15 0 44188116 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 55 12338 0 0 0 0 5 2 20 0 15 0 44188116 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620335674720 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 44 12338 0 0 0 0 5 2 20 0 15 0 44188116 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620334622336 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3329] ppid=3267 vsize=13997884 CPUtime=0.87 cores=0,2,4,6 /proc/3270/task/3329/stat : 3329 (java) S 3267 3270 1330 0 -1 1077944384 2278 12338 0 0 78 2 5 2 20 0 15 0 44188119 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620332517488 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3330] ppid=3267 vsize=13997884 CPUtime=0.95 cores=0,2,4,6 /proc/3270/task/3330/stat : 3330 (java) S 3267 3270 1330 0 -1 1077944384 4053 12338 0 0 88 0 5 2 20 0 15 0 44188119 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620331464688 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3331] ppid=3267 vsize=13997884 CPUtime=1.04 cores=0,2,4,6 /proc/3270/task/3331/stat : 3331 (java) S 3267 3270 1330 0 -1 1077944384 3710 12338 0 0 96 1 5 2 20 0 15 0 44188119 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620330412400 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3332] ppid=3267 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 12 12338 0 0 0 0 5 2 20 0 15 0 44188127 14333833216 57496 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 5.56 Current children cumulated vsize (KiB) 13997884 [startup+6.30138 s] /proc/loadavg: 1.51 1.29 1.31 5/210 3333 /proc/meminfo: memFree=30501476/32770624 swapFree=0/497356 [pid=3270] ppid=3267 vsize=13999932 CPUtime=15.04 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 57326 12338 0 0 1474 23 5 2 20 0 15 0 44188089 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3499983 116832 3465 1 0 3488597 0 [pid=3270/tid=3320] ppid=3267 vsize=13999932 CPUtime=5.87 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 36392 12338 0 0 567 13 5 2 20 0 15 0 44188114 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620795240600 139620427213285 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=13999932 CPUtime=0.14 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 290 12338 0 0 7 0 5 2 20 0 15 0 44188114 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=13999932 CPUtime=0.12 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 84 12338 0 0 5 0 5 2 20 0 15 0 44188114 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=13999932 CPUtime=0.12 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 66 12338 0 0 5 0 5 2 20 0 15 0 44188114 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=13999932 CPUtime=0.12 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 123 12338 0 0 5 0 5 2 20 0 15 0 44188114 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=13999932 CPUtime=0.11 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 2331 12338 0 0 4 0 5 2 20 0 15 0 44188116 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=13999932 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 55 12338 0 0 0 0 5 2 20 0 15 0 44188116 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620335674720 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=13999932 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 44 12338 0 0 0 0 5 2 20 0 15 0 44188116 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620334622336 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=13999932 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3329] ppid=3267 vsize=13999932 CPUtime=3.63 cores=0,2,4,6 /proc/3270/task/3329/stat : 3329 (java) S 3267 3270 1330 0 -1 1077944384 4795 12338 0 0 354 2 5 2 20 0 15 0 44188119 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620332517488 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3330] ppid=3267 vsize=13999932 CPUtime=3.71 cores=0,2,4,6 /proc/3270/task/3330/stat : 3330 (java) S 3267 3270 1330 0 -1 1077944384 5246 12338 0 0 363 1 5 2 20 0 15 0 44188119 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620331464688 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3331] ppid=3267 vsize=13999932 CPUtime=1.67 cores=0,2,4,6 /proc/3270/task/3331/stat : 3331 (java) S 3267 3270 1330 0 -1 1077944384 5726 12338 0 0 158 2 5 2 20 0 15 0 44188119 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620330412400 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3332] ppid=3267 vsize=13999932 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=13999932 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 13 12338 0 0 0 0 5 2 20 0 15 0 44188127 14335930368 116832 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 15.04 Current children cumulated vsize (KiB) 13999932 [startup+12.7007 s] /proc/loadavg: 1.71 1.34 1.33 5/210 3333 /proc/meminfo: memFree=30038044/32770624 swapFree=0/497348 [pid=3270] ppid=3267 vsize=14071612 CPUtime=29.3 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 94352 12338 0 0 2883 40 5 2 20 0 15 0 44188089 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3517903 202005 3482 1 0 3506517 0 [pid=3270/tid=3320] ppid=3267 vsize=14071612 CPUtime=12.2 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 56920 12338 0 0 1194 19 5 2 20 0 15 0 44188114 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620795239248 139620431329991 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=14071612 CPUtime=0.2 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 359 12338 0 0 11 2 5 2 20 0 15 0 44188114 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=14071612 CPUtime=0.18 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 206 12338 0 0 9 2 5 2 20 0 15 0 44188114 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=14071612 CPUtime=0.18 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 660 12338 0 0 9 2 5 2 20 0 15 0 44188114 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=14071612 CPUtime=0.18 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 223 12338 0 0 9 2 5 2 20 0 15 0 44188114 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=14071612 CPUtime=0.12 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 2638 12338 0 0 5 0 5 2 20 0 15 0 44188116 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 60 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620335674720 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 49 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620334622336 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 202005 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 ################ # More data... # ################ /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1076005 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=14071612 CPUtime=1.34 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 1049 12338 0 0 63 64 5 2 20 0 15 0 44188127 14409330688 1076005 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 2309.36 Current children cumulated vsize (KiB) 14071612 [startup+2322.3 s] /proc/loadavg: 1.43 1.54 1.57 3/209 3517 /proc/meminfo: memFree=26655296/32770624 swapFree=0/497772 [pid=3270] ppid=3267 vsize=14071612 CPUtime=2369.91 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 508491 12338 0 0 236526 458 5 2 20 0 15 0 44188089 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3517903 1075388 3498 1 0 3506517 0 [pid=3270/tid=3320] ppid=3267 vsize=14071612 CPUtime=2315.31 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 248849 12338 0 0 231445 79 5 2 20 0 15 0 44188114 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620795243216 139620432288192 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=14071612 CPUtime=6.23 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 24091 12338 0 0 541 75 5 2 20 0 15 0 44188114 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=14071612 CPUtime=6.22 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 25272 12338 0 0 540 75 5 2 20 0 15 0 44188114 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=14071612 CPUtime=6.23 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 19481 12338 0 0 543 73 5 2 20 0 15 0 44188114 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=14071612 CPUtime=6.2 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 19160 12338 0 0 541 72 5 2 20 0 15 0 44188114 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=14071612 CPUtime=0.64 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 34042 12338 0 0 49 8 5 2 20 0 15 0 44188116 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 100 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620335674784 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 51 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620334622336 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3329] ppid=3267 vsize=14071612 CPUtime=12.06 cores=0,2,4,6 /proc/3270/task/3329/stat : 3329 (java) S 3267 3270 1330 0 -1 1077944384 43458 12338 0 0 1191 8 5 2 20 0 15 0 44188119 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620332517488 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3330] ppid=3267 vsize=14071612 CPUtime=11.79 cores=0,2,4,6 /proc/3270/task/3330/stat : 3330 (java) S 3267 3270 1330 0 -1 1077944384 42435 12338 0 0 1165 7 5 2 20 0 15 0 44188119 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620331464688 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3331] ppid=3267 vsize=14071612 CPUtime=4.37 cores=0,2,4,6 /proc/3270/task/3331/stat : 3331 (java) S 3267 3270 1330 0 -1 1077944384 48319 12338 0 0 421 9 5 2 20 0 15 0 44188119 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620330412400 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3332] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=14071612 CPUtime=1.37 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 1072 12338 0 0 64 66 5 2 20 0 15 0 44188127 14409330688 1075388 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 2369.91 Current children cumulated vsize (KiB) 14071612 [startup+2382.3 s] /proc/loadavg: 1.47 1.53 1.57 3/209 3519 /proc/meminfo: memFree=26658352/32770624 swapFree=0/497804 [pid=3270] ppid=3267 vsize=14071612 CPUtime=2430.37 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 515590 12338 0 0 242569 461 5 2 20 0 15 0 44188089 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3517903 1074634 3498 1 0 3506517 0 [pid=3270/tid=3320] ppid=3267 vsize=14071612 CPUtime=2375.16 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 253154 12338 0 0 237429 80 5 2 20 0 15 0 44188114 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620795242496 139620432901959 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=14071612 CPUtime=6.37 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 24194 12338 0 0 555 75 5 2 20 0 15 0 44188114 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=14071612 CPUtime=6.36 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 25418 12338 0 0 554 75 5 2 20 0 15 0 44188114 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=14071612 CPUtime=6.37 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 21206 12338 0 0 557 73 5 2 20 0 15 0 44188114 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=14071612 CPUtime=6.35 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 19561 12338 0 0 556 72 5 2 20 0 15 0 44188114 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=14071612 CPUtime=0.65 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 34424 12338 0 0 50 8 5 2 20 0 15 0 44188116 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 100 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620335674784 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 51 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620334622336 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3329] ppid=3267 vsize=14071612 CPUtime=12.06 cores=0,2,4,6 /proc/3270/task/3329/stat : 3329 (java) S 3267 3270 1330 0 -1 1077944384 43461 12338 0 0 1191 8 5 2 20 0 15 0 44188119 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620332517488 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3330] ppid=3267 vsize=14071612 CPUtime=11.79 cores=0,2,4,6 /proc/3270/task/3330/stat : 3330 (java) S 3267 3270 1330 0 -1 1077944384 42442 12338 0 0 1165 7 5 2 20 0 15 0 44188119 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620331464688 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3331] ppid=3267 vsize=14071612 CPUtime=4.37 cores=0,2,4,6 /proc/3270/task/3331/stat : 3331 (java) S 3267 3270 1330 0 -1 1077944384 48324 12338 0 0 421 9 5 2 20 0 15 0 44188119 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620330412400 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3332] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=14071612 CPUtime=1.41 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 1094 12338 0 0 66 68 5 2 20 0 15 0 44188127 14409330688 1074634 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 2430.37 Current children cumulated vsize (KiB) 14071612 [startup+2442.3 s] /proc/loadavg: 1.71 1.59 1.58 3/209 3521 /proc/meminfo: memFree=26656688/32770624 swapFree=0/497812 [pid=3270] ppid=3267 vsize=14071612 CPUtime=2490.67 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 522514 12338 0 0 248598 462 5 2 20 0 15 0 44188089 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3517903 1074655 3498 1 0 3506517 0 [pid=3270/tid=3320] ppid=3267 vsize=14071612 CPUtime=2435.07 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 257233 12338 0 0 243420 80 5 2 20 0 15 0 44188114 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620795242752 139620432273024 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=14071612 CPUtime=6.46 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 24571 12338 0 0 564 75 5 2 20 0 15 0 44188114 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=14071612 CPUtime=6.45 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 25614 12338 0 0 563 75 5 2 20 0 15 0 44188114 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=14071612 CPUtime=6.46 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 21350 12338 0 0 566 73 5 2 20 0 15 0 44188114 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=14071612 CPUtime=6.43 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 21283 12338 0 0 564 72 5 2 20 0 15 0 44188114 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=14071612 CPUtime=0.66 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 34790 12338 0 0 51 8 5 2 20 0 15 0 44188116 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 100 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620335674784 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 51 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620334622336 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3329] ppid=3267 vsize=14071612 CPUtime=12.06 cores=0,2,4,6 /proc/3270/task/3329/stat : 3329 (java) S 3267 3270 1330 0 -1 1077944384 43464 12338 0 0 1191 8 5 2 20 0 15 0 44188119 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620332517488 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3330] ppid=3267 vsize=14071612 CPUtime=11.79 cores=0,2,4,6 /proc/3270/task/3330/stat : 3330 (java) S 3267 3270 1330 0 -1 1077944384 42447 12338 0 0 1165 7 5 2 20 0 15 0 44188119 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620331464688 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3331] ppid=3267 vsize=14071612 CPUtime=4.37 cores=0,2,4,6 /proc/3270/task/3331/stat : 3331 (java) S 3267 3270 1330 0 -1 1077944384 48331 12338 0 0 421 9 5 2 20 0 15 0 44188119 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620330412400 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3332] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=14071612 CPUtime=1.44 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 1119 12338 0 0 68 69 5 2 20 0 15 0 44188127 14409330688 1074655 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 2490.67 Current children cumulated vsize (KiB) 14071612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2471.6 s] /proc/loadavg: 1.55 1.56 1.58 3/209 3522 /proc/meminfo: memFree=26656928/32770624 swapFree=0/497824 [pid=3270] ppid=3267 vsize=14071612 CPUtime=2520.04 cores=0,2,4,6 /proc/3270/stat : 3270 (java) S 3267 3270 1330 0 -1 1077944320 524639 12338 0 0 251534 463 5 2 20 0 15 0 44188089 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 140727119780784 139620791009015 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 /proc/3270/statm: 3517903 1074656 3498 1 0 3506517 0 [pid=3270/tid=3320] ppid=3267 vsize=14071612 CPUtime=2464.35 cores=0,2,4,6 /proc/3270/task/3320/stat : 3320 (java) R 3267 3270 1330 0 -1 4202560 259265 12338 0 0 246348 80 5 2 20 0 15 0 44188114 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620795243120 139620412102756 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3321] ppid=3267 vsize=14071612 CPUtime=6.48 cores=0,2,4,6 /proc/3270/task/3321/stat : 3321 (java) S 3267 3270 1330 0 -1 1077944384 24587 12338 0 0 566 75 5 2 20 0 15 0 44188114 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620732955024 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3322] ppid=3267 vsize=14071612 CPUtime=6.47 cores=0,2,4,6 /proc/3270/task/3322/stat : 3322 (java) S 3267 3270 1330 0 -1 1077944384 25630 12338 0 0 565 75 5 2 20 0 15 0 44188114 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620731902224 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3323] ppid=3267 vsize=14071612 CPUtime=6.47 cores=0,2,4,6 /proc/3270/task/3323/stat : 3323 (java) S 3267 3270 1330 0 -1 1077944384 21366 12338 0 0 567 73 5 2 20 0 15 0 44188114 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620730849936 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3324] ppid=3267 vsize=14071612 CPUtime=6.45 cores=0,2,4,6 /proc/3270/task/3324/stat : 3324 (java) S 3267 3270 1330 0 -1 1077944384 21300 12338 0 0 566 72 5 2 20 0 15 0 44188114 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620388444688 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3325] ppid=3267 vsize=14071612 CPUtime=0.66 cores=0,2,4,6 /proc/3270/task/3325/stat : 3325 (java) S 3267 3270 1330 0 -1 1077944384 34809 12338 0 0 51 8 5 2 20 0 15 0 44188116 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620336728688 139620791020162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3326] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3326/stat : 3326 (java) S 3267 3270 1330 0 -1 1077944384 100 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620335674784 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3327] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3327/stat : 3327 (java) S 3267 3270 1330 0 -1 1077944384 51 12338 0 0 0 0 5 2 20 0 15 0 44188116 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620334622336 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3328] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3328/stat : 3328 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620333570640 139620791027611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3329] ppid=3267 vsize=14071612 CPUtime=12.06 cores=0,2,4,6 /proc/3270/task/3329/stat : 3329 (java) S 3267 3270 1330 0 -1 1077944384 43464 12338 0 0 1191 8 5 2 20 0 15 0 44188119 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620332517488 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3330] ppid=3267 vsize=14071612 CPUtime=11.79 cores=0,2,4,6 /proc/3270/task/3330/stat : 3330 (java) S 3267 3270 1330 0 -1 1077944384 42447 12338 0 0 1165 7 5 2 20 0 15 0 44188119 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620331464688 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3331] ppid=3267 vsize=14071612 CPUtime=4.37 cores=0,2,4,6 /proc/3270/task/3331/stat : 3331 (java) S 3267 3270 1330 0 -1 1077944384 48331 12338 0 0 421 9 5 2 20 0 15 0 44188119 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620330412400 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3332] ppid=3267 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3270/task/3332/stat : 3332 (java) S 3267 3270 1330 0 -1 1077944384 3 12338 0 0 0 0 5 2 20 0 15 0 44188119 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620329359840 139620791019221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 [pid=3270/tid=3333] ppid=3267 vsize=14071612 CPUtime=1.46 cores=0,2,4,6 /proc/3270/task/3333/stat : 3333 (java) S 3267 3270 1330 0 -1 1077944384 1128 12338 0 0 69 70 5 2 20 0 15 0 44188127 14409330688 1074656 18446744073709551615 4194304 4196468 140727119798240 139620328307632 139620791020162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35057664 140727119804368 140727119807153 140727119807153 140727119810511 0 Current children cumulated CPU time (s) 2520.04 Current children cumulated vsize (KiB) 14071612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3270 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2471.66 CPU time (s): 2520.13 CPU user time (s): 2515.43 CPU system time (s): 4.69417 CPU usage (%): 101.961 Max. virtual memory (cumulated for all children) (KiB): 14071612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.43 system time used= 4.69417 maximum resident set size= 4304092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 541980 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 76536 involuntary context switches= 2647 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2231 second user time and 16.0435 second system time The end
Begin job on node125 at 2017-08-11 04:33:48 IDJOB=4262185 IDBENCH=115896 IDSOLVER=2650 FILE ID=node125/4262185-1502419673 RUNJOBID= node125-1502411403-1394 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262185-1502419673/watcher-4262185-1502419673 -o /tmp/evaluation-result-4262185-1502419673/solver-4262185-1502419673 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580 bin/concrete HOME/instance-4262185-1502419673.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877 RANDOM SEED=375485770 node125.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.07 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.07 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.07 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.07 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: 30878108 kB MemAvailable: 31614164 kB Buffers: 239688 kB Cached: 788252 kB SwapCached: 0 kB Active: 953368 kB Inactive: 521988 kB Active(anon): 447788 kB Inactive(anon): 24908 kB Active(file): 505580 kB Inactive(file): 497080 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24024 kB Writeback: 0 kB AnonPages: 447664 kB Mapped: 53848 kB Shmem: 25252 kB Slab: 124056 kB SReclaimable: 98464 kB SUnreclaim: 25592 kB KernelStack: 3424 kB PageTables: 6056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1425124 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61984 MiB End job on node125 at 2017-08-11 05:15:00