Trace number 4295449

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)24182 2520.16 2443.83

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a2-galaxy16_c18.xml
MD5SUM8cfce4baee5c579b6f10529c309e3c1c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23338
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints8495
Number of domains3
Minimum domain size2
Maximum domain size66
Distribution of domain sizes[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints496
Number of intensional constraints6977
Distribution of constraint types[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.99/0.73	c Concrete v3.8.1528841891564 running
137.11/110.21	o 24956
137.73/110.63	o 24954
137.73/110.66	o 24931
168.59/140.55	o 24772
168.59/140.57	o 24711
169.18/141.06	o 24659
179.30/150.64	o 24653
326.80/296.17	o 24591
345.19/314.25	o 24491
345.29/314.36	o 24398
375.49/343.90	o 24382
375.49/343.92	o 24373
375.49/343.94	o 24268
453.47/420.25	o 24222
453.47/420.29	o 24182
2520.10/2443.81	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.10/2443.81		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.10/2443.81		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.10/2443.81		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.10/2443.81		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.10/2443.81		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.10/2443.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.10/2443.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.10/2443.81		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.10/2443.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.10/2443.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.10/2443.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.10/2443.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.10/2443.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.10/2443.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.10/2443.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.10/2443.81		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.10/2443.81		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.10/2443.81		at scala.Option.map(Option.scala:146)
2520.10/2443.81		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.10/2443.81		at concrete.MAC.mac(MAC.scala:203)
2520.10/2443.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.10/2443.81		at scala.util.Try$.apply(Try.scala:209)
2520.10/2443.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.10/2443.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.10/2443.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.10/2443.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.10/2443.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.10/2443.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.10/2443.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.10/2443.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.10/2443.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.10/2443.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.10/2443.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.10/2443.81		at concrete.MAC.nextSolution(MAC.scala:355)
2520.10/2443.81		at concrete.Solver.hasNext(Solver.scala:166)
2520.10/2443.81		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.10/2443.81		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.10/2443.81		at concrete.Solver.foreach(Solver.scala:68)
2520.10/2443.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.10/2443.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.10/2443.81		at scala.util.Success.map(Try.scala:209)
2520.10/2443.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.10/2443.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.10/2443.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.10/2443.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.10/2443.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.10/2443.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.10/2443.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.10/2443.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.10/2443.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.10/2443.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.10/2443.81		at scala.App.main(App.scala:76)
2520.10/2443.81		at scala.App.main$(App.scala:74)
2520.10/2443.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.10/2443.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.10/2443.82	v <instantiation cost="24182">
2520.10/2443.82	v       <list>
2520.10/2443.82	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[0][26] o[0][27] o[0][28] o[0][29] 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[1][26] o[1][27] o[1][28] o[1][29] 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[2][26] o[2][27] o[2][28] o[2][29] 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[3][26] o[3][27] o[3][28] o[3][29] 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[4][26] o[4][27] o[4][28] o[4][29] 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[5][26] o[5][27] o[5][28] o[5][29] 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[6][26] o[6][27] o[6][28] o[6][29] 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[7][26] o[7][27] o[7][28] o[7][29] 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[8][26] o[8][27] o[8][28] o[8][29] 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[9][26] o[9][27] o[9][28] o[9][29] 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[10][26] o[10][27] o[10][28] o[10][29] 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[11][26] o[11][27] o[11][28] o[11][29] 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[12][26] o[12][27] o[12][28] o[12][29] 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] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] 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[0][26] h[0][27] h[0][28] h[0][29] 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[1][26] h[1][27] h[1][28] h[1][29] 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[2][26] h[2][27] h[2][28] h[2][29] 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[3][26] h[3][27] h[3][28] h[3][29] 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[4][26] h[4][27] h[4][28] h[4][29] 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[5][26] h[5][27] h[5][28] h[5][29] 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[6][26] h[6][27] h[6][28] h[6][29] 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[7][26] h[7][27] h[7][28] h[7][29] 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[8][26] h[8][27] h[8][28] h[8][29] 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[9][26] h[9][27] h[9][28] h[9][29] 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[10][26] h[10][27] h[10][28] h[10][29] 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[11][26] h[11][27] h[11][28] h[11][29] 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[12][26] h[12][27] h[12][28] h[12][29] 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] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] 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[0][26] a[0][27] a[0][28] a[0][29] 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[1][26] a[1][27] a[1][28] a[1][29] 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[2][26] a[2][27] a[2][28] a[2][29] 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[3][26] a[3][27] a[3][28] a[3][29] 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[4][26] a[4][27] a[4][28] a[4][29] 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[5][26] a[5][27] a[5][28] a[5][29] 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[6][26] a[6][27] a[6][28] a[6][29] 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[7][26] a[7][27] a[7][28] a[7][29] 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[8][26] a[8][27] a[8][28] a[8][29] 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[9][26] a[9][27] a[9][28] a[9][29] 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[10][26] a[10][27] a[10][28] a[10][29] 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[11][26] a[11][27] a[11][28] a[11][29] 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[12][26] a[12][27] a[12][28] a[12][29] 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] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] 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[0][27] t[0][28] t[0][29] t[0][30] 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[1][27] t[1][28] t[1][29] t[1][30] 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[2][27] t[2][28] t[2][29] t[2][30] 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[3][27] t[3][28] t[3][29] t[3][30] 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[4][27] t[4][28] t[4][29] t[4][30] 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[5][27] t[5][28] t[5][29] t[5][30] 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[6][27] t[6][28] t[6][29] t[6][30] 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[7][27] t[7][28] t[7][29] t[7][30] 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[8][27] t[8][28] t[8][29] t[8][30] 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[9][27] t[9][28] t[9][29] t[9][30] 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[10][27] t[10][28] t[10][29] t[10][30] 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[11][27] t[11][28] t[11][29] t[11][30] 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[12][27] t[12][28] t[12][29] t[12][30] 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] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30]
2520.10/2443.82	v       </list>
2520.10/2443.82	v       <values>
2520.10/2443.82	v         9 12 8 6 9 10 11 2 6 8 4 11 10 5 1 3 3 15 2 13 7 1 4 13 15 7 14 5 14 12 15 3 10 12 8 4 13 6 9 13 15 9 11 6 0 14 12 5 4 14 8 0 7 2 7 11 3 10 2 5 4 7 7 5 3 6 8 0 14 10 10 13 15 12 5 11 11 14 0 8 4 6 9 1 3 13 15 12 1 9 14 1 15 4 2 7 12 15 4 6 12 10 7 9 6 0 0 8 11 10 13 5 14 5 2 8 1 9 13 11 2 14 12 3 6 1 9 14 3 5 0 12 9 13 8 8 10 11 1 11 2 10 0 7 5 6 13 15 7 15 10 6 6 2 15 14 14 8 7 4 13 15 13 0 2 12 7 1 10 9 12 3 8 3 4 9 11 0 11 1 12 5 5 0 4 2 7 1 0 3 8 14 14 1 3 13 15 13 8 15 11 2 10 12 11 4 9 7 9 10 8 2 2 10 14 3 6 11 5 9 9 8 3 15 11 15 5 12 13 12 0 13 1 4 1 0 10 6 4 14 7 10 0 15 1 11 2 5 10 0 6 7 12 11 4 4 13 3 6 2 1 9 5 9 14 3 12 14 15 13 0 13 11 11 0 12 4 12 1 7 7 1 4 3 15 10 14 10 14 5 15 8 2 8 13 5 6 3 6 2 5 8 1 7 11 0 15 13 8 2 2 3 0 14 13 9 4 9 5 3 14 4 6 11 12 15 7 1 12 6 13 15 9 9 10 8 0 7 12 12 14 0 1 8 7 2 2 4 3 4 6 14 15 10 6 1 5 13 5 3 6 0 4 1 13 9 3 9 11 11 3 4 8 2 14 5 1 7 15 7 5 15 13 6 10 14 8 2 10 0 11 9 14 14 12 15 1 10 15 1 5 2 5 4 10 6 8 6 7 0 3 7 12 0 9 2 4 11 3 8 3 4 13 13 7 5 5 4 2 15 11 6 6 10 12 1 9 2 9 1 10 11 3 15 8 12 0 8 0 7 1 11 3 8 5 13 10 3 13 14 1 5 2 7 9 7 6 0 12 6 9 12 11 14 0 10 2 4 8 4 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 51 30 57 44 44 55 10 55 0 48 21 36 0 39 39 34 34 0 15 61 59 10 10 0 59 57 44 0 59 59 0 68 68 65 65 46 21 31 39 39 64 64 43 105 64 10 10 55 55 0 53 53 0 44 56 22 0 32 32 0 40 40 0 0 56 48 50 56 56 15 15 55 55 0 59 59 0 58 58 56 56 53 21 45 49 49 47 50 61 48 55 22 0 0 32 68 63 47 56 14 0 51 51 80 101 69 0 47 47 34 34 66 66 0 41 93 72 0 68 68 67 93 50 0 45 45 0 51 51 0 55 17 70 35 35 73 73 91 104 21 0 70 64 31 0 74 55 36 0 18 18 90 57 64 0 51 51 27 27 0 93 93 42 42 0 75 32 69 0 50 50 48 44 40 81 30 94 0 41 51 35 44 55 39 0 0 88 94 27 0 18 18 59 59 44 34 47 83 83 39 39 92 32 91 31 31 0 56 56 0 70 70 69 69 0 75 75 81 53 56 0 82 82 0 67 44 48 79 79 14 14 0 57 57 90 90 41 44 44 0 64 31 44 69 75 59 0 0 0 0 48 59 97 0 53 53 73 73 31 59 81 69 69 21 21 68 68 0 46 46 42 81 68 0 81 27 84 104 104 0 0 105 105 51 57 30 0 43 44 79 0 55 51 67 0 17 111 103 0 103 97 68 0 93 75 81 0 69 56 49 0 73 73 69 67 10 39 32 66 0 55 55 55 59 111 103 55 74 51 41 69 0 75 75 101 101 0 65 65 0 0 69 69 0 105 105 69 69 0 105 105 113 59 55 0 67 67 58 58 0 70 18 70 45 39 10 64 64 0 44 41 66 0 0 73 31 55 0 80 67 30 105 105 0 81 53 48 94 94 0 97 57 90 0 90 92 88 27 27 0 101 55 57 0 93 17 91 90 90 64 64 32 32 0 61 50 75 66 66 104 31 92 0 50 14 41 59 59 0 91 70 69 0 0 72 51 70 91 91 0 93 93 56 59 105 0 83 83 27 55 53 0 17 17 111 10 113 0 84 84 59 59 0 82 82 0 45 45 0 69 75 32 63 63 0 68 68 0 57 79 103 0 59 59 91 91 97 97 105 105 39 55 59 97 21 90
2520.10/2443.82	v       </values>
2520.10/2443.82	v     </instantiation>
2520.10/2443.82	s SATISFIABLE

Verifier Data

OK	24182

Watcher Data

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 (5117 MiB free)
  memory of node 1: 16384 MiB (10518 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295449-1532552918/watcher-4295449-1532552918 -o /tmp/evaluation-result-4295449-1532552918/solver-4295449-1532552918 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23735 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1753066015 HOME/instance-4295449-1532552918.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=31124, runsolver pid=31121
Current StackSize limit: 8192 KiB


[startup+0.100817 s]*
/proc/loadavg: 1.65 1.44 1.42 2/206 31181
/proc/meminfo: memFree=16004548/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=9972712 memory=18852 CPUtime=0.08 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 4388 13110 0 0 1 0 4 3 20 0 6 0 72854980 10212057088 4713 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2493178 4713 1934 1 0 2481616 0
[pid=31124/tid=31177] ppid=31121 vsize=9972712 memory=4279135703946724751 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 2192 13110 0 0 0 0 4 3 20 0 6 0 72854989 10212057088 4713 33554432000 4194304 4196468 140731904345328 140306909610576 140306937795741 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 6 0 72854990 10212057088 4713 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=9972712 memory=140386320078464 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 6 0 72854990 10212057088 4778 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 6 0 72854990 10212057088 4778 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 2 13110 0 0 0 0 4 3 20 0 6 0 72854990 10212057088 4778 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18852 KiB

[startup+0.209772 s]*
/proc/loadavg: 1.65 1.44 1.42 3/215 31190
/proc/meminfo: memFree=15983264/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=10818904 memory=44724 CPUtime=0.26 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 7925 13110 0 0 17 2 4 3 20 0 15 0 72854980 11078557696 11181 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2704726 11181 2960 1 0 2667149 0
[pid=31124/tid=31177] ppid=31121 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) D 31121 31124 23703 0 -1 1077944384 4481 13110 0 0 10 1 4 3 20 0 15 0 72854989 11078557696 11181 33554432000 4194304 4196468 140731904345328 140306909598624 140306930453037 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11078557696 11181 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10818904 memory=140386320078464 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11078557696 11181 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11078557696 11181 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 2 13110 0 0 0 0 4 3 20 0 15 0 72854990 11078590464 11181 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10818936 memory=140386320078464 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 2 13110 0 0 0 0 4 3 20 0 15 0 72854992 11078590464 11247 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 13 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079573504 11247 33554432000 4194304 4196468 140731904345328 140305844135456 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079573504 11247 33554432000 4194304 4196468 140731904345328 140305709917552 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079573504 11247 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10819896 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) S 31121 31124 23703 0 -1 1077944384 434 13110 0 0 1 0 4 3 20 0 15 0 72854995 11079573504 11247 33554432000 4194304 4196468 140731904345328 140306463299952 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) S 31121 31124 23703 0 -1 1077944384 177 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079573504 11247 33554432000 4194304 4196468 140731904345328 140306462247152 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10819896 memory=140386320078464 CPUtime=0.1 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) S 31121 31124 23703 0 -1 1077944384 613 13110 0 0 3 0 4 3 20 0 15 0 72854995 11079573504 11313 33554432000 4194304 4196468 140731904345328 140306461194352 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079573504 11313 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10819896 memory=140386320078464 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079573504 11313 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44724 KiB

[startup+0.310175 s]*
/proc/loadavg: 1.65 1.44 1.42 3/215 31190
/proc/meminfo: memFree=15971108/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=10819352 memory=55428 CPUtime=0.38 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 10433 13110 0 0 29 2 4 3 20 0 15 0 72854980 11079016448 13857 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2704838 13857 3079 1 0 2667149 0
[pid=31124/tid=31177] ppid=31121 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 6982 13110 0 0 19 2 4 3 20 0 15 0 72854989 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306909585824 140306937795741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10819352 memory=7445101439888674896 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 2 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 2 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 13 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079016448 13857 33554432000 4194304 4196468 140731904345328 140305844135456 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079016448 13857 33554432000 4194304 4196468 140731904345328 140305709917552 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079016448 13857 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) S 31121 31124 23703 0 -1 1077944384 434 13110 0 0 1 0 4 3 20 0 15 0 72854995 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306463299952 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) S 31121 31124 23703 0 -1 1077944384 178 13110 0 0 1 0 4 3 20 0 15 0 72854995 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306462247152 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) R 31121 31124 23703 0 -1 4202560 619 13110 0 0 5 0 4 3 20 0 15 0 72854995 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306461194352 140306918109329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079016448 13857 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079016448 13857 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55428 KiB

[startup+0.700765 s]
/proc/loadavg: 1.65 1.44 1.42 3/215 31190
/proc/meminfo: memFree=15959820/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=10819352 memory=88464 CPUtime=0.99 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 16729 13110 0 0 87 5 4 3 20 0 15 0 72854980 11079016448 22116 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2704838 22116 3237 1 0 2667149 0
[pid=31124/tid=31177] ppid=31121 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 12213 13110 0 0 56 3 4 3 20 0 15 0 72854989 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306909594640 140306937787664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10819352 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 2 13110 0 0 0 0 4 3 20 0 15 0 72854990 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 5 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 13 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079016448 22116 33554432000 4194304 4196468 140731904345328 140305844135456 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854992 11079016448 22116 33554432000 4194304 4196468 140731904345328 140305709917552 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079016448 22116 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10819352 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) S 31121 31124 23703 0 -1 1077944384 1011 13110 0 0 9 0 4 3 20 0 15 0 72854995 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306463299952 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10819352 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) S 31121 31124 23703 0 -1 1077944384 582 13110 0 0 7 0 4 3 20 0 15 0 72854995 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306462247152 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) S 31121 31124 23703 0 -1 1077944384 700 13110 0 0 13 0 4 3 20 0 15 0 72854995 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306461194352 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079016448 22116 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854995 11079016448 22116 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88464 KiB

[startup+1.5015 s]
/proc/loadavg: 1.76 1.47 1.43 3/215 31190
/proc/meminfo: memFree=15913364/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=10828108 memory=211244 CPUtime=3.12 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 22815 13110 0 0 297 8 4 3 20 0 15 0 72854980 11087982592 52811 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2707027 52811 3456 1 0 2668685 0
[pid=31124/tid=31177] ppid=31121 vsize=10828108 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 15061 13110 0 0 132 6 4 3 20 0 15 0 72854989 11087982592 52811 33554432000 4194304 4196468 140731904345328 140306909606320 140306537171682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11087982592 52811 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854990 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 2 13110 0 0 0 0 4 3 20 0 15 0 72854990 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10828108 memory=1399103955520229747 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 6 13110 0 0 0 0 4 3 20 0 15 0 72854992 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10828108 memory=280772346980608 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 13 13110 0 0 0 0 4 3 20 0 15 0 72854992 11087982592 53323 33554432000 4194304 4196468 140731904345328 140305844135456 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854992 11087982592 53323 33554432000 4194304 4196468 140731904345328 140305709917552 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10828108 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11087982592 53323 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10828108 memory=832 CPUtime=0.65 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) R 31121 31124 23703 0 -1 4202560 2254 13110 0 0 58 0 4 3 20 0 15 0 72854995 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306463285832 140306915368726 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10828108 memory=1600 CPUtime=0.64 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) R 31121 31124 23703 0 -1 4202560 1626 13110 0 0 57 0 4 3 20 0 15 0 72854995 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306462226944 140306921158415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10828108 memory=5024 CPUtime=0.55 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) R 31121 31124 23703 0 -1 4202560 1650 13110 0 0 48 0 4 3 20 0 15 0 72854995 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306461194352 140306937795162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10828108 memory=4032 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11087982592 53323 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10828108 memory=1284 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 1 13110 0 0 0 0 4 3 20 0 15 0 72854995 11087982592 53323 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10828108 KiB

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

/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 114393 13110 0 0 229854 62 4 3 20 0 15 0 72854989 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306909608624 140306537970340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10918240 memory=997892 CPUtime=15.15 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 31191 13110 0 0 1460 48 4 3 20 0 15 0 72854990 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10918240 memory=1005588 CPUtime=15.16 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 23091 13110 0 0 1464 45 4 3 20 0 15 0 72854990 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10918240 memory=1000972 CPUtime=15.19 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 21602 13110 0 0 1466 46 4 3 20 0 15 0 72854990 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10918240 memory=1006616 CPUtime=15.1 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 20569 13110 0 0 1454 49 4 3 20 0 15 0 72854990 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10918240 memory=997892 CPUtime=5.87 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 19873 13110 0 0 528 52 4 3 20 0 15 0 72854992 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10918240 memory=997892 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 24 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 249473 33554432000 4194304 4196468 140731904345328 140305844135520 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10918240 memory=997892 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 10 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 249473 33554432000 4194304 4196468 140731904345328 140305709917568 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10918240 memory=998920 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 249473 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10918240 memory=998920 CPUtime=12.6 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) S 31121 31124 23703 0 -1 1077944384 105399 13110 0 0 1242 11 4 3 20 0 15 0 72854995 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306463299952 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10918240 memory=997892 CPUtime=12.72 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) S 31121 31124 23703 0 -1 1077944384 112488 13110 0 0 1254 11 4 3 20 0 15 0 72854995 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306462247152 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10918240 memory=7524 CPUtime=4.11 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) S 31121 31124 23703 0 -1 1077944384 103917 13110 0 0 393 11 4 3 20 0 15 0 72854995 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306461194352 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10918240 memory=997892 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 249473 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10918240 memory=1005080 CPUtime=1.32 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 3456 13110 0 0 55 70 4 3 20 0 15 0 72854995 11180277760 249473 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 2395.93 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 997892 KiB

[startup+2382.3 s]
/proc/loadavg: 1.68 1.45 1.42 3/215 31390
/proc/meminfo: memFree=15597320/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=10918240 memory=970192 CPUtime=2457.23 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 561707 13110 0 0 245337 379 4 3 20 0 15 0 72854980 11180277760 242548 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2729560 242548 3538 1 0 2691213 0
[pid=31124/tid=31177] ppid=31121 vsize=10918240 memory=970704 CPUtime=2358.57 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 115143 13110 0 0 235788 62 4 3 20 0 15 0 72854989 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306909608832 140306554507968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10918240 memory=974296 CPUtime=15.58 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 31451 13110 0 0 1502 49 4 3 20 0 15 0 72854990 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10918240 memory=977372 CPUtime=15.59 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 23327 13110 0 0 1506 46 4 3 20 0 15 0 72854990 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10918240 memory=977372 CPUtime=15.63 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 21708 13110 0 0 1509 47 4 3 20 0 15 0 72854990 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10918240 memory=970704 CPUtime=15.53 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 20750 13110 0 0 1496 50 4 3 20 0 15 0 72854990 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10918240 memory=0 CPUtime=6.04 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 20074 13110 0 0 543 54 4 3 20 0 15 0 72854992 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10918240 memory=970192 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 24 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 242548 33554432000 4194304 4196468 140731904345328 140305844135520 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10918240 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 10 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 242548 33554432000 4194304 4196468 140731904345328 140305709917568 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10918240 memory=970704 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 242548 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10918240 memory=977372 CPUtime=12.61 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) S 31121 31124 23703 0 -1 1077944384 105859 13110 0 0 1243 11 4 3 20 0 15 0 72854995 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306463299952 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10918240 memory=980452 CPUtime=12.73 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) S 31121 31124 23703 0 -1 1077944384 113117 13110 0 0 1255 11 4 3 20 0 15 0 72854995 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306462247152 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10918240 memory=970704 CPUtime=4.12 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) S 31121 31124 23703 0 -1 1077944384 104573 13110 0 0 394 11 4 3 20 0 15 0 72854995 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306461194352 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10918240 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 242548 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10918240 memory=960 CPUtime=1.34 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 3473 13110 0 0 56 71 4 3 20 0 15 0 72854995 11180277760 242548 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 2457.23 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 970192 KiB

[startup+2442.3 s]
/proc/loadavg: 1.50 1.44 1.42 3/215 31391
/proc/meminfo: memFree=15629228/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=10918240 memory=938376 CPUtime=2518.56 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 563558 13110 0 0 251465 384 4 3 20 0 15 0 72854980 11180277760 234594 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2729560 234594 3538 1 0 2691213 0
[pid=31124/tid=31177] ppid=31121 vsize=10918240 memory=939916 CPUtime=2417.91 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 115747 13110 0 0 241721 63 4 3 20 0 15 0 72854989 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306909608544 140306555584108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10918240 memory=946592 CPUtime=16.02 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 31534 13110 0 0 1545 50 4 3 20 0 15 0 72854990 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10918240 memory=950688 CPUtime=16.03 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 23398 13110 0 0 1550 46 4 3 20 0 15 0 72854990 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10918240 memory=942480 CPUtime=16.08 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 21736 13110 0 0 1553 48 4 3 20 0 15 0 72854990 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10918240 memory=938376 CPUtime=15.97 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 20764 13110 0 0 1540 50 4 3 20 0 15 0 72854990 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10918240 memory=950688 CPUtime=6.2 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 20097 13110 0 0 559 54 4 3 20 0 15 0 72854992 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10918240 memory=946592 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 24 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 234594 33554432000 4194304 4196468 140731904345328 140305844135520 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10918240 memory=946592 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 10 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 234594 33554432000 4194304 4196468 140731904345328 140305709917568 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10918240 memory=946592 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 234594 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10918240 memory=938376 CPUtime=12.63 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) S 31121 31124 23703 0 -1 1077944384 106165 13110 0 0 1245 11 4 3 20 0 15 0 72854995 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306463299952 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10918240 memory=939916 CPUtime=12.75 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) S 31121 31124 23703 0 -1 1077944384 113319 13110 0 0 1257 11 4 3 20 0 15 0 72854995 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306462247152 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10918240 memory=3708 CPUtime=4.13 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) S 31121 31124 23703 0 -1 1077944384 105089 13110 0 0 395 11 4 3 20 0 15 0 72854995 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306461194352 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10918240 memory=21844 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 234594 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10918240 memory=288230574492221466 CPUtime=1.37 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 3477 13110 0 0 57 73 4 3 20 0 15 0 72854995 11180277760 234594 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 2518.56 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 938376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2443.8 s]
/proc/loadavg: 1.50 1.44 1.42 3/215 31391
/proc/meminfo: memFree=15629780/32770624 swapFree=67108796/67108860
[pid=31124] ppid=31121 vsize=10918240 memory=934780 CPUtime=2520.1 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31121 31124 23703 0 -1 1077944320 563573 13110 0 0 251619 384 4 3 20 0 15 0 72854980 11180277760 233695 33554432000 4194304 4196468 140731904345328 140731904327872 140306937773815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
/proc/31124/statm: 2729560 233695 3538 1 0 2691213 0
[pid=31124/tid=31177] ppid=31121 vsize=10918240 memory=7016 CPUtime=2419.39 cores=1,3,5,7
/proc/31124/task/31177/stat : 31177 (java) R 31121 31124 23703 0 -1 4202560 115751 13110 0 0 241869 63 4 3 20 0 15 0 72854989 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306909609312 140306543111549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31178] ppid=31121 vsize=10918240 memory=15044 CPUtime=16.03 cores=1,3,5,7
/proc/31124/task/31178/stat : 31178 (java) S 31121 31124 23703 0 -1 1077944384 31538 13110 0 0 1546 50 4 3 20 0 15 0 72854990 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306942016144 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31179] ppid=31121 vsize=10918240 memory=6791534058613427641 CPUtime=16.05 cores=1,3,5,7
/proc/31124/task/31179/stat : 31179 (java) S 31121 31124 23703 0 -1 1077944384 23402 13110 0 0 1552 46 4 3 20 0 15 0 72854990 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306856835600 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31180] ppid=31121 vsize=10918240 memory=17804 CPUtime=16.09 cores=1,3,5,7
/proc/31124/task/31180/stat : 31180 (java) S 31121 31124 23703 0 -1 1077944384 21739 13110 0 0 1554 48 4 3 20 0 15 0 72854990 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306855782800 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31181] ppid=31121 vsize=10918240 memory=4016 CPUtime=15.98 cores=1,3,5,7
/proc/31124/task/31181/stat : 31181 (java) S 31121 31124 23703 0 -1 1077944384 20764 13110 0 0 1541 50 4 3 20 0 15 0 72854990 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306854730000 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31182] ppid=31121 vsize=10918240 memory=644 CPUtime=6.2 cores=1,3,5,7
/proc/31124/task/31182/stat : 31182 (java) S 31121 31124 23703 0 -1 1077944384 20097 13110 0 0 559 54 4 3 20 0 15 0 72854992 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306464353136 140306937784962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31183] ppid=31121 vsize=10918240 memory=1676 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31183/stat : 31183 (java) S 31121 31124 23703 0 -1 1077944384 24 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 233695 33554432000 4194304 4196468 140731904345328 140305844135520 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31184] ppid=31121 vsize=10918240 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31184/stat : 31184 (java) S 31121 31124 23703 0 -1 1077944384 10 13110 0 0 0 0 4 3 20 0 15 0 72854992 11180277760 233695 33554432000 4194304 4196468 140731904345328 140305709917568 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31185] ppid=31121 vsize=10918240 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31185/stat : 31185 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 233695 33554432000 4194304 4196468 140731904345328 140305469626704 140306937792411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31186] ppid=31121 vsize=10918240 memory=4072 CPUtime=12.63 cores=1,3,5,7
/proc/31124/task/31186/stat : 31186 (java) S 31121 31124 23703 0 -1 1077944384 106165 13110 0 0 1245 11 4 3 20 0 15 0 72854995 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306463299952 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31187] ppid=31121 vsize=10918240 memory=2244 CPUtime=12.75 cores=1,3,5,7
/proc/31124/task/31187/stat : 31187 (java) S 31121 31124 23703 0 -1 1077944384 113319 13110 0 0 1257 11 4 3 20 0 15 0 72854995 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306462247152 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31188] ppid=31121 vsize=10918240 memory=4124 CPUtime=4.13 cores=1,3,5,7
/proc/31124/task/31188/stat : 31188 (java) S 31121 31124 23703 0 -1 1077944384 105089 13110 0 0 395 11 4 3 20 0 15 0 72854995 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306461194352 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31189] ppid=31121 vsize=10918240 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/31124/task/31189/stat : 31189 (java) S 31121 31124 23703 0 -1 1077944384 3 13110 0 0 0 0 4 3 20 0 15 0 72854995 11180277760 233695 33554432000 4194304 4196468 140731904345328 140305436068064 140306937784021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
[pid=31124/tid=31190] ppid=31121 vsize=10918240 memory=1572 CPUtime=1.37 cores=1,3,5,7
/proc/31124/task/31190/stat : 31190 (java) S 31121 31124 23703 0 -1 1077944384 3477 13110 0 0 57 73 4 3 20 0 15 0 72854995 11180277760 233695 33554432000 4194304 4196468 140731904345328 140306460142768 140306937784962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 12558336 140731904346734 140731904349532 140731904349532 140731904352207 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 934780 KiB

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

[startup+2443.83 s]
# the end of solver process 31124 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.26 s, system=3.89212 s

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

Child status: 143
Real time (s): 2443.83
CPU time (s): 2520.16
CPU user time (s): 2516.26
CPU system time (s): 3.89212
CPU usage (%): 103.123
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2869908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.26
system time used= 3.89212
maximum resident set size= 2870420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178983
involuntary context switches= 5181


# summary of solver processes directly reported to runsolver:
#   pid: 31124
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2516.26
#   total CPU system time (s): 3.89212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2966 second user time and 22.5644 second system time

The end

Launcher Data

Begin job on node138 at 2018-07-25 23:08:38
IDJOB=4295449
IDBENCH=141551
IDSOLVER=2750
FILE ID=node138/4295449-1532552918
RUNJOBID= node138-1532523045-23735
PBS_JOBID= 21021594
Free space on /tmp= 53776 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy16_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295449-1532552918/watcher-4295449-1532552918 -o /tmp/evaluation-result-4295449-1532552918/solver-4295449-1532552918 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23735 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1753066015 HOME/instance-4295449-1532552918.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8cfce4baee5c579b6f10529c309e3c1c
RANDOM SEED=1753066015

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        16012844 kB
MemAvailable:   30318064 kB
Buffers:          175192 kB
Cached:         14275664 kB
SwapCached:           44 kB
Active:          3996824 kB
Inactive:       12114804 kB
Active(anon):    1611400 kB
Inactive(anon):    77316 kB
Active(file):    2385424 kB
Inactive(file): 12037488 kB
Unevictable:        7284 kB
Mlocked:            7284 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             27368 kB
Writeback:             0 kB
AnonPages:       1668100 kB
Mapped:            48152 kB
Shmem:             25164 kB
Slab:             339172 kB
SReclaimable:     310768 kB
SUnreclaim:        28404 kB
KernelStack:        3504 kB
PageTables:         9976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2332060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1429504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53748 MiB
End job on node138 at 2018-07-25 23:49:22