Trace number 4261827

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) 2525.8799 2374.3999

General information on the benchmark

NameBinPacking/
BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml
MD5SUM3722e6cce5df2b61a3e8828e8098779b
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 variables801
Number of constraints203
Number of domains2
Minimum domain size193
Maximum domain size201
Distribution of domain sizes[{"size":193,"count":800},{"size":201,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":600},{"degree":4,"count":200}]
Minimum constraint arity4
Maximum constraint arity800
Distribution of constraint arities[{"arity":4,"count":200},{"arity":201,"count":1},{"arity":800,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":200},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

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

pid=17392
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.35 1.62 1.66 2/201 17395
/proc/meminfo: memFree=28096808/32770624 swapFree=0/574816
[pid=17395] ppid=17392 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17395/stat : 17395 (runsolver) D 17392 17395 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 94509571 24240128 106 18446744073709551615 4194304 4338465 140733844502688 140733844500328 139904775566039 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16019456 140733844504785 140733844505161 140733844505161 140733844508618 0
/proc/17395/statm: 5918 106 53 36 0 2156 0

[startup+0.100109 s]
/proc/loadavg: 1.35 1.62 1.66 2/201 17395
/proc/meminfo: memFree=28096808/32770624 swapFree=0/574816
[pid=17395] ppid=17392 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17395/stat : 17395 (runsolver) D 17392 17395 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 94509571 24240128 106 18446744073709551615 4194304 4338465 140733844502688 140733844500328 139904775566039 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16019456 140733844504785 140733844505161 140733844505161 140733844508618 0
/proc/17395/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200272 s]
/proc/loadavg: 1.35 1.62 1.66 2/201 17395
/proc/meminfo: memFree=28096808/32770624 swapFree=0/574816
[pid=17395] ppid=17392 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/17395/stat : 17395 (bash) S 17392 17395 1460 0 -1 4202496 895 6488 0 0 0 0 0 1 20 0 1 0 94509571 9867264 377 18446744073709551615 4194304 5098028 140722229488064 140722229482072 140511517867008 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 10 0 0 7196144 7232144 14102528 140722229490196 140722229490281 140722229490281 140722229493738 0
/proc/17395/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300333 s]
/proc/loadavg: 1.35 1.62 1.66 2/201 17395
/proc/meminfo: memFree=28096808/32770624 swapFree=0/574816
[pid=17395] ppid=17392 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 5816 12680 0 0 5 1 5 2 20 0 14 0 94509571 14241083392 5501 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3476827 5501 2571 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700287 s]
/proc/loadavg: 1.35 1.62 1.66 2/201 17395
/proc/meminfo: memFree=28096808/32770624 swapFree=0/574816
[pid=17395] ppid=17392 vsize=13974784 CPUtime=0.6 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 13691 12680 0 0 48 5 5 2 20 0 15 0 94509571 14310178816 14053 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3493696 14053 3066 1 0 3482965 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784

[startup+1.50053 s]
/proc/loadavg: 1.35 1.62 1.66 3/216 17458
/proc/meminfo: memFree=28012684/32770624 swapFree=0/574784
[pid=17395] ppid=17392 vsize=13985408 CPUtime=1.84 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 25596 12680 0 0 168 9 5 2 20 0 15 0 94509571 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3496352 33842 3339 1 0 3485525 0
[pid=17395/tid=17445] ppid=17392 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/17395/task/17445/stat : 17445 (java) R 17392 17395 1460 0 -1 4202560 20270 12680 0 0 112 7 5 2 20 0 15 0 94509595 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140059876926080 140059854512389 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17446] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17446/stat : 17446 (java) S 17392 17395 1460 0 -1 1077944384 1 12680 0 0 0 0 5 2 20 0 15 0 94509596 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140059829660432 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) S 17392 17395 1460 0 -1 1077944384 1 12680 0 0 0 0 5 2 20 0 15 0 94509596 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140059828607888 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) S 17392 17395 1460 0 -1 1077944384 2 12680 0 0 0 0 5 2 20 0 15 0 94509596 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140059827555344 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) S 17392 17395 1460 0 -1 1077944384 2 12680 0 0 0 0 5 2 20 0 15 0 94509596 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140059826502800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 6 12680 0 0 0 0 5 2 20 0 15 0 94509597 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058789398512 140059872705154 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 33 12680 0 0 0 0 5 2 20 0 15 0 94509598 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058788344736 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 21 12680 0 0 0 0 5 2 20 0 15 0 94509598 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058787292144 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17454] ppid=17392 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/17395/task/17454/stat : 17454 (java) S 17392 17395 1460 0 -1 1077944384 1065 12680 0 0 16 0 5 2 20 0 15 0 94509601 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058785188336 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17455] ppid=17392 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/17395/task/17455/stat : 17455 (java) S 17392 17395 1460 0 -1 1077944384 800 12680 0 0 16 0 5 2 20 0 15 0 94509601 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058784135792 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17456] ppid=17392 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/17395/task/17456/stat : 17456 (java) S 17392 17395 1460 0 -1 1077944384 1233 12680 0 0 21 0 5 2 20 0 15 0 94509601 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058783083248 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17457] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17457/stat : 17457 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058782030944 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17458] ppid=17392 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17458/stat : 17458 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509606 14321057792 33842 18446744073709551615 4194304 4196468 140733886731088 140058780977456 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408

[startup+3.10073 s]
/proc/loadavg: 1.35 1.62 1.66 6/216 17458
/proc/meminfo: memFree=27942380/32770624 swapFree=0/574816
[pid=17395] ppid=17392 vsize=13995836 CPUtime=5.32 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 33250 12680 0 0 508 17 5 2 20 0 15 0 94509571 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3498959 69340 3442 1 0 3487573 0
[pid=17395/tid=17445] ppid=17392 vsize=13995836 CPUtime=2.81 cores=1,3,5,7
/proc/17395/task/17445/stat : 17445 (java) R 17392 17395 1460 0 -1 4202560 23187 12680 0 0 265 9 5 2 20 0 15 0 94509595 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140059876928696 140059512336334 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17446] ppid=17392 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/17395/task/17446/stat : 17446 (java) S 17392 17395 1460 0 -1 1077944384 189 12680 0 0 1 0 5 2 20 0 15 0 94509596 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140059829660432 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) S 17392 17395 1460 0 -1 1077944384 38 12680 0 0 1 0 5 2 20 0 15 0 94509596 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140059828607888 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) S 17392 17395 1460 0 -1 1077944384 46 12680 0 0 1 0 5 2 20 0 15 0 94509596 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140059827555344 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) S 17392 17395 1460 0 -1 1077944384 63 12680 0 0 1 0 5 2 20 0 15 0 94509596 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140059826502800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 643 12680 0 0 1 0 5 2 20 0 15 0 94509597 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058789398512 140059872705154 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 55 12680 0 0 0 0 5 2 20 0 15 0 94509598 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058788344800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 44 12680 0 0 0 0 5 2 20 0 15 0 94509598 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058787292160 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17454] ppid=17392 vsize=13995836 CPUtime=0.77 cores=1,3,5,7
/proc/17395/task/17454/stat : 17454 (java) S 17392 17395 1460 0 -1 1077944384 1567 12680 0 0 70 0 5 2 20 0 15 0 94509601 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058785188336 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17455] ppid=17392 vsize=13995836 CPUtime=0.91 cores=1,3,5,7
/proc/17395/task/17455/stat : 17455 (java) S 17392 17395 1460 0 -1 1077944384 2578 12680 0 0 83 1 5 2 20 0 15 0 94509601 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058784135792 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17456] ppid=17392 vsize=13995836 CPUtime=0.86 cores=1,3,5,7
/proc/17395/task/17456/stat : 17456 (java) S 17392 17395 1460 0 -1 1077944384 2678 12680 0 0 78 1 5 2 20 0 15 0 94509601 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058783083248 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17457] ppid=17392 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17457/stat : 17457 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058782030944 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17458] ppid=17392 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17458/stat : 17458 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509606 14331736064 69340 18446744073709551615 4194304 4196468 140733886731088 140058780977456 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 13995836

[startup+6.30068 s]
/proc/loadavg: 1.32 1.61 1.66 3/216 17458
/proc/meminfo: memFree=27577712/32770624 swapFree=0/574820
[pid=17395] ppid=17392 vsize=13997884 CPUtime=10.3 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 51311 12680 0 0 984 39 5 2 20 0 15 0 94509571 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3499471 183642 3465 1 0 3488085 0
[pid=17395/tid=17445] ppid=17392 vsize=13997884 CPUtime=5.9 cores=1,3,5,7
/proc/17395/task/17445/stat : 17445 (java) R 17392 17395 1460 0 -1 4202560 36929 12680 0 0 569 14 5 2 20 0 15 0 94509595 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140059876927168 140059511205138 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17446] ppid=17392 vsize=13997884 CPUtime=0.19 cores=1,3,5,7
/proc/17395/task/17446/stat : 17446 (java) S 17392 17395 1460 0 -1 1077944384 344 12680 0 0 8 4 5 2 20 0 15 0 94509596 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140059829660432 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=13997884 CPUtime=0.18 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) S 17392 17395 1460 0 -1 1077944384 428 12680 0 0 7 4 5 2 20 0 15 0 94509596 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140059828607888 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=13997884 CPUtime=0.19 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) S 17392 17395 1460 0 -1 1077944384 329 12680 0 0 8 4 5 2 20 0 15 0 94509596 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140059827555344 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=13997884 CPUtime=0.18 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) S 17392 17395 1460 0 -1 1077944384 254 12680 0 0 7 4 5 2 20 0 15 0 94509596 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140059826502800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 1123 12680 0 0 2 0 5 2 20 0 15 0 94509597 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058789398512 140059872705154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 55 12680 0 0 0 0 5 2 20 0 15 0 94509598 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058788344800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 44 12680 0 0 0 0 5 2 20 0 15 0 94509598 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058787292160 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17454] ppid=17392 vsize=13997884 CPUtime=1.43 cores=1,3,5,7
/proc/17395/task/17454/stat : 17454 (java) S 17392 17395 1460 0 -1 1077944384 2333 12680 0 0 135 1 5 2 20 0 15 0 94509601 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058785188336 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17455] ppid=17392 vsize=13997884 CPUtime=1.55 cores=1,3,5,7
/proc/17395/task/17455/stat : 17455 (java) S 17392 17395 1460 0 -1 1077944384 3100 12680 0 0 145 3 5 2 20 0 15 0 94509601 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058784135792 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17456] ppid=17392 vsize=13997884 CPUtime=1.07 cores=1,3,5,7
/proc/17395/task/17456/stat : 17456 (java) S 17392 17395 1460 0 -1 1077944384 4193 12680 0 0 98 2 5 2 20 0 15 0 94509601 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058783083248 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17457] ppid=17392 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17457/stat : 17457 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058782030944 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17458] ppid=17392 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17458/stat : 17458 (java) S 17392 17395 1460 0 -1 1077944384 20 12680 0 0 0 0 5 2 20 0 15 0 94509606 14333833216 183642 18446744073709551615 4194304 4196468 140733886731088 140058780977456 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
Current children cumulated CPU time (s) 10.3
Current children cumulated vsize (KiB) 13997884

[startup+12.7007 s]
/proc/loadavg: 1.38 1.62 1.66 3/216 17458
/proc/meminfo: memFree=26543876/32770624 swapFree=0/574824
[pid=17395] ppid=17392 vsize=13999932 CPUtime=18.74 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 55796 12680 0 0 1799 68 5 2 20 0 15 0 94509571 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3499983 411086 3469 1 0 3488597 0
[pid=17395/tid=17445] ppid=17392 vsize=13999932 CPUtime=12.21 cores=1,3,5,7
/proc/17395/task/17445/stat : 17445 (java) R 17392 17395 1460 0 -1 4202560 38781 12680 0 0 1187 27 5 2 20 0 15 0 94509595 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140059876926840 140059507658727 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17446] ppid=17392 vsize=13999932 CPUtime=0.26 cores=1,3,5,7
/proc/17395/task/17446/stat : 17446 (java) S 17392 17395 1460 0 -1 1077944384 437 12680 0 0 12 7 5 2 20 0 15 0 94509596 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140059829660432 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=13999932 CPUtime=0.26 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) S 17392 17395 1460 0 -1 1077944384 528 12680 0 0 12 7 5 2 20 0 15 0 94509596 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140059828607888 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=13999932 CPUtime=0.26 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) S 17392 17395 1460 0 -1 1077944384 502 12680 0 0 12 7 5 2 20 0 15 0 94509596 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140059827555344 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=13999932 CPUtime=0.25 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) S 17392 17395 1460 0 -1 1077944384 372 12680 0 0 12 6 5 2 20 0 15 0 94509596 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140059826502800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 1769 12680 0 0 3 0 5 2 20 0 15 0 94509597 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140058789398512 140059872705154 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 55 12680 0 0 0 0 5 2 20 0 15 0 94509598 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140058788344800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 44 12680 0 0 0 0 5 2 20 0 15 0 94509598 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140058787292160 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14335930368 411086 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0

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

/proc/17395/task/17446/stat : 17446 (java) S 17392 17395 1460 0 -1 1077944384 104471 12680 0 0 4128 103 5 2 20 0 15 0 94509596 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140059829660432 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=14069564 CPUtime=42.31 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) S 17392 17395 1460 0 -1 1077944384 110897 12680 0 0 4122 102 5 2 20 0 15 0 94509596 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140059828607888 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=14069564 CPUtime=42.4 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) S 17392 17395 1460 0 -1 1077944384 110442 12680 0 0 4129 104 5 2 20 0 15 0 94509596 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140059827555344 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=14069564 CPUtime=42.36 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) S 17392 17395 1460 0 -1 1077944384 103613 12680 0 0 4125 104 5 2 20 0 15 0 94509596 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140059826502800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=14069564 CPUtime=0.79 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 47161 12680 0 0 61 11 5 2 20 0 15 0 94509597 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058789398512 140059872705154 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 57 12680 0 0 0 0 5 2 20 0 15 0 94509598 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058788344864 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 49 12680 0 0 0 0 5 2 20 0 15 0 94509598 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058787292160 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17454] ppid=17392 vsize=14069564 CPUtime=7.7 cores=1,3,5,7
/proc/17395/task/17454/stat : 17454 (java) S 17392 17395 1460 0 -1 1077944384 42499 12680 0 0 757 6 5 2 20 0 15 0 94509601 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058785188336 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17455] ppid=17392 vsize=14069564 CPUtime=7.99 cores=1,3,5,7
/proc/17395/task/17455/stat : 17455 (java) S 17392 17395 1460 0 -1 1077944384 43556 12680 0 0 785 7 5 2 20 0 15 0 94509601 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058784135792 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17456] ppid=17392 vsize=14069564 CPUtime=2.42 cores=1,3,5,7
/proc/17395/task/17456/stat : 17456 (java) S 17392 17395 1460 0 -1 1077944384 27037 12680 0 0 228 7 5 2 20 0 15 0 94509601 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058783083248 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17457] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17457/stat : 17457 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058782030944 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17458] ppid=17392 vsize=14069564 CPUtime=1.58 cores=1,3,5,7
/proc/17395/task/17458/stat : 17458 (java) S 17392 17395 1460 0 -1 1077944384 1636 12680 0 0 73 78 5 2 20 0 15 0 94509606 14407233536 1396564 18446744073709551615 4194304 4196468 140733886731088 140058780977456 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
Current children cumulated CPU time (s) 2468.13
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2372.81 s]
/proc/loadavg: 1.81 1.70 1.63 3/215 17758
/proc/meminfo: memFree=21045372/32770624 swapFree=0/575340
[pid=17395] ppid=17392 vsize=14069564 CPUtime=2520.01 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 921003 12680 0 0 251390 604 5 2 20 0 15 0 94509571 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3517391 1398237 3486 1 0 3506005 0
[pid=17395/tid=17445] ppid=17392 vsize=14069564 CPUtime=2328.77 cores=1,3,5,7
/proc/17395/task/17445/stat : 17445 (java) R 17392 17395 1460 0 -1 4202560 320604 12680 0 0 232777 93 5 2 20 0 15 0 94509595 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140059876928352 140059522787682 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17446] ppid=17392 vsize=14069564 CPUtime=42.82 cores=1,3,5,7
/proc/17395/task/17446/stat : 17446 (java) S 17392 17395 1460 0 -1 1077944384 107628 12680 0 0 4172 103 5 2 20 0 15 0 94509596 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140059829660432 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=14069564 CPUtime=42.75 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) S 17392 17395 1460 0 -1 1077944384 112030 12680 0 0 4166 102 5 2 20 0 15 0 94509596 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140059828607888 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=14069564 CPUtime=42.85 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) S 17392 17395 1460 0 -1 1077944384 111490 12680 0 0 4174 104 5 2 20 0 15 0 94509596 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140059827555344 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=14069564 CPUtime=42.82 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) S 17392 17395 1460 0 -1 1077944384 104739 12680 0 0 4170 105 5 2 20 0 15 0 94509596 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140059826502800 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 47466 12680 0 0 62 12 5 2 20 0 15 0 94509597 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058789398512 140059872705154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 57 12680 0 0 0 0 5 2 20 0 15 0 94509598 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058788344864 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 49 12680 0 0 0 0 5 2 20 0 15 0 94509598 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058787292160 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17454] ppid=17392 vsize=14069564 CPUtime=7.7 cores=1,3,5,7
/proc/17395/task/17454/stat : 17454 (java) S 17392 17395 1460 0 -1 1077944384 42503 12680 0 0 757 6 5 2 20 0 15 0 94509601 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058785188336 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17455] ppid=17392 vsize=14069564 CPUtime=7.99 cores=1,3,5,7
/proc/17395/task/17455/stat : 17455 (java) S 17392 17395 1460 0 -1 1077944384 43562 12680 0 0 785 7 5 2 20 0 15 0 94509601 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058784135792 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17456] ppid=17392 vsize=14069564 CPUtime=2.42 cores=1,3,5,7
/proc/17395/task/17456/stat : 17456 (java) S 17392 17395 1460 0 -1 1077944384 27042 12680 0 0 228 7 5 2 20 0 15 0 94509601 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058783083248 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17457] ppid=17392 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17457/stat : 17457 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 15 0 94509601 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058782030944 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17458] ppid=17392 vsize=14069564 CPUtime=1.61 cores=1,3,5,7
/proc/17395/task/17458/stat : 17458 (java) S 17392 17395 1460 0 -1 1077944384 1674 12680 0 0 74 80 5 2 20 0 15 0 94509606 14407233536 1398237 18446744073709551615 4194304 4196468 140733886731088 140058780977456 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
Current children cumulated CPU time (s) 2520.01
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 17395 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2373.6 s]
/proc/loadavg: 1.81 1.70 1.63 3/215 17758
/proc/meminfo: memFree=21045372/32770624 swapFree=0/575340
[pid=17395] ppid=17392 vsize=14202692 CPUtime=2522.99 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 934652 12680 0 0 251687 605 5 2 20 0 17 0 94509571 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3550673 1398045 3486 1 0 3539287 0
[pid=17395/tid=17445] ppid=17392 vsize=14202692 CPUtime=2328.79 cores=1,3,5,7
/proc/17395/task/17445/stat : 17445 (java) S 17392 17395 1460 0 -1 1077944384 321632 12680 0 0 232778 94 5 2 20 0 17 0 94509595 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059876931760 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17446] ppid=17392 vsize=14202692 CPUtime=43.55 cores=1,3,5,7
/proc/17395/task/17446/stat : 17446 (java) R 17392 17395 1460 0 -1 4202560 107676 12680 0 0 4245 103 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059829660320 140059854289830 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=14202692 CPUtime=43.48 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) R 17392 17395 1460 0 -1 4202560 112040 12680 0 0 4239 102 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059828608088 140059854290655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=14202692 CPUtime=43.57 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) R 17392 17395 1460 0 -1 4202560 111554 12680 0 0 4246 104 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059827555344 140059857391646 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=14202692 CPUtime=43.54 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) R 17392 17395 1460 0 -1 4202560 104773 12680 0 0 4242 105 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059826502800 140059854290508 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=14202692 CPUtime=0.86 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 58363 12680 0 0 67 12 5 2 20 0 17 0 94509597 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058789396912 140059872704213 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 59 12680 0 0 0 0 5 2 20 0 17 0 94509598 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058788344768 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 49 12680 0 0 0 0 5 2 20 0 17 0 94509598 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058787292160 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 244 12680 0 0 0 0 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17454] ppid=17392 vsize=14202692 CPUtime=7.7 cores=1,3,5,7
/proc/17395/task/17454/stat : 17454 (java) S 17392 17395 1460 0 -1 1077944384 42503 12680 0 0 757 6 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058785188336 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17455] ppid=17392 vsize=14202692 CPUtime=7.99 cores=1,3,5,7
/proc/17395/task/17455/stat : 17455 (java) S 17392 17395 1460 0 -1 1077944384 43562 12680 0 0 785 7 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058784135792 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17456] ppid=17392 vsize=14202692 CPUtime=2.42 cores=1,3,5,7
/proc/17395/task/17456/stat : 17456 (java) S 17392 17395 1460 0 -1 1077944384 27995 12680 0 0 228 7 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058783083248 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17457] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17457/stat : 17457 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058782030944 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17458] ppid=17392 vsize=14202692 CPUtime=1.61 cores=1,3,5,7
/proc/17395/task/17458/stat : 17458 (java) S 17392 17395 1460 0 -1 1077944384 1674 12680 0 0 74 80 5 2 20 0 17 0 94509606 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058780977456 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
Current children cumulated CPU time (s) 2522.99
Current children cumulated vsize (KiB) 14202692

[startup+2374 s]
/proc/loadavg: 1.82 1.70 1.63 6/217 17761
/proc/meminfo: memFree=21045960/32770624 swapFree=0/575340
[pid=17395] ppid=17392 vsize=14202692 CPUtime=2524.47 cores=1,3,5,7
/proc/17395/stat : 17395 (java) S 17392 17395 1460 0 -1 1077944320 934661 12680 0 0 251835 605 5 2 20 0 17 0 94509571 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140733886713632 140059872694007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
/proc/17395/statm: 3550673 1398045 3486 1 0 3539287 0
[pid=17395/tid=17445] ppid=17392 vsize=14202692 CPUtime=2328.79 cores=1,3,5,7
/proc/17395/task/17445/stat : 17445 (java) S 17392 17395 1460 0 -1 1077944384 321632 12680 0 0 232778 94 5 2 20 0 17 0 94509595 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059876931760 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17446] ppid=17392 vsize=14202692 CPUtime=43.92 cores=1,3,5,7
/proc/17395/task/17446/stat : 17446 (java) R 17392 17395 1460 0 -1 4202560 107681 12680 0 0 4282 103 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059829660632 140059857690411 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17447] ppid=17392 vsize=14202692 CPUtime=43.84 cores=1,3,5,7
/proc/17395/task/17447/stat : 17447 (java) R 17392 17395 1460 0 -1 4202560 112043 12680 0 0 4275 102 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059828608088 140059854303693 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17448] ppid=17392 vsize=14202692 CPUtime=43.93 cores=1,3,5,7
/proc/17395/task/17448/stat : 17448 (java) R 17392 17395 1460 0 -1 4202560 111554 12680 0 0 4282 104 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059827555232 140059854303778 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17449] ppid=17392 vsize=14202692 CPUtime=43.9 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) R 17392 17395 1460 0 -1 4202560 104773 12680 0 0 4278 105 5 2 20 0 17 0 94509596 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140059826503000 140059857151475 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17450] ppid=17392 vsize=14202692 CPUtime=0.9 cores=1,3,5,7
/proc/17395/task/17450/stat : 17450 (java) S 17392 17395 1460 0 -1 1077944384 58363 12680 0 0 71 12 5 2 20 0 17 0 94509597 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058789397136 140059872704213 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17451] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17451/stat : 17451 (java) S 17392 17395 1460 0 -1 1077944384 59 12680 0 0 0 0 5 2 20 0 17 0 94509598 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058788344768 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17452] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17452/stat : 17452 (java) S 17392 17395 1460 0 -1 1077944384 49 12680 0 0 0 0 5 2 20 0 17 0 94509598 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058787292160 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17453] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17453/stat : 17453 (java) S 17392 17395 1460 0 -1 1077944384 244 12680 0 0 0 0 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058786240720 140059872712603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17454] ppid=17392 vsize=14202692 CPUtime=7.7 cores=1,3,5,7
/proc/17395/task/17454/stat : 17454 (java) S 17392 17395 1460 0 -1 1077944384 42503 12680 0 0 757 6 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058785188336 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17455] ppid=17392 vsize=14202692 CPUtime=7.99 cores=1,3,5,7
/proc/17395/task/17455/stat : 17455 (java) S 17392 17395 1460 0 -1 1077944384 43562 12680 0 0 785 7 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058784135792 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17456] ppid=17392 vsize=14202692 CPUtime=2.42 cores=1,3,5,7
/proc/17395/task/17456/stat : 17456 (java) S 17392 17395 1460 0 -1 1077944384 27995 12680 0 0 228 7 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058783083248 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17457] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17457/stat : 17457 (java) S 17392 17395 1460 0 -1 1077944384 3 12680 0 0 0 0 5 2 20 0 17 0 94509601 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058782030944 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17458] ppid=17392 vsize=14202692 CPUtime=1.61 cores=1,3,5,7
/proc/17395/task/17458/stat : 17458 (java) S 17392 17395 1460 0 -1 1077944384 1674 12680 0 0 74 80 5 2 20 0 17 0 94509606 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058780977456 140059872705154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17760] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17760/stat : 17760 (java) S 17392 17395 1460 0 -1 1077944384 338 12680 0 0 0 0 5 2 20 0 17 0 94746853 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058145316976 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
[pid=17395/tid=17761] ppid=17392 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17395/task/17761/stat : 17761 (java) S 17392 17395 1460 0 -1 1077944384 34 12680 0 0 0 0 5 2 20 0 17 0 94746853 14543556608 1398045 18446744073709551615 4194304 4196468 140733886731088 140058144265152 140059872704213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140733886736336 140733886739121 140733886739121 140733886742479 0
Current children cumulated CPU time (s) 2524.47
Current children cumulated vsize (KiB) 14202692

[startup+2374.4 s]
/proc/loadavg: 1.82 1.70 1.63 6/217 17761
/proc/meminfo: memFree=21045960/32770624 swapFree=0/575340
[pid=17395] ppid=17392 vsize=0 CPUtime=2525.85 cores=1,3,5,7
/proc/17395/stat : 17395 (java) Z 17392 17395 1460 0 -1 4228108 935174 12680 0 0 251969 609 5 2 20 0 2 0 94509571 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/17395/statm: 0 0 0 0 0 0 0
[pid=17395/tid=17449] ppid=17392 vsize=0 CPUtime=44.27 cores=1,3,5,7
/proc/17395/task/17449/stat : 17449 (java) R 17392 17395 1460 0 -1 4203588 104774 12680 0 0 4311 109 5 2 20 0 2 0 94509596 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) 2525.85
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 2374.4
CPU time (s): 2525.88
CPU user time (s): 2519.75
CPU system time (s): 6.1245
CPU usage (%): 106.38
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.75
system time used= 6.1245
maximum resident set size= 6112872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71735
involuntary context switches= 3873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0856 second user time and 15.6364 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 18:33:17
IDJOB=4261827
IDBENCH=136109
IDSOLVER=2650
FILE ID=node134/4261827-1502470033
RUNJOBID= node134-1502411438-1524
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261827-1502470033/watcher-4261827-1502470033 -o /tmp/evaluation-result-4261827-1502470033/solver-4261827-1502470033 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580  bin/concrete HOME/instance-4261827-1502470033.xml

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

MD5SUM BENCH= 3722e6cce5df2b61a3e8828e8098779b
RANDOM SEED=611766038

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:        28096728 kB
MemAvailable:   29091232 kB
Buffers:          291764 kB
Cached:           996108 kB
SwapCached:            0 kB
Active:          3625008 kB
Inactive:         605972 kB
Active(anon):    2945616 kB
Inactive(anon):    31216 kB
Active(file):     679392 kB
Inactive(file):   574756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24920 kB
Writeback:             0 kB
AnonPages:       2951208 kB
Mapped:            64800 kB
Shmem:             33468 kB
Slab:             138992 kB
SReclaimable:     112384 kB
SUnreclaim:        26608 kB
KernelStack:        3712 kB
PageTables:        11280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3529404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2732032 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 19:12:52