Trace number 4259397

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4? (TO) 264.96799 241.82201

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n4w4b3r4.xml
MD5SUMf75a86a5a7a46a13e5890f4f16694299
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2727
Number of constraints119
Number of domains2
Minimum domain size59
Maximum domain size186
Distribution of domain sizes[{"size":59,"count":1},{"size":186,"count":2726}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":2668},{"degree":5,"count":58}]
Minimum constraint arity47
Maximum constraint arity2726
Distribution of constraint arities[{"arity":47,"count":116},{"arity":59,"count":1},{"arity":2726,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":58},{"type":"lex","count":1},{"type":"sum","count":58},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19675/stat : 19675 (runsolver) D 19672 19675 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13848936 24240128 107 18446744073709551615 4194304 4338465 140733752581296 140733752578936 140274151785175 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 22859776 140733752586448 140733752586822 140733752586822 140733752590282 0
/proc/19675/statm: 5918 107 54 36 0 2156 0

[startup+0.100113 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19675/stat : 19675 (bash) S 19672 19675 5228 0 -1 4202496 793 5311 0 0 0 0 0 1 20 0 1 0 13848936 9867264 360 18446744073709551615 4194304 5098028 140728782175584 140728782173240 140310691081216 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 21868544 140728782180881 140728782180966 140728782180966 140728782184426 0
/proc/19675/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200221 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19675/stat : 19675 (bash) S 19672 19675 5228 0 -1 4202496 891 6490 0 0 0 0 0 1 20 0 1 0 13848936 9867264 377 18446744073709551615 4194304 5098028 140728782175584 140728782169592 140310691081216 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 21868544 140728782180881 140728782180966 140728782180966 140728782184426 0
/proc/19675/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300365 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 5651 12371 0 0 5 1 4 3 20 0 14 0 13848936 14241083392 5325 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3476827 5325 2554 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.706397 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 13946 12371 0 0 58 4 4 3 20 0 15 0 13848936 14310178816 14352 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3493696 14352 3113 1 0 3482973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 1.37 1.53 1.65 3/213 19738
/proc/meminfo: memFree=29161220/32770624 swapFree=0/243536
[pid=19675] ppid=19672 vsize=13985408 CPUtime=1.88 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 31717 12371 0 0 170 11 4 3 20 0 15 0 13848936 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3496352 39651 3356 1 0 3485533 0
[pid=19675/tid=19725] ppid=19672 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) S 19672 19675 5228 0 -1 1077944384 24869 12371 0 0 115 7 4 3 20 0 15 0 13848958 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306800369984 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 54 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 205 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 62 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) R 19672 19675 5228 0 -1 4202560 1327 12371 0 0 0 0 4 3 20 0 15 0 13848960 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306274693440 140306777784757 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 33 12371 0 0 0 0 4 3 20 0 15 0 13848960 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306273641376 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 21 12371 0 0 0 0 4 3 20 0 15 0 13848961 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306272588784 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 748 12371 0 0 13 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 873 12371 0 0 16 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 1381 12371 0 0 22 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306268375824 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 10 12371 0 0 0 0 4 3 20 0 15 0 13848967 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408

[startup+3.10143 s]
/proc/loadavg: 1.37 1.53 1.65 4/213 19738
/proc/meminfo: memFree=29084752/32770624 swapFree=0/243536
[pid=19675] ppid=19672 vsize=13995836 CPUtime=6.01 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 43774 12371 0 0 577 17 4 3 20 0 15 0 13848936 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3498959 69663 3451 1 0 3487581 0
[pid=19675/tid=19725] ppid=19672 vsize=13995836 CPUtime=2.85 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 31023 12371 0 0 268 10 4 3 20 0 15 0 13848958 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306800380576 140306789243259 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 67 12371 0 0 1 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 209 12371 0 0 2 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 75 12371 0 0 2 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 66 12371 0 0 1 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 1883 12371 0 0 2 0 4 3 20 0 15 0 13848960 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 56 12371 0 0 0 0 4 3 20 0 15 0 13848960 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 43 12371 0 0 0 0 4 3 20 0 15 0 13848961 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=13995836 CPUtime=0.99 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) R 19672 19675 5228 0 -1 4202560 1773 12371 0 0 92 0 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306270470944 140306777690623 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=13995836 CPUtime=1.22 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) R 19672 19675 5228 0 -1 4202560 3319 12371 0 0 114 1 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306269419280 140306777690657 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=13995836 CPUtime=0.98 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 3093 12371 0 0 90 1 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 11 12371 0 0 0 0 4 3 20 0 15 0 13848967 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 13995836

[startup+6.30064 s]
/proc/loadavg: 1.66 1.59 1.67 5/213 19738
/proc/meminfo: memFree=28665432/32770624 swapFree=0/243528
[pid=19675] ppid=19672 vsize=13999932 CPUtime=14.51 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 54754 12371 0 0 1405 39 4 3 20 0 15 0 13848936 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3499983 152137 3455 1 0 3488605 0
[pid=19675/tid=19725] ppid=19672 vsize=13999932 CPUtime=5.84 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 32744 12371 0 0 565 12 4 3 20 0 15 0 13848958 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306800376272 140306413707768 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 188 12371 0 0 16 5 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 360 12371 0 0 16 5 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 730 12371 0 0 16 4 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 234 12371 0 0 15 5 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 2158 12371 0 0 3 0 4 3 20 0 15 0 13848960 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 56 12371 0 0 0 0 4 3 20 0 15 0 13848960 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 43 12371 0 0 0 0 4 3 20 0 15 0 13848961 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=13999932 CPUtime=3.06 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 4706 12371 0 0 298 1 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=13999932 CPUtime=3.26 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 5013 12371 0 0 317 2 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=13999932 CPUtime=1.63 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 6175 12371 0 0 154 2 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 190 12371 0 0 0 0 4 3 20 0 15 0 13848967 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 14.51
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 1.69 1.60 1.67 4/213 19738
/proc/meminfo: memFree=27946804/32770624 swapFree=0/243540
[pid=19675] ppid=19672 vsize=14069564 CPUtime=25.93 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 93327 12371 0 0 2497 89 4 3 20 0 15 0 13848936 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3517391 343908 3474 1 0 3506013 0
[pid=19675/tid=19725] ppid=19672 vsize=14069564 CPUtime=11.64 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 52404 12371 0 0 1136 21 4 3 20 0 15 0 13848958 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306800379008 140306417047280 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14069564 CPUtime=0.84 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 476 12371 0 0 62 15 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14069564 CPUtime=0.84 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 762 12371 0 0 63 14 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14069564 CPUtime=0.82 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 1062 12371 0 0 61 14 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14069564 CPUtime=0.83 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 745 12371 0 0 62 14 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 6322 12371 0 0 6 0 4 3 20 0 15 0 13848960 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 15 0 13848960 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848961 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0

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

/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 4041 12371 0 0 97 20 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14069564 CPUtime=1.24 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 2288 12371 0 0 98 19 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14069564 CPUtime=1.21 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 1936 12371 0 0 96 18 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14069564 CPUtime=1.23 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 2753 12371 0 0 97 19 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 8663 12371 0 0 22 3 4 3 20 0 15 0 13848960 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 15 0 13848960 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848961 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14069564 CPUtime=6.05 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 16197 12371 0 0 596 2 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 20427 12371 0 0 634 4 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14069564 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18482 12371 0 0 228 4 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 15 0 13848967 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 240.4
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.70 1.68 1.69 3/214 19886
/proc/meminfo: memFree=23711292/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=14069564 CPUtime=258.32 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 147908 12371 0 0 25663 162 4 3 20 0 15 0 13848936 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3517391 948825 3476 1 0 3506013 0
[pid=19675/tid=19725] ppid=19672 vsize=14069564 CPUtime=238.18 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 68047 12371 0 0 23749 62 4 3 20 0 15 0 13848958 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306800380752 140306409550203 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 4060 12371 0 0 103 20 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14069564 CPUtime=1.31 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 2305 12371 0 0 105 19 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14069564 CPUtime=1.29 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 1952 12371 0 0 103 19 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 2801 12371 0 0 103 20 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 8665 12371 0 0 25 3 4 3 20 0 15 0 13848960 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 15 0 13848960 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848961 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14069564 CPUtime=6.07 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 17279 12371 0 0 597 3 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 21143 12371 0 0 634 4 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14069564 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18800 12371 0 0 228 4 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 15 0 13848967 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 258.32
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 19675 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.801 s]
/proc/loadavg: 1.70 1.68 1.69 3/214 19886
/proc/meminfo: memFree=23711292/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=14202692 CPUtime=261.27 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 158062 12371 0 0 25956 164 4 3 20 0 17 0 13848936 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3550673 951275 3476 1 0 3539295 0
[pid=19675/tid=19725] ppid=19672 vsize=14202692 CPUtime=238.23 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) S 19672 19675 5228 0 -1 1077944384 68501 12371 0 0 23754 62 4 3 20 0 17 0 13848958 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306800384144 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14202692 CPUtime=2.02 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) R 19672 19675 5228 0 -1 4202560 4485 12371 0 0 175 20 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306730580872 140306780847424 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14202692 CPUtime=2.02 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) R 19672 19675 5228 0 -1 4202560 2387 12371 0 0 176 19 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306729528328 140306780847111 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14202692 CPUtime=2 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) R 19672 19675 5228 0 -1 4202560 2084 12371 0 0 174 19 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306728475784 140306780847070 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14202692 CPUtime=2.02 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) R 19672 19675 5228 0 -1 4202560 2934 12371 0 0 175 20 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306727423240 140306780847056 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14202692 CPUtime=0.38 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 17223 12371 0 0 27 4 4 3 20 0 17 0 13848960 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306274693776 140306796156629 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 17 0 13848960 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 17 0 13848961 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 130 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14202692 CPUtime=6.07 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 17279 12371 0 0 597 3 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14202692 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 21143 12371 0 0 634 4 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14202692 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18800 12371 0 0 228 4 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 17 0 13848967 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 261.27
Current children cumulated vsize (KiB) 14202692

[startup+241.601 s]
/proc/loadavg: 1.70 1.68 1.69 7/216 19889
/proc/meminfo: memFree=23703352/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=14202692 CPUtime=264.26 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 158308 12371 0 0 26255 164 4 3 20 0 17 0 13848936 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3550673 950282 3476 1 0 3539295 0
[pid=19675/tid=19725] ppid=19672 vsize=14202692 CPUtime=238.23 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) S 19672 19675 5228 0 -1 1077944384 68501 12371 0 0 23754 62 4 3 20 0 17 0 13848958 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306800384144 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14202692 CPUtime=2.75 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) R 19672 19675 5228 0 -1 4202560 4490 12371 0 0 248 20 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306777793520 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14202692 CPUtime=2.75 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) R 19672 19675 5228 0 -1 4202560 2391 12371 0 0 249 19 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306729528096 140306777742436 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14202692 CPUtime=2.74 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) R 19672 19675 5228 0 -1 4202560 2090 12371 0 0 248 19 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306728475864 140306781131719 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14202692 CPUtime=2.75 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) R 19672 19675 5228 0 -1 4202560 2937 12371 0 0 248 20 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306781097028 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14202692 CPUtime=0.45 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 17446 12371 0 0 34 4 4 3 20 0 17 0 13848960 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306274693552 140306796156629 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 62 12371 0 0 0 0 4 3 20 0 17 0 13848960 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306273640832 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 17 0 13848961 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 130 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14202692 CPUtime=6.07 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 17279 12371 0 0 597 3 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306270485024 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14202692 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 21144 12371 0 0 634 4 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306269432192 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14202692 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18800 12371 0 0 228 4 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 17 0 13848967 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19887] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19887/stat : 19887 (java) S 19672 19675 5228 0 -1 1077944384 215 12371 0 0 0 0 4 3 20 0 17 0 13872937 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140305674432624 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19888] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19888/stat : 19888 (java) S 19672 19675 5228 0 -1 1077944384 29 12371 0 0 0 0 4 3 20 0 17 0 13872937 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140305673379296 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 264.26
Current children cumulated vsize (KiB) 14202692

[startup+241.801 s]
/proc/loadavg: 1.70 1.68 1.69 7/216 19889
/proc/meminfo: memFree=23703352/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=0 CPUtime=264.92 cores=1,3,5,7
/proc/19675/stat : 19675 (java) Z 19672 19675 5228 0 -1 4228108 158462 12371 0 0 26321 164 4 3 20 0 2 0 13848936 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/19675/statm: 0 0 0 0 0 0 0
[pid=19675/tid=19735] ppid=19672 vsize=0 CPUtime=6.46 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) R 19672 19675 5228 0 -1 4203588 21151 12371 0 0 635 4 4 3 20 0 2 0 13848963 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 264.92
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 241.822
CPU time (s): 264.968
CPU user time (s): 263.266
CPU system time (s): 1.70136
CPU usage (%): 109.572
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.266
system time used= 1.70136
maximum resident set size= 3978688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18641
involuntary context switches= 661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00964 second user time and 1.60433 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-02 09:38:10
IDJOB=4259397
IDBENCH=137614
IDSOLVER=2646
FILE ID=node133/4259397-1501660336
RUNJOBID= node133-1501653519-11656
PBS_JOBID= 
Free space on /tmp= 61840 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w4b3r4.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259397-1501660336/watcher-4259397-1501660336 -o /tmp/evaluation-result-4259397-1501660336/solver-4259397-1501660336 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300  bin/concrete HOME/instance-4259397-1501660336.xml

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

MD5SUM BENCH= f75a86a5a7a46a13e5890f4f16694299
RANDOM SEED=1718292365

node133.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.17
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.17
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.17
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.17
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:        29254084 kB
MemAvailable:   29502228 kB
Buffers:          132192 kB
Cached:           396084 kB
SwapCached:            0 kB
Active:          2845860 kB
Inactive:         252088 kB
Active(anon):    2570284 kB
Inactive(anon):     8536 kB
Active(file):     275576 kB
Inactive(file):   243552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24500 kB
Writeback:             0 kB
AnonPages:       2571620 kB
Mapped:            43680 kB
Shmem:              8892 kB
Slab:             116028 kB
SReclaimable:      89700 kB
SUnreclaim:        26328 kB
KernelStack:        3456 kB
PageTables:        10200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3299528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2332672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61816 MiB
End job on node133 at 2017-08-02 09:42:12