2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	15471	252.107	223.641

1.00/0.74	c Concrete v3.9.2.1532736233296 running
89.25/64.90	o 16582
89.84/65.32	o 16567
89.84/65.34	o 16503
89.84/65.36	o 16488
89.84/65.38	o 16459
90.17/65.41	o 16436
90.17/65.43	o 16434
95.56/70.28	o 16230
95.71/70.33	o 16169
95.71/70.36	o 16085
95.71/70.39	o 16077
95.86/70.42	o 16017
99.53/73.91	o 16008
99.53/73.97	o 15948
114.67/88.87	o 15923
125.92/99.90	o 15886
125.92/99.93	o 15878
125.92/99.95	o 15848
125.92/99.97	o 15769
125.92/99.98	o 15761
126.04/100.02	o 15702
126.53/100.51	o 15591
191.00/163.80	o 15585
191.97/164.74	o 15582
198.16/170.81	o 15567
198.16/170.83	o 15538
198.27/170.98	o 15481
200.44/172.86	o 15471
252.06/223.61	Exception in thread "main" java.util.concurrent.TimeoutException
252.06/223.61		at concrete.MAC.mac(MAC.scala:188)
252.06/223.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.06/223.61		at scala.util.Try$.apply(Try.scala:209)
252.06/223.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/223.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/223.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/223.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/223.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.06/223.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/223.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/223.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/223.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/223.61		at concrete.MAC.oneRun(MAC.scala:253)
252.06/223.61		at concrete.MAC.nextSolution(MAC.scala:272)
252.06/223.61		at concrete.MAC.nextSolution(MAC.scala:355)
252.06/223.61		at concrete.Solver.hasNext(Solver.scala:166)
252.06/223.61		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.06/223.61		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.06/223.61		at concrete.Solver.foreach(Solver.scala:68)
252.06/223.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.06/223.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/223.61		at scala.util.Success.map(Try.scala:209)
252.06/223.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.06/223.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.06/223.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.06/223.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.06/223.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.06/223.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/223.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/223.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/223.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/223.61		at scala.collection.immutable.List.foreach(List.scala:389)
252.06/223.61		at scala.App.main(App.scala:76)
252.06/223.61		at scala.App.main$(App.scala:74)
252.06/223.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.06/223.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/223.62	v <instantiation cost="15471">
252.06/223.62	v       <list>
252.06/223.62	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26]
252.06/223.62	v       </list>
252.06/223.62	v       <values>
252.06/223.62	v         6 8 6 10 5 7 5 3 11 3 12 2 10 11 9 7 13 1 13 12 9 4 2 1 4 8 12 6 5 3 13 4 13 10 9 2 3 12 4 7 10 9 2 0 8 7 5 8 11 0 6 11 4 11 9 4 8 5 6 12 6 1 7 0 9 3 12 11 1 7 10 10 8 5 0 13 3 13 13 5 10 1 11 10 7 0 8 0 1 4 5 2 13 4 8 9 6 9 11 12 12 6 2 7 2 9 7 2 10 1 10 13 7 8 11 3 1 8 6 3 12 5 11 5 13 0 9 12 0 6 7 3 1 9 0 2 0 8 13 9 8 7 3 6 11 10 6 4 12 4 1 2 13 10 11 12 0 1 0 8 7 11 2 9 2 12 13 9 13 5 4 12 5 8 3 11 10 10 7 3 1 4 5 10 4 12 6 0 3 11 4 13 2 5 8 1 8 0 9 2 9 1 12 13 6 11 10 3 10 0 12 6 2 9 11 5 3 4 5 11 7 4 7 13 3 6 1 13 2 1 10 9 12 0 11 4 2 5 12 8 12 6 1 5 10 6 2 13 0 1 7 3 7 3 0 11 4 8 13 10 8 7 3 0 4 3 4 1 12 11 9 13 0 12 1 5 11 13 2 2 6 6 8 5 7 9 9 2 13 13 3 6 8 7 0 10 4 8 12 0 5 2 10 12 4 6 3 9 1 7 5 1 1 13 8 7 9 13 9 2 10 6 0 1 11 10 2 6 4 11 5 0 7 3 3 4 8 5 3 12 11 11 1 12 1 4 5 7 6 10 6 9 3 8 0 10 0 8 4 7 5 2 9 2 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 48 31 44 39 48 44 34 34 0 0 15 55 10 55 0 59 59 0 57 30 55 36 10 10 0 0 55 55 40 41 32 0 64 64 43 49 22 0 31 64 69 65 0 10 10 0 0 46 46 0 39 70 64 0 0 0 45 21 42 50 48 88 56 0 0 49 49 0 58 64 44 56 55 55 0 15 15 47 50 61 50 75 41 0 0 69 69 0 68 48 10 32 0 47 47 51 51 67 69 47 66 105 80 0 0 14 14 45 45 0 0 74 65 31 91 41 64 0 51 51 21 31 18 0 35 44 70 0 0 55 30 57 36 0 48 48 0 81 81 0 39 48 104 75 0 0 41 41 0 0 27 27 0 35 31 22 50 51 10 105 94 44 10 39 0 0 70 58 49 69 88 88 0 92 75 27 0 0 31 31 0 0 75 69 14 47 18 18 0 0 64 64 59 59 14 14 0 0 56 50 42 81 0 44 51 79 0 44 55 90 41 67 10 69 0 73 73 0 31 31 0 69 69 0 21 35 42 0 0 81 41 50 68 46 46 53 53 0 68 30 57 48 0 55 45 49 30 81 68 0 0 81 51 75 69 0 51 10 43 0 79 14 67 105 105 0 93 93 0 0 69 14 34 55 0 74 31 65 10 10 0 0 101 101 51 51 66 61 55 75 75 73 73 0 103 103 105 49 61 69 66 66 0 67 44 55 70 21 69 0 44 44 10 101 105 70 70 0 64 64 0 0 0 0 90 104 81 90 0 30 30 101 101 57 10 64 105 48 56 18 73 94 94 0 0 80 80 0 0 0 0 0 0 69 64 55 90 0 0 41 59 75 66 93 67 50 0 0 59 48 21 91 75 50 61 0 0
252.06/223.62	v       </values>
252.06/223.62	v     </instantiation>
252.06/223.62	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 (9684 MiB free)
  memory of node 1: 16384 MiB (12635 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302334-1532898258/watcher-4302334-1532898258 -o /tmp/evaluation-result-4302334-1532898258/solver-4302334-1532898258 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17593 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1011097505 HOME/instance-4302334-1532898258.xml 

running on 4 cores: 1,3,5,7

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=22299, runsolver pid=22296

[startup+0.100095 s]*
/proc/loadavg: 1.87 1.79 1.72 3/207 22356
/proc/meminfo: memFree=22849376/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=10005480 memory=17216 CPUtime=0.09 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 4447 13129 0 0 1 0 5 3 20 0 6 0 107388991 10245611520 4304 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2501370 4304 1935 1 0 2489808 0
[pid=22299/tid=22352] ppid=22296 vsize=10005480 memory=4279135704013569934 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 2264 13129 0 0 0 0 5 3 20 0 6 0 107389000 10245611520 4304 33554432000 4194304 4196468 140725495464480 139958699733584 139958711977310 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 6 0 107389001 10245611520 4304 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=10005480 memory=139919259108992 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 6 0 107389001 10245611520 4304 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 6 0 107389001 10245611520 4304 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 2 13129 0 0 0 0 5 3 20 0 6 0 107389001 10245611520 4304 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17216 KiB

[startup+0.209986 s]*
/proc/loadavg: 1.87 1.79 1.72 3/216 22365
/proc/meminfo: memFree=22824372/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=10982744 memory=45916 CPUtime=0.26 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 8209 13129 0 0 16 2 5 3 20 0 15 0 107388991 11246329856 11479 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2745686 11479 2948 1 0 2708109 0
[pid=22299/tid=22352] ppid=22296 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 4771 13129 0 0 10 1 5 3 20 0 15 0 107389000 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958699693744 139958727908758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=10982744 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=10982744 memory=288370295410820736 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 2 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=10982744 memory=139919259108992 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 2 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 13 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246329856 11479 33554432000 4194304 4196468 140725495464480 139957549130656 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246329856 11479 33554432000 4194304 4196468 140725495464480 139957347804144 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11246329856 11479 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 351 13129 0 0 1 0 5 3 20 0 15 0 107389006 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 258 13129 0 0 1 0 5 3 20 0 15 0 107389006 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=10982744 memory=139919259108992 CPUtime=0.11 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) R 22296 22299 6396 0 -1 4202560 617 13129 0 0 3 0 5 3 20 0 15 0 107389006 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958149954288 139958706570012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11246329856 11479 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=10982744 memory=139919259108992 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389007 11246329856 11479 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45916 KiB

[startup+0.310219 s]*
/proc/loadavg: 1.87 1.79 1.72 3/216 22365
/proc/meminfo: memFree=22813292/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=10983192 memory=56620 CPUtime=0.39 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 10705 13129 0 0 28 3 5 3 20 0 15 0 107388991 11246788608 14155 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2745798 14155 3067 1 0 2708109 0
[pid=22299/tid=22352] ppid=22296 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 7257 13129 0 0 19 2 5 3 20 0 15 0 107389000 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958699686352 139958727918749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 2 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 2 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 13 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246788608 14155 33554432000 4194304 4196468 140725495464480 139957549130656 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246788608 14155 33554432000 4194304 4196468 140725495464480 139957347804144 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11246788608 14155 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 351 13129 0 0 1 0 5 3 20 0 15 0 107389006 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 259 13129 0 0 1 0 5 3 20 0 15 0 107389006 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=10983192 memory=139919259108992 CPUtime=0.13 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) S 22296 22299 6396 0 -1 1077944384 622 13129 0 0 5 0 5 3 20 0 15 0 107389006 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958149954288 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11246788608 14155 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=10983192 memory=139919259108992 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389007 11246788608 14155 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56620 KiB

[startup+0.70073 s]
/proc/loadavg: 1.87 1.79 1.72 3/216 22365
/proc/meminfo: memFree=22802624/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=10983192 memory=88904 CPUtime=1 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 16782 13129 0 0 88 4 5 3 20 0 15 0 107388991 11246788608 22226 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2745798 22226 3238 1 0 2708109 0
[pid=22299/tid=22352] ppid=22296 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 12319 13129 0 0 56 3 5 3 20 0 15 0 107389000 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958699717648 139958708172153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 2 13129 0 0 0 0 5 3 20 0 15 0 107389001 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 6 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=10983192 memory=139919163011792 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 13 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246788608 22226 33554432000 4194304 4196468 140725495464480 139957549130656 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=10983192 memory=139921444569699 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389003 11246788608 22226 33554432000 4194304 4196468 140725495464480 139957347804144 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=10983192 memory=8600 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11246788608 22226 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=10983192 memory=7234564758908855872 CPUtime=0.17 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 899 13129 0 0 9 0 5 3 20 0 15 0 107389006 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=10983192 memory=7597685182856913236 CPUtime=0.15 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 678 13129 0 0 7 0 5 3 20 0 15 0 107389006 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=10983192 memory=5787220445994897765 CPUtime=0.21 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) S 22296 22299 6396 0 -1 1077944384 665 13129 0 0 13 0 5 3 20 0 15 0 107389006 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958149954288 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=10983192 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11246788608 22226 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389007 11246788608 22226 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88904 KiB

[startup+1.50072 s]
/proc/loadavg: 1.87 1.79 1.72 3/216 22365
/proc/meminfo: memFree=22756912/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=10993996 memory=197748 CPUtime=3.13 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 23286 13129 0 0 297 8 5 3 20 0 15 0 107388991 11257851904 49437 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2748499 49437 3452 1 0 2710157 0
[pid=22299/tid=22352] ppid=22296 vsize=10993996 memory=12813 CPUtime=1.46 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 15675 13129 0 0 132 6 5 3 20 0 15 0 107389000 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958699728672 139958713266731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=10993996 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=10993996 memory=109 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389001 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=10993996 memory=88904 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 2 13129 0 0 0 0 5 3 20 0 15 0 107389001 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 14 13129 0 0 0 0 5 3 20 0 15 0 107389003 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=10993996 memory=279838325965296 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 13 13129 0 0 0 0 5 3 20 0 15 0 107389003 11257851904 49437 33554432000 4194304 4196468 140725495464480 139957549130656 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=10993996 memory=279838326016096 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389003 11257851904 49437 33554432000 4194304 4196468 140725495464480 139957347804144 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=10993996 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11257851904 49437 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=10993996 memory=4638778398332698720 CPUtime=0.67 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 1663 13129 0 0 59 0 5 3 20 0 15 0 107389006 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=10993996 memory=279838326299520 CPUtime=0.64 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 2146 13129 0 0 56 0 5 3 20 0 15 0 107389006 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=10993996 memory=-7531822216213012384 CPUtime=0.55 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) S 22296 22299 6396 0 -1 1077944384 1573 13129 0 0 47 0 5 3 20 0 15 0 107389006 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958149954288 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=10993996 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11257851904 49437 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=10993996 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1 13129 0 0 0 0 5 3 20 0 15 0 107389007 11257851904 49437 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10993996 KiB

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

/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 61813 13129 0 0 10101 34 5 3 20 0 15 0 107389000 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958699729352 139958322172708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=11082080 memory=1966092 CPUtime=0.7 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 987 13129 0 0 47 15 5 3 20 0 15 0 107389001 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=11082080 memory=1966092 CPUtime=0.73 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 3991 13129 0 0 50 15 5 3 20 0 15 0 107389001 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=11082080 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 1291 13129 0 0 46 14 5 3 20 0 15 0 107389001 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=11082080 memory=235958926600373 CPUtime=0.69 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 1791 13129 0 0 47 14 5 3 20 0 15 0 107389001 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=11082080 memory=1957968 CPUtime=0.19 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 3483 13129 0 0 11 0 5 3 20 0 15 0 107389003 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 20 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 491523 33554432000 4194304 4196468 140725495464480 139957549130784 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=11082080 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 7 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 491523 33554432000 4194304 4196468 140725495464480 139957347804320 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=11082080 memory=4137290302819557456 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 491523 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=11082080 memory=1200 CPUtime=10.19 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 20709 13129 0 0 1006 5 5 3 20 0 15 0 107389006 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=11082080 memory=8600 CPUtime=10.73 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 20266 13129 0 0 1060 5 5 3 20 0 15 0 107389006 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=11082080 memory=279838326911360 CPUtime=3.46 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) S 22296 22299 6396 0 -1 1077944384 21603 13129 0 0 333 5 5 3 20 0 15 0 107389006 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958149954288 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=11082080 memory=12806 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 491523 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=11082080 memory=24393 CPUtime=0.13 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1070 13129 0 0 2 3 5 3 20 0 15 0 107389007 11348049920 491523 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 128.34 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1966092 KiB

[startup+162.301 s]
/proc/loadavg: 1.29 1.60 1.66 3/215 22367
/proc/meminfo: memFree=21100004/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=11082080 memory=1773860 CPUtime=189.48 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 157313 13129 0 0 18819 121 5 3 20 0 15 0 107388991 11348049920 443465 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2770520 443465 3533 1 0 2732173 0
[pid=22299/tid=22352] ppid=22296 vsize=11082080 memory=7 CPUtime=161.24 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 64431 13129 0 0 16081 35 5 3 20 0 15 0 107389000 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958699731200 139958312826160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=11082080 memory=1785656 CPUtime=0.84 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1045 13129 0 0 60 16 5 3 20 0 15 0 107389001 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=11082080 memory=1773860 CPUtime=0.88 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 4176 13129 0 0 64 16 5 3 20 0 15 0 107389001 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=11082080 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 2011 13129 0 0 59 15 5 3 20 0 15 0 107389001 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=11082080 memory=30520 CPUtime=0.84 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 3053 13129 0 0 61 15 5 3 20 0 15 0 107389001 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=11082080 memory=1292 CPUtime=0.23 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 3835 13129 0 0 14 1 5 3 20 0 15 0 107389003 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=11082080 memory=1782580 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 20 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 443465 33554432000 4194304 4196468 140725495464480 139957549130784 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=11082080 memory=1823948 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 7 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 443465 33554432000 4194304 4196468 140725495464480 139957347804320 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=11082080 memory=1802072 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 443465 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=11082080 memory=1802072 CPUtime=10.27 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 23983 13129 0 0 1014 5 5 3 20 0 15 0 107389006 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=11082080 memory=1791812 CPUtime=11.3 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 26864 13129 0 0 1117 5 5 3 20 0 15 0 107389006 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=11082080 memory=30520 CPUtime=3.51 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) S 22296 22299 6396 0 -1 1077944384 24589 13129 0 0 337 6 5 3 20 0 15 0 107389006 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958149954288 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=11082080 memory=1816252 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 443465 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=11082080 memory=1823948 CPUtime=0.16 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1104 13129 0 0 3 5 5 3 20 0 15 0 107389007 11348049920 443465 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 189.48 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1773860 KiB

[startup+222.301 s]
/proc/loadavg: 1.25 1.53 1.63 3/215 22499
/proc/meminfo: memFree=21601424/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=11082080 memory=1592024 CPUtime=250.74 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 171876 13129 0 0 24937 129 5 3 20 0 15 0 107388991 11348049920 398006 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2770520 398006 3533 1 0 2732173 0
[pid=22299/tid=22352] ppid=22296 vsize=11082080 memory=1594588 CPUtime=220.83 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 66714 13129 0 0 22039 36 5 3 20 0 15 0 107389000 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958699731056 139958320646519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=11082080 memory=1592024 CPUtime=1.11 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1787 13129 0 0 86 17 5 3 20 0 15 0 107389001 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=11082080 memory=1756424 CPUtime=1.13 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 4407 13129 0 0 88 17 5 3 20 0 15 0 107389001 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=11082080 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 2164 13129 0 0 84 16 5 3 20 0 15 0 107389001 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=11082080 memory=8315171486948655189 CPUtime=1.1 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 4262 13129 0 0 86 16 5 3 20 0 15 0 107389001 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=11082080 memory=1597676 CPUtime=0.36 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 4214 13129 0 0 25 3 5 3 20 0 15 0 107389003 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=11082080 memory=1597676 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 20 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 398006 33554432000 4194304 4196468 140725495464480 139957549130784 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=11082080 memory=8600 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 7 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 398006 33554432000 4194304 4196468 140725495464480 139957347804320 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=11082080 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 398006 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=11082080 memory=1593564 CPUtime=10.62 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 30771 13129 0 0 1048 6 5 3 20 0 15 0 107389006 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=11082080 memory=4128 CPUtime=11.39 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 27970 13129 0 0 1125 6 5 3 20 0 15 0 107389006 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=11082080 memory=1593048 CPUtime=3.54 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) S 22296 22299 6396 0 -1 1077944384 26240 13129 0 0 340 6 5 3 20 0 15 0 107389006 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958149954288 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=11082080 memory=1593564 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 398006 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=11082080 memory=1596640 CPUtime=0.2 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1125 13129 0 0 6 6 5 3 20 0 15 0 107389007 11348049920 398006 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 250.74 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1592024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+223.601 s]
/proc/loadavg: 1.25 1.53 1.63 3/215 22499
/proc/meminfo: memFree=21608896/32770624 swapFree=67108860/67108860
[pid=22299] ppid=22296 vsize=11082080 memory=1589972 CPUtime=252.06 cores=1,3,5,7
/proc/22299/stat : 22299 (java) S 22296 22299 6396 0 -1 1077944320 171881 13129 0 0 25069 129 5 3 20 0 15 0 107388991 11348049920 397493 33554432000 4194304 4196468 140725495464480 140725495447024 139958727896823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
/proc/22299/statm: 2770520 397493 3533 1 0 2732173 0
[pid=22299/tid=22352] ppid=22296 vsize=11082080 memory=1228 CPUtime=222.12 cores=1,3,5,7
/proc/22299/task/22352/stat : 22352 (java) R 22296 22299 6396 0 -1 4202560 66717 13129 0 0 22168 36 5 3 20 0 15 0 107389000 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958699731120 139958312570880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22353] ppid=22296 vsize=11082080 memory=1952 CPUtime=1.11 cores=1,3,5,7
/proc/22299/task/22353/stat : 22353 (java) S 22296 22299 6396 0 -1 1077944384 1788 13129 0 0 86 17 5 3 20 0 15 0 107389001 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958732139280 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22354] ppid=22296 vsize=11082080 memory=1200 CPUtime=1.14 cores=1,3,5,7
/proc/22299/task/22354/stat : 22354 (java) S 22296 22299 6396 0 -1 1077944384 4407 13129 0 0 89 17 5 3 20 0 15 0 107389001 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958267075472 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22355] ppid=22296 vsize=11082080 memory=8600 CPUtime=1.09 cores=1,3,5,7
/proc/22299/task/22355/stat : 22355 (java) S 22296 22299 6396 0 -1 1077944384 2164 13129 0 0 85 16 5 3 20 0 15 0 107389001 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958266022928 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22356] ppid=22296 vsize=11082080 memory=4616 CPUtime=1.1 cores=1,3,5,7
/proc/22299/task/22356/stat : 22356 (java) S 22296 22299 6396 0 -1 1077944384 4263 13129 0 0 86 16 5 3 20 0 15 0 107389001 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958264970384 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22357] ppid=22296 vsize=11082080 memory=1428 CPUtime=0.36 cores=1,3,5,7
/proc/22299/task/22357/stat : 22357 (java) S 22296 22299 6396 0 -1 1077944384 4214 13129 0 0 25 3 5 3 20 0 15 0 107389003 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958153111536 139958727907970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22358] ppid=22296 vsize=11082080 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22358/stat : 22358 (java) S 22296 22299 6396 0 -1 1077944384 20 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 397493 33554432000 4194304 4196468 140725495464480 139957549130784 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22359] ppid=22296 vsize=11082080 memory=16412 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22359/stat : 22359 (java) S 22296 22299 6396 0 -1 1077944384 7 13129 0 0 0 0 5 3 20 0 15 0 107389003 11348049920 397493 33554432000 4194304 4196468 140725495464480 139957347804320 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22360] ppid=22296 vsize=11082080 memory=17468 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22360/stat : 22360 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 397493 33554432000 4194304 4196468 140725495464480 139957040404688 139958727915419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22361] ppid=22296 vsize=11082080 memory=4048 CPUtime=10.62 cores=1,3,5,7
/proc/22299/task/22361/stat : 22361 (java) S 22296 22299 6396 0 -1 1077944384 30771 13129 0 0 1048 6 5 3 20 0 15 0 107389006 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958152059376 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22362] ppid=22296 vsize=11082080 memory=1796 CPUtime=11.39 cores=1,3,5,7
/proc/22299/task/22362/stat : 22362 (java) S 22296 22299 6396 0 -1 1077944384 27970 13129 0 0 1125 6 5 3 20 0 15 0 107389006 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958151006832 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22363] ppid=22296 vsize=11082080 memory=636 CPUtime=3.54 cores=1,3,5,7
/proc/22299/task/22363/stat : 22363 (java) S 22296 22299 6396 0 -1 1077944384 26240 13129 0 0 340 6 5 3 20 0 15 0 107389006 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958149954288 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22364] ppid=22296 vsize=11082080 memory=960 CPUtime=0.08 cores=1,3,5,7
/proc/22299/task/22364/stat : 22364 (java) S 22296 22299 6396 0 -1 1077944384 3 13129 0 0 0 0 5 3 20 0 15 0 107389006 11348049920 397493 33554432000 4194304 4196468 140725495464480 139956609608800 139958727907029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
[pid=22299/tid=22365] ppid=22296 vsize=11082080 memory=1232 CPUtime=0.2 cores=1,3,5,7
/proc/22299/task/22365/stat : 22365 (java) S 22296 22299 6396 0 -1 1077944384 1125 13129 0 0 6 6 5 3 20 0 15 0 107389007 11348049920 397493 33554432000 4194304 4196468 140725495464480 139958148901168 139958727907970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25808896 140725495470705 140725495473505 140725495473505 140725495476175 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1589972 KiB

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

[startup+223.641 s]
# the end of solver process 22299 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.763 s, system=1.34438 s

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

Child status: 143
Real time (s): 223.641
CPU time (s): 252.107
CPU user time (s): 250.763
CPU system time (s): 1.34438
CPU usage (%): 112.729
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1969184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.763
system time used= 1.34437
maximum resident set size= 1978420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187128
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= 20087
involuntary context switches= 438


# summary of solver processes directly reported to runsolver:
#   pid: 22299
#   total CPU time (s): 252.107
#   total CPU user time (s): 250.763
#   total CPU system time (s): 1.34438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03957 second user time and 2.45434 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml
MD5SUM	7a3ba77b7a6be046779b0525cfa105c0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14558
Best CPU time to get the best result obtained on this benchmark	252.059
Satisfiable
(Un)Satisfiability was proved
Number of variables	1470
Number of constraints	5725
Number of domains	3
Minimum domain size	2
Maximum domain size	57
Distribution of domain sizes	[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree	2
Maximum variable degree	44
Distribution of variable degrees	[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints	378
Number of intensional constraints	4565
Distribution of constraint types	[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4302334

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