Trace number 4248029

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 NameAnswerCPU timeWall clock time
R1: Concrete 3.4? (TO) 2401.24 2342.6001

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-09-2-12.xml
MD5SUM184e4a42ac40b5c8b3b859f3d89928ae
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark228.916
Satisfiable
(Un)Satisfiability was proved
Number of variables1680
Number of constraints768
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":1008},{"size":12,"count":672}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":672},{"degree":9,"count":1008}]
Minimum constraint arity8
Maximum constraint arity84
Distribution of constraint arities[{"arity":8,"count":84},{"arity":13,"count":672},{"arity":84,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":84},{"type":"element","count":672}]
Optimization problemNO
Type of objective

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.51 1.48 1.50 3/198 19790
/proc/meminfo: memFree=30398736/32770624 swapFree=0/441808
[pid=19790] ppid=19787 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19790/stat : 19790 (runsolver) D 19787 19790 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 58503499 24240128 106 18446744073709551615 4194304 4338465 140731767581488 140731767579128 139943839908567 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 36110336 140731767587024 140731767587401 140731767587401 140731767590858 0
/proc/19790/statm: 5918 106 53 36 0 2156 0

[startup+0.100164 s]
/proc/loadavg: 1.51 1.48 1.50 3/198 19790
/proc/meminfo: memFree=30398736/32770624 swapFree=0/441808
[pid=19790] ppid=19787 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/19790/stat : 19790 (bash) S 19787 19790 25139 0 -1 4202496 888 6451 0 0 0 0 0 1 20 0 1 0 58503499 9871360 373 18446744073709551615 4194304 5098028 140736863180048 140736863174056 140484335971328 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 6 0 0 7196144 7232144 30937088 140736863187476 140736863187561 140736863187561 140736863191018 0
/proc/19790/statm: 2410 373 292 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200283 s]
/proc/loadavg: 1.51 1.48 1.50 3/198 19790
/proc/meminfo: memFree=30398736/32770624 swapFree=0/441808
[pid=19790] ppid=19787 vsize=9936724 CPUtime=0.07 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 3637 12331 0 0 0 0 5 2 20 0 6 0 58503499 10175205376 3452 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2484181 3452 1416 1 0 2473678 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9936724

[startup+0.301563 s]
/proc/loadavg: 1.51 1.48 1.50 3/198 19790
/proc/meminfo: memFree=30398736/32770624 swapFree=0/441808
[pid=19790] ppid=19787 vsize=10552364 CPUtime=0.19 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 6688 12331 0 0 11 1 5 2 20 0 15 0 58503499 10805620736 7360 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2638091 7360 2913 1 0 2627467 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10552364

[startup+0.700281 s]
/proc/loadavg: 1.51 1.48 1.50 3/198 19790
/proc/meminfo: memFree=30398736/32770624 swapFree=0/441808
[pid=19790] ppid=19787 vsize=10552792 CPUtime=0.72 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 13823 12331 0 0 61 4 5 2 20 0 15 0 58503499 10806059008 14779 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2638198 14779 3111 1 0 2627467 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10552792

[startup+1.5006 s]
/proc/loadavg: 1.51 1.48 1.50 3/213 19853
/proc/meminfo: memFree=30302032/32770624 swapFree=0/442088
[pid=19790] ppid=19787 vsize=10563416 CPUtime=1.95 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 30520 12331 0 0 178 10 5 2 20 0 15 0 58503499 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2640854 43546 3384 1 0 2630027 0
[pid=19790/tid=19840] ppid=19787 vsize=10563416 CPUtime=1.31 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) R 19787 19790 25139 0 -1 4202560 23329 12331 0 0 117 7 5 2 20 0 15 0 58503518 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140450130001488 140450125804122 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) S 19787 19790 25139 0 -1 1077944384 46 12331 0 0 1 0 5 2 20 0 15 0 58503519 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140450066819472 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) S 19787 19790 25139 0 -1 1077944384 31 12331 0 0 0 0 5 2 20 0 15 0 58503519 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) S 19787 19790 25139 0 -1 1077944384 187 12331 0 0 1 0 5 2 20 0 15 0 58503519 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140450064714384 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) S 19787 19790 25139 0 -1 1077944384 49 12331 0 0 1 0 5 2 20 0 15 0 58503519 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 1499 12331 0 0 1 0 5 2 20 0 15 0 58503520 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449622133360 140450125793922 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 55 12331 0 0 0 0 5 2 20 0 15 0 58503521 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449621079328 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 44 12331 0 0 0 0 5 2 20 0 15 0 58503521 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449620026992 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19849] ppid=19787 vsize=10563416 CPUtime=0.19 cores=0,2,4,6
/proc/19790/task/19849/stat : 19849 (java) S 19787 19790 25139 0 -1 1077944384 895 12331 0 0 12 0 5 2 20 0 15 0 58503524 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449617922160 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19850] ppid=19787 vsize=10563416 CPUtime=0.24 cores=0,2,4,6
/proc/19790/task/19850/stat : 19850 (java) S 19787 19790 25139 0 -1 1077944384 804 12331 0 0 17 0 5 2 20 0 15 0 58503524 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449616869360 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19851] ppid=19787 vsize=10563416 CPUtime=0.31 cores=0,2,4,6
/proc/19790/task/19851/stat : 19851 (java) S 19787 19790 25139 0 -1 1077944384 1427 12331 0 0 24 0 5 2 20 0 15 0 58503524 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449615817072 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19852] ppid=19787 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 10 12331 0 0 0 0 5 2 20 0 15 0 58503527 10816937984 43546 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10563416

[startup+3.1017 s]
/proc/loadavg: 1.47 1.47 1.49 6/213 19853
/proc/meminfo: memFree=30223176/32770624 swapFree=0/442088
[pid=19790] ppid=19787 vsize=10575892 CPUtime=6.03 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 49221 12331 0 0 581 15 5 2 20 0 15 0 58503499 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2643973 56999 3456 1 0 2632587 0
[pid=19790/tid=19840] ppid=19787 vsize=10575892 CPUtime=2.89 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) R 19787 19790 25139 0 -1 4202560 35535 12331 0 0 273 9 5 2 20 0 15 0 58503518 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140450129943984 140450125794710 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) S 19787 19790 25139 0 -1 1077944384 46 12331 0 0 1 0 5 2 20 0 15 0 58503519 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140450066819472 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) S 19787 19790 25139 0 -1 1077944384 31 12331 0 0 0 0 5 2 20 0 15 0 58503519 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) S 19787 19790 25139 0 -1 1077944384 187 12331 0 0 1 0 5 2 20 0 15 0 58503519 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140450064714384 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) S 19787 19790 25139 0 -1 1077944384 49 12331 0 0 1 0 5 2 20 0 15 0 58503519 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 1524 12331 0 0 1 0 5 2 20 0 15 0 58503520 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449622133360 140450125793922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 55 12331 0 0 0 0 5 2 20 0 15 0 58503521 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449621079328 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 44 12331 0 0 0 0 5 2 20 0 15 0 58503521 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449620026992 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19849] ppid=19787 vsize=10575892 CPUtime=0.96 cores=0,2,4,6
/proc/19790/task/19849/stat : 19849 (java) R 19787 19790 25139 0 -1 1077944384 2429 12331 0 0 88 1 5 2 20 0 15 0 58503524 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449617907168 140450125792981 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19850] ppid=19787 vsize=10575892 CPUtime=1.15 cores=0,2,4,6
/proc/19790/task/19850/stat : 19850 (java) R 19787 19790 25139 0 -1 4202560 3603 12331 0 0 107 1 5 2 20 0 15 0 58503524 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449616856416 140450110691792 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19851] ppid=19787 vsize=10575892 CPUtime=1.11 cores=0,2,4,6
/proc/19790/task/19851/stat : 19851 (java) S 19787 19790 25139 0 -1 1077944384 3562 12331 0 0 103 1 5 2 20 0 15 0 58503524 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449615817072 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19852] ppid=19787 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 12 12331 0 0 0 0 5 2 20 0 15 0 58503527 10829713408 56999 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 10575892

[startup+6.30068 s]
/proc/loadavg: 1.47 1.47 1.49 6/213 19853
/proc/meminfo: memFree=30004596/32770624 swapFree=0/442084
[pid=19790] ppid=19787 vsize=10579988 CPUtime=15.78 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 75523 12331 0 0 1546 25 5 2 20 0 15 0 58503499 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2644997 105353 3476 1 0 2633611 0
[pid=19790/tid=19840] ppid=19787 vsize=10579988 CPUtime=5.92 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) R 19787 19790 25139 0 -1 4202560 42095 12331 0 0 574 11 5 2 20 0 15 0 58503518 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140450130007568 140449751883191 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10579988 CPUtime=0.17 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) S 19787 19790 25139 0 -1 1077944384 846 12331 0 0 9 1 5 2 20 0 15 0 58503519 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140450066819472 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10579988 CPUtime=0.15 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) S 19787 19790 25139 0 -1 1077944384 634 12331 0 0 7 1 5 2 20 0 15 0 58503519 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10579988 CPUtime=0.16 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) S 19787 19790 25139 0 -1 1077944384 364 12331 0 0 8 1 5 2 20 0 15 0 58503519 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140450064714384 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10579988 CPUtime=0.16 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) S 19787 19790 25139 0 -1 1077944384 194 12331 0 0 8 1 5 2 20 0 15 0 58503519 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10579988 CPUtime=0.11 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 8828 12331 0 0 4 0 5 2 20 0 15 0 58503520 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449622133360 140450125793922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 58 12331 0 0 0 0 5 2 20 0 15 0 58503521 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449621079392 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 46 12331 0 0 0 0 5 2 20 0 15 0 58503521 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449620027008 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19849] ppid=19787 vsize=10579988 CPUtime=3.84 cores=0,2,4,6
/proc/19790/task/19849/stat : 19849 (java) S 19787 19790 25139 0 -1 1077944384 6160 12331 0 0 376 1 5 2 20 0 15 0 58503524 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449617922160 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19850] ppid=19787 vsize=10579988 CPUtime=4.03 cores=0,2,4,6
/proc/19790/task/19850/stat : 19850 (java) R 19787 19790 25139 0 -1 4202560 7558 12331 0 0 394 2 5 2 20 0 15 0 58503524 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449616851072 140450105961431 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19851] ppid=19787 vsize=10579988 CPUtime=1.69 cores=0,2,4,6
/proc/19790/task/19851/stat : 19851 (java) S 19787 19790 25139 0 -1 1077944384 6561 12331 0 0 159 3 5 2 20 0 15 0 58503524 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449615817072 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19852] ppid=19787 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 35 12331 0 0 0 0 5 2 20 0 15 0 58503527 10833907712 105353 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 15.78
Current children cumulated vsize (KiB) 10579988

[startup+12.7008 s]
/proc/loadavg: 1.70 1.52 1.51 3/213 19853
/proc/meminfo: memFree=29506200/32770624 swapFree=0/442092
[pid=19790] ppid=19787 vsize=10647572 CPUtime=26.69 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 93047 12331 0 0 2623 39 5 2 20 0 15 0 58503499 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2661893 226937 3484 1 0 2650507 0
[pid=19790/tid=19840] ppid=19787 vsize=10647572 CPUtime=12.27 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) R 19787 19790 25139 0 -1 4202560 55544 12331 0 0 1202 18 5 2 20 0 15 0 58503518 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140450130015152 140449762324951 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10647572 CPUtime=0.22 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) S 19787 19790 25139 0 -1 1077944384 883 12331 0 0 13 2 5 2 20 0 15 0 58503519 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140450066819472 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10647572 CPUtime=0.19 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) S 19787 19790 25139 0 -1 1077944384 660 12331 0 0 10 2 5 2 20 0 15 0 58503519 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10647572 CPUtime=0.2 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) S 19787 19790 25139 0 -1 1077944384 396 12331 0 0 11 2 5 2 20 0 15 0 58503519 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140450064714384 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10647572 CPUtime=0.21 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) S 19787 19790 25139 0 -1 1077944384 222 12331 0 0 11 3 5 2 20 0 15 0 58503519 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10647572 CPUtime=0.12 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 9025 12331 0 0 5 0 5 2 20 0 15 0 58503520 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140449622133360 140450125793922 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 59 12331 0 0 0 0 5 2 20 0 15 0 58503521 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140449621079392 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 47 12331 0 0 0 0 5 2 20 0 15 0 58503521 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140449620027008 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10903113728 226937 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0

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

/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10647572 CPUtime=1.49 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 1177 12331 0 0 67 75 5 2 20 0 15 0 58503527 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 2318.54
Current children cumulated vsize (KiB) 10647572

[startup+2322.3 s]
/proc/loadavg: 1.28 1.39 1.39 3/216 20150
/proc/meminfo: memFree=28319564/32770624 swapFree=0/442752
[pid=19790] ppid=19787 vsize=10647572 CPUtime=2379.74 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 285067 12331 0 0 237658 309 5 2 20 0 15 0 58503499 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2661893 379432 3486 1 0 2650507 0
[pid=19790/tid=19840] ppid=19787 vsize=10647572 CPUtime=2297.2 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) R 19787 19790 25139 0 -1 4202560 116907 12331 0 0 229655 58 5 2 20 0 15 0 58503518 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140450130008720 140449749408379 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10647572 CPUtime=14.69 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) S 19787 19790 25139 0 -1 1077944384 24350 12331 0 0 1426 36 5 2 20 0 15 0 58503519 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140450066819472 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10647572 CPUtime=14.65 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) S 19787 19790 25139 0 -1 1077944384 15238 12331 0 0 1418 40 5 2 20 0 15 0 58503519 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10647572 CPUtime=14.7 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) S 19787 19790 25139 0 -1 1077944384 26964 12331 0 0 1423 40 5 2 20 0 15 0 58503519 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140450064714384 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10647572 CPUtime=14.7 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) S 19787 19790 25139 0 -1 1077944384 26464 12331 0 0 1424 39 5 2 20 0 15 0 58503519 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10647572 CPUtime=7.88 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 26781 12331 0 0 734 47 5 2 20 0 15 0 58503520 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449622133360 140450125793922 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 59 12331 0 0 0 0 5 2 20 0 15 0 58503521 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449621079392 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 47 12331 0 0 0 0 5 2 20 0 15 0 58503521 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449620027008 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19849] ppid=19787 vsize=10647572 CPUtime=6.29 cores=0,2,4,6
/proc/19790/task/19849/stat : 19849 (java) S 19787 19790 25139 0 -1 1077944384 13127 12331 0 0 620 2 5 2 20 0 15 0 58503524 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449617922160 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19850] ppid=19787 vsize=10647572 CPUtime=6.37 cores=0,2,4,6
/proc/19790/task/19850/stat : 19850 (java) S 19787 19790 25139 0 -1 1077944384 16014 12331 0 0 627 3 5 2 20 0 15 0 58503524 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449616869360 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19851] ppid=19787 vsize=10647572 CPUtime=2.23 cores=0,2,4,6
/proc/19790/task/19851/stat : 19851 (java) S 19787 19790 25139 0 -1 1077944384 15778 12331 0 0 212 4 5 2 20 0 15 0 58503524 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449615817072 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19852] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10647572 CPUtime=1.52 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 1194 12331 0 0 68 77 5 2 20 0 15 0 58503527 10903113728 379432 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 2379.74
Current children cumulated vsize (KiB) 10647572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2342.2 s]
/proc/loadavg: 1.35 1.39 1.39 3/217 20151
/proc/meminfo: memFree=28335276/32770624 swapFree=0/442748
[pid=19790] ppid=19787 vsize=10647572 CPUtime=2400.04 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 285886 12331 0 0 239686 311 5 2 20 0 15 0 58503499 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2661893 379559 3486 1 0 2650507 0
[pid=19790/tid=19840] ppid=19787 vsize=10647572 CPUtime=2316.88 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) R 19787 19790 25139 0 -1 4202560 117194 12331 0 0 231623 58 5 2 20 0 15 0 58503518 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140450130004128 140449749408106 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10647572 CPUtime=14.84 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) S 19787 19790 25139 0 -1 1077944384 24534 12331 0 0 1440 37 5 2 20 0 15 0 58503519 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140450066819472 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10647572 CPUtime=14.78 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) S 19787 19790 25139 0 -1 1077944384 15265 12331 0 0 1431 40 5 2 20 0 15 0 58503519 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10647572 CPUtime=14.83 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) S 19787 19790 25139 0 -1 1077944384 27007 12331 0 0 1436 40 5 2 20 0 15 0 58503519 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140450064714384 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10647572 CPUtime=14.85 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) S 19787 19790 25139 0 -1 1077944384 26714 12331 0 0 1438 40 5 2 20 0 15 0 58503519 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10647572 CPUtime=7.94 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 26801 12331 0 0 740 47 5 2 20 0 15 0 58503520 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449622133360 140450125793922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 59 12331 0 0 0 0 5 2 20 0 15 0 58503521 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449621079392 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 47 12331 0 0 0 0 5 2 20 0 15 0 58503521 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449620027008 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19849] ppid=19787 vsize=10647572 CPUtime=6.29 cores=0,2,4,6
/proc/19790/task/19849/stat : 19849 (java) S 19787 19790 25139 0 -1 1077944384 13129 12331 0 0 620 2 5 2 20 0 15 0 58503524 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449617922160 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19850] ppid=19787 vsize=10647572 CPUtime=6.37 cores=0,2,4,6
/proc/19790/task/19850/stat : 19850 (java) S 19787 19790 25139 0 -1 1077944384 16016 12331 0 0 627 3 5 2 20 0 15 0 58503524 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449616869360 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19851] ppid=19787 vsize=10647572 CPUtime=2.23 cores=0,2,4,6
/proc/19790/task/19851/stat : 19851 (java) S 19787 19790 25139 0 -1 1077944384 15780 12331 0 0 212 4 5 2 20 0 15 0 58503524 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449615817072 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19852] ppid=19787 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 15 0 58503524 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10647572 CPUtime=1.54 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 1196 12331 0 0 69 78 5 2 20 0 15 0 58503527 10903113728 379559 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10647572

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

[startup+2342.41 s]
/proc/loadavg: 1.35 1.39 1.39 3/217 20151
/proc/meminfo: memFree=28335276/32770624 swapFree=0/442748
[pid=19790] ppid=19787 vsize=10780700 CPUtime=2400.72 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 292723 12331 0 0 239753 312 5 2 20 0 17 0 58503499 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2695175 382442 3487 1 0 2683789 0
[pid=19790/tid=19840] ppid=19787 vsize=10780700 CPUtime=2316.89 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) S 19787 19790 25139 0 -1 1077944384 117477 12331 0 0 231624 58 5 2 20 0 17 0 58503518 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140450130020528 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10780700 CPUtime=15 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) R 19787 19790 25139 0 -1 4202560 24590 12331 0 0 1456 37 5 2 20 0 17 0 58503519 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140450066819672 140450107379276 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10780700 CPUtime=14.94 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) R 19787 19790 25139 0 -1 4202560 15299 12331 0 0 1447 40 5 2 20 0 17 0 58503519 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450110480400 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10780700 CPUtime=15 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) R 19787 19790 25139 0 -1 4202560 27051 12331 0 0 1452 41 5 2 20 0 17 0 58503519 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140450064714384 140450110480550 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10780700 CPUtime=15 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) R 19787 19790 25139 0 -1 4202560 26770 12331 0 0 1453 40 5 2 20 0 17 0 58503519 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450110480527 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10780700 CPUtime=7.97 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 32950 12331 0 0 743 47 5 2 20 0 17 0 58503520 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449622131760 140450125792981 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 60 12331 0 0 0 0 5 2 20 0 17 0 58503521 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449621079296 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 47 12331 0 0 0 0 5 2 20 0 17 0 58503521 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449620027008 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 81 12331 0 0 0 0 5 2 20 0 17 0 58503524 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19849] ppid=19787 vsize=10780700 CPUtime=6.29 cores=0,2,4,6
/proc/19790/task/19849/stat : 19849 (java) S 19787 19790 25139 0 -1 1077944384 13129 12331 0 0 620 2 5 2 20 0 17 0 58503524 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449617922160 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19850] ppid=19787 vsize=10780700 CPUtime=6.37 cores=0,2,4,6
/proc/19790/task/19850/stat : 19850 (java) S 19787 19790 25139 0 -1 1077944384 16016 12331 0 0 627 3 5 2 20 0 17 0 58503524 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449616869360 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19851] ppid=19787 vsize=10780700 CPUtime=2.23 cores=0,2,4,6
/proc/19790/task/19851/stat : 19851 (java) S 19787 19790 25139 0 -1 1077944384 15808 12331 0 0 212 4 5 2 20 0 17 0 58503524 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449615812784 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19852] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 17 0 58503524 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10780700 CPUtime=1.54 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 1196 12331 0 0 69 78 5 2 20 0 17 0 58503527 11039436800 382442 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 2400.72
Current children cumulated vsize (KiB) 10780700

[startup+2342.5 s]
/proc/loadavg: 1.35 1.39 1.39 3/217 20151
/proc/meminfo: memFree=28335276/32770624 swapFree=0/442748
[pid=19790] ppid=19787 vsize=10780700 CPUtime=2401 cores=0,2,4,6
/proc/19790/stat : 19790 (java) S 19787 19790 25139 0 -1 1077944320 292804 12331 0 0 239781 312 5 2 20 0 17 0 58503499 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140734329850160 140450125782775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
/proc/19790/statm: 2695175 382477 3487 1 0 2683789 0
[pid=19790/tid=19840] ppid=19787 vsize=10780700 CPUtime=2316.89 cores=0,2,4,6
/proc/19790/task/19840/stat : 19840 (java) S 19787 19790 25139 0 -1 1077944384 117477 12331 0 0 231624 58 5 2 20 0 17 0 58503518 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140450130020528 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19841] ppid=19787 vsize=10780700 CPUtime=15.06 cores=0,2,4,6
/proc/19790/task/19841/stat : 19841 (java) R 19787 19790 25139 0 -1 4202560 24590 12331 0 0 1462 37 5 2 20 0 17 0 58503519 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140450066819672 140450107379317 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19842] ppid=19787 vsize=10780700 CPUtime=15 cores=0,2,4,6
/proc/19790/task/19842/stat : 19842 (java) R 19787 19790 25139 0 -1 4202560 15299 12331 0 0 1453 40 5 2 20 0 17 0 58503519 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140450065766672 140450110733490 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19843] ppid=19787 vsize=10780700 CPUtime=15.06 cores=0,2,4,6
/proc/19790/task/19843/stat : 19843 (java) R 19787 19790 25139 0 -1 4202560 27052 12331 0 0 1458 41 5 2 20 0 17 0 58503519 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140450064714584 140450107379229 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19844] ppid=19787 vsize=10780700 CPUtime=15.06 cores=0,2,4,6
/proc/19790/task/19844/stat : 19844 (java) R 19787 19790 25139 0 -1 4202560 26770 12331 0 0 1459 40 5 2 20 0 17 0 58503519 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140450063661584 140450110768071 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19845] ppid=19787 vsize=10780700 CPUtime=8 cores=0,2,4,6
/proc/19790/task/19845/stat : 19845 (java) S 19787 19790 25139 0 -1 1077944384 33022 12331 0 0 746 47 5 2 20 0 17 0 58503520 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449622131760 140450125792981 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19846] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19846/stat : 19846 (java) S 19787 19790 25139 0 -1 1077944384 61 12331 0 0 0 0 5 2 20 0 17 0 58503521 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449621079024 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19847] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19847/stat : 19847 (java) S 19787 19790 25139 0 -1 1077944384 47 12331 0 0 0 0 5 2 20 0 17 0 58503521 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449620027008 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19848] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19848/stat : 19848 (java) S 19787 19790 25139 0 -1 1077944384 81 12331 0 0 0 0 5 2 20 0 17 0 58503524 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449618975312 140450125801371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19849] ppid=19787 vsize=10780700 CPUtime=6.29 cores=0,2,4,6
/proc/19790/task/19849/stat : 19849 (java) S 19787 19790 25139 0 -1 1077944384 13129 12331 0 0 620 2 5 2 20 0 17 0 58503524 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449617922160 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19850] ppid=19787 vsize=10780700 CPUtime=6.37 cores=0,2,4,6
/proc/19790/task/19850/stat : 19850 (java) S 19787 19790 25139 0 -1 1077944384 16016 12331 0 0 627 3 5 2 20 0 17 0 58503524 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449616869360 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19851] ppid=19787 vsize=10780700 CPUtime=2.23 cores=0,2,4,6
/proc/19790/task/19851/stat : 19851 (java) S 19787 19790 25139 0 -1 1077944384 15814 12331 0 0 212 4 5 2 20 0 17 0 58503524 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449615814576 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19852] ppid=19787 vsize=10780700 CPUtime=0.07 cores=0,2,4,6
/proc/19790/task/19852/stat : 19852 (java) S 19787 19790 25139 0 -1 1077944384 3 12331 0 0 0 0 5 2 20 0 17 0 58503524 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449614764512 140450125792981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
[pid=19790/tid=19853] ppid=19787 vsize=10780700 CPUtime=1.54 cores=0,2,4,6
/proc/19790/task/19853/stat : 19853 (java) S 19787 19790 25139 0 -1 1077944384 1196 12331 0 0 69 78 5 2 20 0 17 0 58503527 11039436800 382477 18446744073709551615 4194304 4196468 140734329867616 140449613712304 140450125793922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140734329870299 140734329873073 140734329873073 140734329876431 0
Current children cumulated CPU time (s) 2401
Current children cumulated vsize (KiB) 10780700

Child status: 143
Real time (s): 2342.6
CPU time (s): 2401.24
CPU user time (s): 2398.08
CPU system time (s): 3.16252
CPU usage (%): 102.503
Max. virtual memory (cumulated for all children) (KiB): 10780700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.08
system time used= 3.16252
maximum resident set size= 2009212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205692
involuntary context switches= 7137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4601 second user time and 14.0335 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-07 14:32:16
IDJOB=4248029
IDBENCH=139771
IDSOLVER=2630
FILE ID=node134/4248029-1502109974
RUNJOBID= node134-1502077974-12598
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-09-2-12.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248029-1502109974/watcher-4248029-1502109974 -o /tmp/evaluation-result-4248029-1502109974/solver-4248029-1502109974 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12598 --watchdog 2560  bin/concrete HOME/instance-4248029-1502109974.xml

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

MD5SUM BENCH= 184e4a42ac40b5c8b3b859f3d89928ae
RANDOM SEED=294168896

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:        30399308 kB
MemAvailable:   31068448 kB
Buffers:          217060 kB
Cached:           741628 kB
SwapCached:            0 kB
Active:          1477336 kB
Inactive:         464840 kB
Active(anon):     985856 kB
Inactive(anon):    23032 kB
Active(file):     491480 kB
Inactive(file):   441808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24308 kB
Writeback:             4 kB
AnonPages:        983616 kB
Mapped:            54448 kB
Shmem:             25276 kB
Slab:             129536 kB
SReclaimable:     103376 kB
SUnreclaim:        26160 kB
KernelStack:        3472 kB
PageTables:         7120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1683168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 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-07 15:11:19