Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.4 | SAT (TO) | 585 | 252.14101 | 220.16 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml |
MD5SUM | f0ae775e0a261424aab5dff09c8fa0c4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 806 |
Best CPU time to get the best result obtained on this benchmark | 1808.87 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3917 |
Number of constraints | 2192 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 3873 |
Distribution of domain sizes | [{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}] |
Minimum variable degree | 1 |
Maximum variable degree | 45 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 46 |
Distribution of constraint arities | [{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}] |
Number of extensional constraints | 1932 |
Number of intensional constraints | 211 |
Distribution of constraint types | [{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
3.23/2.18 c Concrete v3.4 running 19.49/8.82 % 18:52:23.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11337. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 893152673, 3 edges, 4 vertices, 1 tuples 19.49/8.85 % 18:52:23.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11460. 'extension(false, x[1][42]: {[0?1]}, x[2][42]: {[0?1]}) :: init: true :: relation: MDD 1568999973, 3 edges, 4 vertices, 1 tuples 19.49/8.85 % 18:52:23.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11465. 'extension(x[41][1]: {[0?1]}, x[42][1]: {[0?1]}, false) :: init: true :: relation: MDD 893152673, 3 edges, 4 vertices, 1 tuples 19.49/8.88 % 18:52:23.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11588. 'extension(x[41][42]: {[0?1]}, x[42][42]: {[0?1]}, false) :: init: true :: relation: MDD 1568999973, 3 edges, 4 vertices, 1 tuples 19.49/8.88 % 18:52:23.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11592. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 783339262, 3 edges, 4 vertices, 1 tuples 19.49/8.89 % 18:52:23.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11715. 'extension(false, x[42][1]: {[0?1]}, x[42][2]: {[0?1]}) :: init: true :: relation: MDD 1518022811, 3 edges, 4 vertices, 1 tuples 19.49/8.89 % 18:52:23.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11718. 'extension(x[1][41]: {[0?1]}, x[1][42]: {[0?1]}, false) :: init: true :: relation: MDD 783339262, 3 edges, 4 vertices, 1 tuples 19.81/8.91 % 18:52:23.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11841. 'extension(x[42][41]: {[0?1]}, x[42][42]: {[0?1]}, false) :: init: true :: relation: MDD 1518022811, 3 edges, 4 vertices, 1 tuples 19.81/8.91 % 18:52:23.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11845. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD 19.81/8.92 % 18:52:23.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11925. 'extension(x[1][42]: {[0?1]}, x[2][42]: {[0?1]}) :: init: true :: relation: Empty MDD 19.81/8.92 % 18:52:23.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11929. 'extension(x[41][1]: {[0?1]}, x[42][1]: {[0?1]}) :: init: true :: relation: Empty MDD 19.81/8.93 % 18:52:23.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12009. 'extension(x[41][42]: {[0?1]}, x[42][42]: {[0?1]}) :: init: true :: relation: Empty MDD 19.81/8.93 % 18:52:23.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12013. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD 19.81/8.94 % 18:52:23.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12095. 'extension(x[42][1]: {[0?1]}, x[42][2]: {[0?1]}) :: init: true :: relation: Empty MDD 19.81/8.94 % 18:52:23.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12101. 'extension(x[1][41]: {[0?1]}, x[1][42]: {[0?1]}) :: init: true :: relation: Empty MDD 19.81/8.94 % 18:52:23.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12183. 'extension(x[42][41]: {[0?1]}, x[42][42]: {[0?1]}) :: init: true :: relation: Empty MDD 112.34/86.72 o 29 113.16/87.13 o 30 113.68/87.58 o 37 114.22/88.00 o 39 114.72/88.35 o 40 116.04/89.20 o 41 116.34/89.52 o 168 116.75/89.91 o 169 117.06/90.27 o 170 117.46/90.65 o 171 118.01/91.15 o 172 118.43/91.50 o 181 119.05/92.18 o 182 119.95/92.81 o 183 120.84/93.52 o 184 121.96/94.21 o 185 122.27/94.59 o 186 122.68/94.95 o 187 123.19/95.50 o 188 124.04/96.24 o 189 124.35/96.58 o 190 124.77/96.94 o 191 125.19/97.32 o 192 125.61/97.71 o 193 126.04/98.13 o 194 126.34/98.48 o 195 126.87/98.90 o 196 127.50/99.56 o 197 128.03/100.02 o 198 128.46/100.45 o 199 128.89/100.82 o 200 129.21/101.15 o 201 129.68/101.59 o 202 130.25/102.08 o 472 130.86/102.68 o 473 131.82/103.54 o 474 133.00/104.60 o 475 133.73/105.37 o 476 134.24/105.88 o 477 134.88/106.45 o 478 135.42/106.95 o 479 135.94/107.44 o 480 136.45/107.94 o 481 137.09/108.53 o 482 138.33/109.79 o 483 138.84/110.29 o 484 139.76/111.08 o 485 140.26/111.59 o 486 140.78/112.10 o 487 141.94/113.16 o 488 142.45/113.68 o 489 143.30/114.41 o 490 144.23/115.31 o 491 145.08/116.14 o 492 145.60/116.61 o 493 146.32/117.38 o 494 147.67/118.61 o 495 148.39/119.34 o 496 149.31/120.18 o 497 150.16/121.01 o 498 150.77/121.54 o 499 151.18/122.00 o 500 151.81/122.51 o 501 152.34/123.05 o 502 153.16/123.88 o 503 153.99/124.65 o 504 154.51/125.15 o 505 155.03/125.66 o 506 155.56/126.18 o 507 156.07/126.63 o 508 157.10/127.61 o 509 157.63/128.14 o 510 158.14/128.66 o 511 158.76/129.21 o 512 159.19/129.68 o 513 159.91/130.22 o 514 160.44/130.76 o 515 161.37/131.69 o 516 162.60/132.84 o 517 163.12/133.35 o 518 164.14/134.36 o 519 165.38/135.52 o 520 165.90/136.02 o 521 166.41/136.54 o 522 166.82/137.00 o 523 167.53/137.69 o 524 168.16/138.22 o 525 168.67/138.73 o 526 169.29/139.35 o 527 170.10/140.03 o 528 170.50/140.47 o 529 171.64/141.58 o 530 172.26/142.14 o 531 173.59/143.48 o 532 174.10/143.94 o 533 174.60/144.42 o 534 176.75/146.50 o 535 177.17/146.98 o 536 177.68/147.46 o 537 178.19/147.94 o 538 179.01/148.78 o 539 180.93/150.50 o 540 182.26/151.88 o 541 182.87/152.40 o 542 183.28/152.84 o 543 185.44/154.96 o 544 185.96/155.47 o 545 186.48/155.94 o 546 186.98/156.45 o 547 187.81/157.27 o 548 188.35/157.79 o 549 188.86/158.27 o 550 189.38/158.75 o 551 191.11/160.31 o 552 191.63/160.83 o 553 192.76/161.90 o 554 193.17/162.34 o 555 193.68/162.85 o 556 196.46/165.56 o 557 197.59/166.65 o 558 198.72/167.77 o 559 199.71/168.60 o 560 202.18/171.09 o 561 205.58/174.31 o 562 206.40/175.16 o 563 207.28/175.97 o 564 211.09/179.77 o 565 211.60/180.24 o 566 212.10/180.75 o 567 215.11/183.75 o 568 215.69/184.24 o 569 216.89/185.42 o 570 220.61/189.13 o 571 221.09/189.64 o 572 222.10/190.64 o 573 223.30/191.88 o 574 227.07/195.57 o 575 228.77/197.27 o 576 229.47/197.99 o 577 230.47/198.98 o 578 230.97/199.47 o 579 233.05/201.46 o 580 235.55/203.90 o 581 238.84/207.17 o 582 240.16/208.49 o 583 243.66/211.99 o 584 248.95/217.13 o 585 252.05/220.11 java.util.concurrent.TimeoutException 252.05/220.11 at concrete.MAC.mac(MAC.scala:74) 252.05/220.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 252.05/220.11 at scala.util.Try$.apply(Try.scala:209) 252.05/220.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.05/220.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.05/220.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.05/220.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.05/220.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 252.05/220.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.05/220.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.05/220.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.05/220.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.05/220.11 at concrete.MAC.oneRun(MAC.scala:146) 252.05/220.11 at concrete.MAC.nextSolution(MAC.scala:166) 252.05/220.11 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 252.05/220.11 at concrete.ProblemState.map(ProblemState.scala:203) 252.05/220.11 at concrete.ProblemState.map(ProblemState.scala:188) 252.05/220.11 at concrete.MAC.nextSolution(MAC.scala:195) 252.05/220.11 at concrete.Solver.hasNext(Solver.scala:202) 252.05/220.11 at scala.collection.Iterator.toStream(Iterator.scala:1403) 252.05/220.11 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 252.05/220.11 at concrete.Solver.toStream(Solver.scala:73) 252.05/220.11 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 252.05/220.11 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 252.05/220.11 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 252.05/220.11 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 252.05/220.11 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 252.05/220.11 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.05/220.11 at scala.util.Success.map(Try.scala:209) 252.05/220.11 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 252.05/220.11 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 252.05/220.11 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 252.05/220.11 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 252.05/220.11 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 252.05/220.11 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.05/220.11 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.05/220.11 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.05/220.11 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.05/220.11 at scala.collection.immutable.List.foreach(List.scala:389) 252.05/220.11 at scala.App.main(App.scala:76) 252.05/220.11 at scala.App.main$(App.scala:74) 252.05/220.11 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 252.05/220.11 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.05/220.12 v <instantiation cost="585"> 252.05/220.12 v <list> 252.05/220.12 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[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] z 252.05/220.12 v </list> 252.05/220.12 v <values> 252.05/220.12 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 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 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 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 1 0 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 2 2 0 0 2 0 0 2 0 2 0 2 0 2 0 0 0 2 1 0 1 0 2 0 2 1 1 0 1 0 0 2 1 0 0 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 0 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 1 2 2 2 0 1 2 0 0 2 2 0 2 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 1 0 0 0 2 0 0 0 0 1 0 0 1 1 1 0 0 1 1 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 2 2 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 2 0 1 0 2 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 2 1 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 2 2 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 1 1 0 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 0 0 0 0 0 0 0 1 1 2 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 2 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 2 1 1 2 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 2 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 2 2 2 2 2 2 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 2 2 2 2 2 2 1 1 1 1 2 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 1 1 2 1 2 1 0 1 0 1 2 0 1 0 0 0 0 1 0 1 2 2 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 2 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 2 0 0 1 1 0 1 1 2 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 2 0 1 0 0 1 0 0 0 0 0 0 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 1 1 2 2 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 2 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 2 2 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 2 2 2 1 0 0 0 1 1 1 0 0 1 0 1 0 2 0 1 1 0 1 0 0 0 1 2 1 1 2 1 1 0 0 0 0 1 0 2 1 1 2 1 0 1 1 1 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 0 36 121 206 292 377 463 549 633 719 762 840 859 871 886 906 918 929 946 959 967 980 989 999 1008 1021 1043 1069 1095 1117 1134 1150 1156 1161 1177 1192 1207 1221 1229 1240 1255 1277 1292 1327 1356 585 252.05/220.12 v </values> 252.05/220.12 v </instantiation> 252.05/220.12 s SATISFIABLE
OK 585
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15152 MiB free) memory of node 1: 16384 MiB (13692 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259817-1502643982/watcher-4259817-1502643982 -o /tmp/evaluation-result-4259817-1502643982/solver-4259817-1502643982 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259817-1502643982.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=27314, runsolver pid=27311 [startup+0.100115 s]* /proc/loadavg: 1.46 1.72 1.86 3/201 27332 /proc/meminfo: memFree=29536728/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6 /proc/27314/stat : 27314 (bash) S 27311 27314 8289 0 -1 4202496 900 6474 0 0 0 0 0 1 20 0 1 0 112213385 9867264 378 18446744073709551615 4194304 5098028 140730464675136 140730464669144 140005023005696 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 35360768 140730464682484 140730464682569 140730464682569 140730464686058 0 /proc/27314/statm: 2409 378 297 221 0 118 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 9636 KiB Current children cumulated memory: 1512 KiB [startup+0.209962 s]* /proc/loadavg: 1.46 1.72 1.86 2/201 27364 /proc/meminfo: memFree=29534028/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=13358716 memory=14376 CPUtime=0.08 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 4266 12262 0 0 1 0 5 2 20 0 6 0 112213385 13679325184 3594 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3339679 3594 1904 1 0 3329176 0 [pid=27314/tid=27364] ppid=27311 vsize=13358716 memory=8318255677412212789 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 2108 12262 0 0 0 0 5 2 20 0 6 0 112213405 13679325184 3594 18446744073709551615 4194304 4196468 140720436821760 139837297828432 139837277672798 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=13358716 memory=330 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 6 0 112213406 13679325184 3594 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=13358716 memory=140004998821386 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 6 0 112213406 13679325184 3594 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=13358716 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 2 12262 0 0 0 0 5 2 20 0 6 0 112213406 13679325184 3594 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=13358716 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 2 12262 0 0 0 0 5 2 20 0 6 0 112213406 13679325184 3594 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 13358716 KiB Current children cumulated memory: 14376 KiB [startup+0.320491 s]* /proc/loadavg: 1.46 1.72 1.86 4/214 27377 /proc/meminfo: memFree=29519436/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=13974356 memory=32588 CPUtime=0.21 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 7029 12262 0 0 13 1 5 2 20 0 15 0 112213385 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3493589 8147 2923 1 0 3482965 0 [pid=27314/tid=27364] ppid=27311 vsize=13974356 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 3547 12262 0 0 8 1 5 2 20 0 15 0 112213405 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139837297822888 139837277672798 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=13974356 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 15 0 112213406 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 15 0 112213406 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 2 12262 0 0 0 0 5 2 20 0 15 0 112213406 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 2 12262 0 0 0 0 5 2 20 0 15 0 112213406 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 2 12262 0 0 0 0 5 2 20 0 15 0 112213407 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 33 12262 0 0 0 0 5 2 20 0 15 0 112213408 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836771099424 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) S 27311 27314 8289 0 -1 1077944384 21 12262 0 0 0 0 5 2 20 0 15 0 112213408 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836770047088 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) S 27311 27314 8289 0 -1 1077944384 547 12262 0 0 1 0 5 2 20 0 15 0 112213411 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27374] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27374/stat : 27374 (java) S 27311 27314 8289 0 -1 1077944384 195 12262 0 0 0 0 5 2 20 0 15 0 112213411 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836766890480 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27375] ppid=27311 vsize=13974356 memory=0 CPUtime=0.09 cores=0,2,4,6 /proc/27314/task/27375/stat : 27375 (java) R 27311 27314 8289 0 -1 4202560 515 12262 0 0 2 0 5 2 20 0 15 0 112213411 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836765838192 139837277778725 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27376] ppid=27311 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27376/stat : 27376 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836764785632 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27377] ppid=27311 vsize=13974356 memory=140004997846656 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27377/stat : 27377 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 15 0 112213413 14309740544 8147 18446744073709551615 4194304 4196468 140720436821760 139836763732400 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 13974356 KiB Current children cumulated memory: 32588 KiB [startup+0.701461 s] /proc/loadavg: 1.46 1.72 1.86 3/214 27377 /proc/meminfo: memFree=29494800/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=13974784 memory=59752 CPUtime=0.71 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 14010 12262 0 0 60 4 5 2 20 0 15 0 112213385 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3493696 14938 3126 1 0 3482965 0 [pid=27314/tid=27364] ppid=27311 vsize=13974784 memory=54316 CPUtime=0.52 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 10385 12262 0 0 42 3 5 2 20 0 15 0 112213405 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139837297795688 139837278757966 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=13974784 memory=53072 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 15 0 112213406 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=13974784 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 15 0 112213406 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=13974784 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 2 12262 0 0 0 0 5 2 20 0 15 0 112213406 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 2 12262 0 0 0 0 5 2 20 0 15 0 112213406 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 5 12262 0 0 0 0 5 2 20 0 15 0 112213407 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=13974784 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 33 12262 0 0 0 0 5 2 20 0 15 0 112213408 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836771099424 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) S 27311 27314 8289 0 -1 1077944384 21 12262 0 0 0 0 5 2 20 0 15 0 112213408 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836770047088 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=13974784 memory=0 CPUtime=0.09 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) S 27311 27314 8289 0 -1 1077944384 554 12262 0 0 2 0 5 2 20 0 15 0 112213411 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27374] ppid=27311 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6 /proc/27314/task/27374/stat : 27374 (java) S 27311 27314 8289 0 -1 1077944384 286 12262 0 0 3 0 5 2 20 0 15 0 112213411 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836766890480 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27375] ppid=27311 vsize=13974784 memory=0 CPUtime=0.17 cores=0,2,4,6 /proc/27314/task/27375/stat : 27375 (java) S 27311 27314 8289 0 -1 1077944384 557 12262 0 0 10 0 5 2 20 0 15 0 112213411 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836765838192 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27376] ppid=27311 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27376/stat : 27376 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836764785632 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27377] ppid=27311 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27377/stat : 27377 (java) S 27311 27314 8289 0 -1 1077944384 1 12262 0 0 0 0 5 2 20 0 15 0 112213413 14310178816 14938 18446744073709551615 4194304 4196468 140720436821760 139836763732400 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 0.71 s Current children cumulated vsize: 13974784 KiB Current children cumulated memory: 59752 KiB [startup+1.50236 s] /proc/loadavg: 1.50 1.72 1.86 3/214 27377 /proc/meminfo: memFree=29454604/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=13985408 memory=172224 CPUtime=1.93 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 29498 12262 0 0 176 10 5 2 20 0 15 0 112213385 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3496352 43056 3365 1 0 3485525 0 [pid=27314/tid=27364] ppid=27311 vsize=13985408 memory=0 CPUtime=1.29 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 22376 12262 0 0 116 6 5 2 20 0 15 0 112213405 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139837297814848 139837277672798 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 56 12262 0 0 0 0 5 2 20 0 15 0 112213406 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=13985408 memory=4168 CPUtime=0.08 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 44 12262 0 0 1 0 5 2 20 0 15 0 112213406 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=13985408 memory=54316 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 193 12262 0 0 0 0 5 2 20 0 15 0 112213406 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=13985408 memory=1296 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 65 12262 0 0 0 0 5 2 20 0 15 0 112213406 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=13985408 memory=2440 CPUtime=0.08 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 1511 12262 0 0 1 0 5 2 20 0 15 0 112213407 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=13985408 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 54 12262 0 0 0 0 5 2 20 0 15 0 112213408 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836771099488 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=13985408 memory=7900356879514297662 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) R 27311 27314 8289 0 -1 4202560 45 12262 0 0 0 0 5 2 20 0 15 0 112213408 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836770047088 139836904280017 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=13985408 memory=0 CPUtime=0.22 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) R 27311 27314 8289 0 -1 1077944384 1053 12262 0 0 15 0 5 2 20 0 15 0 112213411 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27374] ppid=27311 vsize=13985408 memory=6545530160350 CPUtime=0.21 cores=0,2,4,6 /proc/27314/task/27374/stat : 27374 (java) S 27311 27314 8289 0 -1 1077944384 585 12262 0 0 14 0 5 2 20 0 15 0 112213411 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836766890480 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27375] ppid=27311 vsize=13985408 memory=288230617509003574 CPUtime=0.3 cores=0,2,4,6 /proc/27314/task/27375/stat : 27375 (java) R 27311 27314 8289 0 -1 4202560 1347 12262 0 0 23 0 5 2 20 0 15 0 112213411 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836765835728 139837286695903 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27376] ppid=27311 vsize=13985408 memory=15825482134324680 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27376/stat : 27376 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836764785632 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27377] ppid=27311 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27377/stat : 27377 (java) S 27311 27314 8289 0 -1 1077944384 10 12262 0 0 0 0 5 2 20 0 15 0 112213413 14321057792 43056 18446744073709551615 4194304 4196468 140720436821760 139836763732400 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 1.93 s Current children cumulated vsize: 13985408 KiB Current children cumulated memory: 172224 KiB [startup+3.11041 s] /proc/loadavg: 1.50 1.72 1.86 3/214 27377 /proc/meminfo: memFree=29312896/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=13997884 memory=238764 CPUtime=5.74 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 49230 12262 0 0 551 16 5 2 20 0 15 0 112213385 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3499471 59691 3444 1 0 3488085 0 [pid=27314/tid=27364] ppid=27311 vsize=13997884 memory=56 CPUtime=2.9 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 35655 12262 0 0 273 10 5 2 20 0 15 0 112213405 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139837297812864 139837275155886 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=13997884 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 56 12262 0 0 0 0 5 2 20 0 15 0 112213406 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=13997884 memory=57 CPUtime=0.08 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 44 12262 0 0 1 0 5 2 20 0 15 0 112213406 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=13997884 memory=79 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 193 12262 0 0 0 0 5 2 20 0 15 0 112213406 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=13997884 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 65 12262 0 0 0 0 5 2 20 0 15 0 112213406 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=13997884 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 1533 12262 0 0 1 0 5 2 20 0 15 0 112213407 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=13997884 memory=280009722291024 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 54 12262 0 0 0 0 5 2 20 0 15 0 112213408 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139836771099488 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=13997884 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) S 27311 27314 8289 0 -1 1077944384 45 12262 0 0 0 0 5 2 20 0 15 0 112213408 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139836770047104 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=13997884 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=13997884 memory=-7751062316387021378 CPUtime=1.01 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) S 27311 27314 8289 0 -1 1077944384 4298 12262 0 0 94 0 5 2 20 0 15 0 112213411 14333833216 59691 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 ################ # More data... # ################ /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 64322 12262 0 0 10003 34 5 2 20 0 15 0 112213405 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139837297821952 139836919907584 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=14071612 memory=33 CPUtime=1.25 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 3739 12262 0 0 97 21 5 2 20 0 15 0 112213406 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=14071612 memory=2103800 CPUtime=1.23 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 1279 12262 0 0 95 21 5 2 20 0 15 0 112213406 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=14071612 memory=280009722485824 CPUtime=1.23 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 1289 12262 0 0 95 21 5 2 20 0 15 0 112213406 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=14071612 memory=2081040 CPUtime=1.23 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 2054 12262 0 0 95 21 5 2 20 0 15 0 112213406 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=14071612 memory=2081040 CPUtime=0.28 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 10809 12262 0 0 20 1 5 2 20 0 15 0 112213407 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=14071612 memory=9092 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 68 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836771099552 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=14071612 memory=113 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) S 27311 27314 8289 0 -1 1077944384 57 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836770047104 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=14071612 memory=2081040 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=14071612 memory=2081040 CPUtime=10.91 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) S 27311 27314 8289 0 -1 1077944384 19408 12262 0 0 1079 5 5 2 20 0 15 0 112213411 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27374] ppid=27311 vsize=14071612 memory=2103976 CPUtime=10.69 cores=0,2,4,6 /proc/27314/task/27374/stat : 27374 (java) S 27311 27314 8289 0 -1 1077944384 18072 12262 0 0 1058 4 5 2 20 0 15 0 112213411 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836766890480 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27375] ppid=27311 vsize=14071612 memory=2103800 CPUtime=3.69 cores=0,2,4,6 /proc/27314/task/27375/stat : 27375 (java) S 27311 27314 8289 0 -1 1077944384 17984 12262 0 0 356 6 5 2 20 0 15 0 112213411 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836765838192 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27376] ppid=27311 vsize=14071612 memory=2868 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27376/stat : 27376 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836764785632 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27377] ppid=27311 vsize=14071612 memory=1717600 CPUtime=0.12 cores=0,2,4,6 /proc/27314/task/27377/stat : 27377 (java) S 27311 27314 8289 0 -1 1077944384 91 12262 0 0 2 3 5 2 20 0 15 0 112213413 14409330688 525994 18446744073709551615 4194304 4196468 140720436821760 139836763732400 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 130.55 s Current children cumulated vsize: 14071612 KiB Current children cumulated memory: 2103976 KiB [startup+162.301 s] /proc/loadavg: 1.99 1.87 1.89 3/215 27511 /proc/meminfo: memFree=26553372/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=14071612 memory=2364568 CPUtime=193.17 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 148756 12262 0 0 19144 166 5 2 20 0 15 0 112213385 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3517903 591142 3496 1 0 3506517 0 [pid=27314/tid=27364] ppid=27311 vsize=14071612 memory=2364568 CPUtime=160.24 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 67074 12262 0 0 15981 36 5 2 20 0 15 0 112213405 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139837297826040 139836926092549 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=14071612 memory=2339336 CPUtime=1.43 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 4699 12262 0 0 110 26 5 2 20 0 15 0 112213406 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=14071612 memory=2339384 CPUtime=1.41 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 1387 12262 0 0 108 26 5 2 20 0 15 0 112213406 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=14071612 memory=2339384 CPUtime=1.41 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 1389 12262 0 0 108 26 5 2 20 0 15 0 112213406 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=14071612 memory=2364568 CPUtime=1.4 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 2151 12262 0 0 107 26 5 2 20 0 15 0 112213406 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=14071612 memory=7740393992430709096 CPUtime=0.29 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 10952 12262 0 0 21 1 5 2 20 0 15 0 112213407 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=14071612 memory=2339068 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 68 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836771099552 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=14071612 memory=4168 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) S 27311 27314 8289 0 -1 1077944384 57 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836770047104 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=14071612 memory=1716 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=14071612 memory=2339000 CPUtime=11.72 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) S 27311 27314 8289 0 -1 1077944384 20294 12262 0 0 1160 5 5 2 20 0 15 0 112213411 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27374] ppid=27311 vsize=14071612 memory=2364568 CPUtime=11.45 cores=0,2,4,6 /proc/27314/task/27374/stat : 27374 (java) S 27311 27314 8289 0 -1 1077944384 19323 12262 0 0 1133 5 5 2 20 0 15 0 112213411 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836766890480 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27375] ppid=27311 vsize=14071612 memory=4612 CPUtime=4.18 cores=0,2,4,6 /proc/27314/task/27375/stat : 27375 (java) S 27311 27314 8289 0 -1 1077944384 19098 12262 0 0 405 6 5 2 20 0 15 0 112213411 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836765838192 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27376] ppid=27311 vsize=14071612 memory=1436 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27376/stat : 27376 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836764785632 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27377] ppid=27311 vsize=14071612 memory=2364568 CPUtime=0.14 cores=0,2,4,6 /proc/27314/task/27377/stat : 27377 (java) S 27311 27314 8289 0 -1 1077944384 102 12262 0 0 3 4 5 2 20 0 15 0 112213413 14409330688 591142 18446744073709551615 4194304 4196468 140720436821760 139836763732400 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 193.17 s Current children cumulated vsize: 14071612 KiB Current children cumulated memory: 2364568 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+220.11 s] /proc/loadavg: 1.99 1.89 1.89 3/214 27514 /proc/meminfo: memFree=26447100/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=14071612 memory=2312948 CPUtime=252.05 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 160936 12262 0 0 25020 178 5 2 20 0 15 0 112213385 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3517903 578237 3496 1 0 3506517 0 [pid=27314/tid=27364] ppid=27311 vsize=14071612 memory=2306804 CPUtime=217.83 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 71915 12262 0 0 21739 37 5 2 20 0 15 0 112213405 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837297823528 139836916370030 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=14071612 memory=2333992 CPUtime=1.64 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 4782 12262 0 0 128 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=14071612 memory=2306804 CPUtime=1.62 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 1497 12262 0 0 126 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=14071612 memory=2306804 CPUtime=1.63 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 1460 12262 0 0 127 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=14071612 memory=4168 CPUtime=1.61 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 2730 12262 0 0 125 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=14071612 memory=54332 CPUtime=0.3 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 11209 12262 0 0 22 1 5 2 20 0 15 0 112213407 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=14071612 memory=2355552 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 71 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836771099552 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=14071612 memory=928 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) S 27311 27314 8289 0 -1 1077944384 57 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836770047104 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=14071612 memory=2306804 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=14071612 memory=4168 CPUtime=11.86 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) S 27311 27314 8289 0 -1 1077944384 20720 12262 0 0 1174 5 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27374] ppid=27311 vsize=14071612 memory=2312948 CPUtime=11.6 cores=0,2,4,6 /proc/27314/task/27374/stat : 27374 (java) S 27311 27314 8289 0 -1 1077944384 19978 12262 0 0 1148 5 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836766890480 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27375] ppid=27311 vsize=14071612 memory=1228 CPUtime=4.31 cores=0,2,4,6 /proc/27314/task/27375/stat : 27375 (java) S 27311 27314 8289 0 -1 1077944384 24233 12262 0 0 418 6 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836765838192 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27376] ppid=27311 vsize=14071612 memory=2306804 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27376/stat : 27376 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836764785632 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27377] ppid=27311 vsize=14071612 memory=2306804 CPUtime=0.17 cores=0,2,4,6 /proc/27314/task/27377/stat : 27377 (java) S 27311 27314 8289 0 -1 1077944384 122 12262 0 0 5 5 5 2 20 0 15 0 112213413 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836763732400 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 252.05 s Current children cumulated vsize: 14071612 KiB Current children cumulated memory: 2312948 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+220.16 s] # the end of solver process 27314 was just reported to runsolver # cumulated CPU time of all completed processes: user=250.305 s, system=1.8362 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+220.11 s] /proc/loadavg: 1.99 1.89 1.89 3/214 27514 /proc/meminfo: memFree=26447100/32770624 swapFree=67108860/67108860 [pid=27314] ppid=27311 vsize=14071612 memory=2312948 CPUtime=252.05 cores=0,2,4,6 /proc/27314/stat : 27314 (java) S 27311 27314 8289 0 -1 1077944320 160936 12262 0 0 25020 178 5 2 20 0 15 0 112213385 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 140720436804304 139837293592311 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 /proc/27314/statm: 3517903 578237 3496 1 0 3506517 0 [pid=27314/tid=27364] ppid=27311 vsize=14071612 memory=2306804 CPUtime=217.83 cores=0,2,4,6 /proc/27314/task/27364/stat : 27364 (java) R 27311 27314 8289 0 -1 4202560 71915 12262 0 0 21739 37 5 2 20 0 15 0 112213405 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837297823528 139836916370030 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27365] ppid=27311 vsize=14071612 memory=2333992 CPUtime=1.64 cores=0,2,4,6 /proc/27314/task/27365/stat : 27365 (java) S 27311 27314 8289 0 -1 1077944384 4782 12262 0 0 128 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837228026768 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27366] ppid=27311 vsize=14071612 memory=2306804 CPUtime=1.62 cores=0,2,4,6 /proc/27314/task/27366/stat : 27366 (java) S 27311 27314 8289 0 -1 1077944384 1497 12262 0 0 126 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837226973968 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27367] ppid=27311 vsize=14071612 memory=2306804 CPUtime=1.63 cores=0,2,4,6 /proc/27314/task/27367/stat : 27367 (java) S 27311 27314 8289 0 -1 1077944384 1460 12262 0 0 127 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837225921680 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27368] ppid=27311 vsize=14071612 memory=4168 CPUtime=1.61 cores=0,2,4,6 /proc/27314/task/27368/stat : 27368 (java) S 27311 27314 8289 0 -1 1077944384 2730 12262 0 0 125 29 5 2 20 0 15 0 112213406 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139837224868880 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27369] ppid=27311 vsize=14071612 memory=54332 CPUtime=0.3 cores=0,2,4,6 /proc/27314/task/27369/stat : 27369 (java) S 27311 27314 8289 0 -1 1077944384 11209 12262 0 0 22 1 5 2 20 0 15 0 112213407 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836772153456 139837293603458 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27370] ppid=27311 vsize=14071612 memory=2355552 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27370/stat : 27370 (java) S 27311 27314 8289 0 -1 1077944384 71 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836771099552 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27371] ppid=27311 vsize=14071612 memory=928 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27371/stat : 27371 (java) S 27311 27314 8289 0 -1 1077944384 57 12262 0 0 0 0 5 2 20 0 15 0 112213408 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836770047104 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27372] ppid=27311 vsize=14071612 memory=2306804 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27372/stat : 27372 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836768995408 139837293610907 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27373] ppid=27311 vsize=14071612 memory=4168 CPUtime=11.86 cores=0,2,4,6 /proc/27314/task/27373/stat : 27373 (java) S 27311 27314 8289 0 -1 1077944384 20720 12262 0 0 1174 5 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836767943280 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27374] ppid=27311 vsize=14071612 memory=2312948 CPUtime=11.6 cores=0,2,4,6 /proc/27314/task/27374/stat : 27374 (java) S 27311 27314 8289 0 -1 1077944384 19978 12262 0 0 1148 5 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836766890480 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27375] ppid=27311 vsize=14071612 memory=1228 CPUtime=4.31 cores=0,2,4,6 /proc/27314/task/27375/stat : 27375 (java) S 27311 27314 8289 0 -1 1077944384 24233 12262 0 0 418 6 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836765838192 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27376] ppid=27311 vsize=14071612 memory=2306804 CPUtime=0.07 cores=0,2,4,6 /proc/27314/task/27376/stat : 27376 (java) S 27311 27314 8289 0 -1 1077944384 3 12262 0 0 0 0 5 2 20 0 15 0 112213411 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836764785632 139837293602517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 [pid=27314/tid=27377] ppid=27311 vsize=14071612 memory=2306804 CPUtime=0.17 cores=0,2,4,6 /proc/27314/task/27377/stat : 27377 (java) S 27311 27314 8289 0 -1 1077944384 122 12262 0 0 5 5 5 2 20 0 15 0 112213413 14409330688 578237 18446744073709551615 4194304 4196468 140720436821760 139836763732400 139837293603458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 9900032 140720436828080 140720436830865 140720436830865 140720436834255 0 Current children cumulated CPU time: 252.05 s Current children cumulated vsize: 14071612 KiB Current children cumulated memory: 2312948 KiB Child status: 143 Real time (s): 220.16 CPU time (s): 252.141 CPU user time (s): 250.305 CPU system time (s): 1.8362 CPU usage (%): 114.526 Max. virtual memory (cumulated for all children) (KiB): 14071612 Max. memory (cumulated for all children) (KiB): 2373552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 250.304 system time used= 1.8362 maximum resident set size= 2389936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 174222 page faults= 0 swaps= 0 block input operations= 0 block output operations= 464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23012 involuntary context switches= 583 # summary of solver processes directly reported to runsolver: # pid: 27314 # total CPU time (s): 252.141 # total CPU user time (s): 250.305 # total CPU system time (s): 1.8362 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.2757 second user time and 2.20878 second system time The end
Begin job on node133 at 2017-08-13 18:52:14 IDJOB=4259817 IDBENCH=115914 IDSOLVER=2646 FILE ID=node133/4259817-1502643982 RUNJOBID= node133-1502641620-25473 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259817-1502643982/watcher-4259817-1502643982 -o /tmp/evaluation-result-4259817-1502643982/solver-4259817-1502643982 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259817-1502643982.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4 RANDOM SEED=53134494 node133.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.17 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.17 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.17 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.17 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: 29537536 kB MemAvailable: 30173472 kB Buffers: 236260 kB Cached: 695284 kB SwapCached: 0 kB Active: 2597468 kB Inactive: 182976 kB Active(anon): 1790224 kB Inactive(anon): 100820 kB Active(file): 807244 kB Inactive(file): 82156 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24780 kB Writeback: 0 kB AnonPages: 1849284 kB Mapped: 69796 kB Shmem: 41660 kB Slab: 151848 kB SReclaimable: 124740 kB SUnreclaim: 27108 kB KernelStack: 3488 kB PageTables: 8692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2690052 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1628160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61984 MiB End job on node133 at 2017-08-13 18:55:54