Trace number 4244595

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
R1: Concrete 3.4? (TO) 2400.73 2347.47

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-9.xml
MD5SUM61a67ae858673343e351cd0fcc1d1459
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark615
Best CPU time to get the best result obtained on this benchmark19946.6
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size704
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":704,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

3.29/2.17	c Concrete v3.4 running
2400.58/2347.44	java.util.concurrent.TimeoutException
2400.58/2347.44		at concrete.MAC.mac(MAC.scala:74)
2400.58/2347.44		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.58/2347.44		at scala.util.Try$.apply(Try.scala:209)
2400.58/2347.44		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.58/2347.44		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.58/2347.44		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.58/2347.44		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.58/2347.44		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.58/2347.44		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.58/2347.44		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.58/2347.44		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.58/2347.44		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.58/2347.44		at concrete.MAC.oneRun(MAC.scala:146)
2400.58/2347.44		at concrete.MAC.nextSolution(MAC.scala:166)
2400.58/2347.44		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.58/2347.44		at concrete.ProblemState.map(ProblemState.scala:203)
2400.58/2347.44		at concrete.ProblemState.map(ProblemState.scala:188)
2400.58/2347.44		at concrete.MAC.nextSolution(MAC.scala:195)
2400.58/2347.45		at concrete.Solver.hasNext(Solver.scala:202)
2400.58/2347.45		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.58/2347.45		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.58/2347.45		at concrete.Solver.toStream(Solver.scala:73)
2400.58/2347.45		at scala.collection.TraversableOnce.toIterable(TraversableOnce.scala:296)
2400.58/2347.45		at scala.collection.TraversableOnce.toIterable$(TraversableOnce.scala:296)
2400.58/2347.45		at concrete.Solver.toIterable(Solver.scala:73)
2400.58/2347.45		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.58/2347.45		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.58/2347.45		at scala.util.Success.map(Try.scala:209)
2400.58/2347.45		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.58/2347.45		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.58/2347.45		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.58/2347.45		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.58/2347.45		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.58/2347.45		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.58/2347.45		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.58/2347.45		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.58/2347.45		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.58/2347.45		at scala.collection.immutable.List.foreach(List.scala:389)
2400.58/2347.45		at scala.App.main(App.scala:76)
2400.58/2347.45		at scala.App.main$(App.scala:74)
2400.58/2347.45		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.58/2347.45		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.58/2347.45	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244595-1502010374/watcher-4244595-1502010374 -o /tmp/evaluation-result-4244595-1502010374/solver-4244595-1502010374 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502009513-2972 --watchdog 2560 bin/concrete HOME/instance-4244595-1502010374.xml 

pid=2993
running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.16 0.05 0.06 4/189 2997
/proc/meminfo: memFree=31467068/32770624 swapFree=0/336708
[pid=2997] ppid=2993 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2997/stat : 2997 (runsolver) D 2993 2997 2911 34816 2911 4202560 107 0 0 0 0 0 0 0 20 0 1 0 100690689 24240128 107 18446744073709551615 4194304 4338465 140728714763552 140728714761192 140013912736471 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 23760896 140728714764497 140728714764873 140728714764873 140728714768330 0
/proc/2997/statm: 5918 107 54 36 0 2156 0

[startup+0.100089 s]
/proc/loadavg: 0.16 0.05 0.06 4/189 2997
/proc/meminfo: memFree=31467068/32770624 swapFree=0/336708
[pid=2997] ppid=2993 vsize=9640 CPUtime=0.01 cores=1,3,5,7
/proc/2997/stat : 2997 (bash) S 2993 2997 2911 34816 2911 4202496 882 6460 0 0 0 0 0 1 20 0 1 0 100690689 9871360 374 18446744073709551615 4194304 5098028 140723370168640 140723370162648 140648978205696 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 6 0 0 7196144 7232144 11341824 140723370177044 140723370177129 140723370177129 140723370180586 0
/proc/2997/statm: 2410 374 293 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200341 s]
/proc/loadavg: 0.16 0.05 0.06 4/189 2997
/proc/meminfo: memFree=31467068/32770624 swapFree=0/336708
[pid=2997] ppid=2993 vsize=9936724 CPUtime=0.08 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 34816 2911 1077944320 4150 12344 0 0 0 0 5 3 20 0 6 0 100690689 10175205376 4015 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2484181 4015 1876 1 0 2473678 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9936724

[startup+0.300809 s]
/proc/loadavg: 0.16 0.05 0.06 4/189 2997
/proc/meminfo: memFree=31467068/32770624 swapFree=0/336708
[pid=2997] ppid=2993 vsize=10552364 CPUtime=0.17 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 34816 2911 1077944320 5981 12344 0 0 8 1 5 3 20 0 15 0 100690689 10805620736 6684 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2638091 6684 2821 1 0 2627467 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10552364

[startup+0.700438 s]
/proc/loadavg: 0.16 0.05 0.06 4/189 2997
/proc/meminfo: memFree=31467068/32770624 swapFree=0/336708
[pid=2997] ppid=2993 vsize=10552792 CPUtime=0.73 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 34816 2911 1077944320 13880 12344 0 0 61 4 5 3 20 0 15 0 100690689 10806059008 14878 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2638198 14878 3113 1 0 2627467 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 10552792

[startup+1.50129 s]
/proc/loadavg: 0.16 0.05 0.06 4/222 3126
/proc/meminfo: memFree=31273980/32770624 swapFree=0/336164
[pid=2997] ppid=2993 vsize=10563416 CPUtime=1.95 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 30009 12344 0 0 177 10 5 3 20 0 15 0 100690689 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2640854 43631 3387 1 0 2630027 0
[pid=2997/tid=3095] ppid=2993 vsize=10563416 CPUtime=1.31 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) R 2993 2997 2911 0 -1 4202560 22789 12344 0 0 117 6 5 3 20 0 15 0 100690708 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140439027747632 140439009737797 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) S 2993 2997 2911 0 -1 1077944384 44 12344 0 0 0 0 5 3 20 0 15 0 100690708 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10563416 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) S 2993 2997 2911 0 -1 1077944384 48 12344 0 0 1 0 5 3 20 0 15 0 100690708 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10563416 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) S 2993 2997 2911 0 -1 1077944384 33 12344 0 0 1 0 5 3 20 0 15 0 100690708 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10563416 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) S 2993 2997 2911 0 -1 1077944384 202 12344 0 0 1 0 5 3 20 0 15 0 100690708 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10563416 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 1903 12344 0 0 1 0 5 3 20 0 15 0 100690710 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438587030256 140439023532674 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 55 12344 0 0 0 0 5 3 20 0 15 0 100690710 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438518359776 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 15 0 100690710 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3113] ppid=2993 vsize=10563416 CPUtime=0.21 cores=1,3,5,7
/proc/2997/task/3113/stat : 3113 (java) S 2993 2997 2911 0 -1 1077944384 954 12344 0 0 13 0 5 3 20 0 15 0 100690713 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438515202288 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3114] ppid=2993 vsize=10563416 CPUtime=0.24 cores=1,3,5,7
/proc/2997/task/3114/stat : 3114 (java) S 2993 2997 2911 0 -1 1077944384 736 12344 0 0 16 0 5 3 20 0 15 0 100690713 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438514149744 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3115] ppid=2993 vsize=10563416 CPUtime=0.31 cores=1,3,5,7
/proc/2997/task/3115/stat : 3115 (java) S 2993 2997 2911 0 -1 1077944384 1058 12344 0 0 23 0 5 3 20 0 15 0 100690713 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438513096688 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3116] ppid=2993 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3116/stat : 3116 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438512044384 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3125] ppid=2993 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3125/stat : 3125 (java) S 2993 2997 2911 0 -1 1077944384 5 12344 0 0 0 0 5 3 20 0 15 0 100690717 10816937984 43631 18446744073709551615 4194304 4196468 140726593522832 140438510992432 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10563416

[startup+3.10303 s]
/proc/loadavg: 0.16 0.05 0.06 8/219 3128
/proc/meminfo: memFree=31116632/32770624 swapFree=0/336164
[pid=2997] ppid=2993 vsize=10575892 CPUtime=5.66 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 49599 12344 0 0 542 16 5 3 20 0 15 0 100690689 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2643973 55866 3457 1 0 2632587 0
[pid=2997/tid=3095] ppid=2993 vsize=10575892 CPUtime=2.9 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) R 2993 2997 2911 0 -1 4202560 35398 12344 0 0 273 9 5 3 20 0 15 0 100690708 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140439027753024 140439023533462 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10575892 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) S 2993 2997 2911 0 -1 1077944384 44 12344 0 0 0 0 5 3 20 0 15 0 100690708 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10575892 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) S 2993 2997 2911 0 -1 1077944384 48 12344 0 0 1 0 5 3 20 0 15 0 100690708 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10575892 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) S 2993 2997 2911 0 -1 1077944384 33 12344 0 0 1 0 5 3 20 0 15 0 100690708 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10575892 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) S 2993 2997 2911 0 -1 1077944384 202 12344 0 0 1 0 5 3 20 0 15 0 100690708 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10575892 CPUtime=0.09 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 1918 12344 0 0 1 0 5 3 20 0 15 0 100690710 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438587030256 140439023532674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10575892 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 55 12344 0 0 0 0 5 3 20 0 15 0 100690710 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438518359776 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10575892 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 15 0 100690710 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10575892 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3113] ppid=2993 vsize=10575892 CPUtime=0.98 cores=1,3,5,7
/proc/2997/task/3113/stat : 3113 (java) R 2993 2997 2911 0 -1 4202560 4267 12344 0 0 89 1 5 3 20 0 15 0 100690713 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438515190720 140439023542874 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3114] ppid=2993 vsize=10575892 CPUtime=0.81 cores=1,3,5,7
/proc/2997/task/3114/stat : 3114 (java) R 2993 2997 2911 0 -1 4202560 1929 12344 0 0 72 1 5 3 20 0 15 0 100690713 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438514149872 140439007514388 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3115] ppid=2993 vsize=10575892 CPUtime=1.09 cores=1,3,5,7
/proc/2997/task/3115/stat : 3115 (java) R 2993 2997 2911 0 -1 1077944384 3515 12344 0 0 100 1 5 3 20 0 15 0 100690713 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438513096688 140439023532674 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3116] ppid=2993 vsize=10575892 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3116/stat : 3116 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438512044384 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3125] ppid=2993 vsize=10575892 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3125/stat : 3125 (java) S 2993 2997 2911 0 -1 1077944384 8 12344 0 0 0 0 5 3 20 0 15 0 100690717 10829713408 55866 18446744073709551615 4194304 4196468 140726593522832 140438510992432 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 10575892

[startup+6.30068 s]
/proc/loadavg: 0.63 0.15 0.09 8/219 3128
/proc/meminfo: memFree=30745292/32770624 swapFree=0/336164
[pid=2997] ppid=2993 vsize=10649620 CPUtime=15.29 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 73135 12344 0 0 1494 27 5 3 20 0 15 0 100690689 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2662405 100023 3485 1 0 2651019 0
[pid=2997/tid=3095] ppid=2993 vsize=10649620 CPUtime=5.99 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) R 2993 2997 2911 0 -1 4202560 43152 12344 0 0 578 13 5 3 20 0 15 0 100690708 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140439027754704 140438673548630 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10649620 CPUtime=0.14 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) S 2993 2997 2911 0 -1 1077944384 838 12344 0 0 5 1 5 3 20 0 15 0 100690708 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10649620 CPUtime=0.13 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) S 2993 2997 2911 0 -1 1077944384 196 12344 0 0 5 0 5 3 20 0 15 0 100690708 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10649620 CPUtime=0.14 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) S 2993 2997 2911 0 -1 1077944384 163 12344 0 0 6 0 5 3 20 0 15 0 100690708 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10649620 CPUtime=0.12 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) S 2993 2997 2911 0 -1 1077944384 227 12344 0 0 4 0 5 3 20 0 15 0 100690708 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10649620 CPUtime=0.12 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 2623 12344 0 0 4 0 5 3 20 0 15 0 100690710 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438587030256 140439023532674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 55 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438518359776 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3113] ppid=2993 vsize=10649620 CPUtime=3.55 cores=1,3,5,7
/proc/2997/task/3113/stat : 3113 (java) R 2993 2997 2911 0 -1 4202560 9408 12344 0 0 345 2 5 3 20 0 15 0 100690713 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438515187280 140439006932399 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3114] ppid=2993 vsize=10649620 CPUtime=3.42 cores=1,3,5,7
/proc/2997/task/3114/stat : 3114 (java) R 2993 2997 2911 0 -1 4202560 7542 12344 0 0 330 4 5 3 20 0 15 0 100690713 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438514139424 140439006932342 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3115] ppid=2993 vsize=10649620 CPUtime=2.22 cores=1,3,5,7
/proc/2997/task/3115/stat : 3115 (java) S 2993 2997 2911 0 -1 1077944384 6739 12344 0 0 212 2 5 3 20 0 15 0 100690713 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438513096688 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3116] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3116/stat : 3116 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438512044384 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3125] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3125/stat : 3125 (java) S 2993 2997 2911 0 -1 1077944384 10 12344 0 0 0 0 5 3 20 0 15 0 100690717 10905210880 100023 18446744073709551615 4194304 4196468 140726593522832 140438510992432 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
Current children cumulated CPU time (s) 15.29
Current children cumulated vsize (KiB) 10649620

[startup+12.7007 s]
/proc/loadavg: 0.82 0.19 0.10 3/217 3128
/proc/meminfo: memFree=29706116/32770624 swapFree=0/336168
[pid=2997] ppid=2993 vsize=10649620 CPUtime=24.05 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 80363 12344 0 0 2356 41 5 3 20 0 15 0 100690689 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2662405 240100 3490 1 0 2651019 0
[pid=2997/tid=3095] ppid=2993 vsize=10649620 CPUtime=12.33 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) R 2993 2997 2911 0 -1 4202560 44916 12344 0 0 1204 21 5 3 20 0 15 0 100690708 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140439027754896 140438670184195 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10649620 CPUtime=0.18 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) S 2993 2997 2911 0 -1 1077944384 868 12344 0 0 8 2 5 3 20 0 15 0 100690708 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10649620 CPUtime=0.18 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) S 2993 2997 2911 0 -1 1077944384 737 12344 0 0 8 2 5 3 20 0 15 0 100690708 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10649620 CPUtime=0.19 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) S 2993 2997 2911 0 -1 1077944384 203 12344 0 0 9 2 5 3 20 0 15 0 100690708 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10649620 CPUtime=0.18 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) S 2993 2997 2911 0 -1 1077944384 336 12344 0 0 8 2 5 3 20 0 15 0 100690708 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10649620 CPUtime=0.13 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 3138 12344 0 0 5 0 5 3 20 0 15 0 100690710 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438587030256 140439023532674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 55 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438518359776 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 240100 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0

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


[startup+2262.3 s]
/proc/loadavg: 1.31 1.40 1.28 3/213 3305
/proc/meminfo: memFree=27775192/32770624 swapFree=0/337096
[pid=2997] ppid=2993 vsize=10649620 CPUtime=2313.64 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 280422 12344 0 0 231006 350 5 3 20 0 15 0 100690689 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2662405 329793 3492 1 0 2651019 0
[pid=2997/tid=3095] ppid=2993 vsize=10649620 CPUtime=2237.88 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) R 2993 2997 2911 0 -1 4202560 98874 12344 0 0 223721 59 5 3 20 0 15 0 100690708 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140439027755984 140438668378036 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10649620 CPUtime=13.27 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) S 2993 2997 2911 0 -1 1077944384 24436 12344 0 0 1272 47 5 3 20 0 15 0 100690708 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10649620 CPUtime=13.26 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) S 2993 2997 2911 0 -1 1077944384 18921 12344 0 0 1269 49 5 3 20 0 15 0 100690708 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10649620 CPUtime=13.28 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) S 2993 2997 2911 0 -1 1077944384 15278 12344 0 0 1270 50 5 3 20 0 15 0 100690708 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10649620 CPUtime=13.27 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) S 2993 2997 2911 0 -1 1077944384 23360 12344 0 0 1267 52 5 3 20 0 15 0 100690708 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10649620 CPUtime=9.31 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 21738 12344 0 0 870 53 5 3 20 0 15 0 100690710 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438587030256 140439023532674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 55 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438518359776 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3113] ppid=2993 vsize=10649620 CPUtime=5.17 cores=1,3,5,7
/proc/2997/task/3113/stat : 3113 (java) S 2993 2997 2911 0 -1 1077944384 26888 12344 0 0 506 3 5 3 20 0 15 0 100690713 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438515202288 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3114] ppid=2993 vsize=10649620 CPUtime=4.96 cores=1,3,5,7
/proc/2997/task/3114/stat : 3114 (java) S 2993 2997 2911 0 -1 1077944384 22937 12344 0 0 483 5 5 3 20 0 15 0 100690713 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438514149744 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3115] ppid=2993 vsize=10649620 CPUtime=2.39 cores=1,3,5,7
/proc/2997/task/3115/stat : 3115 (java) S 2993 2997 2911 0 -1 1077944384 24638 12344 0 0 227 4 5 3 20 0 15 0 100690713 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438513096688 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3116] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3116/stat : 3116 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438512044384 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3125] ppid=2993 vsize=10649620 CPUtime=1.45 cores=1,3,5,7
/proc/2997/task/3125/stat : 3125 (java) S 2993 2997 2911 0 -1 1077944384 1115 12344 0 0 62 75 5 3 20 0 15 0 100690717 10905210880 329793 18446744073709551615 4194304 4196468 140726593522832 140438510992432 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
Current children cumulated CPU time (s) 2313.64
Current children cumulated vsize (KiB) 10649620

[startup+2322.3 s]
/proc/loadavg: 1.54 1.45 1.30 3/218 3323
/proc/meminfo: memFree=27780020/32770624 swapFree=0/337148
[pid=2997] ppid=2993 vsize=10649620 CPUtime=2374.73 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 283270 12344 0 0 237107 358 5 3 20 0 15 0 100690689 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2662405 328766 3492 1 0 2651019 0
[pid=2997/tid=3095] ppid=2993 vsize=10649620 CPUtime=2297.23 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) R 2993 2997 2911 0 -1 4202560 100019 12344 0 0 229656 59 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140439027755856 140438687212713 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10649620 CPUtime=13.63 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) S 2993 2997 2911 0 -1 1077944384 24969 12344 0 0 1307 48 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10649620 CPUtime=13.63 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) S 2993 2997 2911 0 -1 1077944384 19305 12344 0 0 1304 51 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10649620 CPUtime=13.64 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) S 2993 2997 2911 0 -1 1077944384 15446 12344 0 0 1306 50 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10649620 CPUtime=13.63 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) S 2993 2997 2911 0 -1 1077944384 23536 12344 0 0 1302 53 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10649620 CPUtime=9.56 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 22147 12344 0 0 893 55 5 3 20 0 15 0 100690710 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438587030256 140439023532674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 55 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438518359776 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3113] ppid=2993 vsize=10649620 CPUtime=5.17 cores=1,3,5,7
/proc/2997/task/3113/stat : 3113 (java) S 2993 2997 2911 0 -1 1077944384 26892 12344 0 0 506 3 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438515202288 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3114] ppid=2993 vsize=10649620 CPUtime=4.96 cores=1,3,5,7
/proc/2997/task/3114/stat : 3114 (java) S 2993 2997 2911 0 -1 1077944384 22941 12344 0 0 483 5 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438514149744 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3115] ppid=2993 vsize=10649620 CPUtime=2.39 cores=1,3,5,7
/proc/2997/task/3115/stat : 3115 (java) S 2993 2997 2911 0 -1 1077944384 24642 12344 0 0 227 4 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438513096688 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3116] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3116/stat : 3116 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438512044384 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3125] ppid=2993 vsize=10649620 CPUtime=1.49 cores=1,3,5,7
/proc/2997/task/3125/stat : 3125 (java) S 2993 2997 2911 0 -1 1077944384 1136 12344 0 0 64 77 5 3 20 0 15 0 100690717 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438510992432 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
Current children cumulated CPU time (s) 2374.73
Current children cumulated vsize (KiB) 10649620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2347.2 s]
/proc/loadavg: 1.95 1.54 1.34 5/217 3575
/proc/meminfo: memFree=29993896/32770624 swapFree=0/337000
[pid=2997] ppid=2993 vsize=10649620 CPUtime=2400.04 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 283995 12344 0 0 239634 362 5 3 20 0 15 0 100690689 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2662405 328766 3492 1 0 2651019 0
[pid=2997/tid=3095] ppid=2993 vsize=10649620 CPUtime=2321.86 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) R 2993 2997 2911 0 -1 4202560 100363 12344 0 0 232118 60 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140439027755984 140438687044791 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10649620 CPUtime=13.77 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) S 2993 2997 2911 0 -1 1077944384 25003 12344 0 0 1320 49 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10649620 CPUtime=13.78 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) S 2993 2997 2911 0 -1 1077944384 19326 12344 0 0 1318 52 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10649620 CPUtime=13.78 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) S 2993 2997 2911 0 -1 1077944384 15734 12344 0 0 1319 51 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10649620 CPUtime=13.77 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) S 2993 2997 2911 0 -1 1077944384 23562 12344 0 0 1316 53 5 3 20 0 15 0 100690708 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10649620 CPUtime=9.67 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 22157 12344 0 0 902 57 5 3 20 0 15 0 100690710 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438587030256 140439023532674 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 55 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438518359776 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 15 0 100690710 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3113] ppid=2993 vsize=10649620 CPUtime=5.17 cores=1,3,5,7
/proc/2997/task/3113/stat : 3113 (java) S 2993 2997 2911 0 -1 1077944384 26892 12344 0 0 506 3 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438515202288 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3114] ppid=2993 vsize=10649620 CPUtime=4.96 cores=1,3,5,7
/proc/2997/task/3114/stat : 3114 (java) S 2993 2997 2911 0 -1 1077944384 22941 12344 0 0 483 5 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438514149744 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3115] ppid=2993 vsize=10649620 CPUtime=2.39 cores=1,3,5,7
/proc/2997/task/3115/stat : 3115 (java) S 2993 2997 2911 0 -1 1077944384 24642 12344 0 0 227 4 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438513096688 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3116] ppid=2993 vsize=10649620 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3116/stat : 3116 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 15 0 100690713 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438512044384 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3125] ppid=2993 vsize=10649620 CPUtime=1.51 cores=1,3,5,7
/proc/2997/task/3125/stat : 3125 (java) S 2993 2997 2911 0 -1 1077944384 1138 12344 0 0 65 78 5 3 20 0 15 0 100690717 10905210880 328766 18446744073709551615 4194304 4196468 140726593522832 140438510992432 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10649620

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2997 sig 9
??? kill -2997 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2347.4 s]
/proc/loadavg: 1.95 1.54 1.34 6/219 3577
/proc/meminfo: memFree=29952068/32770624 swapFree=0/337000
[pid=2997] ppid=2993 vsize=10782748 CPUtime=2400.58 cores=1,3,5,7
/proc/2997/stat : 2997 (java) S 2993 2997 2911 0 -1 1077944320 291231 12344 0 0 239687 363 5 3 20 0 17 0 100690689 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140726593505376 140439023521527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
/proc/2997/statm: 2695687 330667 3492 1 0 2684301 0
[pid=2997/tid=3095] ppid=2993 vsize=10782748 CPUtime=2321.87 cores=1,3,5,7
/proc/2997/task/3095/stat : 3095 (java) S 2993 2997 2911 0 -1 1077944384 100694 12344 0 0 232119 60 5 3 20 0 17 0 100690708 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140439027759312 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3096] ppid=2993 vsize=10782748 CPUtime=13.89 cores=1,3,5,7
/proc/2997/task/3096/stat : 3096 (java) R 2993 2997 2911 0 -1 4202560 25074 12344 0 0 1332 49 5 3 20 0 17 0 100690708 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438634494480 140439005131232 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3097] ppid=2993 vsize=10782748 CPUtime=13.89 cores=1,3,5,7
/proc/2997/task/3097/stat : 3097 (java) R 2993 2997 2911 0 -1 4202560 19370 12344 0 0 1329 52 5 3 20 0 17 0 100690708 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438633441936 140439008518115 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3098] ppid=2993 vsize=10782748 CPUtime=13.88 cores=1,3,5,7
/proc/2997/task/3098/stat : 3098 (java) R 2993 2997 2911 0 -1 1077944384 15797 12344 0 0 1329 51 5 3 20 0 17 0 100690708 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438632388880 140439023531733 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3099] ppid=2993 vsize=10782748 CPUtime=13.88 cores=1,3,5,7
/proc/2997/task/3099/stat : 3099 (java) R 2993 2997 2911 0 -1 4202560 23580 12344 0 0 1327 53 5 3 20 0 17 0 100690708 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438631336336 140439008517928 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3100] ppid=2993 vsize=10782748 CPUtime=9.75 cores=1,3,5,7
/proc/2997/task/3100/stat : 3100 (java) S 2993 2997 2911 0 -1 1077944384 28625 12344 0 0 910 57 5 3 20 0 17 0 100690710 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438587028880 140439023531733 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3101] ppid=2993 vsize=10782748 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3101/stat : 3101 (java) S 2993 2997 2911 0 -1 1077944384 56 12344 0 0 0 0 5 3 20 0 17 0 100690710 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438518359680 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3103] ppid=2993 vsize=10782748 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3103/stat : 3103 (java) S 2993 2997 2911 0 -1 1077944384 43 12344 0 0 0 0 5 3 20 0 17 0 100690710 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438517306624 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3112] ppid=2993 vsize=10782748 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3112/stat : 3112 (java) S 2993 2997 2911 0 -1 1077944384 101 12344 0 0 0 0 5 3 20 0 17 0 100690713 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438516255184 140439023540123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3113] ppid=2993 vsize=10782748 CPUtime=5.17 cores=1,3,5,7
/proc/2997/task/3113/stat : 3113 (java) S 2993 2997 2911 0 -1 1077944384 26918 12344 0 0 506 3 5 3 20 0 17 0 100690713 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438515191488 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3114] ppid=2993 vsize=10782748 CPUtime=4.96 cores=1,3,5,7
/proc/2997/task/3114/stat : 3114 (java) S 2993 2997 2911 0 -1 1077944384 22941 12344 0 0 483 5 5 3 20 0 17 0 100690713 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438514149744 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3115] ppid=2993 vsize=10782748 CPUtime=2.39 cores=1,3,5,7
/proc/2997/task/3115/stat : 3115 (java) S 2993 2997 2911 0 -1 1077944384 24642 12344 0 0 227 4 5 3 20 0 17 0 100690713 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438513096688 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3116] ppid=2993 vsize=10782748 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3116/stat : 3116 (java) S 2993 2997 2911 0 -1 1077944384 3 12344 0 0 0 0 5 3 20 0 17 0 100690713 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438512044384 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3125] ppid=2993 vsize=10782748 CPUtime=1.51 cores=1,3,5,7
/proc/2997/task/3125/stat : 3125 (java) S 2993 2997 2911 0 -1 1077944384 1138 12344 0 0 65 78 5 3 20 0 17 0 100690717 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438510992432 140439023532674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3576] ppid=2993 vsize=10782748 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3576/stat : 3576 (java) S 2993 2997 2911 0 -1 1077944384 90 12344 0 0 0 0 5 3 20 0 17 0 100925409 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438477697904 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
[pid=2997/tid=3577] ppid=2993 vsize=10782748 CPUtime=0.08 cores=1,3,5,7
/proc/2997/task/3577/stat : 3577 (java) S 2993 2997 2911 0 -1 1077944384 25 12344 0 0 0 0 5 3 20 0 17 0 100925409 11041533952 330667 18446744073709551615 4194304 4196468 140726593522832 140438476645568 140439023531733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140726593525723 140726593528497 140726593528497 140726593531855 0
Current children cumulated CPU time (s) 2400.58
Current children cumulated vsize (KiB) 10782748

Child status: 143
Real time (s): 2347.47
CPU time (s): 2400.73
CPU user time (s): 2397.05
CPU system time (s): 3.67598
CPU usage (%): 102.269
Max. virtual memory (cumulated for all children) (KiB): 10782748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.05
system time used= 3.67598
maximum resident set size= 1406172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253245
involuntary context switches= 5886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.219 second user time and 15.3506 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-06 10:51:53
IDJOB=4244595
IDBENCH=115805
IDSOLVER=2630
FILE ID=node132/4244595-1502010374
RUNJOBID= node132-1502009513-2972
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-9.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244595-1502010374/watcher-4244595-1502010374 -o /tmp/evaluation-result-4244595-1502010374/solver-4244595-1502010374 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502009513-2972 --watchdog 2560  bin/concrete HOME/instance-4244595-1502010374.xml

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

MD5SUM BENCH= 61a67ae858673343e351cd0fcc1d1459
RANDOM SEED=169689416

node132.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.74
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.74
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.74
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.74
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:        31468996 kB
MemAvailable:   31981868 kB
Buffers:          198380 kB
Cached:           614840 kB
SwapCached:            0 kB
Active:           505896 kB
Inactive:         369732 kB
Active(anon):      64124 kB
Inactive(anon):    32632 kB
Active(file):     441772 kB
Inactive(file):   337100 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48672 kB
Writeback:            36 kB
AnonPages:         63004 kB
Mapped:            48068 kB
Shmem:             33472 kB
Slab:             125932 kB
SReclaimable:      99668 kB
SUnreclaim:        26264 kB
KernelStack:        3312 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     341704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61984 MiB
End job on node132 at 2017-08-06 11:31:02