1.00/0.74 c Concrete v3.9.2.1532736233296 running
9.46/4.29 c 21:55:50.030 [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.79/4.68 c 21:55:50.035 [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.79/4.68 c 21:55:50.040 [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.79/4.68 c 21:55:50.041 [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.79/4.68 c 21:55:50.043 [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.79/4.68 c 21:55:50.043 [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.79/4.68 c 21:55:50.046 [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.79/4.68 c 21:55:50.047 [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.79/4.68 c 21:55:50.049 [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.79/4.68 c 21:55:50.050 [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.79/4.68 c 21:55:50.052 [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.79/4.68 c 21:55:50.053 [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.79/4.68 c 21:55:50.056 [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.79/4.68 c 21:55:50.056 [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.79/4.68 c 21:55:50.059 [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.79/4.68 c 21:55:50.060 [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.79/4.68 c 21:55:50.063 [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.79/4.68 c 21:55:50.063 [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.79/4.68 c 21:55:50.066 [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.79/4.68 c 21:55:50.067 [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.79/4.68 c 21:55:50.070 [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.79/4.68 c 21:55:50.071 [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.79/4.68 c 21:55:50.074 [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.79/4.68 c 21:55:50.075 [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.79/4.68 c 21:55:50.078 [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.79/4.68 c 21:55:50.078 [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.79/4.68 c 21:55:50.082 [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.79/4.68 c 21:55:50.083 [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.79/4.68 c 21:55:50.083 [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.79/4.68 c 21:55:50.087 [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.79/4.68 c 21:55:50.087 [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.79/4.68 c 21:55:50.088 [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.79/4.68 c 21:55:50.091 [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.79/4.68 c 21:55:50.091 [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.79/4.68 c 21:55:50.092 [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.79/4.68 c 21:55:50.095 [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.79/4.68 c 21:55:50.095 [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.79/4.68 c 21:55:50.098 [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.79/4.68 c 21:55:50.099 [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.79/4.68 c 21:55:50.102 [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.79/4.68 c 21:55:50.102 [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.79/4.68 c 21:55:50.105 [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.79/4.68 c 21:55:50.105 [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.79/4.68 c 21:55:50.106 [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.79/4.68 c 21:55:50.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4708. 'extension(x[1][0]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4710. 'extension(x[1][0]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4716. 'extension(x[1][3]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4718. 'extension(x[1][3]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4724. 'extension(x[1][5]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4726. 'extension(x[1][5]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4732. 'extension(x[0][2]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4734. 'extension(x[2][2]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4746. 'extension(x[0][12]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4748. 'extension(x[2][12]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4760. 'extension(x[0][17]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4762. 'extension(x[2][17]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4772. 'extension(x[1][9]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4774. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4788. 'extension(x[1][15]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4790. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4802. 'extension(x[2][4]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4804. 'extension(x[4][4]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4818. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4820. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4836. 'extension(x[3][6]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4838. 'extension(x[5][6]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4852. 'extension(x[3][10]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4854. 'extension(x[5][10]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4870. 'extension(x[3][11]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4872. 'extension(x[5][11]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4888. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4890. 'extension(x[5][1]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4892. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4906. 'extension(wk[8][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4908. 'extension(x[5][8]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4910. 'extension(x[7][8]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4924. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4926. 'extension(x[5][16]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4928. 'extension(x[7][16]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4940. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4942. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4958. 'extension(x[7][18]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4960. 'extension(x[9][18]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4972. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4974. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4986. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4988. 'extension(x[11][7]=[0‥3]) :: init: true :: relation: Empty MDD
10.79/4.68 c 21:55:50.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4990. 'extension(x[13][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.42/7.34 o 3734
22.22/8.71 o 3648
22.22/8.73 o 3647
22.22/8.74 o 3646
22.22/8.76 o 3645
22.22/8.77 o 3545
22.22/8.78 o 3445
22.22/8.80 o 3345
22.51/8.81 o 3344
22.71/8.93 o 3244
24.25/9.83 o 3153
24.25/9.84 o 3152
24.25/9.84 o 3151
25.20/10.58 o 3066
27.26/12.45 o 2972
27.26/12.46 o 2971
27.26/12.47 o 2970
27.45/12.55 o 2969
29.57/14.49 o 2875
29.57/14.49 o 2874
29.70/14.50 o 2873
29.70/14.50 o 2872
29.70/14.51 o 2871
31.19/15.96 o 2773
31.50/16.24 o 2772
35.33/19.92 o 2771
35.94/20.53 o 2770
37.06/21.63 o 2769
50.28/34.06 o 2675
50.28/34.06 o 2674
50.38/34.11 o 2673
50.38/34.13 o 2672
50.38/34.17 o 2671
50.57/34.31 o 2573
50.57/34.33 o 2572
50.68/34.48 o 2571
52.61/36.35 o 2473
52.61/36.35 o 2472
52.61/36.36 o 2471
95.65/78.60 o 2371
95.65/78.67 o 2370
100.92/83.86 o 2270
100.92/83.88 o 2170
252.04/231.20 Exception in thread "main" java.util.concurrent.TimeoutException
252.04/231.20 at concrete.MAC.mac(MAC.scala:188)
252.04/231.20 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.04/231.20 at scala.util.Try$.apply(Try.scala:209)
252.04/231.20 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.04/231.20 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.04/231.20 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.04/231.20 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.04/231.20 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.04/231.20 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.04/231.20 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.04/231.20 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.04/231.20 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.04/231.20 at concrete.MAC.oneRun(MAC.scala:253)
252.04/231.20 at concrete.MAC.nextSolution(MAC.scala:272)
252.04/231.20 at concrete.MAC.nextSolution(MAC.scala:355)
252.04/231.20 at concrete.Solver.hasNext(Solver.scala:166)
252.04/231.20 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.04/231.20 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.04/231.20 at concrete.Solver.foreach(Solver.scala:68)
252.04/231.20 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.04/231.20 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.04/231.20 at scala.util.Success.map(Try.scala:209)
252.04/231.20 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.04/231.20 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.04/231.20 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.04/231.20 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.04/231.20 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.04/231.20 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.04/231.20 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.04/231.20 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.04/231.21 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.04/231.21 at scala.collection.immutable.List.foreach(List.scala:389)
252.04/231.21 at scala.App.main(App.scala:76)
252.04/231.21 at scala.App.main$(App.scala:74)
252.04/231.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.04/231.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.04/231.21 v <instantiation cost="2170">
252.04/231.21 v <list>
252.04/231.21 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]
252.04/231.21 v </list>
252.04/231.21 v <values>
252.04/231.21 v 3 0 3 3 0 3 2 2 3 1 1 1 3 3 2 3 3 3 3 3 3 0 3 3 0 3 2 2 1 1 1 1 3 3 2 3 3 3 0 3 3 0 2 3 3 0 2 3 1 3 1 1 0 1 2 3 1 3 3 3 0 0 2 2 3 0 3 3 1 3 1 1 0 1 3 3 3 3 3 1 1 1 2 2 0 1 3 1 2 0 3 3 3 2 3 1 3 3 3 3 3 3 3 3 0 3 1 1 3 1 3 3 3 2 3 2 1 0 0 3 3 3 3 3 3 3 1 2 3 3 3 3 3 2 3 2 3 0 0 3 0 1 1 0 3 0 1 3 2 3 3 3 0 3 1 3 3 3 3 3 0 1 1 0 3 0 3 3 2 3 3 2 1 3 1 3 3 3 3 3 0 3 3 2 0 3 3 1 2 1 3 2 1 3 3 0 2 1 0 1 3 3 3 3 0 3 2 1 3 1 0 2 1 1 3 3 3 1 3 3 3 3 3 3 0 1 2 1 3 1 0 2 2 2 3 3 3 3 3 3 0 1 1 0 3 1 3 3 1 3 1 2 2 3 1 3 3 3 3 0 0 1 2 2 3 3 3 3 2 3 1 3 3 3 1 3 3 3 3 0 6 1 0 7 4 5 0 5 0 3 4 7 3 0 4 7 7 0 0 7 4 3 0 7 0 3 5 6 0 5 3 6 0 4 5 5 1 6 0 7 2 6 0 6 0 4 5 5 3 3 2 6 0 3 4 7 0 4 3 7 1 1 2 10 0 2 1 11 2 2 0 10 4 0 0 10 2 2 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 1 3 14 4 4 1 11 3 4 2 11 4 5 4 7 2 5 2 11 2 3 4 11 3 6 2 9 2 3 3 12 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 2 0 0 3 0 0 1 1 2 0 0 2 0 3 3 3 3 3 0 1 0 0 0 1 1 0 0 0 2 3 3 2 0 0 2 2 3 0 0 0 0 2 0 0 0 2 3 3 3 0 0 0 3 0 0 3 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 400 0 0 0 200 200 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 300 0 100 200 0 0
252.04/231.21 v </values>
252.04/231.21 v </instantiation>
252.04/231.22 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 (13418 MiB free)
memory of node 1: 16384 MiB (12719 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302422-1532894145/watcher-4302422-1532894145 -o /tmp/evaluation-result-4302422-1532894145/solver-4302422-1532894145 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=343685689 HOME/instance-4302422-1532894145.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=15578, runsolver pid=15575
[startup+0.100177 s]*
/proc/loadavg: 1.51 1.78 1.48 3/206 15635
/proc/meminfo: memFree=26759656/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=10005480 memory=18956 CPUtime=0.1 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 4370 13098 0 0 1 1 5 3 20 0 6 0 106977688 10245611520 4739 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2501370 4739 1935 1 0 2489808 0
[pid=15578/tid=15631] ppid=15575 vsize=10005480 memory=4279135704013833871 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 2179 13098 0 0 0 0 5 3 20 0 6 0 106977697 10245611520 4739 33554432000 4194304 4196468 140732739164960 140059434738256 140059462923421 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 6 0 106977698 10245611520 4739 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=10005480 memory=140685297575552 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 6 0 106977698 10245611520 4739 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 6 0 106977698 10245611520 4739 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 2 13098 0 0 0 0 5 3 20 0 6 0 106977698 10245611520 4739 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18956 KiB
[startup+0.210009 s]*
/proc/loadavg: 1.51 1.78 1.48 3/215 15644
/proc/meminfo: memFree=26736120/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=10982696 memory=43820 CPUtime=0.27 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 8372 13098 0 0 16 3 5 3 20 0 15 0 106977688 11246280704 10955 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2745674 10955 2934 1 0 2708109 0
[pid=15578/tid=15631] ppid=15575 vsize=10982696 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 4883 13098 0 0 10 2 5 3 20 0 15 0 106977697 11246280704 10955 33554432000 4194304 4196468 140732739164960 140059434699152 140059444465033 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=10982696 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246280704 10955 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=10982696 memory=140685297591252 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246280704 10955 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246280704 10955 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 2 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246280704 10955 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=10982696 memory=140685297575552 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 2 13098 0 0 0 0 5 3 20 0 15 0 106977699 11246280704 10955 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11246280704 10955 33554432000 4194304 4196468 140732739164960 140058346644256 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11246280704 10955 33554432000 4194304 4196468 140732739164960 140058145318000 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246280704 10955 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 9814 0 -1 1077944384 353 13098 0 0 1 0 5 3 20 0 15 0 106977703 11246280704 10955 33554432000 4194304 4196468 140732739164960 140058954906224 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 9814 0 -1 1077944384 261 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246280704 10955 33554432000 4194304 4196468 140732739164960 140058953853424 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=10982696 memory=140685297575552 CPUtime=0.11 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 9814 0 -1 1077944384 653 13098 0 0 3 0 5 3 20 0 15 0 106977703 11246280704 10955 33554432000 4194304 4196468 140732739164960 140058952801136 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246280704 10955 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=10982696 memory=140685297575552 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246280704 10955 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43820 KiB
[startup+0.310469 s]*
/proc/loadavg: 1.51 1.78 1.48 3/215 15644
/proc/meminfo: memFree=26725480/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=10983192 memory=55432 CPUtime=0.39 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 10401 13098 0 0 28 3 5 3 20 0 15 0 106977688 11246788608 13858 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2745798 13858 3080 1 0 2708109 0
[pid=15578/tid=15631] ppid=15575 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 6899 13098 0 0 19 2 5 3 20 0 15 0 106977697 11246788608 13858 33554432000 4194304 4196468 140732739164960 140059434713504 140059444466473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 13858 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 13858 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 13858 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 2 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 13858 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 2 13098 0 0 0 0 5 3 20 0 15 0 106977699 11246788608 13858 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11246788608 13858 33554432000 4194304 4196468 140732739164960 140058346644256 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11246788608 13858 33554432000 4194304 4196468 140732739164960 140058145318000 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246788608 13858 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 9814 0 -1 1077944384 354 13098 0 0 1 0 5 3 20 0 15 0 106977703 11246788608 13858 33554432000 4194304 4196468 140732739164960 140058954906224 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 9814 0 -1 1077944384 261 13098 0 0 1 0 5 3 20 0 15 0 106977703 11246788608 13858 33554432000 4194304 4196468 140732739164960 140058953853424 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=10983192 memory=140685297575552 CPUtime=0.13 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 9814 0 -1 1077944384 665 13098 0 0 5 0 5 3 20 0 15 0 106977703 11246788608 13858 33554432000 4194304 4196468 140732739164960 140058952801136 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246788608 13858 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=10983192 memory=140685297575552 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246788608 13858 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55432 KiB
[startup+0.700741 s]
/proc/loadavg: 1.51 1.78 1.48 3/215 15644
/proc/meminfo: memFree=26713668/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=10983192 memory=88964 CPUtime=1 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 16826 13098 0 0 87 5 5 3 20 0 15 0 106977688 11246788608 22241 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2745798 22241 3237 1 0 2708109 0
[pid=15578/tid=15631] ppid=15575 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 12365 13098 0 0 55 3 5 3 20 0 15 0 106977697 11246788608 22241 33554432000 4194304 4196468 140732739164960 140059434722320 140059446981982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 22241 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 22241 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=10983192 memory=140685143585584 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 22241 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=10983192 memory=140685948748377 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 2 13098 0 0 0 0 5 3 20 0 15 0 106977698 11246788608 22241 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 5 13098 0 0 0 0 5 3 20 0 15 0 106977699 11246788608 22241 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11246788608 22241 33554432000 4194304 4196468 140732739164960 140058346644256 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=10983192 memory=8027477668130812270 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11246788608 22241 33554432000 4194304 4196468 140732739164960 140058145318000 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=10983192 memory=17432 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246788608 22241 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=10983192 memory=16148 CPUtime=0.17 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 9814 0 -1 1077944384 954 13098 0 0 9 0 5 3 20 0 15 0 106977703 11246788608 22241 33554432000 4194304 4196468 140732739164960 140058954906224 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=10983192 memory=4004 CPUtime=0.15 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 9814 0 -1 1077944384 549 13098 0 0 7 0 5 3 20 0 15 0 106977703 11246788608 22241 33554432000 4194304 4196468 140732739164960 140058953853424 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=10983192 memory=636 CPUtime=0.21 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) R 15575 15578 9814 0 -1 4202560 742 13098 0 0 13 0 5 3 20 0 15 0 106977703 11246788608 22241 33554432000 4194304 4196468 140732739164960 140058952801136 140059441673543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=10983192 memory=1780 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246788608 22241 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=10983192 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977703 11246788608 22241 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88964 KiB
[startup+1.5011 s]
/proc/loadavg: 1.51 1.78 1.48 3/215 15644
/proc/meminfo: memFree=26666980/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=10998092 memory=189996 CPUtime=2.97 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 26433 13098 0 0 278 11 5 3 20 0 15 0 106977688 11262046208 47499 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2749523 47499 3467 1 0 2711181 0
[pid=15578/tid=15631] ppid=15575 vsize=10998092 memory=64976 CPUtime=1.43 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 17285 13098 0 0 129 6 5 3 20 0 15 0 106977697 11262046208 47499 33554432000 4194304 4196468 140732739164960 140059434716432 140059462923421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 43 13098 0 0 1 0 5 3 20 0 15 0 106977698 11262046208 47499 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=10998092 memory=281370287202464 CPUtime=0.09 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 187 13098 0 0 1 0 5 3 20 0 15 0 106977698 11262046208 47499 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 22 13098 0 0 0 0 5 3 20 0 15 0 106977698 11262046208 47499 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 29 13098 0 0 1 0 5 3 20 0 15 0 106977698 11262046208 47499 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 50 13098 0 0 1 0 5 3 20 0 15 0 106977699 11262046208 47499 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11262046208 47499 33554432000 4194304 4196468 140732739164960 140058346644256 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11262046208 47499 33554432000 4194304 4196468 140732739164960 140058145318000 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=10998092 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11262046208 47499 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=10998092 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) R 15575 15578 9814 0 -1 4202560 2692 13098 0 0 50 1 5 3 20 0 15 0 106977703 11262046208 47499 33554432000 4194304 4196468 140732739164960 140058954886192 140059446458896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=10998092 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) R 15575 15578 9814 0 -1 4202560 2131 13098 0 0 45 0 5 3 20 0 15 0 106977703 11262046208 47499 33554432000 4194304 4196468 140732739164960 140058953834384 140059442555466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=10998092 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 9814 0 -1 1077944384 1779 13098 0 0 45 0 5 3 20 0 15 0 106977703 11262046208 47499 33554432000 4194304 4196468 140732739164960 140058952801136 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11262046208 47499 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=10998092 memory=281370287446912 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977703 11262046208 47499 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 60459 13098 0 0 10141 25 5 3 20 0 15 0 106977697 11348049920 308446 33554432000 4194304 4196468 140732739164960 140059434733664 140059057058504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=11082080 memory=281370287810112 CPUtime=0.36 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1316 13098 0 0 23 5 5 3 20 0 15 0 106977698 11348049920 308446 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=11082080 memory=164 CPUtime=0.35 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 3595 13098 0 0 22 5 5 3 20 0 15 0 106977698 11348049920 308446 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=11082080 memory=7599388386692169796 CPUtime=0.33 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 2619 13098 0 0 20 5 5 3 20 0 15 0 106977698 11348049920 308446 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=11082080 memory=6944656592387989600 CPUtime=0.35 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 433 13098 0 0 22 5 5 3 20 0 15 0 106977698 11348049920 308446 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=11082080 memory=4140 CPUtime=0.24 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 5907 13098 0 0 14 2 5 3 20 0 15 0 106977699 11348049920 308446 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=11082080 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 308446 33554432000 4194304 4196468 140732739164960 140058346644320 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=11082080 memory=1246096 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 308446 33554432000 4194304 4196468 140732739164960 140058145318016 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=11082080 memory=796 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 308446 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=11082080 memory=1239936 CPUtime=6.72 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 9814 0 -1 1077944384 21719 13098 0 0 660 4 5 3 20 0 15 0 106977703 11348049920 308446 33554432000 4194304 4196468 140732739164960 140058954906224 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=11082080 memory=4140 CPUtime=7.1 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 9814 0 -1 1077944384 16915 13098 0 0 699 3 5 3 20 0 15 0 106977703 11348049920 308446 33554432000 4194304 4196468 140732739164960 140058953853424 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=11082080 memory=1104024 CPUtime=3.07 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 9814 0 -1 1077944384 21889 13098 0 0 295 4 5 3 20 0 15 0 106977703 11348049920 308446 33554432000 4194304 4196468 140732739164960 140058952801136 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=11082080 memory=7669254624264418835 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 308446 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=11082080 memory=-5228243492833023795 CPUtime=0.13 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1788 13098 0 0 2 3 5 3 20 0 15 0 106977703 11348049920 308446 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 119.77 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1233784 KiB
[startup+162.301 s]
/proc/loadavg: 1.60 1.79 1.54 3/215 15775
/proc/meminfo: memFree=25241496/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=11082080 memory=1207104 CPUtime=181.26 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 151271 13098 0 0 18047 71 5 3 20 0 15 0 106977688 11348049920 301776 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2770520 301776 3531 1 0 2732173 0
[pid=15578/tid=15631] ppid=15575 vsize=11082080 memory=1211720 CPUtime=161.27 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 61816 13098 0 0 16093 26 5 3 20 0 15 0 106977697 11348049920 301776 33554432000 4194304 4196468 140732739164960 140059434735824 140059044352870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=11082080 memory=1209156 CPUtime=0.59 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1471 13098 0 0 45 6 5 3 20 0 15 0 106977698 11348049920 301776 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=11082080 memory=1208640 CPUtime=0.58 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 4878 13098 0 0 43 7 5 3 20 0 15 0 106977698 11348049920 301776 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=11082080 memory=1207104 CPUtime=0.57 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 3255 13098 0 0 43 6 5 3 20 0 15 0 106977698 11348049920 301776 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=11082080 memory=1220444 CPUtime=0.58 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 489 13098 0 0 44 6 5 3 20 0 15 0 106977698 11348049920 301776 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=11082080 memory=4140 CPUtime=0.42 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 6275 13098 0 0 31 3 5 3 20 0 15 0 106977699 11348049920 301776 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=11082080 memory=1209156 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 301776 33554432000 4194304 4196468 140732739164960 140058346644320 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=11082080 memory=4004 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 301776 33554432000 4194304 4196468 140732739164960 140058145318016 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=11082080 memory=1207616 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 301776 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=11082080 memory=1208128 CPUtime=7.06 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 9814 0 -1 1077944384 25296 13098 0 0 694 4 5 3 20 0 15 0 106977703 11348049920 301776 33554432000 4194304 4196468 140732739164960 140058954906224 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=11082080 memory=1211720 CPUtime=7.45 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 9814 0 -1 1077944384 18755 13098 0 0 733 4 5 3 20 0 15 0 106977703 11348049920 301776 33554432000 4194304 4196468 140732739164960 140058953853424 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=11082080 memory=4140 CPUtime=3.2 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 9814 0 -1 1077944384 25009 13098 0 0 308 4 5 3 20 0 15 0 106977703 11348049920 301776 33554432000 4194304 4196468 140732739164960 140058952801136 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=11082080 memory=1210180 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 301776 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=11082080 memory=1210692 CPUtime=0.17 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1813 13098 0 0 5 4 5 3 20 0 15 0 106977703 11348049920 301776 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 181.26 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1207104 KiB
[startup+222.301 s]
/proc/loadavg: 1.61 1.75 1.54 3/215 15776
/proc/meminfo: memFree=25271404/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=11082080 memory=1197512 CPUtime=242.91 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 163781 13098 0 0 24203 80 5 3 20 0 15 0 106977688 11348049920 299378 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2770520 299378 3531 1 0 2732173 0
[pid=15578/tid=15631] ppid=15575 vsize=11082080 memory=1198536 CPUtime=220.66 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 63231 13098 0 0 22031 27 5 3 20 0 15 0 106977697 11348049920 299378 33554432000 4194304 4196468 140732739164960 140059434736880 140059055712157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=11082080 memory=1198536 CPUtime=0.87 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1516 13098 0 0 72 7 5 3 20 0 15 0 106977698 11348049920 299378 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=11082080 memory=1198536 CPUtime=0.87 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 6165 13098 0 0 71 8 5 3 20 0 15 0 106977698 11348049920 299378 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=11082080 memory=1198536 CPUtime=0.85 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 3977 13098 0 0 69 8 5 3 20 0 15 0 106977698 11348049920 299378 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=11082080 memory=1197512 CPUtime=0.86 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 540 13098 0 0 70 8 5 3 20 0 15 0 106977698 11348049920 299378 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=11082080 memory=1198536 CPUtime=0.66 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 6651 13098 0 0 53 5 5 3 20 0 15 0 106977699 11348049920 299378 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=11082080 memory=1198536 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 299378 33554432000 4194304 4196468 140732739164960 140058346644320 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=11082080 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 299378 33554432000 4194304 4196468 140732739164960 140058145318016 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=11082080 memory=1197512 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 299378 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=11082080 memory=4140 CPUtime=7.42 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 9814 0 -1 1077944384 29269 13098 0 0 730 4 5 3 20 0 15 0 106977703 11348049920 299378 33554432000 4194304 4196468 140732739164960 140058954906224 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=11082080 memory=30512 CPUtime=7.8 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 9814 0 -1 1077944384 20627 13098 0 0 768 4 5 3 20 0 15 0 106977703 11348049920 299378 33554432000 4194304 4196468 140732739164960 140058953853424 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=11082080 memory=1296 CPUtime=3.33 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 9814 0 -1 1077944384 27753 13098 0 0 320 5 5 3 20 0 15 0 106977703 11348049920 299378 33554432000 4194304 4196468 140732739164960 140058952801136 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=11082080 memory=1136 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 299378 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=11082080 memory=15872 CPUtime=0.19 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1838 13098 0 0 6 5 5 3 20 0 15 0 106977703 11348049920 299378 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 242.91 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1197512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+231.201 s]
/proc/loadavg: 1.59 1.75 1.54 3/215 15776
/proc/meminfo: memFree=25274936/32770624 swapFree=67108436/67108860
[pid=15578] ppid=15575 vsize=11082080 memory=1192008 CPUtime=252.04 cores=0,2,4,6
/proc/15578/stat : 15578 (java) S 15575 15578 9814 0 -1 1077944320 167410 13098 0 0 25114 82 5 3 20 0 15 0 106977688 11348049920 298002 33554432000 4194304 4196468 140732739164960 140732739147504 140059462901495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
/proc/15578/statm: 2770520 298002 3531 1 0 2732173 0
[pid=15578/tid=15631] ppid=15575 vsize=11082080 memory=1612 CPUtime=229.48 cores=0,2,4,6
/proc/15578/task/15631/stat : 15631 (java) R 15575 15578 9814 0 -1 4202560 63547 13098 0 0 22912 28 5 3 20 0 15 0 106977697 11348049920 298002 33554432000 4194304 4196468 140732739164960 140059434737104 140059036632078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15632] ppid=15575 vsize=11082080 memory=6791534058613427641 CPUtime=0.92 cores=0,2,4,6
/proc/15578/task/15632/stat : 15632 (java) S 15575 15578 9814 0 -1 1077944384 1593 13098 0 0 76 8 5 3 20 0 15 0 106977698 11348049920 298002 33554432000 4194304 4196468 140732739164960 140059467144080 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15633] ppid=15575 vsize=11082080 memory=30512 CPUtime=0.91 cores=0,2,4,6
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 9814 0 -1 1077944384 7334 13098 0 0 75 8 5 3 20 0 15 0 106977698 11348049920 298002 33554432000 4194304 4196468 140732739164960 140059354549008 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15634] ppid=15575 vsize=11082080 memory=1296 CPUtime=0.89 cores=0,2,4,6
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 9814 0 -1 1077944384 4000 13098 0 0 73 8 5 3 20 0 15 0 106977698 11348049920 298002 33554432000 4194304 4196468 140732739164960 140059001826448 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15635] ppid=15575 vsize=11082080 memory=2412 CPUtime=0.9 cores=0,2,4,6
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 9814 0 -1 1077944384 568 13098 0 0 74 8 5 3 20 0 15 0 106977698 11348049920 298002 33554432000 4194304 4196468 140732739164960 140059000773648 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15636] ppid=15575 vsize=11082080 memory=6791534058613427641 CPUtime=0.69 cores=0,2,4,6
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 9814 0 -1 1077944384 6703 13098 0 0 56 5 5 3 20 0 15 0 106977699 11348049920 298002 33554432000 4194304 4196468 140732739164960 140058955958384 140059462912642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15637] ppid=15575 vsize=11082080 memory=73 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 9814 0 -1 1077944384 13 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 298002 33554432000 4194304 4196468 140732739164960 140058346644320 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15638] ppid=15575 vsize=11082080 memory=71 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 9814 0 -1 1077944384 1 13098 0 0 0 0 5 3 20 0 15 0 106977700 11348049920 298002 33554432000 4194304 4196468 140732739164960 140058145318016 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15639] ppid=15575 vsize=11082080 memory=72 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 298002 33554432000 4194304 4196468 140732739164960 140057837918288 140059462920091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15640] ppid=15575 vsize=11082080 memory=6791534058613427641 CPUtime=7.47 cores=0,2,4,6
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 9814 0 -1 1077944384 29434 13098 0 0 735 4 5 3 20 0 15 0 106977703 11348049920 298002 33554432000 4194304 4196468 140732739164960 140058954906224 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15641] ppid=15575 vsize=11082080 memory=1852 CPUtime=7.85 cores=0,2,4,6
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 9814 0 -1 1077944384 21966 13098 0 0 773 4 5 3 20 0 15 0 106977703 11348049920 298002 33554432000 4194304 4196468 140732739164960 140058953853424 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15642] ppid=15575 vsize=11082080 memory=872 CPUtime=3.35 cores=0,2,4,6
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 9814 0 -1 1077944384 28211 13098 0 0 322 5 5 3 20 0 15 0 106977703 11348049920 298002 33554432000 4194304 4196468 140732739164960 140058952801136 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15643] ppid=15575 vsize=11082080 memory=8076 CPUtime=0.08 cores=0,2,4,6
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 9814 0 -1 1077944384 3 13098 0 0 0 0 5 3 20 0 15 0 106977703 11348049920 298002 33554432000 4194304 4196468 140732739164960 140057407122400 140059462911701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
[pid=15578/tid=15644] ppid=15575 vsize=11082080 memory=8076 CPUtime=0.21 cores=0,2,4,6
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 9814 0 -1 1077944384 1840 13098 0 0 7 6 5 3 20 0 15 0 106977703 11348049920 298002 33554432000 4194304 4196468 140732739164960 140058951748016 140059462912642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140732739172978 140732739175777 140732739175777 140732739178447 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1192008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+231.244 s]
# the end of solver process 15578 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.22 s, system=0.87932 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 231.244
CPU time (s): 252.099
CPU user time (s): 251.22
CPU system time (s): 0.87932
CPU usage (%): 109.019
Max. virtual memory (cumulated for all children) (KiB): 11082908
Max. memory (cumulated for all children) (KiB): 1318944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.22
system time used= 0.87932
maximum resident set size= 1321488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181722
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= 26986
involuntary context switches= 688
# summary of solver processes directly reported to runsolver:
# pid: 15578
# total CPU time (s): 252.099
# total CPU user time (s): 251.22
# total CPU system time (s): 0.87932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41283 second user time and 2.21414 second system time
The end