Trace number 4262652

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
Concrete 3.4? (TO) 2521.6399 2446.8101

General information on the benchmark

NameSocialGolfers/SocialGolfers-xcsp2-s1/
SocialGolfers-06-3-5_X2.xml
MD5SUMa8701a72dabf0de37daca9c92732f8d4
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 benchmark13.4951
Satisfiable
(Un)Satisfiability was proved
Number of variables1080
Number of constraints3375
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1080}]
Minimum variable degree6
Maximum variable degree16
Distribution of variable degrees[{"degree":6,"count":630},{"degree":16,"count":450}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":3150},{"arity":5,"count":90},{"arity":6,"count":105},{"arity":15,"count":30}]
Number of extensional constraints0
Number of intensional constraints3150
Distribution of constraint types[{"type":"intension","count":3150},{"type":"sum","count":225}]
Optimization problemNO
Type of objective

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.65 1.52 1.50 2/197 10522
/proc/meminfo: memFree=29449556/32770624 swapFree=0/569124
[pid=10522] ppid=10519 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10522/stat : 10522 (runsolver) D 10519 10522 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 92084623 24240128 106 18446744073709551615 4194304 4338465 140722721663712 140722721661352 140617089704663 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 23855104 140722721669329 140722721669705 140722721669705 140722721673162 0
/proc/10522/statm: 5918 106 53 36 0 2156 0

[startup+0.100176 s]
/proc/loadavg: 1.65 1.52 1.50 2/197 10522
/proc/meminfo: memFree=29449556/32770624 swapFree=0/569124
[pid=10522] ppid=10519 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/10522/stat : 10522 (bash) S 10519 10522 1460 0 -1 4194304 802 6181 0 0 0 0 0 1 20 0 1 0 92084623 9867264 360 18446744073709551615 4194304 5098028 140731141994864 140731141992520 140714135569020 0 0 5 65536 0 0 0 17 3 0 0 8 0 0 7196144 7232144 17268736 140731141997076 140731141997161 140731141997161 140731142000618 0
/proc/10522/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200753 s]
/proc/loadavg: 1.65 1.52 1.50 2/197 10522
/proc/meminfo: memFree=29449556/32770624 swapFree=0/569124
[pid=10522] ppid=10519 vsize=106224 CPUtime=0.08 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 2487 12366 0 0 0 0 5 3 20 0 2 0 92084623 108773376 1319 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 26556 1319 993 1 0 17065 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 106224

[startup+0.30025 s]
/proc/loadavg: 1.65 1.52 1.50 2/197 10522
/proc/meminfo: memFree=29449556/32770624 swapFree=0/569124
[pid=10522] ppid=10519 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 6102 12366 0 0 5 1 5 3 20 0 14 0 92084623 14241083392 5288 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3476827 5288 2664 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700229 s]
/proc/loadavg: 1.65 1.52 1.50 2/197 10522
/proc/meminfo: memFree=29449556/32770624 swapFree=0/569124
[pid=10522] ppid=10519 vsize=13974784 CPUtime=0.6 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 13869 12366 0 0 48 4 5 3 20 0 15 0 92084623 14310178816 14301 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3493696 14301 3068 1 0 3482965 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784

[startup+1.50066 s]
/proc/loadavg: 1.65 1.52 1.50 3/212 10585
/proc/meminfo: memFree=29356792/32770624 swapFree=0/569368
[pid=10522] ppid=10519 vsize=13985408 CPUtime=1.8 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 27861 12366 0 0 164 8 5 3 20 0 15 0 92084623 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3496352 34346 3340 1 0 3485525 0
[pid=10522/tid=10572] ppid=10519 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) R 10519 10522 1460 0 -1 4202560 22541 12366 0 0 113 6 5 3 20 0 15 0 92084643 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140411136379648 140411116193125 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10573] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10573/stat : 10573 (java) S 10519 10522 1460 0 -1 1077944384 1 12366 0 0 0 0 5 3 20 0 15 0 92084643 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140411074096016 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) S 10519 10522 1460 0 -1 1077944384 1 12366 0 0 0 0 5 3 20 0 15 0 92084643 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140411073043216 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) S 10519 10522 1460 0 -1 1077944384 1 12366 0 0 0 0 5 3 20 0 15 0 92084643 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140411071990928 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) S 10519 10522 1460 0 -1 1077944384 2 12366 0 0 0 0 5 3 20 0 15 0 92084643 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410729536528 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 5 12366 0 0 0 0 5 3 20 0 15 0 92084645 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410677819504 140411132160642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 33 12366 0 0 0 0 5 3 20 0 15 0 92084645 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410676765472 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 21 12366 0 0 0 0 5 3 20 0 15 0 92084645 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410675713136 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10581] ppid=10519 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/10522/task/10581/stat : 10581 (java) S 10519 10522 1460 0 -1 1077944384 915 12366 0 0 10 0 5 3 20 0 15 0 92084648 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410673609328 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10582] ppid=10519 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/10522/task/10582/stat : 10582 (java) R 10519 10522 1460 0 -1 4202560 885 12366 0 0 17 0 5 3 20 0 15 0 92084648 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410672556528 140411116425073 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10583] ppid=10519 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/10522/task/10583/stat : 10583 (java) S 10519 10522 1460 0 -1 1077944384 1286 12366 0 0 21 0 5 3 20 0 15 0 92084648 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410671504240 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10584] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10584/stat : 10584 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410670451680 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10585] ppid=10519 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10585/stat : 10585 (java) S 10519 10522 1460 0 -1 1077944384 11 12366 0 0 0 0 5 3 20 0 15 0 92084658 14321057792 34346 18446744073709551615 4194304 4196468 140726723220144 140410669398448 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408

[startup+3.10158 s]
/proc/loadavg: 1.65 1.52 1.50 6/212 10585
/proc/meminfo: memFree=29280576/32770624 swapFree=0/569360
[pid=10522] ppid=10519 vsize=13997884 CPUtime=6.03 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 43544 12366 0 0 580 15 5 3 20 0 15 0 92084623 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3499471 58992 3454 1 0 3488085 0
[pid=10522/tid=10572] ppid=10519 vsize=13997884 CPUtime=2.83 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) R 10519 10522 1460 0 -1 4202560 27865 12366 0 0 266 9 5 3 20 0 15 0 92084643 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140411136377776 140410762288140 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10573] ppid=10519 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10522/task/10573/stat : 10573 (java) S 10519 10522 1460 0 -1 1077944384 64 12366 0 0 1 0 5 3 20 0 15 0 92084643 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140411074096016 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) S 10519 10522 1460 0 -1 1077944384 8 12366 0 0 0 0 5 3 20 0 15 0 92084643 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140411073043216 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) S 10519 10522 1460 0 -1 1077944384 214 12366 0 0 0 0 5 3 20 0 15 0 92084643 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140411071990928 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) S 10519 10522 1460 0 -1 1077944384 72 12366 0 0 1 0 5 3 20 0 15 0 92084643 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410729536528 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 1523 12366 0 0 1 0 5 3 20 0 15 0 92084645 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410677819504 140411132160642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 55 12366 0 0 0 0 5 3 20 0 15 0 92084645 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410676765536 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 45 12366 0 0 0 0 5 3 20 0 15 0 92084645 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410675713152 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10581] ppid=10519 vsize=13997884 CPUtime=0.96 cores=1,3,5,7
/proc/10522/task/10581/stat : 10581 (java) R 10519 10522 1460 0 -1 4202560 2883 12366 0 0 88 0 5 3 20 0 15 0 92084648 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410673594480 140411117077816 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10582] ppid=10519 vsize=13997884 CPUtime=1.17 cores=1,3,5,7
/proc/10522/task/10582/stat : 10582 (java) R 10519 10522 1460 0 -1 4202560 4233 12366 0 0 109 0 5 3 20 0 15 0 92084648 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410672537008 140411113735015 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10583] ppid=10519 vsize=13997884 CPUtime=1.18 cores=1,3,5,7
/proc/10522/task/10583/stat : 10583 (java) R 10519 10522 1460 0 -1 4202560 4409 12366 0 0 109 1 5 3 20 0 15 0 92084648 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410671504240 140411110170431 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10584] ppid=10519 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10584/stat : 10584 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410670451680 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10585] ppid=10519 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10585/stat : 10585 (java) S 10519 10522 1460 0 -1 1077944384 14 12366 0 0 0 0 5 3 20 0 15 0 92084658 14333833216 58992 18446744073709551615 4194304 4196468 140726723220144 140410669398448 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 13997884

[startup+6.30159 s]
/proc/loadavg: 1.84 1.56 1.51 5/212 10585
/proc/meminfo: memFree=29102504/32770624 swapFree=0/569360
[pid=10522] ppid=10519 vsize=13999932 CPUtime=15.89 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 74555 12366 0 0 1551 30 5 3 20 0 15 0 92084623 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3499983 107633 3472 1 0 3488597 0
[pid=10522/tid=10572] ppid=10519 vsize=13999932 CPUtime=5.89 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) R 10519 10522 1460 0 -1 4202560 31097 12366 0 0 570 11 5 3 20 0 15 0 92084643 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140411136383408 140410763813786 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10573] ppid=10519 vsize=13999932 CPUtime=0.18 cores=1,3,5,7
/proc/10522/task/10573/stat : 10573 (java) S 10519 10522 1460 0 -1 1077944384 388 12366 0 0 8 2 5 3 20 0 15 0 92084643 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140411074096016 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=13999932 CPUtime=0.17 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) S 10519 10522 1460 0 -1 1077944384 796 12366 0 0 7 2 5 3 20 0 15 0 92084643 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140411073043216 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=13999932 CPUtime=0.18 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) S 10519 10522 1460 0 -1 1077944384 506 12366 0 0 8 2 5 3 20 0 15 0 92084643 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140411071990928 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=13999932 CPUtime=0.19 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) S 10519 10522 1460 0 -1 1077944384 232 12366 0 0 9 2 5 3 20 0 15 0 92084643 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410729536528 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 2459 12366 0 0 2 0 5 3 20 0 15 0 92084645 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410677819504 140411132160642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 60 12366 0 0 0 0 5 3 20 0 15 0 92084645 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410676765536 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 55 12366 0 0 0 0 5 3 20 0 15 0 92084645 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410675713152 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10581] ppid=10519 vsize=13999932 CPUtime=3.81 cores=1,3,5,7
/proc/10522/task/10581/stat : 10581 (java) R 10519 10522 1460 0 -1 4202560 11208 12366 0 0 371 2 5 3 20 0 15 0 92084648 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410673595888 140411115646275 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10582] ppid=10519 vsize=13999932 CPUtime=4.09 cores=1,3,5,7
/proc/10522/task/10582/stat : 10582 (java) R 10519 10522 1460 0 -1 4202560 18190 12366 0 0 399 2 5 3 20 0 15 0 92084648 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410672549720 140411115646283 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10583] ppid=10519 vsize=13999932 CPUtime=1.81 cores=1,3,5,7
/proc/10522/task/10583/stat : 10583 (java) S 10519 10522 1460 0 -1 1077944384 7340 12366 0 0 172 1 5 3 20 0 15 0 92084648 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410671504240 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10584] ppid=10519 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10584/stat : 10584 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410670451680 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10585] ppid=10519 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10585/stat : 10585 (java) S 10519 10522 1460 0 -1 1077944384 65 12366 0 0 0 0 5 3 20 0 15 0 92084658 14335930368 107633 18446744073709551615 4194304 4196468 140726723220144 140410669398448 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 2.09 1.61 1.53 4/212 10585
/proc/meminfo: memFree=28414588/32770624 swapFree=0/569348
[pid=10522] ppid=10519 vsize=14069564 CPUtime=29.15 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 96724 12366 0 0 2856 51 5 3 20 0 15 0 92084623 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3517391 246073 3480 1 0 3506005 0
[pid=10522/tid=10572] ppid=10519 vsize=14069564 CPUtime=12.08 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) R 10519 10522 1460 0 -1 4202560 44408 12366 0 0 1181 19 5 3 20 0 15 0 92084643 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140411136383872 140410773057415 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10573] ppid=10519 vsize=14069564 CPUtime=0.34 cores=1,3,5,7
/proc/10522/task/10573/stat : 10573 (java) S 10519 10522 1460 0 -1 1077944384 539 12366 0 0 21 5 5 3 20 0 15 0 92084643 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140411074096016 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) S 10519 10522 1460 0 -1 1077944384 893 12366 0 0 20 5 5 3 20 0 15 0 92084643 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140411073043216 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) S 10519 10522 1460 0 -1 1077944384 579 12366 0 0 22 5 5 3 20 0 15 0 92084643 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140411071990928 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) S 10519 10522 1460 0 -1 1077944384 330 12366 0 0 23 4 5 3 20 0 15 0 92084643 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140410729536528 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 6388 12366 0 0 6 0 5 3 20 0 15 0 92084645 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140410677819504 140411132160642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 62 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140410676765600 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 55 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140410675713152 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14407233536 246073 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0

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

/proc/10522/task/10573/stat : 10573 (java) S 10519 10522 1460 0 -1 1077944384 42103 12366 0 0 1339 55 5 3 20 0 15 0 92084643 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140411074096016 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=14069564 CPUtime=13.99 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) S 10519 10522 1460 0 -1 1077944384 42980 12366 0 0 1336 55 5 3 20 0 15 0 92084643 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140411073043216 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=14069564 CPUtime=14.05 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) S 10519 10522 1460 0 -1 1077944384 38181 12366 0 0 1339 58 5 3 20 0 15 0 92084643 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140411071990928 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=14069564 CPUtime=14.04 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) S 10519 10522 1460 0 -1 1077944384 41911 12366 0 0 1342 54 5 3 20 0 15 0 92084643 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410729536528 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=14069564 CPUtime=9.08 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 33894 12366 0 0 851 49 5 3 20 0 15 0 92084645 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410677819504 140411132160642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 62 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410676765600 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 55 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410675713152 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10581] ppid=10519 vsize=14069564 CPUtime=13.26 cores=1,3,5,7
/proc/10522/task/10581/stat : 10581 (java) S 10519 10522 1460 0 -1 1077944384 31655 12366 0 0 1311 7 5 3 20 0 15 0 92084648 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410673609328 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10582] ppid=10519 vsize=14069564 CPUtime=13.64 cores=1,3,5,7
/proc/10522/task/10582/stat : 10582 (java) S 10519 10522 1460 0 -1 1077944384 38186 12366 0 0 1347 9 5 3 20 0 15 0 92084648 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410672556528 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10583] ppid=10519 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/10522/task/10583/stat : 10583 (java) S 10519 10522 1460 0 -1 1077944384 32714 12366 0 0 450 7 5 3 20 0 15 0 92084648 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410671504240 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10584] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10584/stat : 10584 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410670451680 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10585] ppid=10519 vsize=14069564 CPUtime=1.53 cores=1,3,5,7
/proc/10522/task/10585/stat : 10585 (java) S 10519 10522 1460 0 -1 1077944384 1669 12366 0 0 68 77 5 3 20 0 15 0 92084658 14407233536 557030 18446744073709551615 4194304 4196468 140726723220144 140410669398448 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
Current children cumulated CPU time (s) 2454.8
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.59 1.62 1.53 3/213 11036
/proc/meminfo: memFree=23661460/32770624 swapFree=0/569996
[pid=10522] ppid=10519 vsize=14069564 CPUtime=2515.97 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 434428 12366 0 0 251179 410 5 3 20 0 15 0 92084623 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3517391 558163 3480 1 0 3506005 0
[pid=10522/tid=10572] ppid=10519 vsize=14069564 CPUtime=2416.48 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) R 10519 10522 1460 0 -1 4202560 124709 12366 0 0 241561 79 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411136383840 140410773270746 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10573] ppid=10519 vsize=14069564 CPUtime=14.41 cores=1,3,5,7
/proc/10522/task/10573/stat : 10573 (java) S 10519 10522 1460 0 -1 1077944384 42406 12366 0 0 1377 56 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411074096016 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=14069564 CPUtime=14.39 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) S 10519 10522 1460 0 -1 1077944384 43533 12366 0 0 1374 57 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411073043216 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=14069564 CPUtime=14.45 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) S 10519 10522 1460 0 -1 1077944384 39055 12366 0 0 1377 60 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411071990928 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=14069564 CPUtime=14.42 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) S 10519 10522 1460 0 -1 1077944384 43631 12366 0 0 1379 55 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410729536528 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=14069564 CPUtime=9.32 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 34540 12366 0 0 873 51 5 3 20 0 15 0 92084645 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410677819504 140411132160642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 62 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410676765600 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 55 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410675713152 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10581] ppid=10519 vsize=14069564 CPUtime=13.26 cores=1,3,5,7
/proc/10522/task/10581/stat : 10581 (java) S 10519 10522 1460 0 -1 1077944384 31660 12366 0 0 1311 7 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410673609328 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10582] ppid=10519 vsize=14069564 CPUtime=13.64 cores=1,3,5,7
/proc/10522/task/10582/stat : 10582 (java) S 10519 10522 1460 0 -1 1077944384 38191 12366 0 0 1347 9 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410672556528 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10583] ppid=10519 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/10522/task/10583/stat : 10583 (java) S 10519 10522 1460 0 -1 1077944384 32718 12366 0 0 450 7 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410671504240 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10584] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10584/stat : 10584 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410670451680 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10585] ppid=10519 vsize=14069564 CPUtime=1.57 cores=1,3,5,7
/proc/10522/task/10585/stat : 10585 (java) S 10519 10522 1460 0 -1 1077944384 1709 12366 0 0 69 80 5 3 20 0 15 0 92084658 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410669398448 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
Current children cumulated CPU time (s) 2515.97
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2446.3 s]
/proc/loadavg: 1.55 1.61 1.52 3/213 11036
/proc/meminfo: memFree=23661344/32770624 swapFree=0/570016
[pid=10522] ppid=10519 vsize=14069564 CPUtime=2520.05 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 434882 12366 0 0 251586 411 5 3 20 0 15 0 92084623 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3517391 558163 3480 1 0 3506005 0
[pid=10522/tid=10572] ppid=10519 vsize=14069564 CPUtime=2420.43 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) R 10519 10522 1460 0 -1 4202560 124798 12366 0 0 241956 79 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411136383760 140410773679325 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10573] ppid=10519 vsize=14069564 CPUtime=14.43 cores=1,3,5,7
/proc/10522/task/10573/stat : 10573 (java) S 10519 10522 1460 0 -1 1077944384 42425 12366 0 0 1379 56 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411074096016 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=14069564 CPUtime=14.42 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) S 10519 10522 1460 0 -1 1077944384 43616 12366 0 0 1377 57 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411073043216 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=14069564 CPUtime=14.48 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) S 10519 10522 1460 0 -1 1077944384 39091 12366 0 0 1380 60 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140411071990928 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=14069564 CPUtime=14.45 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) S 10519 10522 1460 0 -1 1077944384 43831 12366 0 0 1382 55 5 3 20 0 15 0 92084643 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410729536528 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=14069564 CPUtime=9.34 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 34559 12366 0 0 875 51 5 3 20 0 15 0 92084645 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410677819504 140411132160642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 62 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410676765600 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 55 12366 0 0 0 0 5 3 20 0 15 0 92084645 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410675713152 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10581] ppid=10519 vsize=14069564 CPUtime=13.26 cores=1,3,5,7
/proc/10522/task/10581/stat : 10581 (java) S 10519 10522 1460 0 -1 1077944384 31662 12366 0 0 1311 7 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410673609328 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10582] ppid=10519 vsize=14069564 CPUtime=13.64 cores=1,3,5,7
/proc/10522/task/10582/stat : 10582 (java) S 10519 10522 1460 0 -1 1077944384 38193 12366 0 0 1347 9 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410672556528 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10583] ppid=10519 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/10522/task/10583/stat : 10583 (java) S 10519 10522 1460 0 -1 1077944384 32720 12366 0 0 450 7 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410671504240 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10584] ppid=10519 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10584/stat : 10584 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 15 0 92084648 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410670451680 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10585] ppid=10519 vsize=14069564 CPUtime=1.57 cores=1,3,5,7
/proc/10522/task/10585/stat : 10585 (java) S 10519 10522 1460 0 -1 1077944384 1711 12366 0 0 69 80 5 3 20 0 15 0 92084658 14407233536 558163 18446744073709551615 4194304 4196468 140726723220144 140410669398448 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 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 10522 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2446.41 s]
/proc/loadavg: 1.55 1.61 1.52 6/215 11038
/proc/meminfo: memFree=23654796/32770624 swapFree=0/570016
[pid=10522] ppid=10519 vsize=14202692 CPUtime=2520.36 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 1460 0 -1 1077944320 448472 12366 0 0 251615 413 5 3 20 0 17 0 92084623 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140726723202688 140411132149495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
/proc/10522/statm: 3550673 559903 3481 1 0 3539287 0
[pid=10522/tid=10572] ppid=10519 vsize=14202692 CPUtime=2420.44 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) S 10519 10522 1460 0 -1 1077944384 125923 12366 0 0 241957 79 5 3 20 0 17 0 92084643 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140411136387200 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10573] ppid=10519 vsize=14202692 CPUtime=14.5 cores=1,3,5,7
/proc/10522/task/10573/stat : 10573 (java) R 10519 10522 1460 0 -1 4202560 42477 12366 0 0 1386 56 5 3 20 0 17 0 92084643 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140411074095824 140411124777703 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10574] ppid=10519 vsize=14202692 CPUtime=14.48 cores=1,3,5,7
/proc/10522/task/10574/stat : 10574 (java) R 10519 10522 1460 0 -1 4202560 43663 12366 0 0 1383 57 5 3 20 0 17 0 92084643 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140411073043024 140411124777703 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10575] ppid=10519 vsize=14202692 CPUtime=14.55 cores=1,3,5,7
/proc/10522/task/10575/stat : 10575 (java) R 10519 10522 1460 0 -1 4202560 39171 12366 0 0 1387 60 5 3 20 0 17 0 92084643 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140411071990736 140411124777703 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10576] ppid=10519 vsize=14202692 CPUtime=14.52 cores=1,3,5,7
/proc/10522/task/10576/stat : 10576 (java) R 10519 10522 1460 0 -1 4202560 43911 12366 0 0 1388 56 5 3 20 0 17 0 92084643 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410729536728 140411117145996 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10577] ppid=10519 vsize=14202692 CPUtime=9.37 cores=1,3,5,7
/proc/10522/task/10577/stat : 10577 (java) S 10519 10522 1460 0 -1 1077944384 46155 12366 0 0 877 52 5 3 20 0 17 0 92084645 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410677818128 140411132159701 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10578] ppid=10519 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10578/stat : 10578 (java) S 10519 10522 1460 0 -1 1077944384 62 12366 0 0 0 0 5 3 20 0 17 0 92084645 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410676765600 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10579] ppid=10519 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10579/stat : 10579 (java) S 10519 10522 1460 0 -1 1077944384 55 12366 0 0 0 0 5 3 20 0 17 0 92084645 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410675713152 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10580] ppid=10519 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10580/stat : 10580 (java) S 10519 10522 1460 0 -1 1077944384 250 12366 0 0 0 0 5 3 20 0 17 0 92084648 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410674661456 140411132168091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10581] ppid=10519 vsize=14202692 CPUtime=13.26 cores=1,3,5,7
/proc/10522/task/10581/stat : 10581 (java) S 10519 10522 1460 0 -1 1077944384 31662 12366 0 0 1311 7 5 3 20 0 17 0 92084648 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410673609328 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10582] ppid=10519 vsize=14202692 CPUtime=13.64 cores=1,3,5,7
/proc/10522/task/10582/stat : 10582 (java) S 10519 10522 1460 0 -1 1077944384 38193 12366 0 0 1347 9 5 3 20 0 17 0 92084648 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410672556528 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10583] ppid=10519 vsize=14202692 CPUtime=4.65 cores=1,3,5,7
/proc/10522/task/10583/stat : 10583 (java) S 10519 10522 1460 0 -1 1077944384 32720 12366 0 0 450 7 5 3 20 0 17 0 92084648 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410671504240 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10584] ppid=10519 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/10584/stat : 10584 (java) S 10519 10522 1460 0 -1 1077944384 3 12366 0 0 0 0 5 3 20 0 17 0 92084648 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410670451680 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=10585] ppid=10519 vsize=14202692 CPUtime=1.57 cores=1,3,5,7
/proc/10522/task/10585/stat : 10585 (java) S 10519 10522 1460 0 -1 1077944384 1711 12366 0 0 69 80 5 3 20 0 17 0 92084658 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410669398448 140411132160642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=11037] ppid=10519 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/11037/stat : 11037 (java) S 10519 10522 1460 0 -1 1077944384 334 12366 0 0 0 0 5 3 20 0 17 0 92329253 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410570555376 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
[pid=10522/tid=11038] ppid=10519 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10522/task/11038/stat : 11038 (java) S 10519 10522 1460 0 -1 1077944384 28 12366 0 0 0 0 5 3 20 0 17 0 92329253 14543556608 559903 18446744073709551615 4194304 4196468 140726723220144 140410569503808 140411132159701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140726723225552 140726723228337 140726723228337 140726723231695 0
Current children cumulated CPU time (s) 2520.36
Current children cumulated vsize (KiB) 14202692

[startup+2446.8 s]
/proc/loadavg: 1.55 1.61 1.52 6/215 11038
/proc/meminfo: memFree=23654796/32770624 swapFree=0/570016
[pid=10522] ppid=10519 vsize=0 CPUtime=2521.62 cores=1,3,5,7
/proc/10522/stat : 10522 (java) Z 10519 10522 1460 0 -1 4228108 449141 12366 0 0 251740 414 5 3 20 0 2 0 92084623 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/10522/statm: 0 0 0 0 0 0 0
[pid=10522/tid=10572] ppid=10519 vsize=0 CPUtime=2420.45 cores=1,3,5,7
/proc/10522/task/10572/stat : 10572 (java) R 10519 10522 1460 0 -1 4203588 126013 12366 0 0 241957 80 5 3 20 0 2 0 92084643 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 1 0 0 9 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2521.62
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 2446.81
CPU time (s): 2521.64
CPU user time (s): 2517.46
CPU system time (s): 4.1829
CPU usage (%): 103.058
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.46
system time used= 4.1829
maximum resident set size= 2528036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 260399
involuntary context switches= 6039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8269 second user time and 15.5681 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 11:49:07
IDJOB=4262652
IDBENCH=126715
IDSOLVER=2650
FILE ID=node134/4262652-1502445783
RUNJOBID= node134-1502411438-1524
PBS_JOBID= 
Free space on /tmp= 62004 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-06-3-5_X2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262652-1502445783/watcher-4262652-1502445783 -o /tmp/evaluation-result-4262652-1502445783/solver-4262652-1502445783 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580  bin/concrete HOME/instance-4262652-1502445783.xml

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

MD5SUM BENCH= a8701a72dabf0de37daca9c92732f8d4
RANDOM SEED=342028375

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:        29449912 kB
MemAvailable:   30428272 kB
Buffers:          285800 kB
Cached:           985972 kB
SwapCached:            0 kB
Active:          2279684 kB
Inactive:         600340 kB
Active(anon):    1610384 kB
Inactive(anon):    31216 kB
Active(file):     669300 kB
Inactive(file):   569124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24160 kB
Writeback:             4 kB
AnonPages:       1608188 kB
Mapped:            63828 kB
Shmem:             33468 kB
Slab:             137912 kB
SReclaimable:     111544 kB
SUnreclaim:        26368 kB
KernelStack:        3472 kB
PageTables:         9908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2245420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1394688 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= 61980 MiB
End job on node134 at 2017-08-11 12:29:54