Trace number 4259393

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) 260.18399 240.722

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n3w3b3r7.xml
MD5SUM4bffeaf90ccad3cb01dd3bbb4a29e0a4
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 variables1024
Number of constraints65
Number of domains2
Minimum domain size32
Maximum domain size145
Distribution of domain sizes[{"size":32,"count":1},{"size":145,"count":1023}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":992},{"degree":5,"count":31}]
Minimum constraint arity32
Maximum constraint arity1023
Distribution of constraint arities[{"arity":32,"count":1},{"arity":33,"count":62},{"arity":1023,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":31},{"type":"lex","count":1},{"type":"sum","count":31},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

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

pid=23015
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.43 1.61 1.69 2/198 23018
/proc/meminfo: memFree=27364572/32770624 swapFree=0/256900
[pid=23018] ppid=23015 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23018/stat : 23018 (runsolver) D 23015 23018 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7944220 24240128 108 18446744073709551615 4194304 4338465 140724660760384 140724660758024 140266646938327 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 6705152 140724660764881 140724660765255 140724660765255 140724660768714 0
/proc/23018/statm: 5918 108 54 36 0 2156 0

[startup+0.100161 s]
/proc/loadavg: 1.43 1.61 1.69 2/198 23018
/proc/meminfo: memFree=27364572/32770624 swapFree=0/256900
[pid=23018] ppid=23015 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23018/stat : 23018 (runsolver) D 23015 23018 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7944220 24240128 108 18446744073709551615 4194304 4338465 140724660760384 140724660758024 140266646938327 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 6705152 140724660764881 140724660765255 140724660765255 140724660768714 0
/proc/23018/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200327 s]
/proc/loadavg: 1.43 1.61 1.69 2/198 23018
/proc/meminfo: memFree=27364572/32770624 swapFree=0/256900
[pid=23018] ppid=23015 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/23018/stat : 23018 (bash) S 23015 23018 3187 0 -1 4202496 896 6484 0 0 0 0 0 1 20 0 1 0 7944220 9867264 377 18446744073709551615 4194304 5098028 140722581054432 140722581048440 139974658862080 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 10 0 0 7196144 7232144 35229696 140722581058066 140722581058151 140722581058151 140722581061610 0
/proc/23018/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300401 s]
/proc/loadavg: 1.43 1.61 1.69 2/198 23018
/proc/meminfo: memFree=27364572/32770624 swapFree=0/256900
[pid=23018] ppid=23015 vsize=13841772 CPUtime=0.13 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 5813 12439 0 0 5 1 5 2 20 0 14 0 7944220 14173974528 5507 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3460443 5507 2497 1 0 3449948 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13841772

[startup+0.702171 s]
/proc/loadavg: 1.43 1.61 1.69 2/198 23018
/proc/meminfo: memFree=27364572/32770624 swapFree=0/256900
[pid=23018] ppid=23015 vsize=13974784 CPUtime=0.6 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 13786 12439 0 0 49 4 5 2 20 0 15 0 7944220 14310178816 14216 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3493696 14216 3062 1 0 3482973 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784

[startup+1.50067 s]
/proc/loadavg: 1.43 1.61 1.69 3/213 23081
/proc/meminfo: memFree=27274104/32770624 swapFree=0/256920
[pid=23018] ppid=23015 vsize=13985408 CPUtime=1.79 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 27310 12439 0 0 163 9 5 2 20 0 15 0 7944220 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3496352 33751 3329 1 0 3485533 0
[pid=23018/tid=23068] ppid=23015 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) R 23015 23018 3187 0 -1 4202560 22125 12439 0 0 113 7 5 2 20 0 15 0 7944244 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171596105456 140171485610365 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) S 23015 23018 3187 0 -1 1077944384 1 12439 0 0 0 0 5 2 20 0 15 0 7944245 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) S 23015 23018 3187 0 -1 1077944384 1 12439 0 0 0 0 5 2 20 0 15 0 7944245 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) S 23015 23018 3187 0 -1 1077944384 1 12439 0 0 0 0 5 2 20 0 15 0 7944245 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171190283408 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) S 23015 23018 3187 0 -1 1077944384 2 12439 0 0 0 0 5 2 20 0 15 0 7944245 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 5 12439 0 0 0 0 5 2 20 0 15 0 7944246 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171070326896 140171591883394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 33 12439 0 0 0 0 5 2 20 0 15 0 7944246 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171069272864 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 21 12439 0 0 0 0 5 2 20 0 15 0 7944247 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171068220528 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944249 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23077] ppid=23015 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/23018/task/23077/stat : 23077 (java) S 23015 23018 3187 0 -1 1077944384 1215 12439 0 0 16 0 5 2 20 0 15 0 7944249 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171066116720 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23078] ppid=23015 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/23018/task/23078/stat : 23078 (java) S 23015 23018 3187 0 -1 1077944384 519 12439 0 0 12 0 5 2 20 0 15 0 7944249 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171065063920 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23079] ppid=23015 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/23018/task/23079/stat : 23079 (java) R 23015 23018 3187 0 -1 4202560 1220 12439 0 0 21 0 5 2 20 0 15 0 7944249 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171064011632 140171570498705 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23080] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944250 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 6 12439 0 0 0 0 5 2 20 0 15 0 7944254 14321057792 33751 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 13985408

[startup+3.10067 s]
/proc/loadavg: 1.43 1.61 1.69 4/213 23081
/proc/meminfo: memFree=27197044/32770624 swapFree=0/256920
[pid=23018] ppid=23015 vsize=13997884 CPUtime=5.77 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 43365 12439 0 0 552 18 5 2 20 0 15 0 7944220 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3499471 71720 3445 1 0 3488093 0
[pid=23018/tid=23068] ppid=23015 vsize=13997884 CPUtime=2.81 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) R 23015 23018 3187 0 -1 4202560 28357 12439 0 0 264 10 5 2 20 0 15 0 7944244 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171596100960 140171234997949 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) S 23015 23018 3187 0 -1 1077944384 166 12439 0 0 2 0 5 2 20 0 15 0 7944245 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) S 23015 23018 3187 0 -1 1077944384 208 12439 0 0 2 0 5 2 20 0 15 0 7944245 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) S 23015 23018 3187 0 -1 1077944384 52 12439 0 0 2 0 5 2 20 0 15 0 7944245 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171190283408 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) S 23015 23018 3187 0 -1 1077944384 73 12439 0 0 1 0 5 2 20 0 15 0 7944245 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 1715 12439 0 0 1 0 5 2 20 0 15 0 7944246 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171070326896 140171591883394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 56 12439 0 0 0 0 5 2 20 0 15 0 7944246 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171069272928 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 46 12439 0 0 0 0 5 2 20 0 15 0 7944247 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171068220544 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944249 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23077] ppid=23015 vsize=13997884 CPUtime=0.95 cores=1,3,5,7
/proc/23018/task/23077/stat : 23077 (java) R 23015 23018 3187 0 -1 4202560 3327 12439 0 0 87 1 5 2 20 0 15 0 7944249 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171066101680 140171573393647 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23078] ppid=23015 vsize=13997884 CPUtime=1 cores=1,3,5,7
/proc/23018/task/23078/stat : 23078 (java) R 23015 23018 3187 0 -1 4202560 2508 12439 0 0 92 1 5 2 20 0 15 0 7944249 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171065050104 140171576982371 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23079] ppid=23015 vsize=13997884 CPUtime=1.04 cores=1,3,5,7
/proc/23018/task/23079/stat : 23079 (java) S 23015 23018 3187 0 -1 1077944384 4687 12439 0 0 96 1 5 2 20 0 15 0 7944249 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171064011632 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23080] ppid=23015 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944250 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 9 12439 0 0 0 0 5 2 20 0 15 0 7944254 14333833216 71720 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13997884

[startup+6.30072 s]
/proc/loadavg: 1.56 1.63 1.70 5/213 23081
/proc/meminfo: memFree=26979340/32770624 swapFree=0/256932
[pid=23018] ppid=23015 vsize=14001980 CPUtime=14.25 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 65261 12439 0 0 1379 39 5 2 20 0 15 0 7944220 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3500495 140958 3461 1 0 3489117 0
[pid=23018/tid=23068] ppid=23015 vsize=14001980 CPUtime=5.73 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) R 23015 23018 3187 0 -1 4202560 35463 12439 0 0 553 13 5 2 20 0 15 0 7944244 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171596106816 140171241425872 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=14001980 CPUtime=0.3 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) S 23015 23018 3187 0 -1 1077944384 327 12439 0 0 19 4 5 2 20 0 15 0 7944245 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=14001980 CPUtime=0.3 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) S 23015 23018 3187 0 -1 1077944384 838 12439 0 0 19 4 5 2 20 0 15 0 7944245 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=14001980 CPUtime=0.33 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) S 23015 23018 3187 0 -1 1077944384 499 12439 0 0 21 5 5 2 20 0 15 0 7944245 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171190283408 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=14001980 CPUtime=0.33 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) S 23015 23018 3187 0 -1 1077944384 345 12439 0 0 22 4 5 2 20 0 15 0 7944245 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=14001980 CPUtime=0.12 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 2824 12439 0 0 5 0 5 2 20 0 15 0 7944246 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171070326896 140171591883394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 65 12439 0 0 0 0 5 2 20 0 15 0 7944246 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171069272992 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 61 12439 0 0 0 0 5 2 20 0 15 0 7944247 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171068220544 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944249 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23077] ppid=23015 vsize=14001980 CPUtime=2.84 cores=1,3,5,7
/proc/23018/task/23077/stat : 23077 (java) S 23015 23018 3187 0 -1 1077944384 8969 12439 0 0 275 2 5 2 20 0 15 0 7944249 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171066116720 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23078] ppid=23015 vsize=14001980 CPUtime=2.99 cores=1,3,5,7
/proc/23018/task/23078/stat : 23078 (java) S 23015 23018 3187 0 -1 1077944384 5268 12439 0 0 291 1 5 2 20 0 15 0 7944249 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171065063920 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23079] ppid=23015 vsize=14001980 CPUtime=1.78 cores=1,3,5,7
/proc/23018/task/23079/stat : 23079 (java) S 23015 23018 3187 0 -1 1077944384 8411 12439 0 0 169 2 5 2 20 0 15 0 7944249 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171064011632 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23080] ppid=23015 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944250 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 30 12439 0 0 0 0 5 2 20 0 15 0 7944254 14338027520 140958 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 14.25
Current children cumulated vsize (KiB) 14001980

[startup+12.7007 s]
/proc/loadavg: 1.75 1.67 1.71 3/213 23081
/proc/meminfo: memFree=26171684/32770624 swapFree=0/256936
[pid=23018] ppid=23015 vsize=14069564 CPUtime=25.89 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 100867 12439 0 0 2521 61 5 2 20 0 15 0 7944220 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3517391 300978 3467 1 0 3506013 0
[pid=23018/tid=23068] ppid=23015 vsize=14069564 CPUtime=12 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) R 23015 23018 3187 0 -1 4202560 57757 12439 0 0 1170 23 5 2 20 0 15 0 7944244 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171596103512 140171242333516 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=14069564 CPUtime=0.37 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) S 23015 23018 3187 0 -1 1077944384 367 12439 0 0 24 6 5 2 20 0 15 0 7944245 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) S 23015 23018 3187 0 -1 1077944384 887 12439 0 0 25 6 5 2 20 0 15 0 7944245 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) S 23015 23018 3187 0 -1 1077944384 543 12439 0 0 26 7 5 2 20 0 15 0 7944245 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171190283408 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=14069564 CPUtime=0.41 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) S 23015 23018 3187 0 -1 1077944384 394 12439 0 0 29 5 5 2 20 0 15 0 7944245 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 3168 12439 0 0 5 0 5 2 20 0 15 0 7944246 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171070326896 140171591883394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 65 12439 0 0 0 0 5 2 20 0 15 0 7944246 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171069272992 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 61 12439 0 0 0 0 5 2 20 0 15 0 7944247 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171068220544 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944249 14407233536 300978 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0

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

/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944250 14407233536 478961 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 209 12439 0 0 6 7 5 2 20 0 15 0 7944254 14407233536 478961 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 239.72
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.87 1.84 1.78 3/214 23227
/proc/meminfo: memFree=25692392/32770624 swapFree=0/257204
[pid=23018] ppid=23015 vsize=14069564 CPUtime=257.72 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 170581 12439 0 0 25654 111 5 2 20 0 15 0 7944220 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3517391 466174 3473 1 0 3506013 0
[pid=23018/tid=23068] ppid=23015 vsize=14069564 CPUtime=237.99 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) R 23015 23018 3187 0 -1 4202560 71177 12439 0 0 23752 40 5 2 20 0 15 0 7944244 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171596106048 140171253268596 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=14069564 CPUtime=1.11 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) S 23015 23018 3187 0 -1 1077944384 1015 12439 0 0 93 11 5 2 20 0 15 0 7944245 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=14069564 CPUtime=1.13 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) S 23015 23018 3187 0 -1 1077944384 2019 12439 0 0 94 12 5 2 20 0 15 0 7944245 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=14069564 CPUtime=1.14 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) S 23015 23018 3187 0 -1 1077944384 3781 12439 0 0 95 12 5 2 20 0 15 0 7944245 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171190283408 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=14069564 CPUtime=1.16 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) S 23015 23018 3187 0 -1 1077944384 5126 12439 0 0 98 11 5 2 20 0 15 0 7944245 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=14069564 CPUtime=0.55 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 5115 12439 0 0 41 7 5 2 20 0 15 0 7944246 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171070326896 140171591883394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 65 12439 0 0 0 0 5 2 20 0 15 0 7944246 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171069272992 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 61 12439 0 0 0 0 5 2 20 0 15 0 7944247 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171068220544 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944249 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23077] ppid=23015 vsize=14069564 CPUtime=6.41 cores=1,3,5,7
/proc/23018/task/23077/stat : 23077 (java) S 23015 23018 3187 0 -1 1077944384 32277 12439 0 0 629 5 5 2 20 0 15 0 7944249 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171066116720 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23078] ppid=23015 vsize=14069564 CPUtime=6.21 cores=1,3,5,7
/proc/23018/task/23078/stat : 23078 (java) S 23015 23018 3187 0 -1 1077944384 26299 12439 0 0 610 4 5 2 20 0 15 0 7944249 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171065063920 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23079] ppid=23015 vsize=14069564 CPUtime=2.32 cores=1,3,5,7
/proc/23018/task/23079/stat : 23079 (java) S 23015 23018 3187 0 -1 1077944384 21177 12439 0 0 221 4 5 2 20 0 15 0 7944249 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171064011632 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23080] ppid=23015 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 15 0 7944250 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 308 12439 0 0 7 7 5 2 20 0 15 0 7944254 14407233536 466174 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 257.72
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 23018 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.404 s]
/proc/loadavg: 1.87 1.84 1.78 3/214 23227
/proc/meminfo: memFree=25692392/32770624 swapFree=0/257204
[pid=23018] ppid=23015 vsize=14202692 CPUtime=259.14 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 179499 12439 0 0 25794 113 5 2 20 0 17 0 7944220 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3550673 467712 3479 1 0 3539295 0
[pid=23018/tid=23068] ppid=23015 vsize=14202692 CPUtime=238.01 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) S 23015 23018 3187 0 -1 1077944384 71536 12439 0 0 23753 41 5 2 20 0 17 0 7944244 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171596110000 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=14202692 CPUtime=1.45 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) R 23015 23018 3187 0 -1 4202560 1158 12439 0 0 127 11 5 2 20 0 17 0 7944245 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171573482067 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=14202692 CPUtime=1.47 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) R 23015 23018 3187 0 -1 4202560 2105 12439 0 0 128 12 5 2 20 0 17 0 7944245 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171576868648 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=14202692 CPUtime=1.48 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) R 23015 23018 3187 0 -1 4202560 4067 12439 0 0 129 12 5 2 20 0 17 0 7944245 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171190283296 140171576868614 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=14202692 CPUtime=1.5 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) R 23015 23018 3187 0 -1 4202560 5193 12439 0 0 132 11 5 2 20 0 17 0 7944245 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171576868929 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=14202692 CPUtime=0.6 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 12765 12439 0 0 45 8 5 2 20 0 17 0 7944246 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171070325520 140171591882453 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 67 12439 0 0 0 0 5 2 20 0 17 0 7944246 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171069272896 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 61 12439 0 0 0 0 5 2 20 0 17 0 7944247 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171068220544 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 122 12439 0 0 0 0 5 2 20 0 17 0 7944249 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23077] ppid=23015 vsize=14202692 CPUtime=6.41 cores=1,3,5,7
/proc/23018/task/23077/stat : 23077 (java) S 23015 23018 3187 0 -1 1077944384 32277 12439 0 0 629 5 5 2 20 0 17 0 7944249 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171066116720 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23078] ppid=23015 vsize=14202692 CPUtime=6.21 cores=1,3,5,7
/proc/23018/task/23078/stat : 23078 (java) S 23015 23018 3187 0 -1 1077944384 26299 12439 0 0 610 4 5 2 20 0 17 0 7944249 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171065063920 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23079] ppid=23015 vsize=14202692 CPUtime=2.32 cores=1,3,5,7
/proc/23018/task/23079/stat : 23079 (java) S 23015 23018 3187 0 -1 1077944384 21177 12439 0 0 221 4 5 2 20 0 17 0 7944249 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171064011632 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23080] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 17 0 7944250 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 308 12439 0 0 7 7 5 2 20 0 17 0 7944254 14543556608 467712 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 259.14
Current children cumulated vsize (KiB) 14202692

[startup+240.601 s]
/proc/loadavg: 1.87 1.84 1.78 3/214 23227
/proc/meminfo: memFree=25692392/32770624 swapFree=0/257204
[pid=23018] ppid=23015 vsize=14202692 CPUtime=259.82 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 179510 12439 0 0 25862 113 5 2 20 0 17 0 7944220 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3550673 467328 3479 1 0 3539295 0
[pid=23018/tid=23068] ppid=23015 vsize=14202692 CPUtime=238.01 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) S 23015 23018 3187 0 -1 1077944384 71538 12439 0 0 23753 41 5 2 20 0 17 0 7944244 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171596110000 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=14202692 CPUtime=1.62 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) R 23015 23018 3187 0 -1 4202560 1159 12439 0 0 144 11 5 2 20 0 17 0 7944245 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171584500455 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=14202692 CPUtime=1.64 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) R 23015 23018 3187 0 -1 4202560 2109 12439 0 0 145 12 5 2 20 0 17 0 7944245 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171576914006 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=14202692 CPUtime=1.64 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) R 23015 23018 3187 0 -1 4202560 4068 12439 0 0 145 12 5 2 20 0 17 0 7944245 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171190283528 140171584500455 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=14202692 CPUtime=1.66 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) S 23015 23018 3187 0 -1 1077944384 5194 12439 0 0 148 11 5 2 20 0 17 0 7944245 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=14202692 CPUtime=0.64 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 12765 12439 0 0 49 8 5 2 20 0 17 0 7944246 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171070325488 140171591882453 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 68 12439 0 0 0 0 5 2 20 0 17 0 7944246 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171069273072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 61 12439 0 0 0 0 5 2 20 0 17 0 7944247 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171068220544 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 122 12439 0 0 0 0 5 2 20 0 17 0 7944249 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23077] ppid=23015 vsize=14202692 CPUtime=6.41 cores=1,3,5,7
/proc/23018/task/23077/stat : 23077 (java) S 23015 23018 3187 0 -1 1077944384 32277 12439 0 0 629 5 5 2 20 0 17 0 7944249 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171066116720 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23078] ppid=23015 vsize=14202692 CPUtime=6.21 cores=1,3,5,7
/proc/23018/task/23078/stat : 23078 (java) S 23015 23018 3187 0 -1 1077944384 26299 12439 0 0 610 4 5 2 20 0 17 0 7944249 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171065063920 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23079] ppid=23015 vsize=14202692 CPUtime=2.32 cores=1,3,5,7
/proc/23018/task/23079/stat : 23079 (java) S 23015 23018 3187 0 -1 1077944384 21177 12439 0 0 221 4 5 2 20 0 17 0 7944249 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171064011632 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23080] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 17 0 7944250 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 308 12439 0 0 7 7 5 2 20 0 17 0 7944254 14543556608 467328 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 259.82
Current children cumulated vsize (KiB) 14202692

[startup+240.701 s]
/proc/loadavg: 1.87 1.84 1.78 3/214 23227
/proc/meminfo: memFree=25692392/32770624 swapFree=0/257204
[pid=23018] ppid=23015 vsize=14202692 CPUtime=260.14 cores=1,3,5,7
/proc/23018/stat : 23018 (java) S 23015 23018 3187 0 -1 1077944320 179624 12439 0 0 25894 113 5 2 20 0 17 0 7944220 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140732072725792 140171591872247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
/proc/23018/statm: 3550673 467348 3480 1 0 3539295 0
[pid=23018/tid=23068] ppid=23015 vsize=14202692 CPUtime=238.02 cores=1,3,5,7
/proc/23018/task/23068/stat : 23068 (java) S 23015 23018 3187 0 -1 1077944384 71623 12439 0 0 23754 41 5 2 20 0 17 0 7944244 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171596115120 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23069] ppid=23015 vsize=14202692 CPUtime=1.69 cores=1,3,5,7
/proc/23018/task/23069/stat : 23069 (java) S 23015 23018 3187 0 -1 1077944384 1159 12439 0 0 151 11 5 2 20 0 17 0 7944245 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171192388496 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23070] ppid=23015 vsize=14202692 CPUtime=1.71 cores=1,3,5,7
/proc/23018/task/23070/stat : 23070 (java) S 23015 23018 3187 0 -1 1077944384 2110 12439 0 0 152 12 5 2 20 0 17 0 7944245 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171191335696 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23071] ppid=23015 vsize=14202692 CPUtime=1.72 cores=1,3,5,7
/proc/23018/task/23071/stat : 23071 (java) S 23015 23018 3187 0 -1 1077944384 4069 12439 0 0 153 12 5 2 20 0 17 0 7944245 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171190283408 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23072] ppid=23015 vsize=14202692 CPUtime=1.73 cores=1,3,5,7
/proc/23018/task/23072/stat : 23072 (java) S 23015 23018 3187 0 -1 1077944384 5195 12439 0 0 155 11 5 2 20 0 17 0 7944245 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171189230608 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23073] ppid=23015 vsize=14202692 CPUtime=0.66 cores=1,3,5,7
/proc/23018/task/23073/stat : 23073 (java) S 23015 23018 3187 0 -1 1077944384 12765 12439 0 0 51 8 5 2 20 0 17 0 7944246 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171070326896 140171591883394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23074] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23074/stat : 23074 (java) S 23015 23018 3187 0 -1 1077944384 68 12439 0 0 0 0 5 2 20 0 17 0 7944246 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171069272992 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23075] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23075/stat : 23075 (java) S 23015 23018 3187 0 -1 1077944384 63 12439 0 0 0 0 5 2 20 0 17 0 7944247 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171068220544 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23076] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23076/stat : 23076 (java) S 23015 23018 3187 0 -1 1077944384 122 12439 0 0 0 0 5 2 20 0 17 0 7944249 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171067168848 140171591890843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23077] ppid=23015 vsize=14202692 CPUtime=6.41 cores=1,3,5,7
/proc/23018/task/23077/stat : 23077 (java) S 23015 23018 3187 0 -1 1077944384 32277 12439 0 0 629 5 5 2 20 0 17 0 7944249 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171066116720 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23078] ppid=23015 vsize=14202692 CPUtime=6.21 cores=1,3,5,7
/proc/23018/task/23078/stat : 23078 (java) S 23015 23018 3187 0 -1 1077944384 26299 12439 0 0 610 4 5 2 20 0 17 0 7944249 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171065063920 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23079] ppid=23015 vsize=14202692 CPUtime=2.32 cores=1,3,5,7
/proc/23018/task/23079/stat : 23079 (java) S 23015 23018 3187 0 -1 1077944384 21200 12439 0 0 221 4 5 2 20 0 17 0 7944249 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171064011632 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23080] ppid=23015 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/23018/task/23080/stat : 23080 (java) S 23015 23018 3187 0 -1 1077944384 3 12439 0 0 0 0 5 2 20 0 17 0 7944250 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171062959072 140171591882453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
[pid=23018/tid=23081] ppid=23015 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/23018/task/23081/stat : 23081 (java) S 23015 23018 3187 0 -1 1077944384 308 12439 0 0 7 7 5 2 20 0 17 0 7944254 14543556608 467348 18446744073709551615 4194304 4196468 140732072743248 140171061905840 140171591883394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28327936 140732072744910 140732072747695 140732072747695 140732072751055 0
Current children cumulated CPU time (s) 260.14
Current children cumulated vsize (KiB) 14202692

Child status: 143
Real time (s): 240.722
CPU time (s): 260.184
CPU user time (s): 259
CPU system time (s): 1.18398
CPU usage (%): 108.085
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259
system time used= 1.18398
maximum resident set size= 2301692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192129
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= 22046
involuntary context switches= 871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10353 second user time and 1.59082 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 09:38:15
IDJOB=4259393
IDBENCH=137600
IDSOLVER=2646
FILE ID=node135/4259393-1501660336
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61816 MiB

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

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

MD5SUM BENCH= 4bffeaf90ccad3cb01dd3bbb4a29e0a4
RANDOM SEED=530732760

node135.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.21
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.21
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.21
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.21
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:        27364944 kB
MemAvailable:   27653636 kB
Buffers:          137224 kB
Cached:           427612 kB
SwapCached:            0 kB
Active:          4714048 kB
Inactive:         265492 kB
Active(anon):    4414940 kB
Inactive(anon):     8592 kB
Active(file):     299108 kB
Inactive(file):   256900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24116 kB
Writeback:             4 kB
AnonPages:       4414220 kB
Mapped:            42612 kB
Shmem:              8960 kB
Slab:             123456 kB
SReclaimable:      97036 kB
SUnreclaim:        26420 kB
KernelStack:        3488 kB
PageTables:        13456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5377996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4169728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 09:42:16