0.99/0.74 c Concrete v3.8.1528841891564 running
9.70/4.28 c 01:19:15.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4017. 'extension(3, x[1][0]=[0‥3]) :: init: true :: relation: MDD 238308051, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4018. 'extension(3, x[1][0]=[0‥3]) :: init: true :: relation: MDD 123629835, 4 edges, 3 vertices, 3 tuples
10.71/4.57 c 01:19:15.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4038. 'extension(3, x[1][3]=[0‥3]) :: init: true :: relation: MDD 1420599919, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4039. 'extension(3, x[1][3]=[0‥3]) :: init: true :: relation: MDD 910101408, 4 edges, 3 vertices, 3 tuples
10.71/4.57 c 01:19:15.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4059. 'extension(3, x[1][5]=[0‥3]) :: init: true :: relation: MDD 1331946439, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4060. 'extension(3, x[1][5]=[0‥3]) :: init: true :: relation: MDD 899675353, 4 edges, 3 vertices, 3 tuples
10.71/4.57 c 01:19:15.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4080. 'extension(x[0][2]=[0‥3], 3) :: init: true :: relation: MDD 804872134, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4081. 'extension(3, x[2][2]=[0‥3]) :: init: true :: relation: MDD 804872134, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4105. 'extension(x[0][12]=[0‥3], 3) :: init: true :: relation: MDD 794949943, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4106. 'extension(3, x[2][12]=[0‥3]) :: init: true :: relation: MDD 794949943, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4130. 'extension(x[0][17]=[0‥3], 3) :: init: true :: relation: MDD 745571392, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4131. 'extension(3, x[2][17]=[0‥3]) :: init: true :: relation: MDD 745571392, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4154. 'extension(x[1][9]=[0‥3], 3) :: init: true :: relation: MDD 137659163, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4155. 'extension(3, x[3][9]=[0‥3]) :: init: true :: relation: MDD 137659163, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4181. 'extension(x[1][15]=[0‥3], 3) :: init: true :: relation: MDD 1366811528, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4182. 'extension(3, x[3][15]=[0‥3]) :: init: true :: relation: MDD 1366811528, 5 edges, 4 vertices, 3 tuples
10.71/4.57 c 01:19:15.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4207. 'extension(x[2][4]=[0‥3], 3) :: init: true :: relation: MDD 1215023524, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4208. 'extension(3, x[4][4]=[0‥3]) :: init: true :: relation: MDD 1215023524, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4235. 'extension(x[2][14]=[0‥3], 3) :: init: true :: relation: MDD 1118969241, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4236. 'extension(3, x[4][14]=[0‥3]) :: init: true :: relation: MDD 1118969241, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4264. 'extension(x[3][6]=[0‥3], 3) :: init: true :: relation: MDD 1109020385, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4265. 'extension(3, x[5][6]=[0‥3]) :: init: true :: relation: MDD 1109020385, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4293. 'extension(x[3][10]=[0‥3], 3) :: init: true :: relation: MDD 834842620, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4294. 'extension(3, x[5][10]=[0‥3]) :: init: true :: relation: MDD 834842620, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4323. 'extension(x[3][11]=[0‥3], 3) :: init: true :: relation: MDD 1490434838, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4324. 'extension(3, x[5][11]=[0‥3]) :: init: true :: relation: MDD 1490434838, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4353. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1459035867, 4 edges, 3 vertices, 3 tuples
10.71/4.58 c 01:19:15.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4354. 'extension(x[5][1]=[0‥3], 3) :: init: true :: relation: MDD 2075899560, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4355. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 2075899560, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4384. 'extension(3, wk[8][0]=[0‥1]) :: init: true :: relation: MDD 2091586824, 4 edges, 3 vertices, 3 tuples
10.71/4.58 c 01:19:15.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4385. 'extension(x[5][8]=[0‥3], 3) :: init: true :: relation: MDD 496425074, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4386. 'extension(3, x[7][8]=[0‥3]) :: init: true :: relation: MDD 496425074, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4415. 'extension(3, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 30563356, 4 edges, 3 vertices, 3 tuples
10.71/4.58 c 01:19:15.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4416. 'extension(x[5][16]=[0‥3], 3) :: init: true :: relation: MDD 131301148, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4417. 'extension(3, x[7][16]=[0‥3]) :: init: true :: relation: MDD 131301148, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4445. 'extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 593573025, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4446. 'extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 593573025, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4476. 'extension(x[7][18]=[0‥3], 3) :: init: true :: relation: MDD 1318209130, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4477. 'extension(3, x[9][18]=[0‥3]) :: init: true :: relation: MDD 1318209130, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4505. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 455726379, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4506. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 455726379, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4531. 'extension(3, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 161672347, 4 edges, 3 vertices, 3 tuples
10.71/4.58 c 01:19:15.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4532. 'extension(x[11][7]=[0‥3], 3) :: init: true :: relation: MDD 246014273, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4533. 'extension(3, x[13][7]=[0‥3]) :: init: true :: relation: MDD 246014273, 5 edges, 4 vertices, 3 tuples
10.71/4.58 c 01:19:15.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4708. 'extension(x[1][0]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4710. 'extension(x[1][0]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4716. 'extension(x[1][3]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4718. 'extension(x[1][3]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4724. 'extension(x[1][5]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4726. 'extension(x[1][5]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4732. 'extension(x[0][2]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4734. 'extension(x[2][2]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4746. 'extension(x[0][12]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4748. 'extension(x[2][12]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4760. 'extension(x[0][17]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4762. 'extension(x[2][17]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4772. 'extension(x[1][9]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4774. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4788. 'extension(x[1][15]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4790. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4802. 'extension(x[2][4]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4804. 'extension(x[4][4]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4818. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4820. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4836. 'extension(x[3][6]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4838. 'extension(x[5][6]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4852. 'extension(x[3][10]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4854. 'extension(x[5][10]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4870. 'extension(x[3][11]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4872. 'extension(x[5][11]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4888. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4890. 'extension(x[5][1]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4892. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4906. 'extension(wk[8][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4908. 'extension(x[5][8]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4910. 'extension(x[7][8]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4924. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4926. 'extension(x[5][16]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4928. 'extension(x[7][16]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4940. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4942. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4958. 'extension(x[7][18]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4960. 'extension(x[9][18]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4972. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4974. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4986. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4988. 'extension(x[11][7]=[0‥3]) :: init: true :: relation: Empty MDD
10.71/4.58 c 01:19:15.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4990. 'extension(x[13][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.23/6.31 o 3134
16.55/6.40 o 3034
19.03/7.22 o 2939
19.03/7.25 o 2938
20.56/7.71 o 2828
20.56/7.76 o 2728
20.56/7.78 o 2727
20.56/7.79 o 2627
20.89/7.81 o 2626
20.89/7.83 o 2526
20.89/7.87 o 2525
20.89/7.89 o 2425
21.59/8.18 o 2423
23.18/8.92 o 2332
23.18/8.93 o 2331
23.18/8.94 o 2330
27.05/11.64 o 2329
28.69/12.96 o 2327
28.83/13.08 o 2326
30.77/14.76 o 2325
30.77/14.77 o 2324
31.57/15.45 o 2225
38.45/21.87 o 2131
38.45/21.88 o 2130
38.55/21.94 o 2030
39.68/23.05 o 2026
39.68/23.06 o 1926
167.04/147.22 o 1832
172.79/152.91 o 1831
241.22/220.49 o 1830
241.32/220.54 o 1730
2520.02/2455.40 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.02/2455.40 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.02/2455.40 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.02/2455.40 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.02/2455.40 at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254)
2520.02/2455.40 at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.02/2455.40 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.02/2455.40 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.02/2455.40 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.02/2455.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2455.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2455.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2455.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2455.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2455.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2455.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2455.40 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.02/2455.41 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.02/2455.41 at scala.Option.map(Option.scala:146)
2520.02/2455.41 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.02/2455.41 at concrete.MAC.mac(MAC.scala:203)
2520.02/2455.41 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2455.41 at scala.util.Try$.apply(Try.scala:209)
2520.02/2455.41 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2455.41 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2455.41 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2455.41 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2455.41 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2455.41 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2455.41 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2455.41 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2455.41 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2455.41 at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2455.41 at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2455.41 at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2455.41 at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2455.41 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2455.41 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2455.41 at concrete.Solver.foreach(Solver.scala:68)
2520.02/2455.41 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2455.41 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2455.41 at scala.util.Success.map(Try.scala:209)
2520.02/2455.41 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2455.41 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2455.41 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2455.41 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2455.41 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2455.41 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2455.41 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2455.41 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2455.41 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2455.41 at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2455.41 at scala.App.main(App.scala:76)
2520.02/2455.41 at scala.App.main$(App.scala:74)
2520.02/2455.41 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2455.41 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2455.42 v <instantiation cost="1730">
2520.02/2455.42 v <list>
2520.02/2455.42 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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] wk[14][0] wk[14][1] wk[15][0] wk[15][1] wk[16][0] wk[16][1] wk[17][0] wk[17][1] wk[18][0] wk[18][1] wk[19][0] wk[19][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3]
2520.02/2455.42 v </list>
2520.02/2455.42 v <values>
2520.02/2455.42 v 3 1 3 3 0 3 2 0 3 3 1 1 3 3 2 3 2 3 3 3 3 1 3 3 0 3 2 2 0 3 1 1 3 1 2 3 3 3 0 3 1 2 3 0 0 1 2 2 1 3 1 3 0 1 3 3 3 3 3 3 1 2 2 0 3 1 3 3 1 1 3 3 0 1 3 3 3 0 3 0 1 3 2 2 3 1 3 3 2 1 3 3 0 2 3 3 1 1 3 0 3 3 3 3 0 3 1 1 3 3 3 1 0 2 1 3 2 3 0 3 3 3 3 3 0 3 1 1 3 3 1 1 2 2 1 3 3 3 0 3 3 3 2 0 0 0 1 1 2 3 1 1 3 3 1 0 3 3 2 3 0 3 2 0 3 0 3 3 2 1 1 2 3 3 1 3 3 3 3 1 0 1 2 0 3 0 3 3 2 1 1 2 3 3 1 3 1 0 3 3 3 1 3 3 0 3 2 1 3 1 1 2 0 1 3 3 3 3 3 3 3 1 3 3 0 3 2 2 3 1 1 3 2 2 3 0 3 3 3 3 0 1 0 2 3 1 3 3 1 1 3 3 3 3 3 2 3 3 3 3 1 1 1 2 3 1 3 3 1 3 3 3 3 3 3 2 3 0 3 0 3 4 0 7 0 7 2 5 1 1 5 7 5 0 3 6 8 0 0 6 3 5 0 6 0 3 5 6 1 4 3 6 1 4 4 5 0 7 0 7 0 9 0 5 0 5 3 6 5 0 2 7 0 4 4 6 0 5 2 7 2 0 2 10 0 2 2 10 3 1 0 10 3 0 1 10 3 1 0 10 2 3 3 12 3 4 3 10 3 5 3 9 4 5 2 9 2 5 4 9 3 4 2 11 2 5 2 11 4 5 3 8 3 4 3 10 4 5 3 8 2 5 2 11 2 3 4 11 2 4 2 12 2 5 2 11 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 2 2 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 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 200 0 0 400 0 100 0 0 100 0 0 0 0 1 0 0 0 100 0 0 0 0 0 0 0 0 0 0 200 300 0 100 0 100 0
2520.02/2455.42 v </values>
2520.02/2455.42 v </instantiation>
2520.02/2455.42 s SATISFIABLE
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 (7026 MiB free)
memory of node 1: 16384 MiB (12286 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292974-1532301551/watcher-4292974-1532301551 -o /tmp/evaluation-result-4292974-1532301551/solver-4292974-1532301551 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2117094804 -superng HOME/instance-4292974-1532301551.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7774, runsolver pid=7771
[startup+0.100141 s]*
/proc/loadavg: 1.49 1.38 1.43 3/206 7831
/proc/meminfo: memFree=19770692/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=9972712 memory=17076 CPUtime=0.1 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 4387 13237 0 0 1 1 5 3 20 0 6 0 47718267 10212057088 4269 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2493178 4269 1934 1 0 2481616 0
[pid=7774/tid=7827] ppid=7771 vsize=9972712 memory=-8530506832973971393 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 2202 13237 0 0 0 0 5 3 20 0 6 0 47718276 10212057088 4781 33554432000 4194304 4196468 140728092859184 140704902906448 140704923306814 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 47718276 10212057088 4781 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=9972712 memory=140035954177664 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 47718276 10212057088 4781 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 47718276 10212057088 4781 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 6 0 47718276 10212057088 4781 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210597 s]*
/proc/loadavg: 1.49 1.38 1.43 3/215 7840
/proc/meminfo: memFree=19748680/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=10818904 memory=42840 CPUtime=0.26 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 7949 13237 0 0 16 2 5 3 20 0 15 0 47718267 11078557696 10710 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2704726 10710 2970 1 0 2667149 0
[pid=7774/tid=7827] ppid=7771 vsize=10819896 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 4821 13237 0 0 11 0 5 3 20 0 15 0 47718276 11079573504 10974 33554432000 4194304 4196468 140728092859184 140704902894496 140704923380619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10821524 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11081240576 10974 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10821524 memory=140035954177664 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11081240576 10974 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11081240576 11040 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 47718276 11081240576 11040 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10821524 memory=140035954177664 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 47718278 11081240576 11040 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 33 13237 0 0 0 0 5 3 20 0 15 0 47718278 11081240576 11040 33554432000 4194304 4196468 140728092859184 140703931811104 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11081240576 11106 33554432000 4194304 4196468 140728092859184 140703799699056 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11081240576 11106 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10821524 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) S 7771 7774 6708 0 -1 1077944384 554 13237 0 0 1 0 5 3 20 0 15 0 47718281 11081240576 11106 33554432000 4194304 4196468 140728092859184 140703898253424 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) S 7771 7774 6708 0 -1 1077944384 54 13237 0 0 0 0 5 3 20 0 15 0 47718281 11081240576 11106 33554432000 4194304 4196468 140728092859184 140703897200624 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10821524 memory=140035954177664 CPUtime=0.11 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) S 7771 7774 6708 0 -1 1077944384 532 13237 0 0 3 0 5 3 20 0 15 0 47718281 11081240576 11172 33554432000 4194304 4196468 140728092859184 140703896148336 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11081240576 11172 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10821524 memory=140035954177664 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718282 11081240576 11172 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42840 KiB
[startup+0.310254 s]*
/proc/loadavg: 1.49 1.38 1.43 3/215 7840
/proc/meminfo: memFree=19737188/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=10819352 memory=53504 CPUtime=0.38 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 10444 13237 0 0 28 2 5 3 20 0 15 0 47718267 11079016448 13376 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2704838 13376 3089 1 0 2667149 0
[pid=7774/tid=7827] ppid=7771 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 7069 13237 0 0 20 1 5 3 20 0 15 0 47718276 11079016448 13376 33554432000 4194304 4196468 140728092859184 140704902881696 140704915150174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10819352 memory=7588960472138928208 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 13376 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10819352 memory=2072 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 13376 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 13376 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 13376 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 47718278 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 33 13237 0 0 0 0 5 3 20 0 15 0 47718278 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703931811104 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703799699056 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) S 7771 7774 6708 0 -1 1077944384 555 13237 0 0 2 0 5 3 20 0 15 0 47718281 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703898253424 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) R 7771 7774 6708 0 -1 4202560 54 13237 0 0 1 0 5 3 20 0 15 0 47718281 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703897200624 140704914539503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) R 7771 7774 6708 0 -1 4202560 537 13237 0 0 4 0 5 3 20 0 15 0 47718281 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703896148336 140704931091034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718282 11079016448 13376 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53504 KiB
[startup+0.700802 s]
/proc/loadavg: 1.49 1.38 1.43 3/215 7840
/proc/meminfo: memFree=19725900/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=10819352 memory=86372 CPUtime=0.99 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 16764 13237 0 0 87 4 5 3 20 0 15 0 47718267 11079016448 21593 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2704838 21593 3237 1 0 2667149 0
[pid=7774/tid=7827] ppid=7771 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 12265 13237 0 0 56 2 5 3 20 0 15 0 47718276 11079016448 21593 33554432000 4194304 4196468 140728092859184 140704902890512 140704912633243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 21593 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 21593 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 21593 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 47718276 11079016448 21593 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10819352 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 5 13237 0 0 0 0 5 3 20 0 15 0 47718278 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10819352 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 33 13237 0 0 0 0 5 3 20 0 15 0 47718278 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703931811104 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10819352 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703799699056 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10819352 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10819352 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) S 7771 7774 6708 0 -1 1077944384 921 13237 0 0 7 0 5 3 20 0 15 0 47718281 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703898253424 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10819352 memory=15460 CPUtime=0.18 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) S 7771 7774 6708 0 -1 1077944384 720 13237 0 0 10 0 5 3 20 0 15 0 47718281 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703897200624 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10819352 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) S 7771 7774 6708 0 -1 1077944384 619 13237 0 0 13 0 5 3 20 0 15 0 47718281 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703896148336 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10819352 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10819352 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718282 11079016448 21593 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86372 KiB
[startup+1.50076 s]
/proc/loadavg: 1.49 1.38 1.43 4/215 7840
/proc/meminfo: memFree=19679568/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=10834252 memory=192052 CPUtime=2.7 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 24206 13237 0 0 253 9 5 3 20 0 15 0 47718267 11094274048 48013 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2708563 48013 3472 1 0 2670221 0
[pid=7774/tid=7827] ppid=7771 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 17091 13237 0 0 130 4 5 3 20 0 15 0 47718276 11094274048 48013 33554432000 4194304 4196468 140728092859184 140704902875696 140704931091613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 17 13237 0 0 1 0 5 3 20 0 15 0 47718276 11094274048 48013 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 56 13237 0 0 1 0 5 3 20 0 15 0 47718276 11094274048 48013 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10834252 memory=3611949788955226161 CPUtime=0.09 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 19 13237 0 0 1 0 5 3 20 0 15 0 47718276 11094274048 48013 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 176 13237 0 0 1 0 5 3 20 0 15 0 47718276 11094274048 48013 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10834252 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 53 13237 0 0 1 0 5 3 20 0 15 0 47718278 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10834252 memory=280071596222720 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 34 13237 0 0 0 0 5 3 20 0 15 0 47718278 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703931811168 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703799699072 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10834252 memory=5380 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10834252 memory=4616 CPUtime=0.41 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) R 7771 7774 6708 0 -1 4202560 1528 13237 0 0 33 0 5 3 20 0 15 0 47718281 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703898253424 140704914355130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10834252 memory=1232 CPUtime=0.44 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) S 7771 7774 6708 0 -1 1077944384 1506 13237 0 0 36 0 5 3 20 0 15 0 47718281 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703897200624 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10834252 memory=11964 CPUtime=0.53 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) S 7771 7774 6708 0 -1 1077944384 1531 13237 0 0 45 0 5 3 20 0 15 0 47718281 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703896148336 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10834252 memory=1708 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10834252 memory=8384 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718282 11094274048 48013 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 111365 13237 0 0 229969 55 5 3 20 0 15 0 47718276 11180277760 356733 33554432000 4194304 4196468 140728092859184 140704902904352 140704500914964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10918240 memory=1426932 CPUtime=13.27 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 17542 13237 0 0 1263 56 5 3 20 0 15 0 47718276 11180277760 356733 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10918240 memory=1426932 CPUtime=13.29 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 15831 13237 0 0 1265 56 5 3 20 0 15 0 47718276 11180277760 356733 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10918240 memory=1426932 CPUtime=13.28 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 16778 13237 0 0 1267 53 5 3 20 0 15 0 47718276 11180277760 356733 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10918240 memory=2620 CPUtime=13.29 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 18379 13237 0 0 1266 55 5 3 20 0 15 0 47718276 11180277760 356733 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10918240 memory=33 CPUtime=6.37 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 19811 13237 0 0 589 40 5 3 20 0 15 0 47718278 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10918240 memory=1444 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 37 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703931811168 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10918240 memory=16436 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703799699072 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10918240 memory=4048 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10918240 memory=1426932 CPUtime=9.67 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) S 7771 7774 6708 0 -1 1077944384 81990 13237 0 0 950 9 5 3 20 0 15 0 47718281 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703898253424 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10918240 memory=1426932 CPUtime=9.57 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) S 7771 7774 6708 0 -1 1077944384 75609 13237 0 0 941 8 5 3 20 0 15 0 47718281 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703897200624 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10918240 memory=1426932 CPUtime=4.72 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) S 7771 7774 6708 0 -1 1077944384 91378 13237 0 0 453 11 5 3 20 0 15 0 47718281 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703896148336 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10918240 memory=15924 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10918240 memory=1426932 CPUtime=1.42 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 2900 13237 0 0 59 75 5 3 20 0 15 0 47718282 11180277760 356733 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 2384.58 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1426932 KiB
[startup+2382.3 s]
/proc/loadavg: 1.28 1.28 1.39 3/215 8040
/proc/meminfo: memFree=18752756/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=10918240 memory=1428992 CPUtime=2445.68 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 455493 13237 0 0 244175 385 5 3 20 0 15 0 47718267 11180277760 357248 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2729560 357248 3535 1 0 2691213 0
[pid=7774/tid=7827] ppid=7771 vsize=10918240 memory=1428992 CPUtime=2359.66 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 112199 13237 0 0 235903 55 5 3 20 0 15 0 47718276 11180277760 357248 33554432000 4194304 4196468 140728092859184 140704902904976 140704512753043 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10918240 memory=4140 CPUtime=13.64 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 17715 13237 0 0 1300 56 5 3 20 0 15 0 47718276 11180277760 357248 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10918240 memory=1428984 CPUtime=13.67 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 15864 13237 0 0 1302 57 5 3 20 0 15 0 47718276 11180277760 357248 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10918240 memory=1428984 CPUtime=13.66 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 16964 13237 0 0 1304 54 5 3 20 0 15 0 47718276 11180277760 357248 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10918240 memory=1428984 CPUtime=13.68 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 18568 13237 0 0 1304 56 5 3 20 0 15 0 47718276 11180277760 357248 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10918240 memory=1428992 CPUtime=6.55 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 20049 13237 0 0 606 41 5 3 20 0 15 0 47718278 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 37 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703931811168 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10918240 memory=1428984 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703799699072 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10918240 memory=1428984 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10918240 memory=1428992 CPUtime=9.67 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) S 7771 7774 6708 0 -1 1077944384 81992 13237 0 0 950 9 5 3 20 0 15 0 47718281 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703898253424 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10918240 memory=1428992 CPUtime=9.57 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) S 7771 7774 6708 0 -1 1077944384 75611 13237 0 0 941 8 5 3 20 0 15 0 47718281 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703897200624 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10918240 memory=1428984 CPUtime=4.72 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) S 7771 7774 6708 0 -1 1077944384 91380 13237 0 0 453 11 5 3 20 0 15 0 47718281 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703896148336 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10918240 memory=1708 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10918240 memory=33 CPUtime=1.45 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 2919 13237 0 0 60 77 5 3 20 0 15 0 47718282 11180277760 357248 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 2445.68 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1428992 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.29 1.39 3/215 8041
/proc/meminfo: memFree=18593232/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=10918240 memory=1429000 CPUtime=2506.68 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 457731 13237 0 0 250270 390 5 3 20 0 15 0 47718267 11180277760 357250 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2729560 357250 3535 1 0 2691213 0
[pid=7774/tid=7827] ppid=7771 vsize=10918240 memory=1429000 CPUtime=2419.07 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 113188 13237 0 0 241843 56 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704902904960 140704513030330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10918240 memory=303430240464797990 CPUtime=14 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 17878 13237 0 0 1335 57 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10918240 memory=1428992 CPUtime=14.02 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 16109 13237 0 0 1336 58 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10918240 memory=1429000 CPUtime=14.02 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 17133 13237 0 0 1339 55 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10918240 memory=1428992 CPUtime=14.03 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 18790 13237 0 0 1338 57 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10918240 memory=1429000 CPUtime=6.72 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 20458 13237 0 0 622 42 5 3 20 0 15 0 47718278 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10918240 memory=1429000 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 37 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703931811168 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10918240 memory=1429000 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703799699072 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10918240 memory=1429000 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10918240 memory=1429000 CPUtime=9.67 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) S 7771 7774 6708 0 -1 1077944384 81996 13237 0 0 950 9 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703898253424 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10918240 memory=1429000 CPUtime=9.57 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) S 7771 7774 6708 0 -1 1077944384 75615 13237 0 0 941 8 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703897200624 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10918240 memory=2412 CPUtime=4.72 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) S 7771 7774 6708 0 -1 1077944384 91384 13237 0 0 453 11 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703896148336 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10918240 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10918240 memory=15924 CPUtime=1.48 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 2948 13237 0 0 61 79 5 3 20 0 15 0 47718282 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 2506.68 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1429000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.4 s]
/proc/loadavg: 1.40 1.31 1.39 3/215 8049
/proc/meminfo: memFree=18634648/32770624 swapFree=67108860/67108860
[pid=7774] ppid=7771 vsize=10918240 memory=1429000 CPUtime=2520.02 cores=1,3,5,7
/proc/7774/stat : 7774 (java) S 7771 7774 6708 0 -1 1077944320 457834 13237 0 0 251603 391 5 3 20 0 15 0 47718267 11180277760 357250 33554432000 4194304 4196468 140728092859184 140728092841728 140704931069687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
/proc/7774/statm: 2729560 357250 3535 1 0 2691213 0
[pid=7774/tid=7827] ppid=7771 vsize=10918240 memory=1960 CPUtime=2432.03 cores=1,3,5,7
/proc/7774/task/7827/stat : 7827 (java) R 7771 7774 6708 0 -1 4202560 113271 13237 0 0 243139 56 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704902904864 140704510199385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7828] ppid=7771 vsize=10918240 memory=5380 CPUtime=14.08 cores=1,3,5,7
/proc/7774/task/7828/stat : 7828 (java) S 7771 7774 6708 0 -1 1077944384 17880 13237 0 0 1343 57 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704935311760 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7829] ppid=7771 vsize=10918240 memory=4616 CPUtime=14.1 cores=1,3,5,7
/proc/7774/task/7829/stat : 7829 (java) S 7771 7774 6708 0 -1 1077944384 16116 13237 0 0 1344 58 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704823585040 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7830] ppid=7771 vsize=10918240 memory=1232 CPUtime=14.1 cores=1,3,5,7
/proc/7774/task/7830/stat : 7830 (java) S 7771 7774 6708 0 -1 1077944384 17133 13237 0 0 1347 55 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704822532752 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7831] ppid=7771 vsize=10918240 memory=11964 CPUtime=14.12 cores=1,3,5,7
/proc/7774/task/7831/stat : 7831 (java) S 7771 7774 6708 0 -1 1077944384 18793 13237 0 0 1347 57 5 3 20 0 15 0 47718276 11180277760 357250 33554432000 4194304 4196468 140728092859184 140704821479952 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7832] ppid=7771 vsize=10918240 memory=1708 CPUtime=6.76 cores=1,3,5,7
/proc/7774/task/7832/stat : 7832 (java) S 7771 7774 6708 0 -1 1077944384 20465 13237 0 0 626 42 5 3 20 0 15 0 47718278 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703932865136 140704931080834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7833] ppid=7771 vsize=10918240 memory=8384 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7833/stat : 7833 (java) S 7771 7774 6708 0 -1 1077944384 37 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703931811168 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7834] ppid=7771 vsize=10918240 memory=1012 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7834/stat : 7834 (java) S 7771 7774 6708 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 47718278 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703799699072 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7835] ppid=7771 vsize=10918240 memory=1444 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7835/stat : 7835 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703492299344 140704931088283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7836] ppid=7771 vsize=10918240 memory=1403 CPUtime=9.67 cores=1,3,5,7
/proc/7774/task/7836/stat : 7836 (java) S 7771 7774 6708 0 -1 1077944384 81996 13237 0 0 950 9 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703898253424 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7837] ppid=7771 vsize=10918240 memory=668 CPUtime=9.57 cores=1,3,5,7
/proc/7774/task/7837/stat : 7837 (java) S 7771 7774 6708 0 -1 1077944384 75615 13237 0 0 941 8 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703897200624 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7838] ppid=7771 vsize=10918240 memory=0 CPUtime=4.72 cores=1,3,5,7
/proc/7774/task/7838/stat : 7838 (java) S 7771 7774 6708 0 -1 1077944384 91384 13237 0 0 453 11 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703896148336 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7839] ppid=7771 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7774/task/7839/stat : 7839 (java) S 7771 7774 6708 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 47718281 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703458740704 140704931079893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
[pid=7774/tid=7840] ppid=7771 vsize=10918240 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/7774/task/7840/stat : 7840 (java) S 7771 7774 6708 0 -1 1077944384 2949 13237 0 0 62 80 5 3 20 0 15 0 47718282 11180277760 357250 33554432000 4194304 4196468 140728092859184 140703895096240 140704931080834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140728092862635 140728092865884 140728092865884 140728092868559 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1429000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.43 s]
# the end of solver process 7774 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.11 s, system=3.9586 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2455.43
CPU time (s): 2520.07
CPU user time (s): 2516.11
CPU system time (s): 3.9586
CPU usage (%): 102.633
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2506888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.11
system time used= 3.9586
maximum resident set size= 2513032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187246
involuntary context switches= 6431
# summary of solver processes directly reported to runsolver:
# pid: 7774
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.11
# total CPU system time (s): 3.9586
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0256 second user time and 23.6014 second system time
The end