Trace number 4262126

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) 2521.6699 2465.9099

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-15-1.xml
MD5SUMaac981b64b3d0bc7b0997201d0c57f9b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1389
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables320
Number of constraints335
Number of domains1
Minimum domain size1477
Maximum domain size1477
Distribution of domain sizes[{"size":1477,"count":320}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":300}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":300},{"arity":20,"count":15}]
Number of extensional constraints0
Number of intensional constraints320
Distribution of constraint types[{"type":"intension","count":320},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

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

pid=2078
running on 4 cores: 0,2,4,6

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.53 1.31 1.20 4/199 2081
/proc/meminfo: memFree=30012072/32770624 swapFree=0/561008
[pid=2081] ppid=2078 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2081/stat : 2081 (runsolver) D 2078 2081 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 88981278 24240128 107 18446744073709551615 4194304 4338465 140731797157248 140731797154888 140066196173527 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 23302144 140731797164241 140731797164617 140731797164617 140731797168074 0
/proc/2081/statm: 5918 107 54 36 0 2156 0

[startup+0.100089 s]
/proc/loadavg: 1.53 1.31 1.20 4/199 2081
/proc/meminfo: memFree=30012072/32770624 swapFree=0/561008
[pid=2081] ppid=2078 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/2081/stat : 2081 (bash) S 2078 2081 1460 0 -1 4202496 717 3530 0 0 0 0 0 0 20 0 1 0 88981278 9736192 355 18446744073709551615 4194304 5098028 140737447978672 140737447976312 140586237709312 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 9506816 140737447985684 140737447985769 140737447985769 140737447989226 0
/proc/2081/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200292 s]
/proc/loadavg: 1.53 1.31 1.20 4/199 2081
/proc/meminfo: memFree=30012072/32770624 swapFree=0/561008
[pid=2081] ppid=2078 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/2081/stat : 2081 (bash) S 2078 2081 1460 0 -1 4202496 897 6476 0 0 0 0 0 1 20 0 1 0 88981278 9867264 377 18446744073709551615 4194304 5098028 140737447978672 140737447972680 140586237709312 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 9506816 140737447985684 140737447985769 140737447985769 140737447989226 0
/proc/2081/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300351 s]
/proc/loadavg: 1.53 1.31 1.20 4/199 2081
/proc/meminfo: memFree=30012072/32770624 swapFree=0/561008
[pid=2081] ppid=2078 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 5739 12619 0 0 5 1 5 3 20 0 14 0 88981278 14241083392 5416 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3476827 5416 2563 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700183 s]
/proc/loadavg: 1.53 1.31 1.20 4/199 2081
/proc/meminfo: memFree=30012072/32770624 swapFree=0/561008
[pid=2081] ppid=2078 vsize=13974784 CPUtime=0.62 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 13705 12619 0 0 50 4 5 3 20 0 15 0 88981278 14310178816 14075 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3493696 14075 3059 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50055 s]
/proc/loadavg: 1.57 1.32 1.20 4/214 2146
/proc/meminfo: memFree=29844820/32770624 swapFree=0/561112
[pid=2081] ppid=2078 vsize=13985408 CPUtime=1.81 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 27274 12619 0 0 164 9 5 3 20 0 15 0 88981278 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3496352 33874 3340 1 0 3485525 0
[pid=2081/tid=2133] ppid=2078 vsize=13985408 CPUtime=1.28 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) R 2078 2081 1460 0 -1 4202560 22128 12619 0 0 114 6 5 3 20 0 15 0 88981301 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140506366359280 140506345471620 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) S 2078 2081 1460 0 -1 1077944384 1 12619 0 0 0 0 5 3 20 0 15 0 88981302 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) S 2078 2081 1460 0 -1 1077944384 1 12619 0 0 0 0 5 3 20 0 15 0 88981302 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140506303020176 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) S 2078 2081 1460 0 -1 1077944384 1 12619 0 0 0 0 5 3 20 0 15 0 88981302 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140506301967120 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) S 2078 2081 1460 0 -1 1077944384 2 12619 0 0 0 0 5 3 20 0 15 0 88981302 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140506300914576 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) S 2078 2081 1460 0 -1 1077944384 5 12619 0 0 0 0 5 3 20 0 15 0 88981303 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505907828976 140506362137218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 34 12619 0 0 0 0 5 3 20 0 15 0 88981303 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505906775200 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 21 12619 0 0 0 0 5 3 20 0 15 0 88981304 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505905722096 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981306 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2142] ppid=2078 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/2081/task/2142/stat : 2142 (java) S 2078 2081 1460 0 -1 1077944384 831 12619 0 0 13 0 5 3 20 0 15 0 88981306 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505903618800 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2143] ppid=2078 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/2081/task/2143/stat : 2143 (java) S 2078 2081 1460 0 -1 1077944384 796 12619 0 0 14 1 5 3 20 0 15 0 88981306 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505902566256 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2144] ppid=2078 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/2081/task/2144/stat : 2144 (java) R 2078 2081 1460 0 -1 4202560 1287 12619 0 0 21 0 5 3 20 0 15 0 88981307 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505901513200 140506362138006 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2145] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2145/stat : 2145 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981307 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505900460896 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2146] ppid=2078 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2146/stat : 2146 (java) S 2078 2081 1460 0 -1 1077944384 6 12619 0 0 0 0 5 3 20 0 15 0 88981312 14321057792 33874 18446744073709551615 4194304 4196468 140732127567248 140505899407920 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408

[startup+3.10062 s]
/proc/loadavg: 1.57 1.32 1.20 7/214 2146
/proc/meminfo: memFree=29759012/32770624 swapFree=0/561112
[pid=2081] ppid=2078 vsize=13997884 CPUtime=6.05 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 45966 12619 0 0 581 16 5 3 20 0 15 0 88981278 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3499471 53699 3448 1 0 3488085 0
[pid=2081/tid=2133] ppid=2078 vsize=13997884 CPUtime=2.84 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) R 2078 2081 1460 0 -1 4202560 29712 12619 0 0 268 8 5 3 20 0 15 0 88981301 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140506366339152 140505979628826 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) S 2078 2081 1460 0 -1 1077944384 206 12619 0 0 0 0 5 3 20 0 15 0 88981302 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) S 2078 2081 1460 0 -1 1077944384 50 12619 0 0 1 0 5 3 20 0 15 0 88981302 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140506303020176 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) S 2078 2081 1460 0 -1 1077944384 32 12619 0 0 0 0 5 3 20 0 15 0 88981302 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140506301967120 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) S 2078 2081 1460 0 -1 1077944384 71 12619 0 0 0 0 5 3 20 0 15 0 88981302 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140506300914576 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) S 2078 2081 1460 0 -1 1077944384 1510 12619 0 0 1 0 5 3 20 0 15 0 88981303 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505907828976 140506362137218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 57 12619 0 0 0 0 5 3 20 0 15 0 88981303 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505906775200 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 44 12619 0 0 0 0 5 3 20 0 15 0 88981304 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505905722096 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981306 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2142] ppid=2078 vsize=13997884 CPUtime=1.14 cores=0,2,4,6
/proc/2081/task/2142/stat : 2142 (java) R 2078 2081 1460 0 -1 4202560 4444 12619 0 0 105 1 5 3 20 0 15 0 88981306 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505903618800 140506341969675 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2143] ppid=2078 vsize=13997884 CPUtime=1.01 cores=0,2,4,6
/proc/2081/task/2143/stat : 2143 (java) S 2078 2081 1460 0 -1 1077944384 2912 12619 0 0 92 1 5 3 20 0 15 0 88981306 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505902566256 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2144] ppid=2078 vsize=13997884 CPUtime=1.19 cores=0,2,4,6
/proc/2081/task/2144/stat : 2144 (java) S 2078 2081 1460 0 -1 1077944384 4760 12619 0 0 109 2 5 3 20 0 15 0 88981307 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505901513200 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2145] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2145/stat : 2145 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981307 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505900460896 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2146] ppid=2078 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2146/stat : 2146 (java) S 2078 2081 1460 0 -1 1077944384 7 12619 0 0 0 0 5 3 20 0 15 0 88981312 14333833216 53699 18446744073709551615 4194304 4196468 140732127567248 140505899407920 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 13997884

[startup+6.3016 s]
/proc/loadavg: 1.68 1.35 1.21 7/214 2146
/proc/meminfo: memFree=29492736/32770624 swapFree=0/561112
[pid=2081] ppid=2078 vsize=14001980 CPUtime=15.38 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 70278 12619 0 0 1497 33 5 3 20 0 15 0 88981278 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3500495 106340 3475 1 0 3489109 0
[pid=2081/tid=2133] ppid=2078 vsize=14001980 CPUtime=5.84 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) R 2078 2081 1460 0 -1 4202560 33190 12619 0 0 566 10 5 3 20 0 15 0 88981301 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140506366354200 140505989122476 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) S 2078 2081 1460 0 -1 1077944384 1497 12619 0 0 11 3 5 3 20 0 15 0 88981302 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=14001980 CPUtime=0.23 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) S 2078 2081 1460 0 -1 1077944384 855 12619 0 0 12 3 5 3 20 0 15 0 88981302 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140506303020176 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) S 2078 2081 1460 0 -1 1077944384 242 12619 0 0 11 3 5 3 20 0 15 0 88981302 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140506301967120 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=14001980 CPUtime=0.23 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) S 2078 2081 1460 0 -1 1077944384 242 12619 0 0 13 2 5 3 20 0 15 0 88981302 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140506300914576 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=14001980 CPUtime=0.13 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) S 2078 2081 1460 0 -1 1077944384 10020 12619 0 0 5 0 5 3 20 0 15 0 88981303 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505907828976 140506362137218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 62 12619 0 0 0 0 5 3 20 0 15 0 88981303 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505906775328 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 48 12619 0 0 0 0 5 3 20 0 15 0 88981304 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505905722112 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981306 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2142] ppid=2078 vsize=14001980 CPUtime=3.72 cores=0,2,4,6
/proc/2081/task/2142/stat : 2142 (java) R 2078 2081 1460 0 -1 4202560 7920 12619 0 0 363 1 5 3 20 0 15 0 88981306 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505903618800 140506355222939 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2143] ppid=2078 vsize=14001980 CPUtime=3.44 cores=0,2,4,6
/proc/2081/task/2143/stat : 2143 (java) R 2078 2081 1460 0 -1 4202560 6851 12619 0 0 334 2 5 3 20 0 15 0 88981306 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505902566256 140506355222947 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2144] ppid=2078 vsize=14001980 CPUtime=1.88 cores=0,2,4,6
/proc/2081/task/2144/stat : 2144 (java) S 2078 2081 1460 0 -1 1077944384 7087 12619 0 0 177 3 5 3 20 0 15 0 88981307 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505901513200 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2145] ppid=2078 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2145/stat : 2145 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981307 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505900460896 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2146] ppid=2078 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2146/stat : 2146 (java) S 2078 2081 1460 0 -1 1077944384 120 12619 0 0 0 0 5 3 20 0 15 0 88981312 14338027520 106340 18446744073709551615 4194304 4196468 140732127567248 140505899407920 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
Current children cumulated CPU time (s) 15.38
Current children cumulated vsize (KiB) 14001980

[startup+12.7007 s]
/proc/loadavg: 1.71 1.36 1.22 4/214 2146
/proc/meminfo: memFree=28844036/32770624 swapFree=0/561104
[pid=2081] ppid=2078 vsize=14069564 CPUtime=25.41 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 95660 12619 0 0 2484 49 5 3 20 0 15 0 88981278 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3517391 225112 3478 1 0 3506005 0
[pid=2081/tid=2133] ppid=2078 vsize=14069564 CPUtime=12.18 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) R 2078 2081 1460 0 -1 4202560 50405 12619 0 0 1191 19 5 3 20 0 15 0 88981301 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140506366360112 140505991786498 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=14069564 CPUtime=0.27 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) S 2078 2081 1460 0 -1 1077944384 1533 12619 0 0 14 5 5 3 20 0 15 0 88981302 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=14069564 CPUtime=0.27 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) S 2078 2081 1460 0 -1 1077944384 889 12619 0 0 14 5 5 3 20 0 15 0 88981302 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140506303020176 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) S 2078 2081 1460 0 -1 1077944384 271 12619 0 0 14 4 5 3 20 0 15 0 88981302 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140506301967120 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) S 2078 2081 1460 0 -1 1077944384 276 12619 0 0 16 4 5 3 20 0 15 0 88981302 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140506300914576 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=14069564 CPUtime=0.14 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) S 2078 2081 1460 0 -1 1077944384 10287 12619 0 0 6 0 5 3 20 0 15 0 88981303 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140505907828976 140506362137218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 62 12619 0 0 0 0 5 3 20 0 15 0 88981303 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140505906775328 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 48 12619 0 0 0 0 5 3 20 0 15 0 88981304 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140505905722112 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981306 14407233536 225112 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0

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

[pid=2081] ppid=2078 vsize=14069564 CPUtime=2496.55 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 373381 12619 0 0 249270 377 5 3 20 0 15 0 88981278 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3517391 401109 3481 1 0 3506005 0
[pid=2081/tid=2133] ppid=2078 vsize=14069564 CPUtime=2416.06 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) R 2078 2081 1460 0 -1 4202560 131192 12619 0 0 241534 64 5 3 20 0 15 0 88981301 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140506366360368 140505986767015 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=14069564 CPUtime=14.16 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) S 2078 2081 1460 0 -1 1077944384 42631 12619 0 0 1354 54 5 3 20 0 15 0 88981302 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=14069564 CPUtime=14.15 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) S 2078 2081 1460 0 -1 1077944384 39753 12619 0 0 1350 57 5 3 20 0 15 0 88981302 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140506303020176 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=14069564 CPUtime=14.22 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) S 2078 2081 1460 0 -1 1077944384 25417 12619 0 0 1361 53 5 3 20 0 15 0 88981302 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140506301967120 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=14069564 CPUtime=14.21 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) S 2078 2081 1460 0 -1 1077944384 38751 12619 0 0 1357 56 5 3 20 0 15 0 88981302 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140506300914576 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=14069564 CPUtime=9.62 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) S 2078 2081 1460 0 -1 1077944384 36058 12619 0 0 899 55 5 3 20 0 15 0 88981303 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505907828976 140506362137218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 62 12619 0 0 0 0 5 3 20 0 15 0 88981303 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505906775328 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 48 12619 0 0 0 0 5 3 20 0 15 0 88981304 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505905722112 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981306 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2142] ppid=2078 vsize=14069564 CPUtime=5.58 cores=0,2,4,6
/proc/2081/task/2142/stat : 2142 (java) S 2078 2081 1460 0 -1 1077944384 22027 12619 0 0 547 3 5 3 20 0 15 0 88981306 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505903618800 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2143] ppid=2078 vsize=14069564 CPUtime=5.3 cores=0,2,4,6
/proc/2081/task/2143/stat : 2143 (java) S 2078 2081 1460 0 -1 1077944384 17528 12619 0 0 518 4 5 3 20 0 15 0 88981306 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505902566256 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2144] ppid=2078 vsize=14069564 CPUtime=2.28 cores=0,2,4,6
/proc/2081/task/2144/stat : 2144 (java) S 2078 2081 1460 0 -1 1077944384 15780 12619 0 0 216 4 5 3 20 0 15 0 88981307 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505901513200 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2145] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2145/stat : 2145 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981307 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505900460896 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2146] ppid=2078 vsize=14069564 CPUtime=1.58 cores=0,2,4,6
/proc/2081/task/2146/stat : 2146 (java) S 2078 2081 1460 0 -1 1077944384 1973 12619 0 0 69 81 5 3 20 0 15 0 88981312 14407233536 401109 18446744073709551615 4194304 4196468 140732127567248 140505899407920 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
Current children cumulated CPU time (s) 2496.55
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.4 s]
/proc/loadavg: 1.60 1.43 1.36 5/214 2554
/proc/meminfo: memFree=29061432/32770624 swapFree=0/561708
[pid=2081] ppid=2078 vsize=14069564 CPUtime=2520.05 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 375615 12619 0 0 251617 380 5 3 20 0 15 0 88981278 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3517391 404297 3481 1 0 3506005 0
[pid=2081/tid=2133] ppid=2078 vsize=14069564 CPUtime=2438.91 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) R 2078 2081 1460 0 -1 4202560 131982 12619 0 0 243819 64 5 3 20 0 15 0 88981301 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140506366360208 140505980670694 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=14069564 CPUtime=14.29 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) S 2078 2081 1460 0 -1 1077944384 43417 12619 0 0 1367 54 5 3 20 0 15 0 88981302 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=14069564 CPUtime=14.29 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) S 2078 2081 1460 0 -1 1077944384 39896 12619 0 0 1363 58 5 3 20 0 15 0 88981302 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140506303020176 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=14069564 CPUtime=14.36 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) S 2078 2081 1460 0 -1 1077944384 25568 12619 0 0 1374 54 5 3 20 0 15 0 88981302 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140506301967120 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=14069564 CPUtime=14.35 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) S 2078 2081 1460 0 -1 1077944384 38781 12619 0 0 1370 57 5 3 20 0 15 0 88981302 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140506300914576 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=14069564 CPUtime=9.71 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) S 2078 2081 1460 0 -1 1077944384 36376 12619 0 0 908 55 5 3 20 0 15 0 88981303 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505907828976 140506362137218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 62 12619 0 0 0 0 5 3 20 0 15 0 88981303 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505906775328 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 48 12619 0 0 0 0 5 3 20 0 15 0 88981304 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505905722112 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981306 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2142] ppid=2078 vsize=14069564 CPUtime=5.58 cores=0,2,4,6
/proc/2081/task/2142/stat : 2142 (java) S 2078 2081 1460 0 -1 1077944384 22029 12619 0 0 547 3 5 3 20 0 15 0 88981306 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505903618800 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2143] ppid=2078 vsize=14069564 CPUtime=5.3 cores=0,2,4,6
/proc/2081/task/2143/stat : 2143 (java) S 2078 2081 1460 0 -1 1077944384 17531 12619 0 0 518 4 5 3 20 0 15 0 88981306 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505902566256 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2144] ppid=2078 vsize=14069564 CPUtime=2.28 cores=0,2,4,6
/proc/2081/task/2144/stat : 2144 (java) S 2078 2081 1460 0 -1 1077944384 15782 12619 0 0 216 4 5 3 20 0 15 0 88981307 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505901513200 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2145] ppid=2078 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2145/stat : 2145 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 15 0 88981307 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505900460896 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2146] ppid=2078 vsize=14069564 CPUtime=1.59 cores=0,2,4,6
/proc/2081/task/2146/stat : 2146 (java) S 2078 2081 1460 0 -1 1077944384 1982 12619 0 0 70 81 5 3 20 0 15 0 88981312 14407233536 404297 18446744073709551615 4194304 4196468 140732127567248 140505899407920 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14069564

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

[startup+2465.6 s]
/proc/loadavg: 1.60 1.43 1.36 5/214 2554
/proc/meminfo: memFree=29061432/32770624 swapFree=0/561708
[pid=2081] ppid=2078 vsize=14202692 CPUtime=2520.73 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 384064 12619 0 0 251684 381 5 3 20 0 17 0 88981278 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3550673 405483 3481 1 0 3539287 0
[pid=2081/tid=2133] ppid=2078 vsize=14202692 CPUtime=2438.91 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) S 2078 2081 1460 0 -1 1077944384 132835 12619 0 0 243819 64 5 3 20 0 17 0 88981301 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140506366363616 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=14202692 CPUtime=14.45 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) R 2078 2081 1460 0 -1 4202560 43481 12619 0 0 1383 54 5 3 20 0 17 0 88981302 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506346826779 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=14202692 CPUtime=14.44 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) R 2078 2081 1460 0 -1 4202560 40014 12619 0 0 1378 58 5 3 20 0 17 0 88981302 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140506303019984 140506354754279 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=14202692 CPUtime=14.51 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) R 2078 2081 1460 0 -1 4202560 25601 12619 0 0 1389 54 5 3 20 0 17 0 88981302 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140506301966928 140506354754279 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=14202692 CPUtime=14.51 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) R 2078 2081 1460 0 -1 4202560 38824 12619 0 0 1386 57 5 3 20 0 17 0 88981302 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140506300914696 140506354754279 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=14202692 CPUtime=9.74 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) S 2078 2081 1460 0 -1 1077944384 42367 12619 0 0 911 55 5 3 20 0 17 0 88981303 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505907827600 140506362136277 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 62 12619 0 0 0 0 5 3 20 0 17 0 88981303 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505906775328 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 48 12619 0 0 0 0 5 3 20 0 17 0 88981304 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505905722112 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 248 12619 0 0 0 0 5 3 20 0 17 0 88981306 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2142] ppid=2078 vsize=14202692 CPUtime=5.58 cores=0,2,4,6
/proc/2081/task/2142/stat : 2142 (java) S 2078 2081 1460 0 -1 1077944384 22029 12619 0 0 547 3 5 3 20 0 17 0 88981306 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505903618800 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2143] ppid=2078 vsize=14202692 CPUtime=5.3 cores=0,2,4,6
/proc/2081/task/2143/stat : 2143 (java) S 2078 2081 1460 0 -1 1077944384 17531 12619 0 0 518 4 5 3 20 0 17 0 88981306 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505902566256 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2144] ppid=2078 vsize=14202692 CPUtime=2.28 cores=0,2,4,6
/proc/2081/task/2144/stat : 2144 (java) S 2078 2081 1460 0 -1 1077944384 16538 12619 0 0 216 4 5 3 20 0 17 0 88981307 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505901510848 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2145] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2145/stat : 2145 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 17 0 88981307 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505900460896 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2146] ppid=2078 vsize=14202692 CPUtime=1.59 cores=0,2,4,6
/proc/2081/task/2146/stat : 2146 (java) S 2078 2081 1460 0 -1 1077944384 1982 12619 0 0 70 81 5 3 20 0 17 0 88981312 14543556608 405483 18446744073709551615 4194304 4196468 140732127567248 140505899407920 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
Current children cumulated CPU time (s) 2520.73
Current children cumulated vsize (KiB) 14202692

[startup+2465.8 s]
/proc/loadavg: 1.60 1.43 1.36 5/214 2554
/proc/meminfo: memFree=29061432/32770624 swapFree=0/561708
[pid=2081] ppid=2078 vsize=14202692 CPUtime=2521.4 cores=0,2,4,6
/proc/2081/stat : 2081 (java) S 2078 2081 1460 0 -1 1077944320 384418 12619 0 0 251751 381 5 3 20 0 17 0 88981278 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140732127549792 140506362126071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
/proc/2081/statm: 3550673 405690 3481 1 0 3539287 0
[pid=2081/tid=2133] ppid=2078 vsize=14202692 CPUtime=2438.91 cores=0,2,4,6
/proc/2081/task/2133/stat : 2133 (java) S 2078 2081 1460 0 -1 1077944384 132836 12619 0 0 243819 64 5 3 20 0 17 0 88981301 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140506366363616 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2134] ppid=2078 vsize=14202692 CPUtime=14.61 cores=0,2,4,6
/proc/2081/task/2134/stat : 2134 (java) S 2078 2081 1460 0 -1 1077944384 43481 12619 0 0 1399 54 5 3 20 0 17 0 88981302 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140506304072720 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2135] ppid=2078 vsize=14202692 CPUtime=14.6 cores=0,2,4,6
/proc/2081/task/2135/stat : 2135 (java) S 2078 2081 1460 0 -1 1077944384 40019 12619 0 0 1394 58 5 3 20 0 17 0 88981302 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140506303020176 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2136] ppid=2078 vsize=14202692 CPUtime=14.67 cores=0,2,4,6
/proc/2081/task/2136/stat : 2136 (java) S 2078 2081 1460 0 -1 1077944384 25601 12619 0 0 1405 54 5 3 20 0 17 0 88981302 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140506301967120 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2137] ppid=2078 vsize=14202692 CPUtime=14.67 cores=0,2,4,6
/proc/2081/task/2137/stat : 2137 (java) S 2078 2081 1460 0 -1 1077944384 38827 12619 0 0 1402 57 5 3 20 0 17 0 88981302 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140506300914576 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2138] ppid=2078 vsize=14202692 CPUtime=9.78 cores=0,2,4,6
/proc/2081/task/2138/stat : 2138 (java) R 2078 2081 1460 0 -1 4202560 42697 12619 0 0 915 55 5 3 20 0 17 0 88981303 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505907827376 140506347259908 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2139] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2139/stat : 2139 (java) S 2078 2081 1460 0 -1 1077944384 64 12619 0 0 0 0 5 3 20 0 17 0 88981303 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505906775408 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2140] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2140/stat : 2140 (java) S 2078 2081 1460 0 -1 1077944384 48 12619 0 0 0 0 5 3 20 0 17 0 88981304 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505905722112 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2141] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2141/stat : 2141 (java) S 2078 2081 1460 0 -1 1077944384 248 12619 0 0 0 0 5 3 20 0 17 0 88981306 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505904670672 140506362144667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2142] ppid=2078 vsize=14202692 CPUtime=5.58 cores=0,2,4,6
/proc/2081/task/2142/stat : 2142 (java) S 2078 2081 1460 0 -1 1077944384 22029 12619 0 0 547 3 5 3 20 0 17 0 88981306 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505903618800 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2143] ppid=2078 vsize=14202692 CPUtime=5.3 cores=0,2,4,6
/proc/2081/task/2143/stat : 2143 (java) S 2078 2081 1460 0 -1 1077944384 17531 12619 0 0 518 4 5 3 20 0 17 0 88981306 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505902566256 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2144] ppid=2078 vsize=14202692 CPUtime=2.28 cores=0,2,4,6
/proc/2081/task/2144/stat : 2144 (java) S 2078 2081 1460 0 -1 1077944384 16550 12619 0 0 216 4 5 3 20 0 17 0 88981307 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505901513200 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2145] ppid=2078 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/2081/task/2145/stat : 2145 (java) S 2078 2081 1460 0 -1 1077944384 3 12619 0 0 0 0 5 3 20 0 17 0 88981307 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505900460896 140506362136277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
[pid=2081/tid=2146] ppid=2078 vsize=14202692 CPUtime=1.59 cores=0,2,4,6
/proc/2081/task/2146/stat : 2146 (java) S 2078 2081 1460 0 -1 1077944384 1982 12619 0 0 70 81 5 3 20 0 17 0 88981312 14543556608 405690 18446744073709551615 4194304 4196468 140732127567248 140505899407920 140506362137218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140732127569872 140732127572657 140732127572657 140732127576015 0
Current children cumulated CPU time (s) 2521.4
Current children cumulated vsize (KiB) 14202692

[startup+2465.9 s]
/proc/loadavg: 1.60 1.43 1.36 5/214 2554
/proc/meminfo: memFree=29061432/32770624 swapFree=0/561708
[pid=2081] ppid=2078 vsize=0 CPUtime=2521.65 cores=0,2,4,6
/proc/2081/stat : 2081 (java) Z 2078 2081 1460 0 -1 4228108 384621 12619 0 0 251775 382 5 3 20 0 2 0 88981278 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/2081/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2521.65
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 2465.91
CPU time (s): 2521.67
CPU user time (s): 2517.81
CPU system time (s): 3.86016
CPU usage (%): 102.261
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.81
system time used= 3.86016
maximum resident set size= 1801968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262084
involuntary context switches= 6313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9946 second user time and 14.6108 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 03:11:54
IDJOB=4262126
IDBENCH=115776
IDSOLVER=2650
FILE ID=node134/4262126-1502414750
RUNJOBID= node134-1502411438-1523
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-1.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262126-1502414750/watcher-4262126-1502414750 -o /tmp/evaluation-result-4262126-1502414750/solver-4262126-1502414750 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580  bin/concrete HOME/instance-4262126-1502414750.xml

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

MD5SUM BENCH= aac981b64b3d0bc7b0997201d0c57f9b
RANDOM SEED=1450752044

node134.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.43
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.43
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.43
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.43
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:        30013080 kB
MemAvailable:   30965548 kB
Buffers:          277564 kB
Cached:           969376 kB
SwapCached:            0 kB
Active:          1731296 kB
Inactive:         591964 kB
Active(anon):    1078932 kB
Inactive(anon):    31216 kB
Active(file):     652364 kB
Inactive(file):   560748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24428 kB
Writeback:             0 kB
AnonPages:       1076556 kB
Mapped:            63156 kB
Shmem:             33468 kB
Slab:             137076 kB
SReclaimable:     110384 kB
SUnreclaim:        26692 kB
KernelStack:        3488 kB
PageTables:         7100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2059768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    858112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61984 MiB
End job on node134 at 2017-08-11 03:53:00