Trace number 4259745

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) 257.625 240.573

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-20-7.xml
MD5SUM5ac81d61620ff7de9755053b8ee3703d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1640
Best CPU time to get the best result obtained on this benchmark251.922
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints440
Number of domains1
Minimum domain size1726
Maximum domain size1726
Distribution of domain sizes[{"size":1726,"count":420}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":400}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":20,"count":20}]
Number of extensional constraints0
Number of intensional constraints420
Distribution of constraint types[{"type":"intension","count":420},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

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

pid=29439
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.79 1.87 1.77 2/176 29443
/proc/meminfo: memFree=31104804/32770624 swapFree=0/932784
[pid=29443] ppid=29439 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29443/stat : 29443 (runsolver) D 29439 29443 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12977948 24240128 107 18446744073709551615 4194304 4338465 140735557952144 140735557949784 140191046324951 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32858112 140735557955792 140735557956166 140735557956166 140735557959626 0
/proc/29443/statm: 5918 107 54 36 0 2156 0

[startup+0.100114 s]
/proc/loadavg: 1.79 1.87 1.77 2/176 29443
/proc/meminfo: memFree=31104804/32770624 swapFree=0/932784
[pid=29443] ppid=29439 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/29443/stat : 29443 (bash) S 29439 29443 5678 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 12977948 9736192 352 18446744073709551615 4194304 5098028 140725398644320 140725398641960 140345318743040 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 20774912 140725398647313 140725398647398 140725398647398 140725398650858 0
/proc/29443/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200295 s]
/proc/loadavg: 1.79 1.87 1.77 2/176 29443
/proc/meminfo: memFree=31104804/32770624 swapFree=0/932784
[pid=29443] ppid=29439 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/29443/stat : 29443 (bash) S 29439 29443 5678 0 -1 4202496 896 6482 0 1 0 0 0 1 20 0 1 0 12977948 9867264 372 18446744073709551615 4194304 5098028 140725398644320 140725398638328 140345318743040 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 20774912 140725398647313 140725398647398 140725398647398 140725398650858 0
/proc/29443/statm: 2409 372 292 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300357 s]
/proc/loadavg: 1.79 1.87 1.77 2/176 29443
/proc/meminfo: memFree=31104804/32770624 swapFree=0/932784
[pid=29443] ppid=29439 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 5685 12356 0 1 5 1 5 3 20 0 14 0 12977948 14241083392 5360 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3476827 5360 2552 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.702432 s]
/proc/loadavg: 1.79 1.87 1.77 2/176 29443
/proc/meminfo: memFree=31104804/32770624 swapFree=0/932784
[pid=29443] ppid=29439 vsize=13974784 CPUtime=0.66 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 13754 12356 0 1 54 4 5 3 20 0 15 0 12977948 14310178816 14101 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3493696 14101 3087 1 0 3482973 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 13974784

[startup+1.50064 s]
/proc/loadavg: 1.79 1.87 1.77 3/209 29572
/proc/meminfo: memFree=30927292/32770624 swapFree=0/936164
[pid=29443] ppid=29439 vsize=13985408 CPUtime=1.78 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 29746 12356 0 1 162 8 5 3 20 0 15 0 12977948 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3496352 33799 3332 1 0 3485533 0
[pid=29443/tid=29541] ppid=29439 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) R 29439 29443 5678 0 -1 4202560 24500 12356 0 1 112 6 5 3 20 0 15 0 12977971 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140371426075464 140371405923678 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) S 29439 29443 5678 0 -1 1077944384 1 12356 0 1 0 0 5 3 20 0 15 0 12977972 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140371356277520 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) S 29439 29443 5678 0 -1 1077944384 1 12356 0 1 0 0 5 3 20 0 15 0 12977972 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140371355224976 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) S 29439 29443 5678 0 -1 1077944384 1 12356 0 1 0 0 5 3 20 0 15 0 12977972 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) S 29439 29443 5678 0 -1 1077944384 2 12356 0 1 0 0 5 3 20 0 15 0 12977972 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140371353119888 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 6 12356 0 1 0 0 5 3 20 0 15 0 12977973 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370900396016 140371421854338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 33 12356 0 1 0 0 5 3 20 0 15 0 12977974 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370899342240 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 21 12356 0 1 0 0 5 3 20 0 15 0 12977974 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370898289648 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29555] ppid=29439 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/29443/task/29555/stat : 29555 (java) S 29439 29443 5678 0 -1 1077944384 820 12356 0 1 11 0 5 3 20 0 15 0 12977977 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370896185840 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29556] ppid=29439 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/29443/task/29556/stat : 29556 (java) S 29439 29443 5678 0 -1 1077944384 844 12356 0 1 16 0 5 3 20 0 15 0 12977977 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370895133296 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29557] ppid=29439 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/29443/task/29557/stat : 29557 (java) S 29439 29443 5678 0 -1 1077944384 1351 12356 0 1 21 0 5 3 20 0 15 0 12977977 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370894080752 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29558] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29558/stat : 29558 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370893028448 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29566] ppid=29439 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29566/stat : 29566 (java) S 29439 29443 5678 0 -1 1077944384 7 12356 0 1 0 0 5 3 20 0 15 0 12977981 14321057792 33799 18446744073709551615 4194304 4196468 140736298447488 140370891974960 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 13985408

[startup+3.10127 s]
/proc/loadavg: 1.80 1.87 1.77 7/209 29572
/proc/meminfo: memFree=30763124/32770624 swapFree=0/935256
[pid=29443] ppid=29439 vsize=13997884 CPUtime=5.92 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 45379 12356 0 1 569 15 5 3 20 0 15 0 12977948 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3499471 53773 3440 1 0 3488093 0
[pid=29443/tid=29541] ppid=29439 vsize=13997884 CPUtime=2.82 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) R 29439 29443 5678 0 -1 4202560 30917 12356 0 1 265 9 5 3 20 0 15 0 12977971 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140371426075200 140371023762109 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) S 29439 29443 5678 0 -1 1077944384 40 12356 0 1 0 0 5 3 20 0 15 0 12977972 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140371356277520 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) S 29439 29443 5678 0 -1 1077944384 58 12356 0 1 1 0 5 3 20 0 15 0 12977972 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140371355224976 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) S 29439 29443 5678 0 -1 1077944384 56 12356 0 1 1 0 5 3 20 0 15 0 12977972 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) S 29439 29443 5678 0 -1 1077944384 219 12356 0 1 0 0 5 3 20 0 15 0 12977972 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140371353119888 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 1840 12356 0 1 1 0 5 3 20 0 15 0 12977973 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370900396016 140371421854338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 56 12356 0 1 0 0 5 3 20 0 15 0 12977974 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370899342240 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 43 12356 0 1 0 0 5 3 20 0 15 0 12977974 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370898289648 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29555] ppid=29439 vsize=13997884 CPUtime=1.11 cores=1,3,5,7
/proc/29443/task/29555/stat : 29555 (java) R 29439 29443 5678 0 -1 4202560 3477 12356 0 1 103 0 5 3 20 0 15 0 12977977 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370896167552 140371405339979 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29556] ppid=29439 vsize=13997884 CPUtime=0.94 cores=1,3,5,7
/proc/29443/task/29556/stat : 29556 (java) R 29439 29443 5678 0 -1 4202560 2072 12356 0 1 85 1 5 3 20 0 15 0 12977977 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370895125248 140371405192433 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29557] ppid=29439 vsize=13997884 CPUtime=1.19 cores=1,3,5,7
/proc/29443/task/29557/stat : 29557 (java) S 29439 29443 5678 0 -1 1077944384 4433 12356 0 1 109 2 5 3 20 0 15 0 12977977 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370894080752 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29558] ppid=29439 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29558/stat : 29558 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370893028448 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29566] ppid=29439 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29566/stat : 29566 (java) S 29439 29443 5678 0 -1 1077944384 8 12356 0 1 0 0 5 3 20 0 15 0 12977981 14333833216 53773 18446744073709551615 4194304 4196468 140736298447488 140370891974960 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 13997884

[startup+6.30148 s]
/proc/loadavg: 1.80 1.87 1.77 6/209 29572
/proc/meminfo: memFree=30400704/32770624 swapFree=0/935236
[pid=29443] ppid=29439 vsize=13999932 CPUtime=15.02 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 69872 12356 0 1 1460 34 5 3 20 0 15 0 12977948 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3499983 107351 3457 1 0 3488605 0
[pid=29443/tid=29541] ppid=29439 vsize=13999932 CPUtime=5.78 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) R 29439 29443 5678 0 -1 4202560 36404 12356 0 1 559 11 5 3 20 0 15 0 12977971 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140371426072744 140371042226425 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=13999932 CPUtime=0.25 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) S 29439 29443 5678 0 -1 1077944384 270 12356 0 1 14 3 5 3 20 0 15 0 12977972 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140371356277520 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=13999932 CPUtime=0.26 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) S 29439 29443 5678 0 -1 1077944384 311 12356 0 1 15 3 5 3 20 0 15 0 12977972 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140371355224976 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=13999932 CPUtime=0.26 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) S 29439 29443 5678 0 -1 1077944384 1282 12356 0 1 15 3 5 3 20 0 15 0 12977972 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=13999932 CPUtime=0.25 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) S 29439 29443 5678 0 -1 1077944384 430 12356 0 1 14 3 5 3 20 0 15 0 12977972 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140371353119888 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 8664 12356 0 1 4 1 5 3 20 0 15 0 12977973 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370900396016 140371421854338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 59 12356 0 1 0 0 5 3 20 0 15 0 12977974 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370899342304 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 47 12356 0 1 0 0 5 3 20 0 15 0 12977974 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370898289664 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29555] ppid=29439 vsize=13999932 CPUtime=3.54 cores=1,3,5,7
/proc/29443/task/29555/stat : 29555 (java) R 29439 29443 5678 0 -1 4202560 8481 12356 0 1 345 1 5 3 20 0 15 0 12977977 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370896185760 140371406236883 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29556] ppid=29439 vsize=13999932 CPUtime=3.33 cores=1,3,5,7
/proc/29443/task/29556/stat : 29556 (java) R 29439 29443 5678 0 -1 4202560 5370 12356 0 1 324 1 5 3 20 0 15 0 12977977 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370895133296 140371403364043 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29557] ppid=29439 vsize=13999932 CPUtime=1.76 cores=1,3,5,7
/proc/29443/task/29557/stat : 29557 (java) S 29439 29443 5678 0 -1 1077944384 6238 12356 0 1 165 3 5 3 20 0 15 0 12977977 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370894080752 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29558] ppid=29439 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29558/stat : 29558 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370893028448 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29566] ppid=29439 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29566/stat : 29566 (java) S 29439 29443 5678 0 -1 1077944384 156 12356 0 1 0 0 5 3 20 0 15 0 12977981 14335930368 107351 18446744073709551615 4194304 4196468 140736298447488 140370891974960 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
Current children cumulated CPU time (s) 15.02
Current children cumulated vsize (KiB) 13999932

[startup+12.7095 s]
/proc/loadavg: 2.21 1.96 1.80 4/209 29572
/proc/meminfo: memFree=29449576/32770624 swapFree=0/935244
[pid=29443] ppid=29439 vsize=14069564 CPUtime=26.16 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 101986 12356 0 1 2555 53 5 3 20 0 15 0 12977948 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3517391 241008 3474 1 0 3506013 0
[pid=29443/tid=29541] ppid=29439 vsize=14069564 CPUtime=12.1 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) R 29439 29443 5678 0 -1 4202560 52667 12356 0 1 1184 18 5 3 20 0 15 0 12977971 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140371426074184 140371026836994 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) S 29439 29443 5678 0 -1 1077944384 1183 12356 0 1 19 5 5 3 20 0 15 0 12977972 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140371356277520 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) S 29439 29443 5678 0 -1 1077944384 381 12356 0 1 19 5 5 3 20 0 15 0 12977972 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140371355224976 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) S 29439 29443 5678 0 -1 1077944384 1394 12356 0 1 20 5 5 3 20 0 15 0 12977972 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) S 29439 29443 5678 0 -1 1077944384 536 12356 0 1 19 5 5 3 20 0 15 0 12977972 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140371353119888 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 8983 12356 0 1 5 1 5 3 20 0 15 0 12977973 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140370900396016 140371421854338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 59 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140370899342304 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 47 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140370898289664 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14407233536 241008 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0

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

/proc/29443/statm: 3517391 472578 3475 1 0 3506013 0
[pid=29443/tid=29541] ppid=29439 vsize=14069564 CPUtime=161.16 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) R 29439 29443 5678 0 -1 4202560 62151 12356 0 1 16072 36 5 3 20 0 15 0 12977971 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140371426077408 140371043242367 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=14069564 CPUtime=0.63 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) S 29439 29443 5678 0 -1 1077944384 2233 12356 0 1 47 8 5 3 20 0 15 0 12977972 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140371356277520 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=14069564 CPUtime=0.63 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) S 29439 29443 5678 0 -1 1077944384 631 12356 0 1 47 8 5 3 20 0 15 0 12977972 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140371355224976 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=14069564 CPUtime=0.63 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) S 29439 29443 5678 0 -1 1077944384 1564 12356 0 1 47 8 5 3 20 0 15 0 12977972 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=14069564 CPUtime=0.62 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) S 29439 29443 5678 0 -1 1077944384 3249 12356 0 1 47 7 5 3 20 0 15 0 12977972 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140371353119888 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 10279 12356 0 1 20 4 5 3 20 0 15 0 12977973 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370900396016 140371421854338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 59 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370899342304 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 47 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370898289664 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29555] ppid=29439 vsize=14069564 CPUtime=5.48 cores=1,3,5,7
/proc/29443/task/29555/stat : 29555 (java) S 29439 29443 5678 0 -1 1077944384 15776 12356 0 1 538 2 5 3 20 0 15 0 12977977 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370896185840 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29556] ppid=29439 vsize=14069564 CPUtime=5.9 cores=1,3,5,7
/proc/29443/task/29556/stat : 29556 (java) S 29439 29443 5678 0 -1 1077944384 18525 12356 0 1 579 3 5 3 20 0 15 0 12977977 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370895133296 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29557] ppid=29439 vsize=14069564 CPUtime=2.33 cores=1,3,5,7
/proc/29443/task/29557/stat : 29557 (java) S 29439 29443 5678 0 -1 1077944384 12531 12356 0 1 220 5 5 3 20 0 15 0 12977977 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370894080752 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29558] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29558/stat : 29558 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370893028448 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29566] ppid=29439 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/29443/task/29566/stat : 29566 (java) S 29439 29443 5678 0 -1 1077944384 794 12356 0 1 3 5 5 3 20 0 15 0 12977981 14407233536 472578 18446744073709551615 4194304 4196468 140736298447488 140370891974960 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
Current children cumulated CPU time (s) 177.26
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.41 1.68 1.72 3/214 29623
/proc/meminfo: memFree=27308352/32770624 swapFree=0/935396
[pid=29443] ppid=29439 vsize=14069564 CPUtime=238.16 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 139116 12356 0 1 23716 92 5 3 20 0 15 0 12977948 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3517391 470012 3475 1 0 3506013 0
[pid=29443/tid=29541] ppid=29439 vsize=14069564 CPUtime=220.67 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) R 29439 29443 5678 0 -1 4202560 63815 12356 0 1 22022 37 5 3 20 0 15 0 12977971 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371426077584 140371024749664 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) S 29439 29443 5678 0 -1 1077944384 3757 12356 0 1 75 8 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371356277520 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=14069564 CPUtime=0.92 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) S 29439 29443 5678 0 -1 1077944384 853 12356 0 1 75 9 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371355224976 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=14069564 CPUtime=0.92 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) S 29439 29443 5678 0 -1 1077944384 3380 12356 0 1 75 9 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) S 29439 29443 5678 0 -1 1077944384 3444 12356 0 1 75 8 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371353119888 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=14069564 CPUtime=0.5 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 10922 12356 0 1 37 5 5 3 20 0 15 0 12977973 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370900396016 140371421854338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 59 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370899342304 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 47 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370898289664 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29555] ppid=29439 vsize=14069564 CPUtime=5.48 cores=1,3,5,7
/proc/29443/task/29555/stat : 29555 (java) S 29439 29443 5678 0 -1 1077944384 15781 12356 0 1 538 2 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370896185840 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29556] ppid=29439 vsize=14069564 CPUtime=5.93 cores=1,3,5,7
/proc/29443/task/29556/stat : 29556 (java) S 29439 29443 5678 0 -1 1077944384 20157 12356 0 1 582 3 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370895133296 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29557] ppid=29439 vsize=14069564 CPUtime=2.33 cores=1,3,5,7
/proc/29443/task/29557/stat : 29557 (java) S 29439 29443 5678 0 -1 1077944384 13910 12356 0 1 220 5 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370894080752 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29558] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29558/stat : 29558 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370893028448 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29566] ppid=29439 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/29443/task/29566/stat : 29566 (java) S 29439 29443 5678 0 -1 1077944384 831 12356 0 1 5 7 5 3 20 0 15 0 12977981 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370891974960 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
Current children cumulated CPU time (s) 238.16
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.56 1.70 1.73 3/214 29623
/proc/meminfo: memFree=27315040/32770624 swapFree=0/935412
[pid=29443] ppid=29439 vsize=14069564 CPUtime=256.13 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 142000 12356 0 1 25511 94 5 3 20 0 15 0 12977948 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3517391 470012 3475 1 0 3506013 0
[pid=29443/tid=29541] ppid=29439 vsize=14069564 CPUtime=238.21 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) R 29439 29443 5678 0 -1 4202560 64510 12356 0 1 23776 37 5 3 20 0 15 0 12977971 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371426077408 140371026837421 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=14069564 CPUtime=1.01 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) S 29439 29443 5678 0 -1 1077944384 5242 12356 0 1 84 9 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371356277520 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=14069564 CPUtime=1.01 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) S 29439 29443 5678 0 -1 1077944384 885 12356 0 1 84 9 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371355224976 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=14069564 CPUtime=1.01 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) S 29439 29443 5678 0 -1 1077944384 3481 12356 0 1 84 9 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=14069564 CPUtime=1 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) S 29439 29443 5678 0 -1 1077944384 3665 12356 0 1 84 8 5 3 20 0 15 0 12977972 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140371353119888 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=14069564 CPUtime=0.55 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 11235 12356 0 1 42 5 5 3 20 0 15 0 12977973 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370900396016 140371421854338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 59 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370899342304 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 47 12356 0 1 0 0 5 3 20 0 15 0 12977974 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370898289664 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29555] ppid=29439 vsize=14069564 CPUtime=5.48 cores=1,3,5,7
/proc/29443/task/29555/stat : 29555 (java) S 29439 29443 5678 0 -1 1077944384 15784 12356 0 1 538 2 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370896185840 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29556] ppid=29439 vsize=14069564 CPUtime=5.93 cores=1,3,5,7
/proc/29443/task/29556/stat : 29556 (java) S 29439 29443 5678 0 -1 1077944384 20159 12356 0 1 582 3 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370895133296 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29557] ppid=29439 vsize=14069564 CPUtime=2.33 cores=1,3,5,7
/proc/29443/task/29557/stat : 29557 (java) S 29439 29443 5678 0 -1 1077944384 13912 12356 0 1 220 5 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370894080752 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29558] ppid=29439 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29558/stat : 29558 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 15 0 12977977 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370893028448 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29566] ppid=29439 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/29443/task/29566/stat : 29566 (java) S 29439 29443 5678 0 -1 1077944384 861 12356 0 1 5 8 5 3 20 0 15 0 12977981 14407233536 470012 18446744073709551615 4194304 4196468 140736298447488 140370891974960 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
Current children cumulated CPU time (s) 256.13
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 29443 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.406 s]
/proc/loadavg: 1.56 1.70 1.73 3/214 29623
/proc/meminfo: memFree=27315040/32770624 swapFree=0/935412
[pid=29443] ppid=29439 vsize=14202692 CPUtime=257.44 cores=1,3,5,7
/proc/29443/stat : 29443 (java) S 29439 29443 5678 0 -1 1077944320 155636 12356 0 1 25640 96 5 3 20 0 17 0 12977948 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140736298430032 140371421843191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
/proc/29443/statm: 3550673 471815 3475 1 0 3539295 0
[pid=29443/tid=29541] ppid=29439 vsize=14202692 CPUtime=238.22 cores=1,3,5,7
/proc/29443/task/29541/stat : 29541 (java) S 29439 29443 5678 0 -1 1077944384 65663 12356 0 1 23777 37 5 3 20 0 17 0 12977971 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140371426080864 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29542] ppid=29439 vsize=14202692 CPUtime=1.31 cores=1,3,5,7
/proc/29443/task/29542/stat : 29542 (java) R 29439 29443 5678 0 -1 4202560 5310 12356 0 1 114 9 5 3 20 0 17 0 12977972 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140371356277720 140371403439695 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29543] ppid=29439 vsize=14202692 CPUtime=1.32 cores=1,3,5,7
/proc/29443/task/29543/stat : 29543 (java) R 29439 29443 5678 0 -1 4202560 982 12356 0 1 115 9 5 3 20 0 17 0 12977972 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140371355225176 140371403439804 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29544] ppid=29439 vsize=14202692 CPUtime=1.31 cores=1,3,5,7
/proc/29443/task/29544/stat : 29544 (java) R 29439 29443 5678 0 -1 4202560 3554 12356 0 1 114 9 5 3 20 0 17 0 12977972 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140371354172432 140371403439185 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29545] ppid=29439 vsize=14202692 CPUtime=1.3 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) R 29439 29443 5678 0 -1 4202560 3765 12356 0 1 114 8 5 3 20 0 17 0 12977972 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140371353120088 140371403440202 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29546] ppid=29439 vsize=14202692 CPUtime=0.65 cores=1,3,5,7
/proc/29443/task/29546/stat : 29546 (java) S 29439 29443 5678 0 -1 1077944384 22654 12356 0 1 50 7 5 3 20 0 17 0 12977973 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370900394416 140371421853397 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29547] ppid=29439 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29547/stat : 29547 (java) S 29439 29443 5678 0 -1 1077944384 62 12356 0 1 0 0 5 3 20 0 17 0 12977974 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370899341840 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29548] ppid=29439 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29548/stat : 29548 (java) S 29439 29443 5678 0 -1 1077944384 47 12356 0 1 0 0 5 3 20 0 17 0 12977974 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370898289664 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29554] ppid=29439 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29554/stat : 29554 (java) S 29439 29443 5678 0 -1 1077944384 243 12356 0 1 0 0 5 3 20 0 17 0 12977977 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370897238224 140371421861787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29555] ppid=29439 vsize=14202692 CPUtime=5.48 cores=1,3,5,7
/proc/29443/task/29555/stat : 29555 (java) S 29439 29443 5678 0 -1 1077944384 15907 12356 0 1 538 2 5 3 20 0 17 0 12977977 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370896175168 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29556] ppid=29439 vsize=14202692 CPUtime=5.93 cores=1,3,5,7
/proc/29443/task/29556/stat : 29556 (java) S 29439 29443 5678 0 -1 1077944384 20159 12356 0 1 582 3 5 3 20 0 17 0 12977977 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370895133296 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29557] ppid=29439 vsize=14202692 CPUtime=2.33 cores=1,3,5,7
/proc/29443/task/29557/stat : 29557 (java) S 29439 29443 5678 0 -1 1077944384 13912 12356 0 1 220 5 5 3 20 0 17 0 12977977 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370894080752 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29558] ppid=29439 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/29443/task/29558/stat : 29558 (java) S 29439 29443 5678 0 -1 1077944384 3 12356 0 1 0 0 5 3 20 0 17 0 12977977 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370893028448 140371421853397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
[pid=29443/tid=29566] ppid=29439 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/29443/task/29566/stat : 29566 (java) S 29439 29443 5678 0 -1 1077944384 861 12356 0 1 5 8 5 3 20 0 17 0 12977981 14543556608 471815 18446744073709551615 4194304 4196468 140736298447488 140370891974960 140371421854338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140736298448845 140736298451630 140736298451630 140736298454991 0
Current children cumulated CPU time (s) 257.44
Current children cumulated vsize (KiB) 14202692

[startup+240.501 s]
/proc/loadavg: 1.56 1.70 1.73 3/214 29623
/proc/meminfo: memFree=27315040/32770624 swapFree=0/935412
[pid=29443] ppid=29439 vsize=0 CPUtime=257.61 cores=1,3,5,7
/proc/29443/stat : 29443 (java) Z 29439 29443 5678 0 -1 4228108 156189 12356 0 1 25655 98 5 3 20 0 2 0 12977948 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/29443/statm: 0 0 0 0 0 0 0
[pid=29443/tid=29545] ppid=29439 vsize=0 CPUtime=1.35 cores=1,3,5,7
/proc/29443/task/29545/stat : 29545 (java) D 29439 29443 5678 0 -1 4203588 3765 12356 0 1 117 10 5 3 20 0 2 0 12977972 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 257.61
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 240.573
CPU time (s): 257.625
CPU user time (s): 256.609
CPU system time (s): 1.01602
CPU usage (%): 107.088
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.609
system time used= 1.01602
maximum resident set size= 2019124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168545
page faults= 1
swaps= 0
block input operations= 8272
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22232
involuntary context switches= 684

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08876 second user time and 1.46959 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 04:58:14
IDJOB=4259745
IDBENCH=115761
IDSOLVER=2646
FILE ID=node128/4259745-1501643532
RUNJOBID= node128-1501642693-29418
PBS_JOBID= 
Free space on /tmp= 61852 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-7.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259745-1501643532/watcher-4259745-1501643532 -o /tmp/evaluation-result-4259745-1501643532/solver-4259745-1501643532 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29418 --watchdog 300  bin/concrete HOME/instance-4259745-1501643532.xml

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

MD5SUM BENCH= 5ac81d61620ff7de9755053b8ee3703d
RANDOM SEED=1824276548

node128.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.05
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.05
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.05
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.05
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:        31105268 kB
MemAvailable:   32029452 kB
Buffers:          110796 kB
Cached:          1094276 kB
SwapCached:            0 kB
Active:           315656 kB
Inactive:         942356 kB
Active(anon):      53472 kB
Inactive(anon):     8532 kB
Active(file):     262184 kB
Inactive(file):   933824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48800 kB
Writeback:             0 kB
AnonPages:         52808 kB
Mapped:            30200 kB
Shmem:              8872 kB
Slab:             113364 kB
SReclaimable:      88020 kB
SUnreclaim:        25344 kB
KernelStack:        3072 kB
PageTables:         4456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     282028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 61804 MiB
End job on node128 at 2017-08-02 05:02:14