Trace number 4403299

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.12.3SAT (TO)1058 2400.17 2345.12

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-15-15-5.xml
MD5SUM8b9c4e6e7c9e88d5c00f06b3f0219a0c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1058
Best CPU time to get the best result obtained on this benchmark2400.17
Satisfiable
(Un)Satisfiability was proved
Number of variables915
Number of constraints720
Number of domains17
Minimum domain size13
Maximum domain size1059
Distribution of domain sizes[{"size":13,"count":30},{"size":14,"count":90},{"size":15,"count":330},{"size":1059,"count":465}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":240},{"degree":3,"count":450},{"degree":16,"count":225}]
Minimum constraint arity1
Maximum constraint arity17
Distribution of constraint arities[{"arity":1,"count":15},{"arity":2,"count":225},{"arity":3,"count":225},{"arity":15,"count":30},{"arity":17,"count":225}]
Number of extensional constraints225
Number of intensional constraints240
Distribution of constraint types[{"type":"extension","count":225},{"type":"intension","count":240},{"type":"allDifferent","count":15},{"type":"noOverlap","count":15},{"type":"element","count":225}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.82/2.79	c Concrete v3.12.3.1568965526260 running
652.48/626.07	o 1058
2400.03/2345.01	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2400.03/2345.01		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2400.03/2345.01		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2400.03/2345.01		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:110)
2400.03/2345.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2400.03/2345.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2400.03/2345.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:110)
2400.03/2345.02		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2400.03/2345.02		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.03/2345.02		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.03/2345.02		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.03/2345.02		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.03/2345.02		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2400.03/2345.02		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2400.03/2345.02		at scala.Option.map(Option.scala:242)
2400.03/2345.02		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2400.03/2345.02		at concrete.MAC.mac(MAC.scala:216)
2400.03/2345.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.03/2345.02		at scala.util.Try$.apply(Try.scala:210)
2400.03/2345.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.03/2345.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.03/2345.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.03/2345.02		at concrete.MAC.oneRun(MAC.scala:265)
2400.03/2345.02		at concrete.MAC.nextSolution(MAC.scala:284)
2400.03/2345.02		at concrete.MAC.nextSolution(MAC.scala:369)
2400.03/2345.02		at concrete.Solver.hasNext(Solver.scala:160)
2400.03/2345.02		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.03/2345.02		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.03/2345.02		at concrete.Solver.foreach(Solver.scala:67)
2400.03/2345.02		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.03/2345.02		at scala.util.Success.map(Try.scala:262)
2400.03/2345.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.03/2345.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.03/2345.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.03/2345.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.03/2345.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.03/2345.02		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.03/2345.02		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.03/2345.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.03/2345.02		at scala.App.$anonfun$main$1(App.scala:73)
2400.03/2345.02		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.03/2345.02		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.03/2345.02		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.03/2345.02		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.03/2345.02		at scala.App.main(App.scala:73)
2400.03/2345.02		at scala.App.main$(App.scala:71)
2400.03/2345.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.03/2345.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.03/2345.02	v <instantiation
2400.03/2345.02	v         cost = '1058'>
2400.03/2345.02	v       <list>
2400.03/2345.02	v         s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[0][10] sd[0][11] sd[0][12] sd[0][13] sd[0][14] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[1][10] sd[1][11] sd[1][12] sd[1][13] sd[1][14] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[2][10] sd[2][11] sd[2][12] sd[2][13] sd[2][14] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[3][10] sd[3][11] sd[3][12] sd[3][13] sd[3][14] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[4][10] sd[4][11] sd[4][12] sd[4][13] sd[4][14] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[5][10] sd[5][11] sd[5][12] sd[5][13] sd[5][14] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[6][10] sd[6][11] sd[6][12] sd[6][13] sd[6][14] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[7][10] sd[7][11] sd[7][12] sd[7][13] sd[7][14] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[8][10] sd[8][11] sd[8][12] sd[8][13] sd[8][14] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] sd[9][10] sd[9][11] sd[9][12] sd[9][13] sd[9][14] sd[10][0] sd[10][1] sd[10][2] sd[10][3] sd[10][4] sd[10][5] sd[10][6] sd[10][7] sd[10][8] sd[10][9] sd[10][10] sd[10][11] sd[10][12] sd[10][13] sd[10][14] sd[11][0] sd[11][1] sd[11][2] sd[11][3] sd[11][4] sd[11][5] sd[11][6] sd[11][7] sd[11][8] sd[11][9] sd[11][10] sd[11][11] sd[11][12] sd[11][13] sd[11][14] sd[12][0] sd[12][1] sd[12][2] sd[12][3] sd[12][4] sd[12][5] sd[12][6] sd[12][7] sd[12][8] sd[12][9] sd[12][10] sd[12][11] sd[12][12] sd[12][13] sd[12][14] sd[13][0] sd[13][1] sd[13][2] sd[13][3] sd[13][4] sd[13][5] sd[13][6] sd[13][7] sd[13][8] sd[13][9] sd[13][10] sd[13][11] sd[13][12] sd[13][13] sd[13][14] sd[14][0] sd[14][1] sd[14][2] sd[14][3] sd[14][4] sd[14][5] sd[14][6] sd[14][7] sd[14][8] sd[14][9] sd[14][10] sd[14][11] sd[14][12] sd[14][13] sd[14][14]
2400.03/2345.02	v       </list>
2400.03/2345.02	v       <values>
2400.03/2345.02	v         2 143 317 390 461 497 666 729 876 955 957 964 984 986 1005 65 115 162 167 286 299 390 403 429 479 524 623 720 743 797 0 71 115 157 210 290 318 412 497 610 680 707 817 886 1009 12 86 280 283 356 442 532 608 616 633 672 729 748 797 1031 0 124 223 324 325 454 506 587 667 712 728 761 860 970 1009 0 53 221 399 503 565 656 672 689 716 793 806 870 962 970 0 69 73 105 168 231 258 330 356 485 607 686 784 861 960 35 119 168 201 276 356 407 508 590 769 803 889 903 986 1040 126 148 223 286 343 410 414 497 574 644 761 847 862 891 974 102 105 241 343 370 382 421 499 676 744 793 897 939 972 1031 0 381 443 508 608 610 689 727 761 797 896 939 940 973 1055 0 78 165 258 412 494 565 616 740 753 797 861 901 988 1053 0 73 157 231 303 325 414 441 464 524 542 634 728 797 888 0 49 148 168 257 362 469 536 644 701 791 871 886 888 973 0 107 158 203 221 290 340 404 460 528 582 636 644 710 865 1024 857 1053 1058 1023 1058 1058 1058 1058 1053 1058 1058 970 1058 903 47 78 73 53 24 27 63 21 79 2 7 3 2 19 19 12 29 5 90 13 63 13 26 32 18 46 21 23 54 60 71 44 42 53 80 28 94 85 55 66 27 77 69 75 44 74 71 3 16 28 86 76 8 17 39 34 8 18 60 27 62 49 86 1 79 52 65 80 45 16 33 99 85 39 14 53 88 40 42 62 91 16 17 18 77 13 61 92 8 88 69 4 32 63 63 27 72 26 41 97 77 88 77 99 98 51 49 33 22 67 43 87 79 75 24 86 14 83 54 18 22 75 63 57 27 4 55 39 70 83 86 15 6 82 84 3 19 99 19 11 38 41 66 68 47 69 42 33 59 22 93 61 65 84 2 79 32 34 36 92 43 1 25 82 3 77 80 93 85 74 71 45 58 13 44 60 30 72 65 5 65 48 62 72 22 89 27 23 60 18 74 82 69 73 82 18 99 20 89 78 92 34 98 23 27 80 15 2 69 85 96 51 45 18 65 50 64 56 55 5 28 8 22 43 38 7 1 11 4 6 5 12 13 2 14 8 3 10 0 9 13 2 9 14 1 3 11 8 6 5 10 0 4 12 7 6 2 3 11 5 0 12 1 13 14 8 9 4 10 7 1 11 13 3 0 2 14 7 6 10 4 12 8 5 9 2 8 9 1 6 3 12 4 13 5 10 0 14 7 11 8 12 13 14 0 5 3 10 9 1 6 2 11 7 4 4 8 5 13 12 3 10 0 1 6 11 2 9 7 14 11 5 13 9 2 14 7 4 8 3 1 12 0 10 6 14 7 11 4 2 13 9 1 12 0 10 6 3 5 8 13 10 7 8 2 5 11 9 14 4 3 6 1 12 0 10 2 4 3 14 9 7 0 5 12 1 8 6 13 11 3 4 10 8 12 7 9 2 6 11 14 5 13 1 0 13 8 3 12 6 9 0 14 10 5 2 1 7 11 4 11 7 12 2 14 3 0 1 13 10 8 6 4 9 5 14 9 4 13 1 5 7 10 8 2 6 3 12 11 0 986 143 876 964 390 497 461 2 957 1005 984 317 666 729 955 623 286 115 299 720 479 429 797 403 162 524 390 743 65 167 290 412 71 115 817 210 0 1009 680 707 886 157 318 497 610 356 12 442 283 672 797 616 608 748 1031 633 86 729 280 532 761 324 0 454 587 712 325 970 124 223 728 1009 506 667 860 503 716 806 656 970 565 793 962 0 689 672 870 53 221 399 330 356 686 231 0 73 485 861 69 784 258 607 168 105 960 903 803 276 769 508 119 1040 407 590 201 986 35 889 168 356 644 497 343 862 286 891 847 148 974 414 761 223 574 410 126 1031 939 370 793 744 382 897 241 343 499 105 421 972 102 676 727 896 381 508 443 761 940 689 939 610 0 1055 797 973 608 1053 988 616 0 78 861 740 494 258 565 165 753 412 901 797 414 634 542 157 888 524 303 728 73 325 464 797 231 0 441 469 536 168 362 886 973 871 49 791 888 701 0 148 644 257 865 221 528 636 158 290 582 340 460 107 404 710 644 203 0
2400.03/2345.02	v       </values>
2400.03/2345.02	v     </instantiation>
2400.03/2345.02	s SATISFIABLE

Verifier Data 

OK	1058

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403299-1568967638/watcher-4403299-1568967638 -o /var/tmp/evaluation-result-4403299-1568967638/solver-4403299-1568967638 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568967593-19366 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4403299-1568967638.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19405, runsolver pid=19396

[startup+0.100165 s]*
/proc/loadavg: 0.31 0.08 0.07 2/206 19412
/proc/meminfo: memFree=230112/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=113256 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19405/stat : 19405 (bash) S 19396 19405 19335 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 473013348 115974144 364 33554432000 4194304 5098028 140735826765648 140735826763288 140029769014272 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19405/statm: 28314 364 290 221 0 119 0
[pid=19408] ppid=19405 vsize=113256 memory=708 CPUtime=0 cores=0,2,4,6
/proc/19408/stat : 19408 (bash) S 19405 19405 19335 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 1 0 473013357 115974144 177 33554432000 4194304 5098028 140735826765648 140735826761816 140029768839804 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19408/statm: 28314 177 101 221 0 119 0
[pid=19410] ppid=19408 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/19410/stat : 19410 (bash) S 19408 19405 19335 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 1 0 473013357 115974144 179 33554432000 4194304 5098028 140735826765648 140735826758824 140029769014272 0 0 4096 65538 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19410/statm: 28314 179 103 221 0 119 0
[pid=19412] ppid=19410 vsize=113256 memory=496 CPUtime=0 cores=0,2,4,6
/proc/19412/stat : 19412 (bash) D 19410 19405 19335 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 1 0 473013357 115974144 124 33554432000 4194304 5098028 140735826765648 140735826757880 140029769012597 0 0 4096 65538 18446744071585676691 0 0 17 0 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19412/statm: 28314 124 48 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3376 KiB

[startup+0.209825 s]*
/proc/loadavg: 0.31 0.08 0.07 3/206 19416
/proc/meminfo: memFree=229568/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=113256 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19405/stat : 19405 (bash) S 19396 19405 19335 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 473013348 115974144 364 33554432000 4194304 5098028 140735826765648 140735826763288 140029769014272 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19405/statm: 28314 364 290 221 0 119 0
[pid=19408] ppid=19405 vsize=113256 memory=708 CPUtime=0 cores=0,2,4,6
/proc/19408/stat : 19408 (bash) S 19405 19405 19335 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 1 0 473013357 115974144 177 33554432000 4194304 5098028 140735826765648 140735826761816 140029768839804 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19408/statm: 28314 177 101 221 0 119 0
[pid=19410] ppid=19408 vsize=113256 memory=888 CPUtime=0 cores=0,2,4,6
/proc/19410/stat : 19410 (bash) S 19408 19405 19335 0 -1 4202560 211 425 0 1 0 0 0 0 20 0 1 0 473013357 115974144 222 33554432000 4194304 5098028 140735826765648 140735826759112 140029769014272 0 0 4096 65538 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19410/statm: 28314 222 146 221 0 119 0
[pid=19416] ppid=19410 vsize=113256 memory=492 CPUtime=0 cores=0,2,4,6
/proc/19416/stat : 19416 (bash) D 19410 19405 19335 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 1 0 473013369 115974144 123 33554432000 4194304 5098028 140735826765648 140735826758168 140029769012597 0 0 4096 65538 18446744071585676691 0 0 17 6 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19416/statm: 28314 123 47 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3544 KiB

[startup+0.309918 s]*
/proc/loadavg: 0.31 0.08 0.07 2/206 19416
/proc/meminfo: memFree=229220/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=113256 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19405/stat : 19405 (bash) S 19396 19405 19335 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 473013348 115974144 364 33554432000 4194304 5098028 140735826765648 140735826763288 140029769014272 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19405/statm: 28314 364 290 221 0 119 0
[pid=19408] ppid=19405 vsize=113256 memory=708 CPUtime=0 cores=0,2,4,6
/proc/19408/stat : 19408 (bash) S 19405 19405 19335 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 1 0 473013357 115974144 177 33554432000 4194304 5098028 140735826765648 140735826761816 140029768839804 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19408/statm: 28314 177 101 221 0 119 0
[pid=19410] ppid=19408 vsize=113256 memory=888 CPUtime=0 cores=0,2,4,6
/proc/19410/stat : 19410 (bash) S 19408 19405 19335 0 -1 4202560 211 425 0 1 0 0 0 0 20 0 1 0 473013357 115974144 222 33554432000 4194304 5098028 140735826765648 140735826759112 140029769014272 0 0 4096 65538 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19410/statm: 28314 222 146 221 0 119 0
[pid=19416] ppid=19410 vsize=113256 memory=492 CPUtime=0 cores=0,2,4,6
/proc/19416/stat : 19416 (bash) D 19410 19405 19335 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 1 0 473013369 115974144 123 33554432000 4194304 5098028 140735826765648 140735826758168 140029769012597 0 0 4096 65538 18446744071585676691 0 0 17 6 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19416/statm: 28314 123 47 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3544 KiB

[startup+0.700514 s]
/proc/loadavg: 0.31 0.08 0.07 2/206 19462
/proc/meminfo: memFree=228864/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/19405/stat : 19405 (bash) S 19396 19405 19335 0 -1 4202496 893 5671 0 1 0 0 0 1 20 0 1 0 473013348 115974144 404 33554432000 4194304 5098028 140735826765648 140735826759656 140029769014272 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19405/statm: 28314 404 320 221 0 119 0
[pid=19458] ppid=19405 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/19458/stat : 19458 (bash) S 19405 19405 19335 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 473013386 115974144 178 33554432000 4194304 5098028 140735826765648 140735826758328 140029768839804 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19458/statm: 28314 178 94 221 0 119 0
[pid=19460] ppid=19458 vsize=30188 memory=796 CPUtime=0 cores=0,2,4,6
/proc/19460/stat : 19460 (java) D 19458 19405 19335 0 -1 4202496 358 0 1 0 0 0 0 0 20 0 1 0 473013386 30912512 199 33554432000 4194304 4196468 140731141309760 140731141291240 140221031810697 0 0 4096 0 18446744071580431491 0 0 17 6 0 0 1 0 0 6293624 6294260 21348352 140731141313660 140731141313674 140731141313674 140731141316559 0
/proc/19460/statm: 7547 199 161 1 0 159 0
[pid=19462] ppid=19458 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/19462/stat : 19462 (awk) S 19458 19405 19335 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 473013386 116211712 243 33554432000 4194304 4609284 140732667766944 140732667766120 139714575457280 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 12926976 140732667770028 140732667770058 140732667770058 140732667772911 0
/proc/19462/statm: 28372 243 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 370188 KiB
Current children cumulated memory: 4096 KiB

[startup+1.50064 s]
/proc/loadavg: 0.31 0.08 0.07 2/208 19464
/proc/meminfo: memFree=222336/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/19405/stat : 19405 (bash) S 19396 19405 19335 0 -1 4202496 893 5671 0 1 0 0 0 1 20 0 1 0 473013348 115974144 404 33554432000 4194304 5098028 140735826765648 140735826759656 140029769014272 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19405/statm: 28314 404 320 221 0 119 0
[pid=19458] ppid=19405 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/19458/stat : 19458 (bash) S 19405 19405 19335 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 473013386 115974144 178 33554432000 4194304 5098028 140735826765648 140735826758328 140029768839804 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14835712 140735826772992 140735826773121 140735826773121 140735826776046 0
/proc/19458/statm: 28314 178 94 221 0 119 0
[pid=19460] ppid=19458 vsize=9940964 memory=16300 CPUtime=0.01 cores=0,2,4,6
/proc/19460/stat : 19460 (java) S 19458 19405 19335 0 -1 1077944320 3428 0 3 0 0 1 0 0 20 0 6 0 473013386 10179547136 4075 33554432000 4194304 4196468 140731141309760 140731141292304 140221029588727 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 38 0 0 6293624 6294260 21348352 140731141313660 140731141313674 140731141313674 140731141316559 0
/proc/19460/statm: 2485241 4075 1926 1 0 2473679 0
[pid=19460/tid=19463] ppid=19458 vsize=9940964 memory=4282807335222807926 CPUtime=0.01 cores=0,2,4,6
/proc/19460/task/19463/stat : 19463 (java) R 19458 19405 19335 0 -1 12593216 2143 0 1 0 0 1 0 0 20 0 6 0 473013440 10179547136 4075 33554432000 4194304 4196468 140731141309760 140221033823944 140221013669214 0 4 0 16784584 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 21348352 140731141313660 140731141313674 140731141313674 140731141316559 0
[pid=19462] ppid=19458 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/19462/stat : 19462 (awk) S 19458 19405 19335 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 473013386 116211712 243 33554432000 4194304 4609284 140732667766944 140732667766120 139714575457280 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 12926976 140732667770028 140732667770058 140732667770058 140732667772911 0
/proc/19462/statm: 28372 243 205 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10280964 KiB
Current children cumulated memory: 19600 KiB

[startup+3.10988 s]
/proc/loadavg: 0.45 0.11 0.08 2/228 19536
/proc/meminfo: memFree=199604/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=10820268 memory=69448 CPUtime=0.91 cores=0,2,4,6
/proc/19405/stat : 19405 (java) S 19396 19405 19335 0 -1 1077944320 17551 13007 0 5 74 8 5 4 20 0 15 0 473013348 11079954432 17362 33554432000 4194304 4196468 140725073612528 140725073595072 140355638255351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
/proc/19405/statm: 2705067 17362 3469 1 0 2667149 0
[pid=19405/tid=19503] ppid=19396 vsize=10820268 memory=39928 CPUtime=0.59 cores=0,2,4,6
/proc/19405/task/19503/stat : 19503 (java) D 19396 19405 19335 0 -1 4202560 12814 13007 0 5 43 7 5 4 20 0 15 0 473013537 11079954432 17362 33554432000 4194304 4196468 140725073612528 140355610085248 140355638277277 0 4 0 16800975 18446744071580419588 0 0 -1 0 0 0 52 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19511] ppid=19396 vsize=10820268 memory=3540 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19511/stat : 19511 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013539 11079954432 17362 33554432000 4194304 4196468 140725073612528 140355642497552 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19512] ppid=19396 vsize=10820268 memory=1220 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19512/stat : 19512 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013539 11079954432 17362 33554432000 4194304 4196468 140725073612528 140355211553424 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19513] ppid=19396 vsize=10820268 memory=10600 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19513/stat : 19513 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013539 11079954432 17362 33554432000 4194304 4196468 140725073612528 140355210500368 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19514] ppid=19396 vsize=10820268 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19514/stat : 19514 (java) S 19396 19405 19335 0 -1 1077944384 2 13007 0 5 0 0 5 4 20 0 15 0 473013539 11079954432 17362 33554432000 4194304 4196468 140725073612528 140355209447824 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19519] ppid=19396 vsize=10820268 memory=288230377007612190 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19519/stat : 19519 (java) S 19396 19405 19335 0 -1 1077944384 5 13007 0 5 0 0 5 4 20 0 15 0 473013540 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354640648944 140355638266498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19521] ppid=19396 vsize=10820268 memory=6944656592455360604 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19521/stat : 19521 (java) S 19396 19405 19335 0 -1 1077944384 13 13007 0 5 0 0 5 4 20 0 15 0 473013541 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354565170848 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19522] ppid=19396 vsize=10820268 memory=1616 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19522/stat : 19522 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013541 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354430952688 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19525] ppid=19396 vsize=10820268 memory=712 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19525/stat : 19525 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354190662096 140355638273947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19526] ppid=19396 vsize=10820268 memory=796 CPUtime=0.15 cores=0,2,4,6
/proc/19405/task/19526/stat : 19526 (java) S 19396 19405 19335 0 -1 1077944384 863 13007 0 5 6 0 5 4 20 0 15 0 473013545 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354639595760 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19527] ppid=19396 vsize=10820268 memory=972 CPUtime=0.19 cores=0,2,4,6
/proc/19405/task/19527/stat : 19527 (java) S 19396 19405 19335 0 -1 1077944384 799 13007 0 5 10 0 5 4 20 0 15 0 473013545 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354638543216 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19528] ppid=19396 vsize=10820268 memory=33 CPUtime=0.22 cores=0,2,4,6
/proc/19405/task/19528/stat : 19528 (java) S 19396 19405 19335 0 -1 1077944384 837 13007 0 5 13 0 5 4 20 0 15 0 473013545 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354637490160 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19529] ppid=19396 vsize=10820268 memory=139861717710335 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19529/stat : 19529 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354157103456 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19535] ppid=19396 vsize=10820268 memory=139861717732157 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19535/stat : 19535 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013550 11079954432 17362 33554432000 4194304 4196468 140725073612528 140354636438576 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 69448 KiB
heavy processes:

[startup+6.30075 s]
/proc/loadavg: 0.45 0.11 0.08 2/227 19536
/proc/meminfo: memFree=202624/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=10824364 memory=82592 CPUtime=1.25 cores=0,2,4,6
/proc/19405/stat : 19405 (java) S 19396 19405 19335 0 -1 1077944320 20506 13007 0 5 106 10 5 4 20 0 15 0 473013348 11084148736 20648 33554432000 4194304 4196468 140725073612528 140725073595072 140355638255351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
/proc/19405/statm: 2706091 20648 3513 1 0 2668173 0
[pid=19405/tid=19503] ppid=19396 vsize=10824364 memory=972 CPUtime=0.74 cores=0,2,4,6
/proc/19405/task/19503/stat : 19503 (java) D 19396 19405 19335 0 -1 1077944384 15579 13007 0 5 57 8 5 4 20 0 15 0 473013537 11084148736 20648 33554432000 4194304 4196468 140725073612528 140355610082072 140355630933444 0 4 0 16800975 18446744072101568036 0 0 -1 4 0 0 332 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19511] ppid=19396 vsize=10824364 memory=77228 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19511/stat : 19511 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013539 11084148736 20648 33554432000 4194304 4196468 140725073612528 140355642497552 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19512] ppid=19396 vsize=10824364 memory=988 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19512/stat : 19512 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013539 11084148736 20648 33554432000 4194304 4196468 140725073612528 140355211553424 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19513] ppid=19396 vsize=10824364 memory=2024 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19513/stat : 19513 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013539 11084148736 20648 33554432000 4194304 4196468 140725073612528 140355210500368 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19514] ppid=19396 vsize=10824364 memory=1416 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19514/stat : 19514 (java) S 19396 19405 19335 0 -1 1077944384 2 13007 0 5 0 0 5 4 20 0 15 0 473013539 11084148736 20648 33554432000 4194304 4196468 140725073612528 140355209447824 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19519] ppid=19396 vsize=10824364 memory=776 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19519/stat : 19519 (java) S 19396 19405 19335 0 -1 1077944384 5 13007 0 5 0 0 5 4 20 0 15 0 473013540 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354640648944 140355638266498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19521] ppid=19396 vsize=10824364 memory=3540 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19521/stat : 19521 (java) S 19396 19405 19335 0 -1 1077944384 13 13007 0 5 0 0 5 4 20 0 15 0 473013541 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354565170848 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19522] ppid=19396 vsize=10824364 memory=77712 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19522/stat : 19522 (java) S 19396 19405 19335 0 -1 1077944384 1 13007 0 5 0 0 5 4 20 0 15 0 473013541 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354430952688 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19525] ppid=19396 vsize=10824364 memory=167679818242171 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19525/stat : 19525 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354190662096 140355638273947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19526] ppid=19396 vsize=10824364 memory=7956005031678667109 CPUtime=0.22 cores=0,2,4,6
/proc/19405/task/19526/stat : 19526 (java) S 19396 19405 19335 0 -1 1077944384 902 13007 0 5 13 0 5 4 20 0 15 0 473013545 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354639595760 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19527] ppid=19396 vsize=10824364 memory=7956005031678667109 CPUtime=0.25 cores=0,2,4,6
/proc/19405/task/19527/stat : 19527 (java) S 19396 19405 19335 0 -1 1077944384 832 13007 0 5 16 0 5 4 20 0 15 0 473013545 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354638543216 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19528] ppid=19396 vsize=10824364 memory=6788 CPUtime=0.27 cores=0,2,4,6
/proc/19405/task/19528/stat : 19528 (java) S 19396 19405 19335 0 -1 1077944384 953 13007 0 5 18 0 5 4 20 0 15 0 473013545 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354637490160 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19529] ppid=19396 vsize=10824364 memory=2836 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19529/stat : 19529 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354157103456 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19535] ppid=19396 vsize=10824364 memory=1056 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19535/stat : 19535 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013550 11084148736 20648 33554432000 4194304 4196468 140725073612528 140354636438576 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0

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

[pid=19405/tid=19514] ppid=19396 vsize=10853144 memory=2927264 CPUtime=11.99 cores=0,2,4,6
/proc/19405/task/19514/stat : 19514 (java) S 19396 19405 19335 0 -1 1077944384 143560 13007 0 5 1134 56 5 4 20 0 15 0 473013539 11113619456 729764 33554432000 4194304 4196468 140725073612528 140355209447824 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19519] ppid=19396 vsize=10853144 memory=2919056 CPUtime=4.84 cores=0,2,4,6
/proc/19405/task/19519/stat : 19519 (java) S 19396 19405 19335 0 -1 1077944384 30110 13007 0 5 423 52 5 4 20 0 15 0 473013540 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354640648944 140355638266498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19521] ppid=19396 vsize=10853144 memory=2919056 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19521/stat : 19521 (java) S 19396 19405 19335 0 -1 1077944384 50 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354565170912 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19522] ppid=19396 vsize=10853144 memory=2919056 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19522/stat : 19522 (java) S 19396 19405 19335 0 -1 1077944384 9 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354430952704 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19525] ppid=19396 vsize=10853144 memory=2936500 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19525/stat : 19525 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354190662096 140355638273947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19526] ppid=19396 vsize=10853144 memory=2931368 CPUtime=10.88 cores=0,2,4,6
/proc/19405/task/19526/stat : 19526 (java) S 19396 19405 19335 0 -1 1077944384 64756 13007 0 5 1072 7 5 4 20 0 15 0 473013545 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354639595760 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19527] ppid=19396 vsize=10853144 memory=3616 CPUtime=11.2 cores=0,2,4,6
/proc/19405/task/19527/stat : 19527 (java) S 19396 19405 19335 0 -1 1077944384 61747 13007 1 5 1104 7 5 4 20 0 15 0 473013545 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354638543216 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19528] ppid=19396 vsize=10853144 memory=2919056 CPUtime=5.12 cores=0,2,4,6
/proc/19405/task/19528/stat : 19528 (java) S 19396 19405 19335 0 -1 1077944384 64214 13007 0 5 491 12 5 4 20 0 15 0 473013545 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354637490160 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19529] ppid=19396 vsize=10853144 memory=6944656592387989600 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19529/stat : 19529 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354157103456 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19535] ppid=19396 vsize=10853144 memory=2919056 CPUtime=1.37 cores=0,2,4,6
/proc/19405/task/19535/stat : 19535 (java) S 19396 19405 19335 0 -1 1077944384 2152 13007 0 5 60 68 5 4 20 0 15 0 473013550 11113619456 729764 33554432000 4194304 4196468 140725073612528 140354636438576 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
Current children cumulated CPU time: 2256.14 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 2919056 KiB

[startup+2262.3 s]
/proc/loadavg: 1.50 1.39 1.26 3/228 19998
/proc/meminfo: memFree=933376/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=10853144 memory=2831848 CPUtime=2316.66 cores=0,2,4,6
/proc/19405/stat : 19405 (java) S 19396 19405 19335 0 -1 1077944320 5074572 13007 2 5 230700 957 5 4 20 0 15 0 473013348 11113619456 707962 33554432000 4194304 4196468 140725073612528 140725073595072 140355638255351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
/proc/19405/statm: 2713286 707962 3641 1 0 2675341 0
[pid=19405/tid=19503] ppid=19396 vsize=10853144 memory=2841596 CPUtime=2235.22 cores=0,2,4,6
/proc/19405/task/19503/stat : 19503 (java) R 19396 19405 19335 0 -1 4202560 4271218 13007 1 5 222925 588 5 4 20 0 15 0 473013537 11113619456 707962 33554432000 4194304 4196468 140725073612528 140355610090872 140355257199706 0 4 0 16800975 0 0 0 -1 4 0 0 580 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19511] ppid=19396 vsize=10853144 memory=2847236 CPUtime=12.14 cores=0,2,4,6
/proc/19405/task/19511/stat : 19511 (java) S 19396 19405 19335 0 -1 1077944384 147246 13007 0 5 1140 65 5 4 20 0 15 0 473013539 11113619456 707962 33554432000 4194304 4196468 140725073612528 140355642497552 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19512] ppid=19396 vsize=10853144 memory=2849288 CPUtime=12.13 cores=0,2,4,6
/proc/19405/task/19512/stat : 19512 (java) S 19396 19405 19335 0 -1 1077944384 140409 13007 0 5 1134 70 5 4 20 0 15 0 473013539 11113619456 707962 33554432000 4194304 4196468 140725073612528 140355211553424 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19513] ppid=19396 vsize=10853144 memory=2847236 CPUtime=12.14 cores=0,2,4,6
/proc/19405/task/19513/stat : 19513 (java) S 19396 19405 19335 0 -1 1077944384 139035 13007 0 5 1142 63 5 4 20 0 15 0 473013539 11113619456 707962 33554432000 4194304 4196468 140725073612528 140355210500368 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19514] ppid=19396 vsize=10853144 memory=2833388 CPUtime=12.11 cores=0,2,4,6
/proc/19405/task/19514/stat : 19514 (java) S 19396 19405 19335 0 -1 1077944384 149093 13007 0 5 1144 58 5 4 20 0 15 0 473013539 11113619456 707962 33554432000 4194304 4196468 140725073612528 140355209447824 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19519] ppid=19396 vsize=10853144 memory=2831848 CPUtime=4.87 cores=0,2,4,6
/proc/19405/task/19519/stat : 19519 (java) S 19396 19405 19335 0 -1 1077944384 30323 13007 0 5 425 53 5 4 20 0 15 0 473013540 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354640648944 140355638266498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19521] ppid=19396 vsize=10853144 memory=1656 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19521/stat : 19521 (java) S 19396 19405 19335 0 -1 1077944384 50 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354565170912 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19522] ppid=19396 vsize=10853144 memory=2841596 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19522/stat : 19522 (java) S 19396 19405 19335 0 -1 1077944384 9 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354430952704 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19525] ppid=19396 vsize=10853144 memory=2831848 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19525/stat : 19525 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354190662096 140355638273947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19526] ppid=19396 vsize=10853144 memory=2833388 CPUtime=10.92 cores=0,2,4,6
/proc/19405/task/19526/stat : 19526 (java) S 19396 19405 19335 0 -1 1077944384 65351 13007 0 5 1076 7 5 4 20 0 15 0 473013545 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354639595760 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19527] ppid=19396 vsize=10853144 memory=2676 CPUtime=11.25 cores=0,2,4,6
/proc/19405/task/19527/stat : 19527 (java) S 19396 19405 19335 0 -1 1077944384 62287 13007 1 5 1108 8 5 4 20 0 15 0 473013545 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354638543216 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19528] ppid=19396 vsize=10853144 memory=2841596 CPUtime=5.2 cores=0,2,4,6
/proc/19405/task/19528/stat : 19528 (java) S 19396 19405 19335 0 -1 1077944384 65131 13007 0 5 499 12 5 4 20 0 15 0 473013545 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354637490160 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19529] ppid=19396 vsize=10853144 memory=4104 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19529/stat : 19529 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354157103456 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19535] ppid=19396 vsize=10853144 memory=2833388 CPUtime=1.39 cores=0,2,4,6
/proc/19405/task/19535/stat : 19535 (java) S 19396 19405 19335 0 -1 1077944384 2207 13007 0 5 61 69 5 4 20 0 15 0 473013550 11113619456 707962 33554432000 4194304 4196468 140725073612528 140354636438576 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
Current children cumulated CPU time: 2316.66 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 2831848 KiB

[startup+2322.3 s]
/proc/loadavg: 1.56 1.43 1.28 3/228 20003
/proc/meminfo: memFree=1034400/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=10853144 memory=2730272 CPUtime=2377.26 cores=0,2,4,6
/proc/19405/stat : 19405 (java) S 19396 19405 19335 0 -1 1077944320 5464107 13007 2 5 236718 999 5 4 20 0 15 0 473013348 11113619456 682568 33554432000 4194304 4196468 140725073612528 140725073595072 140355638255351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
/proc/19405/statm: 2713286 682568 3641 1 0 2675341 0
[pid=19405/tid=19503] ppid=19396 vsize=10853144 memory=1736 CPUtime=2295.07 cores=0,2,4,6
/proc/19405/task/19503/stat : 19503 (java) R 19396 19405 19335 0 -1 4202560 4634680 13007 1 5 228877 621 5 4 20 0 15 0 473013537 11113619456 682568 33554432000 4194304 4196468 140725073612528 140355610090640 140355254671935 0 4 0 16800975 0 0 0 -1 2 0 0 580 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19511] ppid=19396 vsize=10853144 memory=2730272 CPUtime=12.25 cores=0,2,4,6
/proc/19405/task/19511/stat : 19511 (java) S 19396 19405 19335 0 -1 1077944384 153244 13007 0 5 1150 66 5 4 20 0 15 0 473013539 11113619456 682568 33554432000 4194304 4196468 140725073612528 140355642497552 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19512] ppid=19396 vsize=10853144 memory=228119 CPUtime=12.25 cores=0,2,4,6
/proc/19405/task/19512/stat : 19512 (java) S 19396 19405 19335 0 -1 1077944384 146374 13007 0 5 1144 72 5 4 20 0 15 0 473013539 11113619456 682568 33554432000 4194304 4196468 140725073612528 140355211553424 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19513] ppid=19396 vsize=10853144 memory=2772852 CPUtime=12.25 cores=0,2,4,6
/proc/19405/task/19513/stat : 19513 (java) S 19396 19405 19335 0 -1 1077944384 145216 13007 0 5 1152 64 5 4 20 0 15 0 473013539 11113619456 682568 33554432000 4194304 4196468 140725073612528 140355210500368 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19514] ppid=19396 vsize=10853144 memory=2756948 CPUtime=12.22 cores=0,2,4,6
/proc/19405/task/19514/stat : 19514 (java) S 19396 19405 19335 0 -1 1077944384 155148 13007 0 5 1154 59 5 4 20 0 15 0 473013539 11113619456 682568 33554432000 4194304 4196468 140725073612528 140355209447824 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19519] ppid=19396 vsize=10853144 memory=2749768 CPUtime=4.89 cores=0,2,4,6
/proc/19405/task/19519/stat : 19519 (java) S 19396 19405 19335 0 -1 1077944384 30364 13007 0 5 426 54 5 4 20 0 15 0 473013540 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354640648944 140355638266498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19521] ppid=19396 vsize=10853144 memory=2749768 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19521/stat : 19521 (java) S 19396 19405 19335 0 -1 1077944384 50 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354565170912 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19522] ppid=19396 vsize=10853144 memory=2736944 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19522/stat : 19522 (java) S 19396 19405 19335 0 -1 1077944384 9 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354430952704 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19525] ppid=19396 vsize=10853144 memory=2730272 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19525/stat : 19525 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354190662096 140355638273947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19526] ppid=19396 vsize=10853144 memory=2730272 CPUtime=10.97 cores=0,2,4,6
/proc/19405/task/19526/stat : 19526 (java) S 19396 19405 19335 0 -1 1077944384 65763 13007 0 5 1081 7 5 4 20 0 15 0 473013545 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354639595760 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19527] ppid=19396 vsize=10853144 memory=2730272 CPUtime=11.3 cores=0,2,4,6
/proc/19405/task/19527/stat : 19527 (java) S 19396 19405 19335 0 -1 1077944384 62890 13007 1 5 1113 8 5 4 20 0 15 0 473013545 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354638543216 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19528] ppid=19396 vsize=10853144 memory=3616 CPUtime=5.31 cores=0,2,4,6
/proc/19405/task/19528/stat : 19528 (java) S 19396 19405 19335 0 -1 1077944384 65943 13007 0 5 510 12 5 4 20 0 15 0 473013545 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354637490160 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19529] ppid=19396 vsize=10853144 memory=2730272 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19529/stat : 19529 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354157103456 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19535] ppid=19396 vsize=10853144 memory=2730272 CPUtime=1.44 cores=0,2,4,6
/proc/19405/task/19535/stat : 19535 (java) S 19396 19405 19335 0 -1 1077944384 2213 13007 0 5 64 71 5 4 20 0 15 0 473013550 11113619456 682568 33554432000 4194304 4196468 140725073612528 140354636438576 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
Current children cumulated CPU time: 2377.26 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 2730272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2345 s]*
/proc/loadavg: 1.57 1.44 1.29 3/227 20006
/proc/meminfo: memFree=1077812/32770624 swapFree=67002224/67108860
[pid=19405] ppid=19396 vsize=10853144 memory=2685644 CPUtime=2400.03 cores=0,2,4,6
/proc/19405/stat : 19405 (java) S 19396 19405 19335 0 -1 1077944320 5486183 13007 2 5 238992 1002 5 4 20 0 15 0 473013348 11113619456 671411 33554432000 4194304 4196468 140725073612528 140725073595072 140355638255351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
/proc/19405/statm: 2713286 671411 3641 1 0 2675341 0
[pid=19405/tid=19503] ppid=19396 vsize=10853144 memory=6791534058613427641 CPUtime=2317.76 cores=0,2,4,6
/proc/19405/task/19503/stat : 19503 (java) R 19396 19405 19335 0 -1 4202560 4654377 13007 1 5 231145 622 5 4 20 0 15 0 473013537 11113619456 671411 33554432000 4194304 4196468 140725073612528 140355610090144 140355264643947 0 4 0 16800975 0 0 0 -1 2 0 0 580 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19511] ppid=19396 vsize=10853144 memory=4126316290023845779 CPUtime=12.28 cores=0,2,4,6
/proc/19405/task/19511/stat : 19511 (java) S 19396 19405 19335 0 -1 1077944384 153831 13007 0 5 1152 67 5 4 20 0 15 0 473013539 11113619456 671411 33554432000 4194304 4196468 140725073612528 140355642497552 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19512] ppid=19396 vsize=10853144 memory=-6447287110554383552 CPUtime=12.27 cores=0,2,4,6
/proc/19405/task/19512/stat : 19512 (java) S 19396 19405 19335 0 -1 1077944384 146933 13007 0 5 1145 73 5 4 20 0 15 0 473013539 11113619456 671411 33554432000 4194304 4196468 140725073612528 140355211553424 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19513] ppid=19396 vsize=10853144 memory=6297831537088227440 CPUtime=12.26 cores=0,2,4,6
/proc/19405/task/19513/stat : 19513 (java) S 19396 19405 19335 0 -1 1077944384 145830 13007 0 5 1153 64 5 4 20 0 15 0 473013539 11113619456 671411 33554432000 4194304 4196468 140725073612528 140355210500368 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19514] ppid=19396 vsize=10853144 memory=7013346343823632999 CPUtime=12.24 cores=0,2,4,6
/proc/19405/task/19514/stat : 19514 (java) S 19396 19405 19335 0 -1 1077944384 155608 13007 0 5 1155 60 5 4 20 0 15 0 473013539 11113619456 671411 33554432000 4194304 4196468 140725073612528 140355209447824 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19519] ppid=19396 vsize=10853144 memory=6370458690916869224 CPUtime=4.9 cores=0,2,4,6
/proc/19405/task/19519/stat : 19519 (java) S 19396 19405 19335 0 -1 1077944384 30504 13007 0 5 426 55 5 4 20 0 15 0 473013540 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354640648944 140355638266498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19521] ppid=19396 vsize=10853144 memory=6082488869023541093 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19521/stat : 19521 (java) S 19396 19405 19335 0 -1 1077944384 50 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354565170912 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19522] ppid=19396 vsize=10853144 memory=8025788800890856549 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19522/stat : 19522 (java) S 19396 19405 19335 0 -1 1077944384 9 13007 0 5 0 0 5 4 20 0 15 0 473013541 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354430952704 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19525] ppid=19396 vsize=10853144 memory=7230354741939103332 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19525/stat : 19525 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354190662096 140355638273947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19526] ppid=19396 vsize=10853144 memory=7380106142448643182 CPUtime=10.97 cores=0,2,4,6
/proc/19405/task/19526/stat : 19526 (java) S 19396 19405 19335 0 -1 1077944384 65765 13007 0 5 1081 7 5 4 20 0 15 0 473013545 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354639595760 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19527] ppid=19396 vsize=10853144 memory=7237398200207235424 CPUtime=11.3 cores=0,2,4,6
/proc/19405/task/19527/stat : 19527 (java) S 19396 19405 19335 0 -1 1077944384 62892 13007 1 5 1113 8 5 4 20 0 15 0 473013545 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354638543216 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19528] ppid=19396 vsize=10853144 memory=4627829655970261584 CPUtime=5.31 cores=0,2,4,6
/proc/19405/task/19528/stat : 19528 (java) S 19396 19405 19335 0 -1 1077944384 65945 13007 0 5 510 12 5 4 20 0 15 0 473013545 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354637490160 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19529] ppid=19396 vsize=10853144 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19405/task/19529/stat : 19529 (java) S 19396 19405 19335 0 -1 1077944384 3 13007 0 5 0 0 5 4 20 0 15 0 473013545 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354157103456 140355638265557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
[pid=19405/tid=19535] ppid=19396 vsize=10853144 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/19405/task/19535/stat : 19535 (java) S 19396 19405 19335 0 -1 1077944384 2226 13007 0 5 64 72 5 4 20 0 15 0 473013550 11113619456 671411 33554432000 4194304 4196468 140725073612528 140354636438576 140355638266498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24834048 140725073619555 140725073622197 140725073622197 140725073625039 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 2685644 KiB

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

[startup+2345.12 s]
# the end of solver process 19405 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2390.01 s, system=10.1601 s

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

[startup+2345.11 s]*
/proc/loadavg: 1.57 1.44 1.29 3/214 20008
/proc/meminfo: memFree=3635448/32770624 swapFree=67002224/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2345.12
CPU time (s): 2400.17
CPU user time (s): 2390.01
CPU system time (s): 10.1601
CPU usage (%): 102.347
Max. virtual memory (cumulated for all children) (KiB): 10999712
Max. memory (cumulated for all children) (KiB): 3062548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.01
system time used= 10.1601
maximum resident set size= 3066596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5499912
page faults= 7
swaps= 0
block input operations= 37448
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158075
involuntary context switches= 5984


# summary of solver processes directly reported to runsolver:
#   pid: 19405
#   total CPU time (s): 2400.17
#   total CPU user time (s): 2390.01
#   total CPU system time (s): 10.1601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7206 second user time and 22.8409 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-20 10:19:54
IDJOB=4403299
IDBENCH=115801
IDSOLVER=2862
FILE ID=node136/4403299-1568967638
RUNJOBID= node136-1568967593-19366
PBS_JOBID= 21704619
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-15-15-5.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403299-1568967638/watcher-4403299-1568967638 -o /var/tmp/evaluation-result-4403299-1568967638/solver-4403299-1568967638 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568967593-19366 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4403299-1568967638.xml

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

MD5SUM BENCH= 8b9c4e6e7c9e88d5c00f06b3f0219a0c
RANDOM SEED=1159292332

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:          232144 kB
MemAvailable:   31855036 kB
Buffers:          131004 kB
Cached:         31400556 kB
SwapCached:         3532 kB
Active:         15301748 kB
Inactive:       16233296 kB
Active(anon):       2452 kB
Inactive(anon):    50540 kB
Active(file):   15299296 kB
Inactive(file): 16182756 kB
Unevictable:      110480 kB
Mlocked:          110480 kB
SwapTotal:      67108860 kB
SwapFree:       67002224 kB
Dirty:              6344 kB
Writeback:            84 kB
AnonPages:        112884 kB
Mapped:            51624 kB
Shmem:             40212 kB
Slab:             598376 kB
SReclaimable:     569300 kB
SUnreclaim:        29076 kB
KernelStack:        3472 kB
PageTables:         5872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     511020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13416 MiB
End job on node136 at 2019-09-20 10:59:08