Trace number 4259750

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) 266.923 241.464

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-050-15-0.xml
MD5SUMe561ffe312dc375c565e08e894fb6057
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 variables800
Number of constraints815
Number of domains1
Minimum domain size2860
Maximum domain size2860
Distribution of domain sizes[{"size":2860,"count":800}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":750}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":750},{"arity":50,"count":15}]
Number of extensional constraints0
Number of intensional constraints800
Distribution of constraint types[{"type":"intension","count":800},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

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

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

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.53 1.49 1.62 3/199 31794
/proc/meminfo: memFree=30443672/32770624 swapFree=0/239820
[pid=31794] ppid=31791 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31794/stat : 31794 (runsolver) D 31791 31794 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6303638 24240128 106 18446744073709551615 4194304 4338465 140736804276976 140736804274616 140298406789847 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 26701824 140736804278481 140736804278855 140736804278855 140736804282314 0
/proc/31794/statm: 5918 106 53 36 0 2156 0

[startup+0.100062 s]
/proc/loadavg: 1.53 1.49 1.62 3/199 31794
/proc/meminfo: memFree=30443672/32770624 swapFree=0/239820
[pid=31794] ppid=31791 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/31794/stat : 31794 (bash) S 31791 31794 3187 0 -1 4202496 683 1546 0 0 0 0 0 0 20 0 1 0 6303638 9736192 351 18446744073709551615 4194304 5098028 140723357970320 140723357967960 140073734097920 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 7544832 140723357979154 140723357979239 140723357979239 140723357982698 0
/proc/31794/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200266 s]
/proc/loadavg: 1.53 1.49 1.62 3/199 31794
/proc/meminfo: memFree=30443672/32770624 swapFree=0/239820
[pid=31794] ppid=31791 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/31794/stat : 31794 (bash) S 31791 31794 3187 0 -1 4202496 892 6493 0 0 0 0 0 1 20 0 1 0 6303638 9867264 377 18446744073709551615 4194304 5098028 140723357970320 140723357964328 140073734097920 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 7544832 140723357979154 140723357979239 140723357979239 140723357982698 0
/proc/31794/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300341 s]
/proc/loadavg: 1.53 1.49 1.62 3/199 31794
/proc/meminfo: memFree=30443672/32770624 swapFree=0/239820
[pid=31794] ppid=31791 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 5864 12729 0 0 5 1 4 3 20 0 14 0 6303638 14241083392 5533 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3476827 5533 2548 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.7003 s]
/proc/loadavg: 1.53 1.49 1.62 3/199 31794
/proc/meminfo: memFree=30443672/32770624 swapFree=0/239820
[pid=31794] ppid=31791 vsize=13974784 CPUtime=0.68 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 13968 12729 0 0 57 4 4 3 20 0 15 0 6303638 14310178816 14390 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3493696 14390 3111 1 0 3482973 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 1.53 1.49 1.62 3/214 31857
/proc/meminfo: memFree=30320076/32770624 swapFree=0/239820
[pid=31794] ppid=31791 vsize=13985408 CPUtime=1.88 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 27937 12729 0 0 171 10 4 3 20 0 15 0 6303638 14321057792 39649 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3496352 39649 3337 1 0 3485533 0
[pid=31794/tid=31844] ppid=31791 vsize=13985408 CPUtime=1.28 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) S 31791 31794 3187 0 -1 1077944384 22327 12729 0 0 115 6 4 3 20 0 15 0 6303661 14321057792 39649 18446744073709551615 4194304 4196468 140736589550272 140564290661216 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) S 31791 31794 3187 0 -1 1077944384 53 12729 0 0 0 0 4 3 20 0 15 0 6303662 14321057792 39649 18446744073709551615 4194304 4196468 140736589550272 140564220873616 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) S 31791 31794 3187 0 -1 1077944384 193 12729 0 0 0 0 4 3 20 0 15 0 6303662 14321057792 39649 18446744073709551615 4194304 4196468 140736589550272 140564219820816 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) S 31791 31794 3187 0 -1 1077944384 46 12729 0 0 0 0 4 3 20 0 15 0 6303662 14321057792 39649 18446744073709551615 4194304 4196468 140736589550272 140564218768528 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) S 31791 31794 3187 0 -1 1077944384 57 12729 0 0 0 0 4 3 20 0 15 0 6303662 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) R 31791 31794 3187 0 -1 4202560 68 12729 0 0 0 0 4 3 20 0 15 0 6303663 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563764953536 140564266633850 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 33 12729 0 0 0 0 4 3 20 0 15 0 6303663 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563763901216 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 21 12729 0 0 0 0 4 3 20 0 15 0 6303664 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563762848880 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31853] ppid=31791 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/31794/task/31853/stat : 31853 (java) S 31791 31794 3187 0 -1 1077944384 901 12729 0 0 16 0 4 3 20 0 15 0 6303666 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563760745072 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31854] ppid=31791 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/31794/task/31854/stat : 31854 (java) S 31791 31794 3187 0 -1 1077944384 729 12729 0 0 13 0 4 3 20 0 15 0 6303666 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563759692272 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31855] ppid=31791 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/31794/task/31855/stat : 31855 (java) S 31791 31794 3187 0 -1 1077944384 1351 12729 0 0 23 0 4 3 20 0 15 0 6303666 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563758636176 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31856] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31856/stat : 31856 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563757587424 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31857] ppid=31791 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31857/stat : 31857 (java) S 31791 31794 3187 0 -1 1077944384 10 12729 0 0 0 0 4 3 20 0 15 0 6303670 14321057792 39675 18446744073709551615 4194304 4196468 140736589550272 140563756534192 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408

[startup+3.10591 s]
/proc/loadavg: 1.57 1.50 1.62 3/214 31857
/proc/meminfo: memFree=30244600/32770624 swapFree=0/240160
[pid=31794] ppid=31791 vsize=13997884 CPUtime=6.02 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 43304 12729 0 0 581 14 4 3 20 0 15 0 6303638 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3499471 54507 3435 1 0 3488093 0
[pid=31794/tid=31844] ppid=31791 vsize=13997884 CPUtime=2.86 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) R 31791 31794 3187 0 -1 1077944384 27835 12729 0 0 271 8 4 3 20 0 15 0 6303661 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140564290667696 140564286449365 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) S 31791 31794 3187 0 -1 1077944384 58 12729 0 0 0 0 4 3 20 0 15 0 6303662 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140564220873616 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) S 31791 31794 3187 0 -1 1077944384 193 12729 0 0 1 0 4 3 20 0 15 0 6303662 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140564219820816 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) S 31791 31794 3187 0 -1 1077944384 46 12729 0 0 1 0 4 3 20 0 15 0 6303662 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140564218768528 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) S 31791 31794 3187 0 -1 1077944384 60 12729 0 0 1 0 4 3 20 0 15 0 6303662 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) S 31791 31794 3187 0 -1 1077944384 1539 12729 0 0 1 0 4 3 20 0 15 0 6303663 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563764955248 140564286450306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 55 12729 0 0 0 0 4 3 20 0 15 0 6303663 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563763901280 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 44 12729 0 0 0 0 4 3 20 0 15 0 6303664 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563762848896 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31853] ppid=31791 vsize=13997884 CPUtime=0.97 cores=0,2,4,6
/proc/31794/task/31853/stat : 31853 (java) R 31791 31794 3187 0 -1 4202560 2774 12729 0 0 90 0 4 3 20 0 15 0 6303666 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563760744880 140564286451094 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31854] ppid=31791 vsize=13997884 CPUtime=1.06 cores=0,2,4,6
/proc/31794/task/31854/stat : 31854 (java) R 31791 31794 3187 0 -1 4202560 2433 12729 0 0 98 1 4 3 20 0 15 0 6303666 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563759678208 140564270829013 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31855] ppid=31791 vsize=13997884 CPUtime=1.22 cores=0,2,4,6
/proc/31794/task/31855/stat : 31855 (java) R 31791 31794 3187 0 -1 4202560 6099 12729 0 0 114 1 4 3 20 0 15 0 6303666 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563758637000 140564265371406 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31856] ppid=31791 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31856/stat : 31856 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563757587424 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31857] ppid=31791 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31857/stat : 31857 (java) S 31791 31794 3187 0 -1 1077944384 12 12729 0 0 0 0 4 3 20 0 15 0 6303670 14333833216 54507 18446744073709551615 4194304 4196468 140736589550272 140563756534192 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 13997884

[startup+6.30094 s]
/proc/loadavg: 1.57 1.50 1.62 3/214 31857
/proc/meminfo: memFree=29874408/32770624 swapFree=0/240172
[pid=31794] ppid=31791 vsize=13999932 CPUtime=14.94 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 64944 12729 0 0 1448 39 4 3 20 0 15 0 6303638 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3499983 137035 3457 1 0 3488605 0
[pid=31794/tid=31844] ppid=31791 vsize=13999932 CPUtime=5.81 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) R 31791 31794 3187 0 -1 4202560 31196 12729 0 0 563 11 4 3 20 0 15 0 6303661 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140564290669760 140563907192796 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=13999932 CPUtime=0.3 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) S 31791 31794 3187 0 -1 1077944384 778 12729 0 0 18 5 4 3 20 0 15 0 6303662 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140564220873616 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=13999932 CPUtime=0.28 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) S 31791 31794 3187 0 -1 1077944384 357 12729 0 0 17 4 4 3 20 0 15 0 6303662 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140564219820816 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=13999932 CPUtime=0.29 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) S 31791 31794 3187 0 -1 1077944384 297 12729 0 0 18 4 4 3 20 0 15 0 6303662 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140564218768528 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=13999932 CPUtime=0.26 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) S 31791 31794 3187 0 -1 1077944384 346 12729 0 0 15 4 4 3 20 0 15 0 6303662 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) S 31791 31794 3187 0 -1 1077944384 1754 12729 0 0 2 0 4 3 20 0 15 0 6303663 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563764955248 140564286450306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 55 12729 0 0 0 0 4 3 20 0 15 0 6303663 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563763901280 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 44 12729 0 0 0 0 4 3 20 0 15 0 6303664 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563762848896 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31853] ppid=31791 vsize=13999932 CPUtime=3.18 cores=0,2,4,6
/proc/31794/task/31853/stat : 31853 (java) R 31791 31794 3187 0 -1 4202560 8615 12729 0 0 310 1 4 3 20 0 15 0 6303666 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563760745072 140564267845430 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31854] ppid=31791 vsize=13999932 CPUtime=3.4 cores=0,2,4,6
/proc/31794/task/31854/stat : 31854 (java) R 31791 31794 3187 0 -1 4202560 10093 12729 0 0 329 4 4 3 20 0 15 0 6303666 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563759678816 140564265684958 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31855] ppid=31791 vsize=13999932 CPUtime=1.8 cores=0,2,4,6
/proc/31794/task/31855/stat : 31855 (java) S 31791 31794 3187 0 -1 1077944384 9317 12729 0 0 171 2 4 3 20 0 15 0 6303666 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563758639984 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31856] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31856/stat : 31856 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563757587424 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31857] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31857/stat : 31857 (java) S 31791 31794 3187 0 -1 1077944384 23 12729 0 0 0 0 4 3 20 0 15 0 6303670 14335930368 137035 18446744073709551615 4194304 4196468 140736589550272 140563756534192 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
Current children cumulated CPU time (s) 14.94
Current children cumulated vsize (KiB) 13999932

[startup+12.7009 s]
/proc/loadavg: 1.71 1.53 1.63 6/214 31857
/proc/meminfo: memFree=28828124/32770624 swapFree=0/240172
[pid=31794] ppid=31791 vsize=13999932 CPUtime=25.7 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 81124 12729 0 0 2484 79 4 3 20 0 15 0 6303638 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3499983 381347 3457 1 0 3488605 0
[pid=31794/tid=31844] ppid=31791 vsize=13999932 CPUtime=11.6 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) R 31791 31794 3187 0 -1 4202560 33145 12729 0 0 1132 21 4 3 20 0 15 0 6303661 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140564290670704 140563895945263 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=13999932 CPUtime=0.8 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) S 31791 31794 3187 0 -1 1077944384 1148 12729 0 0 62 11 4 3 20 0 15 0 6303662 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140564220873616 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=13999932 CPUtime=0.8 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) S 31791 31794 3187 0 -1 1077944384 1393 12729 0 0 62 11 4 3 20 0 15 0 6303662 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140564219820816 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=13999932 CPUtime=0.82 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) S 31791 31794 3187 0 -1 1077944384 751 12729 0 0 64 11 4 3 20 0 15 0 6303662 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140564218768528 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=13999932 CPUtime=0.79 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) S 31791 31794 3187 0 -1 1077944384 716 12729 0 0 61 11 4 3 20 0 15 0 6303662 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=13999932 CPUtime=0.15 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) S 31791 31794 3187 0 -1 1077944384 5781 12729 0 0 8 0 4 3 20 0 15 0 6303663 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140563764955248 140564286450306 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 60 12729 0 0 0 0 4 3 20 0 15 0 6303663 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140563763901280 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 50 12729 0 0 0 0 4 3 20 0 15 0 6303664 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140563762848896 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14335930368 381347 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0

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

Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.91 1.70 1.67 3/214 32119
/proc/meminfo: memFree=26492564/32770624 swapFree=0/240388
[pid=31794] ppid=31791 vsize=14069564 CPUtime=261.66 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 135777 12729 0 0 26010 149 4 3 20 0 15 0 6303638 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3517391 986463 3474 1 0 3506013 0
[pid=31794/tid=31844] ppid=31791 vsize=14069564 CPUtime=238.42 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) R 31791 31794 3187 0 -1 4202560 63296 12729 0 0 23774 61 4 3 20 0 15 0 6303661 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140564290673104 140563912320470 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=14069564 CPUtime=1.22 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) S 31791 31794 3187 0 -1 1077944384 1758 12729 0 0 98 17 4 3 20 0 15 0 6303662 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140564220873616 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=14069564 CPUtime=1.2 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) S 31791 31794 3187 0 -1 1077944384 2646 12729 0 0 97 16 4 3 20 0 15 0 6303662 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140564219820816 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=14069564 CPUtime=1.23 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) S 31791 31794 3187 0 -1 1077944384 2583 12729 0 0 99 17 4 3 20 0 15 0 6303662 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140564218768528 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=14069564 CPUtime=1.2 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) S 31791 31794 3187 0 -1 1077944384 3661 12729 0 0 96 17 4 3 20 0 15 0 6303662 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) S 31791 31794 3187 0 -1 1077944384 7728 12729 0 0 12 1 4 3 20 0 15 0 6303663 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563764955248 140564286450306 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 61 12729 0 0 0 0 4 3 20 0 15 0 6303663 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563763901344 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 50 12729 0 0 0 0 4 3 20 0 15 0 6303664 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563762848896 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31853] ppid=31791 vsize=14069564 CPUtime=7.78 cores=0,2,4,6
/proc/31794/task/31853/stat : 31853 (java) S 31791 31794 3187 0 -1 1077944384 17317 12729 0 0 767 4 4 3 20 0 15 0 6303666 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563760745072 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31854] ppid=31791 vsize=14069564 CPUtime=8.11 cores=0,2,4,6
/proc/31794/task/31854/stat : 31854 (java) S 31791 31794 3187 0 -1 1077944384 19274 12729 0 0 799 5 4 3 20 0 15 0 6303666 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563759692272 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31855] ppid=31791 vsize=14069564 CPUtime=2.64 cores=0,2,4,6
/proc/31794/task/31855/stat : 31855 (java) S 31791 31794 3187 0 -1 1077944384 15098 12729 0 0 253 4 4 3 20 0 15 0 6303666 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563758639984 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31856] ppid=31791 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31856/stat : 31856 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 15 0 6303666 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563757587424 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31857] ppid=31791 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/31794/task/31857/stat : 31857 (java) S 31791 31794 3187 0 -1 1077944384 147 12729 0 0 7 7 4 3 20 0 15 0 6303670 14407233536 986463 18446744073709551615 4194304 4196468 140736589550272 140563756534192 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
Current children cumulated CPU time (s) 261.66
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 31794 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.801 s]
/proc/loadavg: 1.91 1.70 1.67 3/214 32119
/proc/meminfo: memFree=26492564/32770624 swapFree=0/240388
[pid=31794] ppid=31791 vsize=14202692 CPUtime=264.64 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 149623 12729 0 0 26307 150 4 3 20 0 17 0 6303638 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3550673 982753 3475 1 0 3539295 0
[pid=31794/tid=31844] ppid=31791 vsize=14202692 CPUtime=238.43 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) S 31791 31794 3187 0 -1 1077944384 64130 12729 0 0 23775 61 4 3 20 0 17 0 6303661 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140564290676704 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=14202692 CPUtime=1.95 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) R 31791 31794 3187 0 -1 4202560 1918 12729 0 0 171 17 4 3 20 0 17 0 6303662 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140564220873816 140564271136751 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=14202692 CPUtime=1.93 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) R 31791 31794 3187 0 -1 4202560 2791 12729 0 0 169 17 4 3 20 0 17 0 6303662 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140564219821016 140564271136911 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=14202692 CPUtime=1.97 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) R 31791 31794 3187 0 -1 4202560 2720 12729 0 0 173 17 4 3 20 0 17 0 6303662 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140564218768528 140564271390152 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=14202692 CPUtime=1.92 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) R 31791 31794 3187 0 -1 4202560 3872 12729 0 0 168 17 4 3 20 0 17 0 6303662 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564271424456 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=14202692 CPUtime=0.24 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) S 31791 31794 3187 0 -1 1077944384 19271 12729 0 0 16 1 4 3 20 0 17 0 6303663 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563764953648 140564286449365 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 62 12729 0 0 0 0 4 3 20 0 17 0 6303663 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563763901248 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 50 12729 0 0 0 0 4 3 20 0 17 0 6303664 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563762848896 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 237 12729 0 0 0 0 4 3 20 0 17 0 6303666 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31853] ppid=31791 vsize=14202692 CPUtime=7.78 cores=0,2,4,6
/proc/31794/task/31853/stat : 31853 (java) S 31791 31794 3187 0 -1 1077944384 17317 12729 0 0 767 4 4 3 20 0 17 0 6303666 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563760745072 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31854] ppid=31791 vsize=14202692 CPUtime=8.11 cores=0,2,4,6
/proc/31794/task/31854/stat : 31854 (java) S 31791 31794 3187 0 -1 1077944384 19482 12729 0 0 799 5 4 3 20 0 17 0 6303666 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563759677472 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31855] ppid=31791 vsize=14202692 CPUtime=2.64 cores=0,2,4,6
/proc/31794/task/31855/stat : 31855 (java) S 31791 31794 3187 0 -1 1077944384 15098 12729 0 0 253 4 4 3 20 0 17 0 6303666 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563758639984 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31856] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31856/stat : 31856 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 17 0 6303666 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563757587424 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31857] ppid=31791 vsize=14202692 CPUtime=0.21 cores=0,2,4,6
/proc/31794/task/31857/stat : 31857 (java) S 31791 31794 3187 0 -1 1077944384 147 12729 0 0 7 7 4 3 20 0 17 0 6303670 14543556608 982753 18446744073709551615 4194304 4196468 140736589550272 140563756534192 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
Current children cumulated CPU time (s) 264.64
Current children cumulated vsize (KiB) 14202692

[startup+241.211 s]
/proc/loadavg: 1.91 1.70 1.67 6/216 32121
/proc/meminfo: memFree=26505312/32770624 swapFree=0/240392
[pid=31794] ppid=31791 vsize=14202692 CPUtime=266.09 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 149825 12729 0 0 26452 150 4 3 20 0 17 0 6303638 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3550673 978822 3475 1 0 3539295 0
[pid=31794/tid=31844] ppid=31791 vsize=14202692 CPUtime=238.43 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) S 31791 31794 3187 0 -1 1077944384 64130 12729 0 0 23775 61 4 3 20 0 17 0 6303661 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564290676704 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=14202692 CPUtime=2.3 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) R 31791 31794 3187 0 -1 4202560 1935 12729 0 0 206 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564220873504 140564271435583 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=14202692 CPUtime=2.28 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) R 31791 31794 3187 0 -1 4202560 2791 12729 0 0 204 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564219821016 140564268048935 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=14202692 CPUtime=2.31 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) R 31791 31794 3187 0 -1 4202560 2724 12729 0 0 207 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564218768528 140564268048988 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=14202692 CPUtime=2.27 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) R 31791 31794 3187 0 -1 4202560 3872 12729 0 0 203 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564271435583 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=14202692 CPUtime=0.29 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) S 31791 31794 3187 0 -1 1077944384 19450 12729 0 0 21 1 4 3 20 0 17 0 6303663 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563764953872 140564286449365 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 63 12729 0 0 0 0 4 3 20 0 17 0 6303663 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563763901248 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 50 12729 0 0 0 0 4 3 20 0 17 0 6303664 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563762848896 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 237 12729 0 0 0 0 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31853] ppid=31791 vsize=14202692 CPUtime=7.78 cores=0,2,4,6
/proc/31794/task/31853/stat : 31853 (java) S 31791 31794 3187 0 -1 1077944384 17317 12729 0 0 767 4 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563760745072 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31854] ppid=31791 vsize=14202692 CPUtime=8.11 cores=0,2,4,6
/proc/31794/task/31854/stat : 31854 (java) S 31791 31794 3187 0 -1 1077944384 19482 12729 0 0 799 5 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563759676800 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31855] ppid=31791 vsize=14202692 CPUtime=2.64 cores=0,2,4,6
/proc/31794/task/31855/stat : 31855 (java) S 31791 31794 3187 0 -1 1077944384 15098 12729 0 0 253 4 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563758639984 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31856] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31856/stat : 31856 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563757587424 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31857] ppid=31791 vsize=14202692 CPUtime=0.21 cores=0,2,4,6
/proc/31794/task/31857/stat : 31857 (java) S 31791 31794 3187 0 -1 1077944384 147 12729 0 0 7 7 4 3 20 0 17 0 6303670 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563756534192 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=32120] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/32120/stat : 32120 (java) S 31791 31794 3187 0 -1 1077944384 346 12729 0 0 0 0 4 3 20 0 17 0 6327639 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563657420784 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=32121] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/32121/stat : 32121 (java) S 31791 31794 3187 0 -1 1077944384 27 12729 0 0 0 0 4 3 20 0 17 0 6327639 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563656369216 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
Current children cumulated CPU time (s) 266.09
Current children cumulated vsize (KiB) 14202692

[startup+241.401 s]
/proc/loadavg: 1.91 1.70 1.67 6/216 32121
/proc/meminfo: memFree=26505312/32770624 swapFree=0/240392
[pid=31794] ppid=31791 vsize=14202692 CPUtime=266.79 cores=0,2,4,6
/proc/31794/stat : 31794 (java) S 31791 31794 3187 0 -1 1077944320 149836 12729 0 0 26522 150 4 3 20 0 17 0 6303638 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140736589532816 140564286439159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
/proc/31794/statm: 3550673 978822 3475 1 0 3539295 0
[pid=31794/tid=31844] ppid=31791 vsize=14202692 CPUtime=238.43 cores=0,2,4,6
/proc/31794/task/31844/stat : 31844 (java) S 31791 31794 3187 0 -1 1077944384 64130 12729 0 0 23775 61 4 3 20 0 17 0 6303661 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564290676704 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31845] ppid=31791 vsize=14202692 CPUtime=2.47 cores=0,2,4,6
/proc/31794/task/31845/stat : 31845 (java) R 31791 31794 3187 0 -1 4202560 1935 12729 0 0 223 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564220873616 140564268049004 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31846] ppid=31791 vsize=14202692 CPUtime=2.45 cores=0,2,4,6
/proc/31794/task/31846/stat : 31846 (java) R 31791 31794 3187 0 -1 4202560 2791 12729 0 0 221 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564219820704 140564270896627 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31847] ppid=31791 vsize=14202692 CPUtime=2.48 cores=0,2,4,6
/proc/31794/task/31847/stat : 31847 (java) R 31791 31794 3187 0 -1 4202560 2726 12729 0 0 224 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564218768728 140564271435563 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31848] ppid=31791 vsize=14202692 CPUtime=2.44 cores=0,2,4,6
/proc/31794/task/31848/stat : 31848 (java) R 31791 31794 3187 0 -1 4202560 3872 12729 0 0 220 17 4 3 20 0 17 0 6303662 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140564217715728 140564268048984 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31849] ppid=31791 vsize=14202692 CPUtime=0.31 cores=0,2,4,6
/proc/31794/task/31849/stat : 31849 (java) S 31791 31794 3187 0 -1 1077944384 19458 12729 0 0 23 1 4 3 20 0 17 0 6303663 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563764953872 140564286449365 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31850] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31850/stat : 31850 (java) S 31791 31794 3187 0 -1 1077944384 63 12729 0 0 0 0 4 3 20 0 17 0 6303663 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563763901248 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31851] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31851/stat : 31851 (java) S 31791 31794 3187 0 -1 1077944384 50 12729 0 0 0 0 4 3 20 0 17 0 6303664 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563762848896 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31852] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31852/stat : 31852 (java) S 31791 31794 3187 0 -1 1077944384 237 12729 0 0 0 0 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563761797200 140564286457755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31853] ppid=31791 vsize=14202692 CPUtime=7.78 cores=0,2,4,6
/proc/31794/task/31853/stat : 31853 (java) S 31791 31794 3187 0 -1 1077944384 17317 12729 0 0 767 4 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563760745072 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31854] ppid=31791 vsize=14202692 CPUtime=8.11 cores=0,2,4,6
/proc/31794/task/31854/stat : 31854 (java) S 31791 31794 3187 0 -1 1077944384 19482 12729 0 0 799 5 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563759676800 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31855] ppid=31791 vsize=14202692 CPUtime=2.64 cores=0,2,4,6
/proc/31794/task/31855/stat : 31855 (java) S 31791 31794 3187 0 -1 1077944384 15098 12729 0 0 253 4 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563758639984 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31856] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/31856/stat : 31856 (java) S 31791 31794 3187 0 -1 1077944384 3 12729 0 0 0 0 4 3 20 0 17 0 6303666 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563757587424 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=31857] ppid=31791 vsize=14202692 CPUtime=0.21 cores=0,2,4,6
/proc/31794/task/31857/stat : 31857 (java) S 31791 31794 3187 0 -1 1077944384 147 12729 0 0 7 7 4 3 20 0 17 0 6303670 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563756534192 140564286450306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=32120] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/32120/stat : 32120 (java) S 31791 31794 3187 0 -1 1077944384 346 12729 0 0 0 0 4 3 20 0 17 0 6327639 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563657420784 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
[pid=31794/tid=32121] ppid=31791 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/31794/task/32121/stat : 32121 (java) S 31791 31794 3187 0 -1 1077944384 28 12729 0 0 0 0 4 3 20 0 17 0 6327639 14543556608 978822 18446744073709551615 4194304 4196468 140736589550272 140563656369216 140564286449365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34119680 140736589551566 140736589554351 140736589554351 140736589557711 0
Current children cumulated CPU time (s) 266.79
Current children cumulated vsize (KiB) 14202692

Child status: 143
Real time (s): 241.464
CPU time (s): 266.923
CPU user time (s): 265.348
CPU system time (s): 1.57432
CPU usage (%): 110.543
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.348
system time used= 1.57432
maximum resident set size= 4110600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163473
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= 15893
involuntary context switches= 529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06031 second user time and 1.56498 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 05:04:50
IDJOB=4259750
IDBENCH=115796
IDSOLVER=2646
FILE ID=node135/4259750-1501643930
RUNJOBID= node135-1501639717-27966
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-050-15-0.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259750-1501643930/watcher-4259750-1501643930 -o /tmp/evaluation-result-4259750-1501643930/solver-4259750-1501643930 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300  bin/concrete HOME/instance-4259750-1501643930.xml

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

MD5SUM BENCH= e561ffe312dc375c565e08e894fb6057
RANDOM SEED=1219389934

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:        30444216 kB
MemAvailable:   30701864 kB
Buffers:          117524 kB
Cached:           417768 kB
SwapCached:            0 kB
Active:          1661536 kB
Inactive:         248412 kB
Active(anon):    1375372 kB
Inactive(anon):     8592 kB
Active(file):     286164 kB
Inactive(file):   239820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24176 kB
Writeback:             4 kB
AnonPages:       1375200 kB
Mapped:            42284 kB
Shmem:              8960 kB
Slab:             121024 kB
SReclaimable:      95000 kB
SUnreclaim:        26024 kB
KernelStack:        3488 kB
PageTables:         7452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2256936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1142784 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 05:08:51