Trace number 4262788

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.4? (TO) 2522.3401 2452.99

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-20-20-8.xml
MD5SUM9893704bf12390d346d425cfade6032e
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 variables1620
Number of constraints1260
Number of domains22
Minimum domain size16
Maximum domain size1422
Distribution of domain sizes[{"size":16,"count":20},{"size":17,"count":100},{"size":18,"count":100},{"size":19,"count":100},{"size":20,"count":480},{"size":1422,"count":820}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":420},{"degree":3,"count":800},{"degree":21,"count":400}]
Minimum constraint arity1
Maximum constraint arity22
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":3,"count":400},{"arity":20,"count":40},{"arity":22,"count":400}]
Number of extensional constraints400
Number of intensional constraints420
Distribution of constraint types[{"type":"extension","count":400},{"type":"intension","count":420},{"type":"allDifferent","count":20},{"type":"noOverlap","count":20},{"type":"element","count":400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

3.14/2.18	c Concrete v3.4 running
2522.12/2452.95	java.util.concurrent.TimeoutException
2522.12/2452.95		at concrete.MAC.mac(MAC.scala:74)
2522.12/2452.95		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2522.12/2452.95		at scala.util.Try$.apply(Try.scala:209)
2522.12/2452.95		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2522.12/2452.95		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2522.12/2452.95		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2522.12/2452.95		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2522.12/2452.95		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2522.12/2452.95		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2522.12/2452.95		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2522.12/2452.95		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2522.12/2452.95		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2522.12/2452.95		at concrete.MAC.oneRun(MAC.scala:146)
2522.12/2452.95		at concrete.MAC.nextSolution(MAC.scala:166)
2522.12/2452.95		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2522.12/2452.95		at concrete.ProblemState.map(ProblemState.scala:203)
2522.12/2452.95		at concrete.ProblemState.map(ProblemState.scala:188)
2522.12/2452.95		at concrete.MAC.nextSolution(MAC.scala:195)
2522.12/2452.95		at concrete.Solver.hasNext(Solver.scala:202)
2522.12/2452.95		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2522.12/2452.95		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2522.12/2452.95		at concrete.Solver.toStream(Solver.scala:73)
2522.12/2452.95		at scala.collection.TraversableOnce.toIterable(TraversableOnce.scala:296)
2522.12/2452.95		at scala.collection.TraversableOnce.toIterable$(TraversableOnce.scala:296)
2522.12/2452.95		at concrete.Solver.toIterable(Solver.scala:73)
2522.12/2452.95		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2522.12/2452.95		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2522.12/2452.95		at scala.util.Success.map(Try.scala:209)
2522.12/2452.95		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2522.12/2452.95		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2522.12/2452.95		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2522.12/2452.95		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2522.12/2452.95		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2522.12/2452.95		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2522.12/2452.95		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2522.12/2452.95		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2522.12/2452.95		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2522.12/2452.95		at scala.collection.immutable.List.foreach(List.scala:389)
2522.12/2452.95		at scala.App.main(App.scala:76)
2522.12/2452.95		at scala.App.main$(App.scala:74)
2522.12/2452.95		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2522.12/2452.95		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2522.12/2452.96	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-4262788-1502417203/watcher-4262788-1502417203 -o /tmp/evaluation-result-4262788-1502417203/solver-4262788-1502417203 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262788-1502417203.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.25 1.45 1.43 4/194 2846
/proc/meminfo: memFree=31229248/32770624 swapFree=0/496604
[pid=2846] ppid=2843 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2846/stat : 2846 (runsolver) D 2843 2846 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 43941098 24240128 106 18446744073709551615 4194304 4338465 140728030480752 140728030478392 140570716226263 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 27283456 140728030482641 140728030483017 140728030483017 140728030486474 0
/proc/2846/statm: 5918 106 53 36 0 2156 0

[startup+0.100115 s]
/proc/loadavg: 1.25 1.45 1.43 4/194 2846
/proc/meminfo: memFree=31229248/32770624 swapFree=0/496604
[pid=2846] ppid=2843 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/2846/stat : 2846 (bash) R 2843 2846 1330 0 -1 4202496 708 3536 0 0 0 0 0 0 20 0 1 0 43941098 9736192 354 18446744073709551615 4194304 5098028 140726562508208 140726562505848 140260593952937 0 65538 5 65536 0 0 0 17 3 0 0 8 0 0 7196144 7232144 10596352 140726562509332 140726562509417 140726562509417 140726562512874 0
/proc/2846/statm: 2377 354 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200177 s]
/proc/loadavg: 1.25 1.45 1.43 4/194 2846
/proc/meminfo: memFree=31229248/32770624 swapFree=0/496604
[pid=2846] ppid=2843 vsize=9636 CPUtime=0.07 cores=1,3,5,7
/proc/2846/stat : 2846 (bash) R 2843 2846 1330 0 -1 4202496 925 11993 0 0 0 0 5 2 20 0 1 0 43941098 9867264 376 18446744073709551615 4194304 5098028 140726562508208 140726562502216 4337557 0 0 5 65536 0 0 0 17 3 0 0 8 0 0 7196144 7232144 10596352 140726562509332 140726562509417 140726562509417 140726562512874 0
/proc/2846/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9636

[startup+0.300977 s]
/proc/loadavg: 1.25 1.45 1.43 4/194 2846
/proc/meminfo: memFree=31229248/32770624 swapFree=0/496604
[pid=2846] ppid=2843 vsize=13973872 CPUtime=0.14 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 5981 12671 0 0 6 1 5 2 20 0 15 0 43941098 14309244928 6147 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3493468 6147 2662 1 0 3482965 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973872

[startup+0.700286 s]
/proc/loadavg: 1.25 1.45 1.43 4/194 2846
/proc/meminfo: memFree=31229248/32770624 swapFree=0/496604
[pid=2846] ppid=2843 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 14025 12671 0 0 59 3 5 2 20 0 15 0 43941098 14310178816 14934 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3493696 14934 3094 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50455 s]
/proc/loadavg: 1.25 1.45 1.43 5/209 2909
/proc/meminfo: memFree=31017404/32770624 swapFree=0/496628
[pid=2846] ppid=2843 vsize=13985408 CPUtime=1.92 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 29834 12671 0 0 175 10 5 2 20 0 15 0 43941098 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3496352 42771 3372 1 0 3485525 0
[pid=2846/tid=2896] ppid=2843 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) R 2843 2846 1330 0 -1 4202560 22226 12671 0 0 115 6 5 2 20 0 15 0 43941119 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562593574688 140562589373597 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) S 2843 2846 1330 0 -1 1077944384 56 12671 0 0 0 0 5 2 20 0 15 0 43941120 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562546317712 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) S 2843 2846 1330 0 -1 1077944384 194 12671 0 0 1 0 5 2 20 0 15 0 43941120 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562545264912 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) S 2843 2846 1330 0 -1 1077944384 51 12671 0 0 1 0 5 2 20 0 15 0 43941120 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562544212624 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) S 2843 2846 1330 0 -1 1077944384 64 12671 0 0 0 0 5 2 20 0 15 0 43941120 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 1694 12671 0 0 1 0 5 2 20 0 15 0 43941121 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562134997616 140562589362818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 54 12671 0 0 0 0 5 2 20 0 15 0 43941121 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562133943648 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 44 12671 0 0 0 0 5 2 20 0 15 0 43941122 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562065778288 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941124 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2905] ppid=2843 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/2846/task/2905/stat : 2905 (java) S 2843 2846 1330 0 -1 1077944384 1331 12671 0 0 18 0 5 2 20 0 15 0 43941124 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562063673456 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2906] ppid=2843 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/2846/task/2906/stat : 2906 (java) S 2843 2846 1330 0 -1 1077944384 575 12671 0 0 11 0 5 2 20 0 15 0 43941124 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562062620656 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2907] ppid=2843 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/2846/task/2907/stat : 2907 (java) R 2843 2846 1330 0 -1 4202560 1383 12671 0 0 23 0 5 2 20 0 15 0 43941124 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562061564240 140562582448507 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2908] ppid=2843 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941125 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 5 12671 0 0 0 0 5 2 20 0 15 0 43941128 14321057792 42771 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13985408

[startup+3.10063 s]
/proc/loadavg: 1.47 1.49 1.45 3/209 2909
/proc/meminfo: memFree=30910372/32770624 swapFree=0/496636
[pid=2846] ppid=2843 vsize=13997884 CPUtime=5.54 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 48863 12671 0 0 532 15 5 2 20 0 15 0 43941098 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3499471 57341 3444 1 0 3488085 0
[pid=2846/tid=2896] ppid=2843 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) R 2843 2846 1330 0 -1 4202560 36436 12671 0 0 272 8 5 2 20 0 15 0 43941119 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562593580272 140562573432158 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) S 2843 2846 1330 0 -1 1077944384 56 12671 0 0 0 0 5 2 20 0 15 0 43941120 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562546317712 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) S 2843 2846 1330 0 -1 1077944384 194 12671 0 0 1 0 5 2 20 0 15 0 43941120 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562545264912 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) S 2843 2846 1330 0 -1 1077944384 51 12671 0 0 1 0 5 2 20 0 15 0 43941120 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562544212624 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) S 2843 2846 1330 0 -1 1077944384 64 12671 0 0 0 0 5 2 20 0 15 0 43941120 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 1726 12671 0 0 1 0 5 2 20 0 15 0 43941121 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562134997616 140562589362818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 54 12671 0 0 0 0 5 2 20 0 15 0 43941121 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562133943648 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 44 12671 0 0 0 0 5 2 20 0 15 0 43941122 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562065778288 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941124 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2905] ppid=2843 vsize=13997884 CPUtime=0.86 cores=1,3,5,7
/proc/2846/task/2905/stat : 2905 (java) S 2843 2846 1330 0 -1 1077944384 2462 12671 0 0 78 1 5 2 20 0 15 0 43941124 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562063673456 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2906] ppid=2843 vsize=13997884 CPUtime=0.82 cores=1,3,5,7
/proc/2846/task/2906/stat : 2906 (java) S 2843 2846 1330 0 -1 1077944384 1560 12671 0 0 74 1 5 2 20 0 15 0 43941124 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562062620656 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2907] ppid=2843 vsize=13997884 CPUtime=1.08 cores=1,3,5,7
/proc/2846/task/2907/stat : 2907 (java) R 2843 2846 1330 0 -1 4202560 4051 12671 0 0 100 1 5 2 20 0 15 0 43941124 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562061568368 140562589363606 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2908] ppid=2843 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941125 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 8 12671 0 0 0 0 5 2 20 0 15 0 43941128 14333833216 57341 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 13997884

[startup+6.30074 s]
/proc/loadavg: 1.47 1.49 1.45 7/209 2909
/proc/meminfo: memFree=30547612/32770624 swapFree=0/496648
[pid=2846] ppid=2843 vsize=14001980 CPUtime=15.46 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 61042 12671 0 0 1512 27 5 2 20 0 15 0 43941098 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3500495 107476 3468 1 0 3489109 0
[pid=2846/tid=2896] ppid=2843 vsize=14001980 CPUtime=5.87 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) R 2843 2846 1330 0 -1 4202560 37809 12671 0 0 569 11 5 2 20 0 15 0 43941119 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562593583280 140562589363606 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=14001980 CPUtime=0.21 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) S 2843 2846 1330 0 -1 1077944384 447 12671 0 0 12 2 5 2 20 0 15 0 43941120 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562546317712 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=14001980 CPUtime=0.2 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) S 2843 2846 1330 0 -1 1077944384 368 12671 0 0 12 1 5 2 20 0 15 0 43941120 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562545264912 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) S 2843 2846 1330 0 -1 1077944384 226 12671 0 0 14 2 5 2 20 0 15 0 43941120 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562544212624 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=14001980 CPUtime=0.21 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) S 2843 2846 1330 0 -1 1077944384 147 12671 0 0 12 2 5 2 20 0 15 0 43941120 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=14001980 CPUtime=0.12 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 2427 12671 0 0 5 0 5 2 20 0 15 0 43941121 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562134997616 140562589362818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 54 12671 0 0 0 0 5 2 20 0 15 0 43941121 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562133943648 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 44 12671 0 0 0 0 5 2 20 0 15 0 43941122 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562065778304 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941124 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2905] ppid=2843 vsize=14001980 CPUtime=3.68 cores=1,3,5,7
/proc/2846/task/2905/stat : 2905 (java) R 2843 2846 1330 0 -1 4202560 5960 12671 0 0 360 1 5 2 20 0 15 0 43941124 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562063673264 140562572738452 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2906] ppid=2843 vsize=14001980 CPUtime=3.5 cores=1,3,5,7
/proc/2846/task/2906/stat : 2906 (java) S 2843 2846 1330 0 -1 1077944384 5128 12671 0 0 342 1 5 2 20 0 15 0 43941124 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562062620656 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2907] ppid=2843 vsize=14001980 CPUtime=1.9 cores=1,3,5,7
/proc/2846/task/2907/stat : 2907 (java) R 2843 2846 1330 0 -1 1077944384 6264 12671 0 0 181 2 5 2 20 0 15 0 43941124 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562061568368 140562589362818 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2908] ppid=2843 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941125 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 11 12671 0 0 0 0 5 2 20 0 15 0 43941128 14338027520 107476 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 15.46
Current children cumulated vsize (KiB) 14001980

[startup+12.7008 s]
/proc/loadavg: 2.00 1.60 1.48 3/209 2909
/proc/meminfo: memFree=29918744/32770624 swapFree=0/496660
[pid=2846] ppid=2843 vsize=14071612 CPUtime=30.76 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 101914 12671 0 0 3022 47 5 2 20 0 15 0 43941098 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3517903 213769 3479 1 0 3506517 0
[pid=2846/tid=2896] ppid=2843 vsize=14071612 CPUtime=12.14 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) R 2843 2846 1330 0 -1 4202560 59324 12671 0 0 1190 17 5 2 20 0 15 0 43941119 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562593582208 140562240092939 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=14071612 CPUtime=0.33 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) S 2843 2846 1330 0 -1 1077944384 554 12671 0 0 21 5 5 2 20 0 15 0 43941120 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562546317712 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=14071612 CPUtime=0.31 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) S 2843 2846 1330 0 -1 1077944384 489 12671 0 0 20 4 5 2 20 0 15 0 43941120 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562545264912 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=14071612 CPUtime=0.32 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) S 2843 2846 1330 0 -1 1077944384 471 12671 0 0 21 4 5 2 20 0 15 0 43941120 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562544212624 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=14071612 CPUtime=0.31 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) S 2843 2846 1330 0 -1 1077944384 622 12671 0 0 20 4 5 2 20 0 15 0 43941120 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 2718 12671 0 0 6 0 5 2 20 0 15 0 43941121 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562134997616 140562589362818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 59 12671 0 0 0 0 5 2 20 0 15 0 43941121 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562133943648 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 48 12671 0 0 0 0 5 2 20 0 15 0 43941122 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562065778304 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941124 14409330688 213769 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0

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

/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941125 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=14071612 CPUtime=1.48 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 2167 12671 0 0 65 76 5 2 20 0 15 0 43941128 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 2509.83
Current children cumulated vsize (KiB) 14071612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2452.3 s]
/proc/loadavg: 1.32 1.25 1.30 3/210 3080
/proc/meminfo: memFree=27831012/32770624 swapFree=0/497276
[pid=2846] ppid=2843 vsize=14071612 CPUtime=2520.06 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 478708 12671 0 0 251684 315 5 2 20 0 15 0 43941098 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3517903 614875 3485 1 0 3506517 0
[pid=2846/tid=2896] ppid=2843 vsize=14071612 CPUtime=2427.11 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) R 2843 2846 1330 0 -1 4202560 163439 12671 0 0 242637 67 5 2 20 0 15 0 43941119 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562593585504 140562234421572 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=14071612 CPUtime=16.67 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) S 2843 2846 1330 0 -1 1077944384 46272 12671 0 0 1625 35 5 2 20 0 15 0 43941120 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562546317712 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=14071612 CPUtime=16.64 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) S 2843 2846 1330 0 -1 1077944384 42152 12671 0 0 1622 35 5 2 20 0 15 0 43941120 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562545264912 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=14071612 CPUtime=16.67 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) S 2843 2846 1330 0 -1 1077944384 63525 12671 0 0 1624 36 5 2 20 0 15 0 43941120 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562544212624 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=14071612 CPUtime=16.65 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) S 2843 2846 1330 0 -1 1077944384 53535 12671 0 0 1618 40 5 2 20 0 15 0 43941120 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=14071612 CPUtime=6.05 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 36937 12671 0 0 557 41 5 2 20 0 15 0 43941121 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562134997616 140562589362818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 59 12671 0 0 0 0 5 2 20 0 15 0 43941121 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562133943648 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 48 12671 0 0 0 0 5 2 20 0 15 0 43941122 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562065778304 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941124 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2905] ppid=2843 vsize=14071612 CPUtime=8.36 cores=1,3,5,7
/proc/2846/task/2905/stat : 2905 (java) S 2843 2846 1330 0 -1 1077944384 24473 12671 0 0 826 3 5 2 20 0 15 0 43941124 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562063673456 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2906] ppid=2843 vsize=14071612 CPUtime=8.07 cores=1,3,5,7
/proc/2846/task/2906/stat : 2906 (java) S 2843 2846 1330 0 -1 1077944384 19668 12671 0 0 796 4 5 2 20 0 15 0 43941124 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562062620656 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2907] ppid=2843 vsize=14071612 CPUtime=2.89 cores=1,3,5,7
/proc/2846/task/2907/stat : 2907 (java) S 2843 2846 1330 0 -1 1077944384 24244 12671 0 0 277 5 5 2 20 0 15 0 43941124 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562061568368 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2908] ppid=2843 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 15 0 43941125 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=14071612 CPUtime=1.48 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 2199 12671 0 0 65 76 5 2 20 0 15 0 43941128 14409330688 614875 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 14071612

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 2846 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2452.41 s]
/proc/loadavg: 1.32 1.25 1.30 3/210 3080
/proc/meminfo: memFree=27831012/32770624 swapFree=0/497276
[pid=2846] ppid=2843 vsize=14204740 CPUtime=2520.36 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 493876 12671 0 0 251713 316 5 2 20 0 17 0 43941098 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3551185 617910 3485 1 0 3539799 0
[pid=2846/tid=2896] ppid=2843 vsize=14204740 CPUtime=2427.12 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) S 2843 2846 1330 0 -1 1077944384 164546 12671 0 0 242638 67 5 2 20 0 17 0 43941119 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562593589312 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=14204740 CPUtime=16.74 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) R 2843 2846 1330 0 -1 4202560 46514 12671 0 0 1632 35 5 2 20 0 17 0 43941120 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562546317600 140562574052387 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=14204740 CPUtime=16.7 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) R 2843 2846 1330 0 -1 4202560 42281 12671 0 0 1628 35 5 2 20 0 17 0 43941120 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562545264912 140562574052289 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=14204740 CPUtime=16.73 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) R 2843 2846 1330 0 -1 4202560 63659 12671 0 0 1630 36 5 2 20 0 17 0 43941120 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562544212624 140562570961408 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=14204740 CPUtime=16.71 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) R 2843 2846 1330 0 -1 4202560 53774 12671 0 0 1624 40 5 2 20 0 17 0 43941120 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562574052328 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=14204740 CPUtime=6.09 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 48452 12671 0 0 560 42 5 2 20 0 17 0 43941121 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562134996240 140562589361877 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 59 12671 0 0 0 0 5 2 20 0 17 0 43941121 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562133943648 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 48 12671 0 0 0 0 5 2 20 0 17 0 43941122 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562065778304 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 244 12671 0 0 0 0 5 2 20 0 17 0 43941124 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2905] ppid=2843 vsize=14204740 CPUtime=8.36 cores=1,3,5,7
/proc/2846/task/2905/stat : 2905 (java) S 2843 2846 1330 0 -1 1077944384 24473 12671 0 0 826 3 5 2 20 0 17 0 43941124 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562063673456 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2906] ppid=2843 vsize=14204740 CPUtime=8.07 cores=1,3,5,7
/proc/2846/task/2906/stat : 2906 (java) S 2843 2846 1330 0 -1 1077944384 19765 12671 0 0 796 4 5 2 20 0 17 0 43941124 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562062610784 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2907] ppid=2843 vsize=14204740 CPUtime=2.89 cores=1,3,5,7
/proc/2846/task/2907/stat : 2907 (java) S 2843 2846 1330 0 -1 1077944384 25333 12671 0 0 277 5 5 2 20 0 17 0 43941124 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562061567936 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2908] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 17 0 43941125 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=14204740 CPUtime=1.48 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 2199 12671 0 0 65 76 5 2 20 0 17 0 43941128 14545653760 617910 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 2520.36
Current children cumulated vsize (KiB) 14204740

[startup+2452.8 s]
/proc/loadavg: 1.32 1.25 1.30 3/210 3080
/proc/meminfo: memFree=27831012/32770624 swapFree=0/497276
[pid=2846] ppid=2843 vsize=14204740 CPUtime=2521.79 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 494269 12671 0 0 251856 316 5 2 20 0 17 0 43941098 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3551185 618188 3485 1 0 3539799 0
[pid=2846/tid=2896] ppid=2843 vsize=14204740 CPUtime=2427.12 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) S 2843 2846 1330 0 -1 1077944384 164548 12671 0 0 242638 67 5 2 20 0 17 0 43941119 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562593589312 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=14204740 CPUtime=17.08 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) R 2843 2846 1330 0 -1 4202560 46578 12671 0 0 1666 35 5 2 20 0 17 0 43941120 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562546317712 140562574049446 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=14204740 CPUtime=17.05 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) R 2843 2846 1330 0 -1 4202560 42356 12671 0 0 1663 35 5 2 20 0 17 0 43941120 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562545265112 140562574049446 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=14204740 CPUtime=17.07 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) R 2843 2846 1330 0 -1 4202560 63706 12671 0 0 1664 36 5 2 20 0 17 0 43941120 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562544212520 140562581979879 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=14204740 CPUtime=17.05 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) R 2843 2846 1330 0 -1 4202560 53801 12671 0 0 1658 40 5 2 20 0 17 0 43941120 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562581979879 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=14204740 CPUtime=6.13 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 48629 12671 0 0 564 42 5 2 20 0 17 0 43941121 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562134996016 140562589361877 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 60 12671 0 0 0 0 5 2 20 0 17 0 43941121 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562133943552 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 48 12671 0 0 0 0 5 2 20 0 17 0 43941122 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562065778304 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 244 12671 0 0 0 0 5 2 20 0 17 0 43941124 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2905] ppid=2843 vsize=14204740 CPUtime=8.36 cores=1,3,5,7
/proc/2846/task/2905/stat : 2905 (java) S 2843 2846 1330 0 -1 1077944384 24473 12671 0 0 826 3 5 2 20 0 17 0 43941124 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562063673456 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2906] ppid=2843 vsize=14204740 CPUtime=8.07 cores=1,3,5,7
/proc/2846/task/2906/stat : 2906 (java) S 2843 2846 1330 0 -1 1077944384 19765 12671 0 0 796 4 5 2 20 0 17 0 43941124 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562062610784 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2907] ppid=2843 vsize=14204740 CPUtime=2.89 cores=1,3,5,7
/proc/2846/task/2907/stat : 2907 (java) S 2843 2846 1330 0 -1 1077944384 25333 12671 0 0 277 5 5 2 20 0 17 0 43941124 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562061567936 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2908] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 17 0 43941125 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=14204740 CPUtime=1.48 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 2199 12671 0 0 65 76 5 2 20 0 17 0 43941128 14545653760 618188 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 2521.79
Current children cumulated vsize (KiB) 14204740

[startup+2452.9 s]
/proc/loadavg: 1.32 1.25 1.30 3/210 3080
/proc/meminfo: memFree=27831012/32770624 swapFree=0/497276
[pid=2846] ppid=2843 vsize=14204740 CPUtime=2522.12 cores=1,3,5,7
/proc/2846/stat : 2846 (java) S 2843 2846 1330 0 -1 1077944320 494320 12671 0 0 251889 316 5 2 20 0 17 0 43941098 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140733630676528 140562589351671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
/proc/2846/statm: 3551185 618254 3485 1 0 3539799 0
[pid=2846/tid=2896] ppid=2843 vsize=14204740 CPUtime=2427.12 cores=1,3,5,7
/proc/2846/task/2896/stat : 2896 (java) S 2843 2846 1330 0 -1 1077944384 164549 12671 0 0 242638 67 5 2 20 0 17 0 43941119 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562593589312 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2897] ppid=2843 vsize=14204740 CPUtime=17.16 cores=1,3,5,7
/proc/2846/task/2897/stat : 2897 (java) R 2843 2846 1330 0 -1 4202560 46580 12671 0 0 1674 35 5 2 20 0 17 0 43941120 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562546317712 140562581979879 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2898] ppid=2843 vsize=14204740 CPUtime=17.12 cores=1,3,5,7
/proc/2846/task/2898/stat : 2898 (java) R 2843 2846 1330 0 -1 4202560 42380 12671 0 0 1670 35 5 2 20 0 17 0 43941120 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562545265112 140562574302276 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2899] ppid=2843 vsize=14204740 CPUtime=17.15 cores=1,3,5,7
/proc/2846/task/2899/stat : 2899 (java) R 2843 2846 1330 0 -1 4202560 63706 12671 0 0 1672 36 5 2 20 0 17 0 43941120 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562544212824 140562574049263 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2900] ppid=2843 vsize=14204740 CPUtime=17.13 cores=1,3,5,7
/proc/2846/task/2900/stat : 2900 (java) R 2843 2846 1330 0 -1 4202560 53826 12671 0 0 1666 40 5 2 20 0 17 0 43941120 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562543159824 140562574303143 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2901] ppid=2843 vsize=14204740 CPUtime=6.15 cores=1,3,5,7
/proc/2846/task/2901/stat : 2901 (java) S 2843 2846 1330 0 -1 1077944384 48629 12671 0 0 566 42 5 2 20 0 17 0 43941121 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562134996016 140562589361877 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2902] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2902/stat : 2902 (java) S 2843 2846 1330 0 -1 1077944384 60 12671 0 0 0 0 5 2 20 0 17 0 43941121 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562133943552 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2903] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2903/stat : 2903 (java) S 2843 2846 1330 0 -1 1077944384 48 12671 0 0 0 0 5 2 20 0 17 0 43941122 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562065778304 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2904] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2904/stat : 2904 (java) S 2843 2846 1330 0 -1 1077944384 244 12671 0 0 0 0 5 2 20 0 17 0 43941124 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562064726608 140562589370267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2905] ppid=2843 vsize=14204740 CPUtime=8.36 cores=1,3,5,7
/proc/2846/task/2905/stat : 2905 (java) S 2843 2846 1330 0 -1 1077944384 24473 12671 0 0 826 3 5 2 20 0 17 0 43941124 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562063673456 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2906] ppid=2843 vsize=14204740 CPUtime=8.07 cores=1,3,5,7
/proc/2846/task/2906/stat : 2906 (java) S 2843 2846 1330 0 -1 1077944384 19765 12671 0 0 796 4 5 2 20 0 17 0 43941124 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562062610784 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2907] ppid=2843 vsize=14204740 CPUtime=2.89 cores=1,3,5,7
/proc/2846/task/2907/stat : 2907 (java) S 2843 2846 1330 0 -1 1077944384 25333 12671 0 0 277 5 5 2 20 0 17 0 43941124 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562061567936 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2908] ppid=2843 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2846/task/2908/stat : 2908 (java) S 2843 2846 1330 0 -1 1077944384 3 12671 0 0 0 0 5 2 20 0 17 0 43941125 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562060515808 140562589361877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
[pid=2846/tid=2909] ppid=2843 vsize=14204740 CPUtime=1.48 cores=1,3,5,7
/proc/2846/task/2909/stat : 2909 (java) S 2843 2846 1330 0 -1 1077944384 2199 12671 0 0 65 76 5 2 20 0 17 0 43941128 14545653760 618254 18446744073709551615 4194304 4196468 140733630693984 140562059463600 140562589362818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7839744 140733630699472 140733630702257 140733630702257 140733630705615 0
Current children cumulated CPU time (s) 2522.12
Current children cumulated vsize (KiB) 14204740

Child status: 143
Real time (s): 2452.99
CPU time (s): 2522.34
CPU user time (s): 2519.12
CPU system time (s): 3.21325
CPU usage (%): 102.827
Max. virtual memory (cumulated for all children) (KiB): 14204740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.12
system time used= 3.21325
maximum resident set size= 2734916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167371
involuntary context switches= 6256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4704 second user time and 15.0373 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-11 03:52:38
IDJOB=4262788
IDBENCH=115837
IDSOLVER=2650
FILE ID=node125/4262788-1502417203
RUNJOBID= node125-1502411403-1395
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-20-20-8.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262788-1502417203/watcher-4262788-1502417203 -o /tmp/evaluation-result-4262788-1502417203/solver-4262788-1502417203 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580  bin/concrete HOME/instance-4262788-1502417203.xml

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

MD5SUM BENCH= 9893704bf12390d346d425cfade6032e
RANDOM SEED=1277772293

node125.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.07
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.07
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.07
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.07
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:        31229804 kB
MemAvailable:   31963984 kB
Buffers:          238700 kB
Cached:           787240 kB
SwapCached:            0 kB
Active:           603408 kB
Inactive:         521512 kB
Active(anon):      99192 kB
Inactive(anon):    24908 kB
Active(file):     504216 kB
Inactive(file):   496604 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48520 kB
Writeback:             0 kB
AnonPages:         92604 kB
Mapped:            52268 kB
Shmem:             25252 kB
Slab:             123692 kB
SReclaimable:      98388 kB
SUnreclaim:        25304 kB
KernelStack:        3392 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1250756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node125 at 2017-08-11 04:33:31