Trace number 4403313

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.3? (TO) 2400.13 2349.61

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-030-15-2.xml
MD5SUMba573a75edcb56a5f29535772f8b277a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of constraints495
Number of domains1
Minimum domain size1932
Maximum domain size1932
Distribution of domain sizes[{"size":1932,"count":480}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":450}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":2,"count":450},{"arity":30,"count":15}]
Number of extensional constraints0
Number of intensional constraints480
Distribution of constraint types[{"type":"intension","count":480},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.91/2.35	c Concrete v3.12.3.1568965526260 running
2400.00/2349.55	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2400.00/2349.55		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2400.00/2349.55		at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:55)
2400.00/2349.55		at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:27)
2400.00/2349.55		at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:267)
2400.00/2349.55		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:27)
2400.00/2349.55		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8)
2400.00/2349.55		at concrete.heuristic.value.BestCost.select(BestCost.scala:55)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.00/2349.55		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.00/2349.55		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.00/2349.55		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2349.55		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2400.00/2349.55		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2400.00/2349.55		at scala.Option.map(Option.scala:242)
2400.00/2349.55		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2400.00/2349.55		at concrete.MAC.mac(MAC.scala:216)
2400.00/2349.55		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.00/2349.55		at scala.util.Try$.apply(Try.scala:210)
2400.00/2349.55		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.00/2349.55		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.00/2349.55		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.00/2349.55		at concrete.MAC.oneRun(MAC.scala:265)
2400.00/2349.55		at concrete.MAC.nextSolution(MAC.scala:284)
2400.00/2349.55		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350)
2400.00/2349.55		at concrete.ProblemState.map(ProblemState.scala:238)
2400.00/2349.55		at concrete.ProblemState.map(ProblemState.scala:212)
2400.00/2349.55		at concrete.MAC.nextSolution(MAC.scala:348)
2400.00/2349.55		at concrete.Solver.hasNext(Solver.scala:160)
2400.00/2349.55		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.00/2349.55		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.00/2349.55		at concrete.Solver.foreach(Solver.scala:67)
2400.00/2349.55		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.00/2349.55		at scala.util.Success.map(Try.scala:262)
2400.00/2349.55		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.00/2349.55		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.00/2349.55		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.00/2349.55		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.00/2349.55		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.00/2349.55		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.00/2349.55		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.00/2349.55		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.00/2349.55		at scala.App.$anonfun$main$1(App.scala:73)
2400.00/2349.55		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.00/2349.55		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.00/2349.55		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.00/2349.55		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.00/2349.55		at scala.App.main(App.scala:73)
2400.00/2349.55		at scala.App.main$(App.scala:71)
2400.00/2349.55		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.00/2349.55		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.00/2349.57	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403313-1568967638/watcher-4403313-1568967638 -o /var/tmp/evaluation-result-4403313-1568967638/solver-4403313-1568967638 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568967597-26298 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1455309010 HOME/instance-4403313-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
solver pid=26337, runsolver pid=26329
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 0.31 0.08 0.07 2/206 26348
/proc/meminfo: memFree=205888/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=113256 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26337/stat : 26337 (bash) R 26329 26337 26267 0 -1 4202496 728 1562 0 1 0 0 0 0 20 0 1 0 472704633 115974144 364 33554432000 4194304 5098028 140735679980976 140735679978616 140232123440128 0 0 4100 65536 0 0 0 17 0 0 0 2 0 0 7196144 7232144 37642240 140735679988736 140735679988865 140735679988865 140735679991790 0
/proc/26337/statm: 28314 364 290 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1456 KiB

[startup+0.209994 s]*
/proc/loadavg: 0.31 0.08 0.07 2/206 26394
/proc/meminfo: memFree=204652/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/26337/stat : 26337 (bash) S 26329 26337 26267 0 -1 4202496 892 5668 0 1 0 0 0 1 20 0 1 0 472704633 115974144 404 33554432000 4194304 5098028 140735679980976 140735679974984 140232123440128 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 2 0 0 7196144 7232144 37642240 140735679988736 140735679988865 140735679988865 140735679991790 0
/proc/26337/statm: 28314 404 320 221 0 119 0
[pid=26390] ppid=26337 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/26390/stat : 26390 (bash) S 26337 26337 26267 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472704647 115974144 178 33554432000 4194304 5098028 140735679980976 140735679973656 140232123265660 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37642240 140735679988736 140735679988865 140735679988865 140735679991790 0
/proc/26390/statm: 28314 178 94 221 0 119 0
[pid=26391] ppid=26390 vsize=4724 memory=196 CPUtime=0 cores=0,2,4,6
/proc/26391/stat : 26391 (java) D 26390 26337 26267 0 -1 4194304 169 0 0 0 0 0 0 0 20 0 1 0 472704647 4837376 49 33554432000 4194304 4196468 140736426171664 140736426168712 140301197404666 0 0 4096 0 18446744071580431491 0 0 17 0 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
/proc/26391/statm: 1181 49 38 1 0 43 0
[pid=26393] ppid=26390 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/26393/stat : 26393 (awk) S 26390 26337 26267 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472704647 116211712 242 33554432000 4194304 4609284 140722998570112 140722998569288 140399236353024 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 26099712 140722998572204 140722998572234 140722998572234 140722998575087 0
/proc/26393/statm: 28372 242 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 344724 KiB
Current children cumulated memory: 3492 KiB

[startup+0.309904 s]*
/proc/loadavg: 0.31 0.08 0.07 2/208 26396
/proc/meminfo: memFree=201596/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/26337/stat : 26337 (bash) S 26329 26337 26267 0 -1 4202496 892 5668 0 1 0 0 0 1 20 0 1 0 472704633 115974144 404 33554432000 4194304 5098028 140735679980976 140735679974984 140232123440128 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 2 0 0 7196144 7232144 37642240 140735679988736 140735679988865 140735679988865 140735679991790 0
/proc/26337/statm: 28314 404 320 221 0 119 0
[pid=26390] ppid=26337 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/26390/stat : 26390 (bash) S 26337 26337 26267 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472704647 115974144 178 33554432000 4194304 5098028 140735679980976 140735679973656 140232123265660 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37642240 140735679988736 140735679988865 140735679988865 140735679991790 0
/proc/26390/statm: 28314 178 94 221 0 119 0
[pid=26391] ppid=26390 vsize=110464 memory=5700 CPUtime=0 cores=0,2,4,6
/proc/26391/stat : 26391 (java) S 26390 26337 26267 0 -1 1077944320 1707 0 1 0 0 0 0 0 20 0 2 0 472704647 113115136 1425 33554432000 4194304 4196468 140736426171664 140736426154208 140301195124471 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
/proc/26391/statm: 27616 1425 1063 1 0 17066 0
[pid=26391/tid=26395] ppid=26390 vsize=110464 memory=7892391828772250251 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26395/stat : 26395 (java) D 26390 26337 26267 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 2 0 472704660 113115136 1425 33554432000 4194304 4196468 140736426171664 140301199361320 140301187804064 0 4 0 16784584 18446744072101572132 0 0 -1 0 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26393] ppid=26390 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/26393/stat : 26393 (awk) S 26390 26337 26267 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472704647 116211712 242 33554432000 4194304 4609284 140722998570112 140722998569288 140399236353024 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 26099712 140722998572204 140722998572234 140722998572234 140722998575087 0
/proc/26393/statm: 28372 242 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 450464 KiB
Current children cumulated memory: 8996 KiB

[startup+0.700709 s]
/proc/loadavg: 0.31 0.08 0.07 2/222 26410
/proc/meminfo: memFree=191232/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/26337/stat : 26337 (bash) S 26329 26337 26267 0 -1 4202496 892 5668 0 1 0 0 0 1 20 0 1 0 472704633 115974144 404 33554432000 4194304 5098028 140735679980976 140735679974984 140232123440128 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 2 0 0 7196144 7232144 37642240 140735679988736 140735679988865 140735679988865 140735679991790 0
/proc/26337/statm: 28314 404 320 221 0 119 0
[pid=26390] ppid=26337 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/26390/stat : 26390 (bash) S 26337 26337 26267 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472704647 115974144 178 33554432000 4194304 5098028 140735679980976 140735679973656 140232123265660 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37642240 140735679988736 140735679988865 140735679988865 140735679991790 0
/proc/26390/statm: 28314 178 94 221 0 119 0
[pid=26391] ppid=26390 vsize=10593144 memory=23052 CPUtime=0.05 cores=0,2,4,6
/proc/26391/stat : 26391 (java) S 26390 26337 26267 0 -1 1077944320 4705 0 1 0 5 0 0 0 20 0 14 0 472704647 10847379456 5763 33554432000 4194304 4196468 140736426171664 140736426154208 140301195124471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
/proc/26391/statm: 2648286 5763 2607 1 0 2610827 0
[pid=26391/tid=26395] ppid=26390 vsize=10593144 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26391/task/26395/stat : 26395 (java) D 26390 26337 26267 0 -1 1077944384 2843 0 0 0 4 0 0 0 20 0 14 0 472704660 10847379456 5763 33554432000 4194304 4196468 140736426171664 140301199359128 140301187802485 0 4 0 16800975 18446744072101572132 0 0 -1 0 0 0 2 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26391/tid=26397] ppid=26390 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26397/stat : 26397 (java) S 26390 26337 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 472704674 10847379456 5763 33554432000 4194304 4196468 140736426171664 140301147744528 140301195134677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26391/tid=26398] ppid=26390 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26398/stat : 26398 (java) S 26390 26337 26267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 472704674 10847379456 5763 33554432000 4194304 4196468 140736426171664 140300801202576 140301195134677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26391/tid=26399] ppid=26390 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26399/stat : 26399 (java) S 26390 26337 26267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 472704674 10847379456 5763 33554432000 4194304 4196468 140736426171664 140300800150032 140301195134677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26391/tid=26400] ppid=26390 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26400/stat : 26400 (java) S 26390 26337 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 472704674 10847379456 5763 33554432000 4194304 4196468 140736426171664 140300799097488 140301195134677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26391/tid=26405] ppid=26390 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26405/stat : 26405 (java) S 26390 26337 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 472704678 10847379456 5763 33554432000 4194304 4196468 140736426171664 140300499479024 140301195135618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26391/tid=26407] ppid=26390 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26407/stat : 26407 (java) S 26390 26337 26267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 472704679 10847379456 5763 33554432000 4194304 4196468 140736426171664 140300498425248 140301195134677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26391/tid=26409] ppid=26390 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26391/task/26409/stat : 26409 (java) S 26390 26337 26267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 472704679 10847379456 5763 33554432000 4194304 4196468 140736426171664 140300497372656 140301195134677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12419072 140736426173564 140736426173578 140736426173578 140736426176463 0
[pid=26393] ppid=26390 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/26393/stat : 26393 (awk) S 26390 26337 26267 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472704647 116211712 242 33554432000 4194304 4609284 140722998570112 140722998569288 140399236353024 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 26099712 140722998572204 140722998572234 140722998572234 140722998575087 0
/proc/26393/statm: 28372 242 205 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10933144 KiB
Current children cumulated memory: 26348 KiB

[startup+1.50071 s]
/proc/loadavg: 0.31 0.08 0.07 2/204 26428
/proc/meminfo: memFree=242604/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=10820196 memory=50704 CPUtime=0.42 cores=0,2,4,6
/proc/26337/stat : 26337 (java) S 26329 26337 26267 0 -1 1077944320 10543 13097 0 2 28 5 6 3 20 0 15 0 472704633 11079880704 12676 33554432000 4194304 4196468 140730420311104 140730420293648 140008096460535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
/proc/26337/statm: 2705049 12676 3294 1 0 2667149 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50704 KiB

[startup+3.1098 s]
/proc/loadavg: 0.31 0.08 0.07 2/228 26468
/proc/meminfo: memFree=203288/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=10820268 memory=70116 CPUtime=0.92 cores=0,2,4,6
/proc/26337/stat : 26337 (java) S 26329 26337 26267 0 -1 1077944320 14175 13097 0 2 75 8 6 3 20 0 15 0 472704633 11079954432 17529 33554432000 4194304 4196468 140730420311104 140730420293648 140008096460535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
/proc/26337/statm: 2705067 17529 3466 1 0 2667149 0
[pid=26337/tid=26442] ppid=26329 vsize=10820268 memory=69624 CPUtime=0.59 cores=0,2,4,6
/proc/26337/task/26442/stat : 26442 (java) R 26329 26337 26267 0 -1 4202560 9736 13097 0 2 44 6 6 3 20 0 15 0 472704739 11079954432 17529 33554432000 4194304 4196468 140730420311104 140008068290944 140007696377713 0 4 0 16800975 0 0 0 -1 4 0 0 142 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26450] ppid=26329 vsize=10820268 memory=140563072708136 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26450/stat : 26450 (java) S 26329 26337 26267 0 -1 1077944384 1 13097 0 2 0 0 6 3 20 0 15 0 472704745 11079954432 17529 33554432000 4194304 4196468 140730420311104 140008100703248 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26451] ppid=26329 vsize=10820268 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26451/stat : 26451 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704745 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007669685392 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26452] ppid=26329 vsize=10820268 memory=2292 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26452/stat : 26452 (java) S 26329 26337 26267 0 -1 1077944384 1 13097 0 2 0 0 6 3 20 0 15 0 472704745 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007668632336 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26453] ppid=26329 vsize=10820268 memory=281126145269216 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26453/stat : 26453 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704745 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007667579792 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26454] ppid=26329 vsize=10820268 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26454/stat : 26454 (java) S 26329 26337 26267 0 -1 1077944384 5 13097 0 2 0 0 6 3 20 0 15 0 472704747 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007623137520 140008096471682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26455] ppid=26329 vsize=10820268 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26455/stat : 26455 (java) S 26329 26337 26267 0 -1 1077944384 33 13097 0 2 0 0 6 3 20 0 15 0 472704747 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007545234592 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26456] ppid=26329 vsize=10820268 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26456/stat : 26456 (java) S 26329 26337 26267 0 -1 1077944384 21 13097 0 2 0 0 6 3 20 0 15 0 472704747 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007411016432 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26463] ppid=26329 vsize=10820268 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26463/stat : 26463 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704753 11079954432 17529 33554432000 4194304 4196468 140730420311104 140006807037904 140008096479131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26464] ppid=26329 vsize=10820268 memory=3256253240328044924 CPUtime=0.19 cores=0,2,4,6
/proc/26337/task/26464/stat : 26464 (java) R 26329 26337 26267 0 -1 1077944384 952 13097 0 2 10 0 6 3 20 0 15 0 472704753 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007622085360 140008096471682 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26465] ppid=26329 vsize=10820268 memory=-6800859132029471843 CPUtime=0.15 cores=0,2,4,6
/proc/26337/task/26465/stat : 26465 (java) S 26329 26337 26267 0 -1 1077944384 536 13097 0 2 6 0 6 3 20 0 15 0 472704753 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007621032816 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26466] ppid=26329 vsize=10820268 memory=-7880843606118635149 CPUtime=0.22 cores=0,2,4,6
/proc/26337/task/26466/stat : 26466 (java) R 26329 26337 26267 0 -1 4202560 675 13097 0 2 13 0 6 3 20 0 15 0 472704753 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007619979760 140008096472470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26467] ppid=26329 vsize=10820268 memory=-7880843606118635149 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26467/stat : 26467 (java) S 26329 26337 26267 0 -1 1077944384 3 13097 0 2 0 0 6 3 20 0 15 0 472704753 11079954432 17529 33554432000 4194304 4196468 140730420311104 140006337276768 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26468] ppid=26329 vsize=10820268 memory=576460756329984031 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26468/stat : 26468 (java) S 26329 26337 26267 0 -1 1077944384 1 13097 0 2 0 0 6 3 20 0 15 0 472704757 11079954432 17529 33554432000 4194304 4196468 140730420311104 140007618927152 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 70116 KiB
heavy processes:

[startup+6.30075 s]
/proc/loadavg: 0.45 0.11 0.08 2/228 26468
/proc/meminfo: memFree=215736/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=10824364 memory=83048 CPUtime=1.25 cores=0,2,4,6
/proc/26337/stat : 26337 (java) S 26329 26337 26267 0 -1 1077944320 17057 13097 0 2 106 10 6 3 20 0 15 0 472704633 11084148736 20762 33554432000 4194304 4196468 140730420311104 140730420293648 140008096460535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
/proc/26337/statm: 2706091 20762 3515 1 0 2668173 0
[pid=26337/tid=26442] ppid=26329 vsize=10824364 memory=75288 CPUtime=0.75 cores=0,2,4,6
/proc/26337/task/26442/stat : 26442 (java) D 26329 26337 26267 0 -1 4202560 12460 13097 0 2 58 8 6 3 20 0 15 0 472704739 11084148736 20762 33554432000 4194304 4196468 140730420311104 140008068279152 140008096482461 0 4 0 16800975 18446744071580419588 0 0 -1 6 0 0 414 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26450] ppid=26329 vsize=10824364 memory=4206468019014099040 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26450/stat : 26450 (java) S 26329 26337 26267 0 -1 1077944384 1 13097 0 2 0 0 6 3 20 0 15 0 472704745 11084148736 20762 33554432000 4194304 4196468 140730420311104 140008100703248 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26451] ppid=26329 vsize=10824364 memory=33 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26451/stat : 26451 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704745 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007669685392 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26452] ppid=26329 vsize=10824364 memory=281126145404256 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26452/stat : 26452 (java) S 26329 26337 26267 0 -1 1077944384 1 13097 0 2 0 0 6 3 20 0 15 0 472704745 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007668632336 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26453] ppid=26329 vsize=10824364 memory=4629539461233085814 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26453/stat : 26453 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704745 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007667579792 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26454] ppid=26329 vsize=10824364 memory=-8815684543610607008 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26454/stat : 26454 (java) S 26329 26337 26267 0 -1 1077944384 5 13097 0 2 0 0 6 3 20 0 15 0 472704747 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007623137520 140008096471682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26455] ppid=26329 vsize=10824364 memory=2008 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26455/stat : 26455 (java) S 26329 26337 26267 0 -1 1077944384 33 13097 0 2 0 0 6 3 20 0 15 0 472704747 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007545234592 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26456] ppid=26329 vsize=10824364 memory=1436 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26456/stat : 26456 (java) S 26329 26337 26267 0 -1 1077944384 21 13097 0 2 0 0 6 3 20 0 15 0 472704747 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007411016432 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26463] ppid=26329 vsize=10824364 memory=580 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26463/stat : 26463 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704753 11084148736 20762 33554432000 4194304 4196468 140730420311104 140006807037904 140008096479131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26464] ppid=26329 vsize=10824364 memory=1716 CPUtime=0.25 cores=0,2,4,6
/proc/26337/task/26464/stat : 26464 (java) S 26329 26337 26267 0 -1 1077944384 976 13097 0 2 16 0 6 3 20 0 15 0 472704753 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007622085360 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26465] ppid=26329 vsize=10824364 memory=10604 CPUtime=0.21 cores=0,2,4,6
/proc/26337/task/26465/stat : 26465 (java) S 26329 26337 26267 0 -1 1077944384 583 13097 0 2 12 0 6 3 20 0 15 0 472704753 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007621032816 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26466] ppid=26329 vsize=10824364 memory=281126145253856 CPUtime=0.26 cores=0,2,4,6
/proc/26337/task/26466/stat : 26466 (java) S 26329 26337 26267 0 -1 1077944384 758 13097 0 2 17 0 6 3 20 0 15 0 472704753 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007619979760 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26467] ppid=26329 vsize=10824364 memory=4116465944839347898 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26467/stat : 26467 (java) S 26329 26337 26267 0 -1 1077944384 3 13097 0 2 0 0 6 3 20 0 15 0 472704753 11084148736 20762 33554432000 4194304 4196468 140730420311104 140006337276768 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26468] ppid=26329 vsize=10824364 memory=2308580976631399158 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26468/stat : 26468 (java) S 26329 26337 26267 0 -1 1077944384 3 13097 0 2 0 0 6 3 20 0 15 0 472704757 11084148736 20762 33554432000 4194304 4196468 140730420311104 140007618927152 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 10824364 KiB

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

/proc/26337/task/26442/stat : 26442 (java) R 26329 26337 26267 0 -1 4202560 3921050 13097 2 2 222957 458 6 3 20 0 15 0 472704739 11109412864 293663 33554432000 4194304 4196468 140730420311104 140008068294448 140007715861427 0 4 0 16800975 0 0 0 -1 2 0 0 760 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26450] ppid=26329 vsize=10849036 memory=1175164 CPUtime=13.01 cores=0,2,4,6
/proc/26337/task/26450/stat : 26450 (java) S 26329 26337 26267 0 -1 1077944384 139505 13097 0 2 1234 58 6 3 20 0 15 0 472704745 11109412864 293663 33554432000 4194304 4196468 140730420311104 140008100703248 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26451] ppid=26329 vsize=10849036 memory=56 CPUtime=12.95 cores=0,2,4,6
/proc/26337/task/26451/stat : 26451 (java) S 26329 26337 26267 0 -1 1077944384 136941 13097 0 2 1230 56 6 3 20 0 15 0 472704745 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007669685392 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26452] ppid=26329 vsize=10849036 memory=1178240 CPUtime=12.97 cores=0,2,4,6
/proc/26337/task/26452/stat : 26452 (java) S 26329 26337 26267 0 -1 1077944384 149026 13097 0 2 1230 58 6 3 20 0 15 0 472704745 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007668632336 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26453] ppid=26329 vsize=10849036 memory=164 CPUtime=12.96 cores=0,2,4,6
/proc/26337/task/26453/stat : 26453 (java) S 26329 26337 26267 0 -1 1077944384 140534 13097 0 2 1232 55 6 3 20 0 15 0 472704745 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007667579792 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26454] ppid=26329 vsize=10849036 memory=1178240 CPUtime=4.05 cores=0,2,4,6
/proc/26337/task/26454/stat : 26454 (java) S 26329 26337 26267 0 -1 1077944384 45139 13097 0 2 350 46 6 3 20 0 15 0 472704747 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007623137520 140008096471682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26455] ppid=26329 vsize=10849036 memory=1178240 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26455/stat : 26455 (java) S 26329 26337 26267 0 -1 1077944384 94 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007545234720 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26456] ppid=26329 vsize=10849036 memory=3816 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26456/stat : 26456 (java) S 26329 26337 26267 0 -1 1077944384 89 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007411016448 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26463] ppid=26329 vsize=10849036 memory=2304 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26463/stat : 26463 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 293663 33554432000 4194304 4196468 140730420311104 140006807037904 140008096479131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26464] ppid=26329 vsize=10849036 memory=3620 CPUtime=9 cores=0,2,4,6
/proc/26337/task/26464/stat : 26464 (java) S 26329 26337 26267 0 -1 1077944384 64805 13097 1 2 884 7 6 3 20 0 15 0 472704753 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007622085360 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26465] ppid=26329 vsize=10849036 memory=1660 CPUtime=8.81 cores=0,2,4,6
/proc/26337/task/26465/stat : 26465 (java) S 26329 26337 26267 0 -1 1077944384 57428 13097 1 2 866 6 6 3 20 0 15 0 472704753 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007621032816 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26466] ppid=26329 vsize=10849036 memory=1178752 CPUtime=2.9 cores=0,2,4,6
/proc/26337/task/26466/stat : 26466 (java) S 26329 26337 26267 0 -1 1077944384 89075 13097 0 2 272 9 6 3 20 0 15 0 472704753 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007619979760 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26467] ppid=26329 vsize=10849036 memory=3620 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26467/stat : 26467 (java) S 26329 26337 26267 0 -1 1077944384 3 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 293663 33554432000 4194304 4196468 140730420311104 140006337276768 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26468] ppid=26329 vsize=10849036 memory=1175164 CPUtime=1.54 cores=0,2,4,6
/proc/26337/task/26468/stat : 26468 (java) S 26329 26337 26267 0 -1 1077944384 1956 13097 0 2 74 71 6 3 20 0 15 0 472704757 11109412864 293663 33554432000 4194304 4196468 140730420311104 140007618927152 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
Current children cumulated CPU time: 2311.71 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1174652 KiB

[startup+2322.3 s]
/proc/loadavg: 1.65 1.71 1.61 4/227 26679
/proc/meminfo: memFree=1429284/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=10849036 memory=1134156 CPUtime=2372.46 cores=0,2,4,6
/proc/26337/stat : 26337 (java) S 26329 26337 26267 0 -1 1077944320 4834378 13097 4 2 236440 797 6 3 20 0 15 0 472704633 11109412864 283539 33554432000 4194304 4196468 140730420311104 140730420293648 140008096460535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
/proc/26337/statm: 2712259 283539 3647 1 0 2674317 0
[pid=26337/tid=26442] ppid=26329 vsize=10849036 memory=1135680 CPUtime=2293.89 cores=0,2,4,6
/proc/26337/task/26442/stat : 26442 (java) R 26329 26337 26267 0 -1 4202560 3996177 13097 2 2 228918 462 6 3 20 0 15 0 472704739 11109412864 283539 33554432000 4194304 4196468 140730420311104 140008068294160 140007700671899 0 4 0 16800975 0 0 0 -1 0 0 0 760 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26450] ppid=26329 vsize=10849036 memory=1136708 CPUtime=13.25 cores=0,2,4,6
/proc/26337/task/26450/stat : 26450 (java) S 26329 26337 26267 0 -1 1077944384 142323 13097 0 2 1258 58 6 3 20 0 15 0 472704745 11109412864 283539 33554432000 4194304 4196468 140730420311104 140008100703248 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26451] ppid=26329 vsize=10849036 memory=1134156 CPUtime=13.2 cores=0,2,4,6
/proc/26337/task/26451/stat : 26451 (java) S 26329 26337 26267 0 -1 1077944384 138667 13097 0 2 1254 57 6 3 20 0 15 0 472704745 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007669685392 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26452] ppid=26329 vsize=10849036 memory=1134156 CPUtime=13.2 cores=0,2,4,6
/proc/26337/task/26452/stat : 26452 (java) S 26329 26337 26267 0 -1 1077944384 151319 13097 0 2 1253 58 6 3 20 0 15 0 472704745 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007668632336 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26453] ppid=26329 vsize=10849036 memory=1134156 CPUtime=13.2 cores=0,2,4,6
/proc/26337/task/26453/stat : 26453 (java) S 26329 26337 26267 0 -1 1077944384 142232 13097 0 2 1256 55 6 3 20 0 15 0 472704745 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007667579792 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26454] ppid=26329 vsize=10849036 memory=1136708 CPUtime=4.11 cores=0,2,4,6
/proc/26337/task/26454/stat : 26454 (java) S 26329 26337 26267 0 -1 1077944384 45495 13097 0 2 356 46 6 3 20 0 15 0 472704747 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007623137520 140008096471682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26455] ppid=26329 vsize=10849036 memory=1967567 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26455/stat : 26455 (java) S 26329 26337 26267 0 -1 1077944384 94 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007545234720 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26456] ppid=26329 vsize=10849036 memory=1134656 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26456/stat : 26456 (java) S 26329 26337 26267 0 -1 1077944384 89 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007411016448 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26463] ppid=26329 vsize=10849036 memory=1135680 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26463/stat : 26463 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 283539 33554432000 4194304 4196468 140730420311104 140006807037904 140008096479131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26464] ppid=26329 vsize=10849036 memory=1139272 CPUtime=9.02 cores=0,2,4,6
/proc/26337/task/26464/stat : 26464 (java) S 26329 26337 26267 0 -1 1077944384 67281 13097 1 2 886 7 6 3 20 0 15 0 472704753 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007622085360 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26465] ppid=26329 vsize=10849036 memory=1139272 CPUtime=8.81 cores=0,2,4,6
/proc/26337/task/26465/stat : 26465 (java) S 26329 26337 26267 0 -1 1077944384 57430 13097 1 2 866 6 6 3 20 0 15 0 472704753 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007621032816 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26466] ppid=26329 vsize=10849036 memory=1134156 CPUtime=2.9 cores=0,2,4,6
/proc/26337/task/26466/stat : 26466 (java) S 26329 26337 26267 0 -1 1077944384 89078 13097 0 2 272 9 6 3 20 0 15 0 472704753 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007619979760 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26467] ppid=26329 vsize=10849036 memory=55368 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26467/stat : 26467 (java) S 26329 26337 26267 0 -1 1077944384 3 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 283539 33554432000 4194304 4196468 140730420311104 140006337276768 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26468] ppid=26329 vsize=10849036 memory=1134656 CPUtime=1.58 cores=0,2,4,6
/proc/26337/task/26468/stat : 26468 (java) S 26329 26337 26267 0 -1 1077944384 1981 13097 0 2 76 73 6 3 20 0 15 0 472704757 11109412864 283539 33554432000 4194304 4196468 140730420311104 140007618927152 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
Current children cumulated CPU time: 2372.46 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1134156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2349.5 s]
/proc/loadavg: 1.64 1.70 1.61 4/227 26681
/proc/meminfo: memFree=1455988/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=10849036 memory=1106988 CPUtime=2400 cores=0,2,4,6
/proc/26337/stat : 26337 (java) S 26329 26337 26267 0 -1 1077944320 4881647 13097 4 2 239190 801 6 3 20 0 15 0 472704633 11109412864 276747 33554432000 4194304 4196468 140730420311104 140730420293648 140008096460535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
/proc/26337/statm: 2712259 276747 3647 1 0 2674317 0
[pid=26337/tid=26442] ppid=26329 vsize=10849036 memory=288230574492221466 CPUtime=2320.94 cores=0,2,4,6
/proc/26337/task/26442/stat : 26442 (java) R 26329 26337 26267 0 -1 4202560 4041296 13097 2 2 231621 464 6 3 20 0 15 0 472704739 11109412864 276747 33554432000 4194304 4196468 140730420311104 140008068294224 140007708854928 0 4 0 16800975 0 0 0 -1 0 0 0 760 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26450] ppid=26329 vsize=10849036 memory=1109040 CPUtime=13.36 cores=0,2,4,6
/proc/26337/task/26450/stat : 26450 (java) S 26329 26337 26267 0 -1 1077944384 143590 13097 0 2 1269 58 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140008100703248 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26451] ppid=26329 vsize=10849036 memory=1111092 CPUtime=13.31 cores=0,2,4,6
/proc/26337/task/26451/stat : 26451 (java) S 26329 26337 26267 0 -1 1077944384 138946 13097 0 2 1265 57 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007669685392 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26452] ppid=26329 vsize=10849036 memory=1136708 CPUtime=13.31 cores=0,2,4,6
/proc/26337/task/26452/stat : 26452 (java) S 26329 26337 26267 0 -1 1077944384 151568 13097 0 2 1264 58 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007668632336 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26453] ppid=26329 vsize=10849036 memory=984 CPUtime=13.31 cores=0,2,4,6
/proc/26337/task/26453/stat : 26453 (java) S 26329 26337 26267 0 -1 1077944384 142541 13097 0 2 1267 55 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007667579792 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26454] ppid=26329 vsize=10849036 memory=1133136 CPUtime=4.14 cores=0,2,4,6
/proc/26337/task/26454/stat : 26454 (java) S 26329 26337 26267 0 -1 1077944384 45539 13097 0 2 359 46 6 3 20 0 15 0 472704747 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007623137520 140008096471682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26455] ppid=26329 vsize=10849036 memory=1107500 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26455/stat : 26455 (java) S 26329 26337 26267 0 -1 1077944384 94 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007545234720 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26456] ppid=26329 vsize=10849036 memory=2257 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26456/stat : 26456 (java) S 26329 26337 26267 0 -1 1077944384 89 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007411016448 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26463] ppid=26329 vsize=10849036 memory=1106988 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26463/stat : 26463 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140006807037904 140008096479131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26464] ppid=26329 vsize=10849036 memory=1109040 CPUtime=9.02 cores=0,2,4,6
/proc/26337/task/26464/stat : 26464 (java) S 26329 26337 26267 0 -1 1077944384 67281 13097 1 2 886 7 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007622085360 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26465] ppid=26329 vsize=10849036 memory=1109040 CPUtime=8.81 cores=0,2,4,6
/proc/26337/task/26465/stat : 26465 (java) S 26329 26337 26267 0 -1 1077944384 57430 13097 1 2 866 6 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007621032816 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26466] ppid=26329 vsize=10849036 memory=3620 CPUtime=2.9 cores=0,2,4,6
/proc/26337/task/26466/stat : 26466 (java) S 26329 26337 26267 0 -1 1077944384 89078 13097 0 2 272 9 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007619979760 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26467] ppid=26329 vsize=10849036 memory=1660 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26467/stat : 26467 (java) S 26329 26337 26267 0 -1 1077944384 3 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140006337276768 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26468] ppid=26329 vsize=10849036 memory=3620 CPUtime=1.59 cores=0,2,4,6
/proc/26337/task/26468/stat : 26468 (java) S 26329 26337 26267 0 -1 1077944384 1983 13097 0 2 77 73 6 3 20 0 15 0 472704757 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007618927152 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1106988 KiB

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

[startup+2349.61 s]
# the end of solver process 26337 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2392.04 s, system=8.09056 s

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

[startup+2349.5 s]
/proc/loadavg: 1.64 1.70 1.61 4/227 26681
/proc/meminfo: memFree=1455988/32770624 swapFree=66976736/67108860
[pid=26337] ppid=26329 vsize=10849036 memory=1106988 CPUtime=2400 cores=0,2,4,6
/proc/26337/stat : 26337 (java) S 26329 26337 26267 0 -1 1077944320 4881647 13097 4 2 239190 801 6 3 20 0 15 0 472704633 11109412864 276747 33554432000 4194304 4196468 140730420311104 140730420293648 140008096460535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
/proc/26337/statm: 2712259 276747 3647 1 0 2674317 0
[pid=26337/tid=26442] ppid=26329 vsize=10849036 memory=288230574492221466 CPUtime=2320.94 cores=0,2,4,6
/proc/26337/task/26442/stat : 26442 (java) R 26329 26337 26267 0 -1 4202560 4041296 13097 2 2 231621 464 6 3 20 0 15 0 472704739 11109412864 276747 33554432000 4194304 4196468 140730420311104 140008068294224 140007708854928 0 4 0 16800975 0 0 0 -1 0 0 0 760 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26450] ppid=26329 vsize=10849036 memory=1109040 CPUtime=13.36 cores=0,2,4,6
/proc/26337/task/26450/stat : 26450 (java) S 26329 26337 26267 0 -1 1077944384 143590 13097 0 2 1269 58 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140008100703248 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26451] ppid=26329 vsize=10849036 memory=1111092 CPUtime=13.31 cores=0,2,4,6
/proc/26337/task/26451/stat : 26451 (java) S 26329 26337 26267 0 -1 1077944384 138946 13097 0 2 1265 57 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007669685392 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26452] ppid=26329 vsize=10849036 memory=1136708 CPUtime=13.31 cores=0,2,4,6
/proc/26337/task/26452/stat : 26452 (java) S 26329 26337 26267 0 -1 1077944384 151568 13097 0 2 1264 58 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007668632336 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26453] ppid=26329 vsize=10849036 memory=984 CPUtime=13.31 cores=0,2,4,6
/proc/26337/task/26453/stat : 26453 (java) S 26329 26337 26267 0 -1 1077944384 142541 13097 0 2 1267 55 6 3 20 0 15 0 472704745 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007667579792 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26454] ppid=26329 vsize=10849036 memory=1133136 CPUtime=4.14 cores=0,2,4,6
/proc/26337/task/26454/stat : 26454 (java) S 26329 26337 26267 0 -1 1077944384 45539 13097 0 2 359 46 6 3 20 0 15 0 472704747 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007623137520 140008096471682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26455] ppid=26329 vsize=10849036 memory=1107500 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26455/stat : 26455 (java) S 26329 26337 26267 0 -1 1077944384 94 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007545234720 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26456] ppid=26329 vsize=10849036 memory=2257 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26456/stat : 26456 (java) S 26329 26337 26267 0 -1 1077944384 89 13097 0 2 0 0 6 3 20 0 15 0 472704747 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007411016448 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26463] ppid=26329 vsize=10849036 memory=1106988 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26463/stat : 26463 (java) S 26329 26337 26267 0 -1 1077944384 2 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140006807037904 140008096479131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26464] ppid=26329 vsize=10849036 memory=1109040 CPUtime=9.02 cores=0,2,4,6
/proc/26337/task/26464/stat : 26464 (java) S 26329 26337 26267 0 -1 1077944384 67281 13097 1 2 886 7 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007622085360 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26465] ppid=26329 vsize=10849036 memory=1109040 CPUtime=8.81 cores=0,2,4,6
/proc/26337/task/26465/stat : 26465 (java) S 26329 26337 26267 0 -1 1077944384 57430 13097 1 2 866 6 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007621032816 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26466] ppid=26329 vsize=10849036 memory=3620 CPUtime=2.9 cores=0,2,4,6
/proc/26337/task/26466/stat : 26466 (java) S 26329 26337 26267 0 -1 1077944384 89078 13097 0 2 272 9 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007619979760 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26467] ppid=26329 vsize=10849036 memory=1660 CPUtime=0.09 cores=0,2,4,6
/proc/26337/task/26467/stat : 26467 (java) S 26329 26337 26267 0 -1 1077944384 3 13097 0 2 0 0 6 3 20 0 15 0 472704753 11109412864 276747 33554432000 4194304 4196468 140730420311104 140006337276768 140008096470741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
[pid=26337/tid=26468] ppid=26329 vsize=10849036 memory=3620 CPUtime=1.59 cores=0,2,4,6
/proc/26337/task/26468/stat : 26468 (java) S 26329 26337 26267 0 -1 1077944384 1983 13097 0 2 77 73 6 3 20 0 15 0 472704757 11109412864 276747 33554432000 4194304 4196468 140730420311104 140007618927152 140008096471682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8810496 140730420316771 140730420319413 140730420319413 140730420322255 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1106988 KiB

Child status: 143
Real time (s): 2349.61
CPU time (s): 2400.13
CPU user time (s): 2392.04
CPU system time (s): 8.09056
CPU usage (%): 102.15
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 2848760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.04
system time used= 8.09056
maximum resident set size= 2852828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4898115
page faults= 6
swaps= 0
block input operations= 81968
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135719
involuntary context switches= 10155


# summary of solver processes directly reported to runsolver:
#   pid: 26337
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2392.04
#   total CPU system time (s): 8.09056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5446 second user time and 22.1692 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-20 10:19:57
IDJOB=4403313
IDBENCH=115769
IDSOLVER=2862
FILE ID=node124/4403313-1568967638
RUNJOBID= node124-1568967597-26298
PBS_JOBID= 21704624
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-15-2.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403313-1568967638/watcher-4403313-1568967638 -o /var/tmp/evaluation-result-4403313-1568967638/solver-4403313-1568967638 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568967597-26298 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1455309010 HOME/instance-4403313-1568967638.xml

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

MD5SUM BENCH= ba573a75edcb56a5f29535772f8b277a
RANDOM SEED=1455309010

node124.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.47
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.47
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.47
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.47
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:          207064 kB
MemAvailable:   31823588 kB
Buffers:          134696 kB
Cached:         31410700 kB
SwapCached:        28940 kB
Active:         14110748 kB
Inactive:       17467404 kB
Active(anon):       3396 kB
Inactive(anon):    78888 kB
Active(file):   14107352 kB
Inactive(file): 17388516 kB
Unevictable:      109600 kB
Mlocked:          109600 kB
SwapTotal:      67108860 kB
SwapFree:       66976736 kB
Dirty:             40808 kB
Writeback:             0 kB
AnonPages:        114620 kB
Mapped:            52056 kB
Shmem:             40880 kB
Slab:             577784 kB
SReclaimable:     549116 kB
SUnreclaim:        28668 kB
KernelStack:        3408 kB
PageTables:         5596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     511680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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 /var/tmp at the end= 13440 MiB
End job on node124 at 2019-09-20 10:59:14