2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	142	2520.14	2463.53

0.99/0.73	c Concrete v3.9.2.1532736233296 running
9.18/3.93	c 04:36:19.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2248. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 1286643712, 3 edges, 4 vertices, 1 tuples
9.18/3.95	c 04:36:19.082 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2296. 'extension(false, x[1][17]=[0‥1], x[2][17]=[0‥1]) :: init: true :: relation: MDD 1688526221, 3 edges, 4 vertices, 1 tuples
9.18/3.95	c 04:36:19.084 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2303. 'extension(x[16][1]=[0‥1], x[17][1]=[0‥1], false) :: init: true :: relation: MDD 1286643712, 3 edges, 4 vertices, 1 tuples
9.18/3.97	c 04:36:19.100 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2351. 'extension(x[16][17]=[0‥1], x[17][17]=[0‥1], false) :: init: true :: relation: MDD 1688526221, 3 edges, 4 vertices, 1 tuples
9.18/3.97	c 04:36:19.102 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2356. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 971404566, 3 edges, 4 vertices, 1 tuples
9.18/3.98	c 04:36:19.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2404. 'extension(false, x[17][1]=[0‥1], x[17][2]=[0‥1]) :: init: true :: relation: MDD 681015501, 3 edges, 4 vertices, 1 tuples
9.18/3.99	c 04:36:19.117 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2407. 'extension(x[1][16]=[0‥1], x[1][17]=[0‥1], false) :: init: true :: relation: MDD 971404566, 3 edges, 4 vertices, 1 tuples
9.18/4.00	c 04:36:19.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2455. 'extension(x[17][16]=[0‥1], x[17][17]=[0‥1], false) :: init: true :: relation: MDD 681015501, 3 edges, 4 vertices, 1 tuples
9.57/4.01	c 04:36:19.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2459. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.57/4.03	c 04:36:19.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2489. 'extension(x[1][17]=[0‥1], x[2][17]=[0‥1]) :: init: true :: relation: Empty MDD
9.57/4.03	c 04:36:19.152 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2493. 'extension(x[16][1]=[0‥1], x[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.57/4.03	c 04:36:19.158 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2523. 'extension(x[16][17]=[0‥1], x[17][17]=[0‥1]) :: init: true :: relation: Empty MDD
9.57/4.03	c 04:36:19.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2527. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.57/4.04	c 04:36:19.165 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2559. 'extension(x[17][1]=[0‥1], x[17][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.57/4.04	c 04:36:19.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2565. 'extension(x[1][16]=[0‥1], x[1][17]=[0‥1]) :: init: true :: relation: Empty MDD
9.57/4.04	c 04:36:19.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2597. 'extension(x[17][16]=[0‥1], x[17][17]=[0‥1]) :: init: true :: relation: Empty MDD
14.77/5.81	o 109
14.77/5.88	o 110
15.07/5.90	o 111
15.07/5.92	o 112
15.07/5.93	o 113
15.41/6.06	o 114
16.00/6.26	o 118
16.00/6.28	o 119
16.00/6.29	o 120
16.24/6.30	o 121
16.24/6.31	o 122
16.24/6.32	o 123
17.56/7.06	o 124
17.56/7.06	o 125
17.56/7.09	o 126
22.18/10.29	o 127
37.31/22.76	o 128
37.31/22.76	o 129
40.92/25.58	o 130
51.99/34.91	o 131
51.99/34.99	o 132
52.11/35.05	o 133
53.90/36.47	o 134
72.70/53.25	o 135
77.60/57.98	o 136
372.42/349.19	o 137
572.21/546.05	o 138
578.07/551.88	o 139
623.81/596.94	o 140
1036.73/1003.64	o 141
2253.73/2201.44	o 142
2520.10/2463.51	Exception in thread "main" java.util.concurrent.TimeoutException
2520.10/2463.51		at concrete.MAC.mac(MAC.scala:188)
2520.10/2463.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.10/2463.51		at scala.util.Try$.apply(Try.scala:209)
2520.10/2463.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.10/2463.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.10/2463.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.10/2463.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.10/2463.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.10/2463.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.10/2463.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.10/2463.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.10/2463.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.10/2463.51		at concrete.MAC.oneRun(MAC.scala:253)
2520.10/2463.51		at concrete.MAC.nextSolution(MAC.scala:272)
2520.10/2463.51		at concrete.MAC.nextSolution(MAC.scala:355)
2520.10/2463.51		at concrete.Solver.hasNext(Solver.scala:166)
2520.10/2463.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.10/2463.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.10/2463.51		at concrete.Solver.foreach(Solver.scala:68)
2520.10/2463.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.10/2463.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.10/2463.51		at scala.util.Success.map(Try.scala:209)
2520.10/2463.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.10/2463.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.10/2463.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.10/2463.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.10/2463.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.10/2463.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.10/2463.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.10/2463.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.10/2463.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.10/2463.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.10/2463.51		at scala.App.main(App.scala:76)
2520.10/2463.51		at scala.App.main$(App.scala:74)
2520.10/2463.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.10/2463.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.10/2463.52	v <instantiation cost="142">
2520.10/2463.52	v       <list>
2520.10/2463.52	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[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[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[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[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[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[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[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[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[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[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[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[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[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[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] z
2520.10/2463.52	v       </list>
2520.10/2463.52	v       <values>
2520.10/2463.52	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 2 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 6 8 10 14 19 19 20 23 29 32 36 38 42 45 48 57 63 71 78 142
2520.10/2463.52	v       </values>
2520.10/2463.52	v     </instantiation>
2520.10/2463.52	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 (6008 MiB free)
  memory of node 1: 16384 MiB (5427 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304139-1534041374/watcher-4304139-1534041374 -o /tmp/evaluation-result-4304139-1534041374/solver-4304139-1534041374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1173555973 HOME/instance-4304139-1534041374.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
solver pid=15718, runsolver pid=15715
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 1.32 1.25 1.29 3/206 15775
/proc/meminfo: memFree=11702592/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=10021560 memory=17604 CPUtime=0.1 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 4518 12912 0 0 1 1 5 3 20 0 6 0 221700655 10262077440 4335 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2505390 4401 1994 1 0 2493828 0
[pid=15718/tid=15771] ppid=15715 vsize=10088124 memory=4279135703979950990 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 2334 12912 0 0 0 0 5 3 20 0 7 0 221700664 10330238976 4401 33554432000 4194304 4196468 140724543105904 140538486889232 140538499126622 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=10088124 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 7 0 221700665 10330238976 4401 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=10088124 memory=139844501198464 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 7 0 221700665 10330238976 4401 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=10088124 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 7 0 221700665 10330238976 4401 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=10088124 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 2 12912 0 0 0 0 5 3 20 0 7 0 221700665 10330238976 4401 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=10088124 memory=139844501198464 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 2 12912 0 0 0 0 5 3 20 0 7 0 221700666 10330238976 4401 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 17604 KiB

[startup+0.210015 s]*
/proc/loadavg: 1.32 1.25 1.29 3/215 15784
/proc/meminfo: memFree=11682656/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=10982744 memory=46304 CPUtime=0.26 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 9386 12912 0 0 16 2 5 3 20 0 15 0 221700655 11246329856 11576 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2745686 11576 2983 1 0 2708109 0
[pid=15718/tid=15771] ppid=15715 vsize=10982776 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 5931 12912 0 0 10 2 5 3 20 0 15 0 221700664 11246362624 11576 33554432000 4194304 4196468 140724543105904 140538486870944 140538507725853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=10982776 memory=288292155783643526 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246362624 11576 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=10982776 memory=3617009754280574271 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246362624 11576 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246362624 11576 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 2 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246362624 11576 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 2 12912 0 0 0 0 5 3 20 0 15 0 221700666 11246362624 11576 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 13 12912 0 0 0 0 5 3 20 0 15 0 221700667 11246362624 11576 33554432000 4194304 4196468 140724543105904 140537235498272 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=10982776 memory=139844501198464 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 21 12912 0 0 0 0 5 3 20 0 15 0 221700667 11246362624 11576 33554432000 4194304 4196468 140724543105904 140537168385648 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11246362624 11576 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=10982776 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 353 12912 0 0 1 0 5 3 20 0 15 0 221700669 11246362624 11576 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=10982776 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 266 12912 0 0 1 0 5 3 20 0 15 0 221700669 11246362624 11576 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=10982744 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 604 12912 0 0 3 0 5 3 20 0 15 0 221700669 11246329856 11576 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11246329856 11576 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700670 11246329856 11576 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46304 KiB

[startup+0.310472 s]*
/proc/loadavg: 1.32 1.25 1.29 3/215 15784
/proc/meminfo: memFree=11669260/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=10983192 memory=54188 CPUtime=0.39 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 10608 12912 0 0 28 3 5 3 20 0 15 0 221700655 11246788608 13547 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2745798 13547 3102 1 0 2708109 0
[pid=15718/tid=15771] ppid=15715 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 7133 12912 0 0 19 2 5 3 20 0 15 0 221700664 11246788608 13547 33554432000 4194304 4196468 140724543105904 140538486858144 140538499126622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 13547 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 13547 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 13547 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 2 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 13547 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 2 12912 0 0 0 0 5 3 20 0 15 0 221700666 11246788608 13547 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 13 12912 0 0 0 0 5 3 20 0 15 0 221700667 11246788608 13547 33554432000 4194304 4196468 140724543105904 140537235498272 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 21 12912 0 0 0 0 5 3 20 0 15 0 221700667 11246788608 13547 33554432000 4194304 4196468 140724543105904 140537168385648 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11246788608 13547 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 354 12912 0 0 1 0 5 3 20 0 15 0 221700669 11246788608 13547 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 269 12912 0 0 1 0 5 3 20 0 15 0 221700669 11246788608 13547 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=10983192 memory=139844501198464 CPUtime=0.13 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 612 12912 0 0 5 0 5 3 20 0 15 0 221700669 11246788608 13547 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11246788608 13547 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=10983192 memory=139844501198464 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700670 11246788608 13547 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54188 KiB

[startup+0.700793 s]
/proc/loadavg: 1.32 1.25 1.29 3/215 15784
/proc/meminfo: memFree=11660204/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=10983192 memory=86604 CPUtime=0.99 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 16793 12912 0 0 87 4 5 3 20 0 15 0 221700655 11246788608 21651 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2745798 21651 3238 1 0 2708109 0
[pid=15718/tid=15771] ppid=15715 vsize=10983192 memory=32804 CPUtime=0.67 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 12192 12912 0 0 56 3 5 3 20 0 15 0 221700664 11246788608 21651 33554432000 4194304 4196468 140724543105904 140538486866960 140538495321465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 21651 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 21651 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 21651 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 2 12912 0 0 0 0 5 3 20 0 15 0 221700665 11246788608 21651 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 5 12912 0 0 0 0 5 3 20 0 15 0 221700666 11246788608 21651 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=10983192 memory=139844403741488 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 13 12912 0 0 0 0 5 3 20 0 15 0 221700667 11246788608 21651 33554432000 4194304 4196468 140724543105904 140537235498272 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=10983192 memory=142352396059276 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 21 12912 0 0 0 0 5 3 20 0 15 0 221700667 11246788608 21651 33554432000 4194304 4196468 140724543105904 140537168385648 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=10983192 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11246788608 21651 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=10983192 memory=14204 CPUtime=0.15 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 755 12912 0 0 7 0 5 3 20 0 15 0 221700669 11246788608 21651 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=10983192 memory=33760 CPUtime=0.17 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 908 12912 0 0 9 0 5 3 20 0 15 0 221700669 11246788608 21651 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=10983192 memory=1180 CPUtime=0.21 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 695 12912 0 0 13 0 5 3 20 0 15 0 221700669 11246788608 21651 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=10983192 memory=504 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11246788608 21651 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=10983192 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700670 11246788608 21651 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86604 KiB

[startup+1.50074 s]
/proc/loadavg: 1.32 1.25 1.29 5/215 15784
/proc/meminfo: memFree=11613128/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=10998092 memory=184284 CPUtime=2.93 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 26909 12912 0 0 276 9 5 3 20 0 15 0 221700655 11262046208 46071 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2749523 46071 3476 1 0 2711181 0
[pid=15718/tid=15771] ppid=15715 vsize=10998092 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 17396 12912 0 0 130 5 5 3 20 0 15 0 221700664 11262046208 46071 33554432000 4194304 4196468 140724543105904 140538486863056 140538057684992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=10998092 memory=3688 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 22 12912 0 0 1 0 5 3 20 0 15 0 221700665 11262046208 46071 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=10998092 memory=251456 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 18 12912 0 0 1 0 5 3 20 0 15 0 221700665 11262046208 46071 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 133 12912 0 0 1 0 5 3 20 0 15 0 221700665 11262046208 46071 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=10998092 memory=279688807222688 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 89 12912 0 0 1 0 5 3 20 0 15 0 221700665 11262046208 46071 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=10998092 memory=-4546129931942301728 CPUtime=0.09 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 48 12912 0 0 1 0 5 3 20 0 15 0 221700666 11262046208 46071 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 13 12912 0 0 0 0 5 3 20 0 15 0 221700667 11262046208 46071 33554432000 4194304 4196468 140724543105904 140537235498272 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 42 12912 0 0 0 0 5 3 20 0 15 0 221700667 11262046208 46071 33554432000 4194304 4196468 140724543105904 140537168385664 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=10998092 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11262046208 46071 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=10998092 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 2428 12912 0 0 46 0 5 3 20 0 15 0 221700669 11262046208 46071 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=10998092 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 2733 12912 0 0 52 0 5 3 20 0 15 0 221700669 11262046208 46071 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=10998092 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 1788 12912 0 0 40 0 5 3 20 0 15 0 221700669 11262046208 46071 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=10998092 memory=6994781577135807034 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11262046208 46071 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1 12912 0 0 0 0 5 3 20 0 15 0 221700670 11262046208 46071 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0

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

/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 85250 12912 0 0 235716 52 5 3 20 0 15 0 221700664 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538486881264 140538078720758 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.12 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 12642 12912 0 0 1153 51 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=11082080 memory=936012 CPUtime=12.12 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 5520 12912 0 0 1149 55 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.1 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 10118 12912 0 0 1152 50 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.08 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 8160 12912 0 0 1147 53 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=11082080 memory=938060 CPUtime=10.78 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 13692 12912 0 0 1020 50 5 3 20 0 15 0 221700666 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=11082080 memory=938060 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 14 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537235498400 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=11082080 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 42 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537168385664 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=11082080 memory=808 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=11082080 memory=1800 CPUtime=8.25 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 34998 12912 0 0 812 5 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=11082080 memory=938060 CPUtime=7.96 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 30784 12912 0 0 781 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=11082080 memory=3872 CPUtime=3.75 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 29501 12912 0 0 360 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=11082080 memory=938060 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=11082080 memory=1128 CPUtime=1.31 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1475 12912 0 0 52 71 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 2437.62 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 938060 KiB

[startup+2442.3 s]
/proc/loadavg: 1.16 1.36 1.39 3/215 16009
/proc/meminfo: memFree=10429456/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=11082080 memory=938060 CPUtime=2498.58 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 235563 12912 0 0 249496 354 5 3 20 0 15 0 221700655 11348049920 234515 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2770520 234515 3531 1 0 2732173 0
[pid=15718/tid=15771] ppid=15715 vsize=11082080 memory=938060 CPUtime=2417.16 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 85838 12912 0 0 241655 53 5 3 20 0 15 0 221700664 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538486881440 140538077795797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.43 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 12775 12912 0 0 1182 53 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.44 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 5576 12912 0 0 1180 56 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.42 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 10158 12912 0 0 1183 51 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=11082080 memory=2260 CPUtime=12.41 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 8285 12912 0 0 1178 55 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=11082080 memory=938060 CPUtime=11.04 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 13897 12912 0 0 1045 51 5 3 20 0 15 0 221700666 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=11082080 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 14 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537235498400 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=11082080 memory=12604 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 42 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537168385664 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=11082080 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=11082080 memory=1128 CPUtime=8.25 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 35000 12912 0 0 812 5 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=11082080 memory=15188 CPUtime=7.96 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 30786 12912 0 0 781 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=11082080 memory=303430223234596890 CPUtime=3.75 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 29503 12912 0 0 360 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=11082080 memory=938060 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=11082080 memory=938060 CPUtime=1.34 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1491 12912 0 0 54 72 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 2498.58 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 938060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2463.5 s]
/proc/loadavg: 1.04 1.32 1.38 3/215 16009
/proc/meminfo: memFree=10432452/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=11082080 memory=938060 CPUtime=2520.1 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 235749 12912 0 0 251646 356 5 3 20 0 15 0 221700655 11348049920 234515 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2770520 234515 3531 1 0 2732173 0
[pid=15718/tid=15771] ppid=15715 vsize=11082080 memory=938060 CPUtime=2438.13 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 86017 12912 0 0 243752 53 5 3 20 0 15 0 221700664 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538486881328 140538080292652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.54 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 12775 12912 0 0 1193 53 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.55 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 5576 12912 0 0 1191 56 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.52 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 10158 12912 0 0 1193 51 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.51 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 8286 12912 0 0 1188 55 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=11082080 memory=938060 CPUtime=11.14 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 13901 12912 0 0 1054 52 5 3 20 0 15 0 221700666 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=11082080 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 14 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537235498400 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=11082080 memory=938060 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 42 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537168385664 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=11082080 memory=938060 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=11082080 memory=60032 CPUtime=8.25 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 35000 12912 0 0 812 5 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=11082080 memory=1224 CPUtime=7.96 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 30786 12912 0 0 781 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=11082080 memory=3872 CPUtime=3.75 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 29503 12912 0 0 360 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=11082080 memory=60032 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=11082080 memory=3872 CPUtime=1.35 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1493 12912 0 0 55 72 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 938060 KiB

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

[startup+2463.53 s]
# the end of solver process 15718 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.53 s, system=3.60403 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2463.5 s]
/proc/loadavg: 1.04 1.32 1.38 3/215 16009
/proc/meminfo: memFree=10432452/32770624 swapFree=67108496/67108860
[pid=15718] ppid=15715 vsize=11082080 memory=938060 CPUtime=2520.1 cores=1,3,5,7
/proc/15718/stat : 15718 (java) S 15715 15718 14233 0 -1 1077944320 235749 12912 0 0 251646 356 5 3 20 0 15 0 221700655 11348049920 234515 33554432000 4194304 4196468 140724543105904 140724543088448 140538515046135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
/proc/15718/statm: 2770520 234515 3531 1 0 2732173 0
[pid=15718/tid=15771] ppid=15715 vsize=11082080 memory=938060 CPUtime=2438.13 cores=1,3,5,7
/proc/15718/task/15771/stat : 15771 (java) R 15715 15718 14233 0 -1 4202560 86017 12912 0 0 243752 53 5 3 20 0 15 0 221700664 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538486881328 140538080292652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15772] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.54 cores=1,3,5,7
/proc/15718/task/15772/stat : 15772 (java) S 15715 15718 14233 0 -1 1077944384 12775 12912 0 0 1193 53 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538519288208 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15773] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.55 cores=1,3,5,7
/proc/15718/task/15773/stat : 15773 (java) S 15715 15718 14233 0 -1 1077944384 5576 12912 0 0 1191 56 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538384623888 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15774] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.52 cores=1,3,5,7
/proc/15718/task/15774/stat : 15774 (java) S 15715 15718 14233 0 -1 1077944384 10158 12912 0 0 1193 51 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538383571600 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15775] ppid=15715 vsize=11082080 memory=938060 CPUtime=12.51 cores=1,3,5,7
/proc/15718/task/15775/stat : 15775 (java) S 15715 15718 14233 0 -1 1077944384 8286 12912 0 0 1188 55 5 3 20 0 15 0 221700665 11348049920 234515 33554432000 4194304 4196468 140724543105904 140538382518800 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15776] ppid=15715 vsize=11082080 memory=938060 CPUtime=11.14 cores=1,3,5,7
/proc/15718/task/15776/stat : 15776 (java) S 15715 15718 14233 0 -1 1077944384 13901 12912 0 0 1054 52 5 3 20 0 15 0 221700666 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537566812784 140538515057282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15777] ppid=15715 vsize=11082080 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15777/stat : 15777 (java) S 15715 15718 14233 0 -1 1077944384 14 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537235498400 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15778] ppid=15715 vsize=11082080 memory=938060 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15778/stat : 15778 (java) S 15715 15718 14233 0 -1 1077944384 42 12912 0 0 0 0 5 3 20 0 15 0 221700667 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537168385664 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15779] ppid=15715 vsize=11082080 memory=938060 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15779/stat : 15779 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536860990032 140538515064731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15780] ppid=15715 vsize=11082080 memory=60032 CPUtime=8.25 cores=1,3,5,7
/proc/15718/task/15780/stat : 15780 (java) S 15715 15718 14233 0 -1 1077944384 35000 12912 0 0 812 5 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537565759600 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15781] ppid=15715 vsize=11082080 memory=1224 CPUtime=7.96 cores=1,3,5,7
/proc/15718/task/15781/stat : 15781 (java) S 15715 15718 14233 0 -1 1077944384 30786 12912 0 0 781 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537564706800 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15782] ppid=15715 vsize=11082080 memory=3872 CPUtime=3.75 cores=1,3,5,7
/proc/15718/task/15782/stat : 15782 (java) S 15715 15718 14233 0 -1 1077944384 29503 12912 0 0 360 7 5 3 20 0 15 0 221700669 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537563654512 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15783] ppid=15715 vsize=11082080 memory=60032 CPUtime=0.08 cores=1,3,5,7
/proc/15718/task/15783/stat : 15783 (java) S 15715 15718 14233 0 -1 1077944384 3 12912 0 0 0 0 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140536430193120 140538515056341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
[pid=15718/tid=15784] ppid=15715 vsize=11082080 memory=3872 CPUtime=1.35 cores=1,3,5,7
/proc/15718/task/15784/stat : 15784 (java) S 15715 15718 14233 0 -1 1077944384 1493 12912 0 0 55 72 5 3 20 0 15 0 221700670 11348049920 234515 33554432000 4194304 4196468 140724543105904 140537562602416 140538515057282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22806528 140724543109740 140724543112540 140724543112540 140724543115215 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 938060 KiB

Child status: 143
Real time (s): 2463.53
CPU time (s): 2520.14
CPU user time (s): 2516.53
CPU system time (s): 3.60403
CPU usage (%): 102.298
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1038120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.53
system time used= 3.60403
maximum resident set size= 1039124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271530
involuntary context switches= 5429


# summary of solver processes directly reported to runsolver:
#   pid: 15718
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.53
#   total CPU system time (s): 3.60403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1668 second user time and 22.0402 second system time

The end

Name	StillLife/ StillLife-wastage-17_c18.xml
MD5SUM	6bdaa478fa612f14e4ae80d6384d4ab1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	152
Best CPU time to get the best result obtained on this benchmark	148.537
Satisfiable
(Un)Satisfiability was proved
Number of variables	742
Number of constraints	467
Number of domains	4
Minimum domain size	2
Maximum domain size	723
Distribution of domain sizes	[{"size":2,"count":361},{"size":3,"count":361},{"size":290,"count":1},{"size":723,"count":19}]
Minimum variable degree	1
Maximum variable degree	20
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":358},{"degree":3,"count":22},{"degree":4,"count":68},{"degree":8,"count":64},{"degree":9,"count":225},{"degree":20,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	21
Distribution of constraint arities	[{"arity":2,"count":87},{"arity":3,"count":68},{"arity":10,"count":289},{"arity":19,"count":4},{"arity":20,"count":1},{"arity":21,"count":18}]
Number of extensional constraints	357
Number of intensional constraints	86
Distribution of constraint types	[{"type":"extension","count":357},{"type":"intension","count":86},{"type":"sum","count":20},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4304139

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data