Trace number 4259673

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.95001 240.32401

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-13.xml
MD5SUM83249ccae4b5534eb2335929a7f4c3a6
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 variables209
Number of constraints208
Number of domains2
Minimum domain size2
Maximum domain size169
Distribution of domain sizes[{"size":2,"count":39},{"size":169,"count":170}]
Minimum variable degree2
Maximum variable degree39
Distribution of variable degrees[{"degree":2,"count":41},{"degree":3,"count":128},{"degree":4,"count":39},{"degree":39,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":168},{"arity":3,"count":39},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints207
Distribution of constraint types[{"type":"intension","count":207},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

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

pid=16421
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.86 1.91 1.87 2/200 16424
/proc/meminfo: memFree=31313336/32770624 swapFree=0/251988
[pid=16424] ppid=16421 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16424/stat : 16424 (runsolver) D 16421 16424 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7470502 24240128 108 18446744073709551615 4194304 4338465 140731578461568 140731578459208 139830880117463 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 7417856 140731578470609 140731578470983 140731578470983 140731578474442 0
/proc/16424/statm: 5918 108 54 36 0 2156 0

[startup+0.100148 s]
/proc/loadavg: 1.86 1.91 1.87 2/200 16424
/proc/meminfo: memFree=31313336/32770624 swapFree=0/251988
[pid=16424] ppid=16421 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/16424/stat : 16424 (bash) S 16421 16424 3187 0 -1 4202496 893 6493 0 0 0 0 0 1 20 0 1 0 7470502 9867264 377 18446744073709551615 4194304 5098028 140724987365872 140724987359880 139868700277760 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 5 0 0 7196144 7232144 29413376 140724987367954 140724987368039 140724987368039 140724987371498 0
/proc/16424/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200327 s]
/proc/loadavg: 1.86 1.91 1.87 2/200 16424
/proc/meminfo: memFree=31313336/32770624 swapFree=0/251988
[pid=16424] ppid=16421 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/16424/stat : 16424 (bash) S 16421 16424 3187 0 -1 4202496 893 6493 0 0 0 0 0 1 20 0 1 0 7470502 9867264 377 18446744073709551615 4194304 5098028 140724987365872 140724987359880 139868700277760 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 5 0 0 7196144 7232144 29413376 140724987367954 140724987368039 140724987368039 140724987371498 0
/proc/16424/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300332 s]
/proc/loadavg: 1.86 1.91 1.87 2/200 16424
/proc/meminfo: memFree=31313336/32770624 swapFree=0/251988
[pid=16424] ppid=16421 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 5474 12353 0 0 5 1 5 2 20 0 14 0 7470502 14241083392 5162 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3476827 5162 2555 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700231 s]
/proc/loadavg: 1.86 1.91 1.87 2/200 16424
/proc/meminfo: memFree=31313336/32770624 swapFree=0/251988
[pid=16424] ppid=16421 vsize=13974784 CPUtime=0.63 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 13544 12353 0 0 52 4 5 2 20 0 15 0 7470502 14310178816 14519 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3493696 14519 3110 1 0 3482973 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784

[startup+1.50396 s]
/proc/loadavg: 1.86 1.91 1.87 3/215 16487
/proc/meminfo: memFree=31218992/32770624 swapFree=0/252056
[pid=16424] ppid=16421 vsize=13985408 CPUtime=1.84 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 27649 12353 0 0 168 9 5 2 20 0 15 0 7470502 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3496352 36071 3337 1 0 3485533 0
[pid=16424/tid=16474] ppid=16421 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) S 16421 16424 3187 0 -1 1077944384 22148 12353 0 0 114 7 5 2 20 0 15 0 7470523 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143670799200 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) R 16421 16424 3187 0 -1 1077944384 43 12353 0 0 0 0 5 2 20 0 15 0 7470524 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 40 12353 0 0 0 0 5 2 20 0 15 0 7470524 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 28 12353 0 0 0 0 5 2 20 0 15 0 7470524 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 185 12353 0 0 0 0 5 2 20 0 15 0 7470524 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) R 16421 16424 3187 0 -1 4202560 39 12353 0 0 0 0 5 2 20 0 15 0 7470525 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143144457088 140143651641888 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 33 12353 0 0 0 0 5 2 20 0 15 0 7470526 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143143404576 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 21 12353 0 0 0 0 5 2 20 0 15 0 7470526 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143142351728 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470528 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16483] ppid=16421 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/16424/task/16483/stat : 16483 (java) S 16421 16424 3187 0 -1 1077944384 968 12353 0 0 13 0 5 2 20 0 15 0 7470528 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143140248432 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16484] ppid=16421 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/16424/task/16484/stat : 16484 (java) S 16421 16424 3187 0 -1 1077944384 661 12353 0 0 17 0 5 2 20 0 15 0 7470528 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143139195632 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16485] ppid=16421 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/16424/task/16485/stat : 16485 (java) S 16421 16424 3187 0 -1 1077944384 1321 12353 0 0 23 0 5 2 20 0 15 0 7470528 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143138141664 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16486] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470529 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 5 12353 0 0 0 0 5 2 20 0 15 0 7470535 14321057792 36071 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408

[startup+3.10103 s]
/proc/loadavg: 1.86 1.91 1.87 5/215 16487
/proc/meminfo: memFree=31089928/32770624 swapFree=0/252052
[pid=16424] ppid=16421 vsize=13997884 CPUtime=5.54 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 47966 12353 0 0 531 16 5 2 20 0 15 0 7470502 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3499471 56068 3442 1 0 3488093 0
[pid=16424/tid=16474] ppid=16421 vsize=13997884 CPUtime=2.84 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) R 16421 16424 3187 0 -1 4202560 35720 12353 0 0 267 10 5 2 20 0 15 0 7470523 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143670808744 140143265139900 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) S 16421 16424 3187 0 -1 1077944384 66 12353 0 0 0 0 5 2 20 0 15 0 7470524 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 47 12353 0 0 0 0 5 2 20 0 15 0 7470524 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 41 12353 0 0 1 0 5 2 20 0 15 0 7470524 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 194 12353 0 0 1 0 5 2 20 0 15 0 7470524 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) S 16421 16424 3187 0 -1 1077944384 1133 12353 0 0 1 0 5 2 20 0 15 0 7470525 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143144458608 140143666588290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 55 12353 0 0 0 0 5 2 20 0 15 0 7470526 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143143404640 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 43 12353 0 0 0 0 5 2 20 0 15 0 7470526 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143142351744 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470528 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16483] ppid=16421 vsize=13997884 CPUtime=1.01 cores=1,3,5,7
/proc/16424/task/16483/stat : 16483 (java) R 16421 16424 3187 0 -1 4202560 3657 12353 0 0 94 0 5 2 20 0 15 0 7470528 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143140248432 140143645796856 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16484] ppid=16421 vsize=13997884 CPUtime=0.82 cores=1,3,5,7
/proc/16424/task/16484/stat : 16484 (java) R 16421 16424 3187 0 -1 4202560 1404 12353 0 0 74 1 5 2 20 0 15 0 7470528 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143139178112 140143648121319 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16485] ppid=16421 vsize=13997884 CPUtime=0.96 cores=1,3,5,7
/proc/16424/task/16485/stat : 16485 (java) S 16421 16424 3187 0 -1 1077944384 3442 12353 0 0 89 0 5 2 20 0 15 0 7470528 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143138142832 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16486] ppid=16421 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470529 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 6 12353 0 0 0 0 5 2 20 0 15 0 7470535 14333833216 56068 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 13997884

[startup+6.30103 s]
/proc/loadavg: 2.03 1.94 1.88 5/215 16487
/proc/meminfo: memFree=30969048/32770624 swapFree=0/252060
[pid=16424] ppid=16421 vsize=13999932 CPUtime=11.78 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 60497 12353 0 0 1149 22 5 2 20 0 15 0 7470502 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3499983 86014 3463 1 0 3488605 0
[pid=16424/tid=16474] ppid=16421 vsize=13999932 CPUtime=6 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) R 16421 16424 3187 0 -1 4202560 36847 12353 0 0 581 12 5 2 20 0 15 0 7470523 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143670808704 140143259541776 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) S 16421 16424 3187 0 -1 1077944384 98 12353 0 0 2 0 5 2 20 0 15 0 7470524 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 207 12353 0 0 2 1 5 2 20 0 15 0 7470524 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 603 12353 0 0 3 0 5 2 20 0 15 0 7470524 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 249 12353 0 0 2 1 5 2 20 0 15 0 7470524 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) S 16421 16424 3187 0 -1 1077944384 1184 12353 0 0 2 0 5 2 20 0 15 0 7470525 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143144458608 140143666588290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 55 12353 0 0 0 0 5 2 20 0 15 0 7470526 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143143404640 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 43 12353 0 0 0 0 5 2 20 0 15 0 7470526 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143142351744 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470528 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16483] ppid=16421 vsize=13999932 CPUtime=2.25 cores=1,3,5,7
/proc/16424/task/16483/stat : 16483 (java) R 16421 16424 3187 0 -1 4202560 6237 12353 0 0 217 1 5 2 20 0 15 0 7470528 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143140228016 140143649988034 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16484] ppid=16421 vsize=13999932 CPUtime=2.11 cores=1,3,5,7
/proc/16424/task/16484/stat : 16484 (java) R 16421 16424 3187 0 -1 4202560 5401 12353 0 0 202 2 5 2 20 0 15 0 7470528 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143139177376 140143649987958 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16485] ppid=16421 vsize=13999932 CPUtime=1.41 cores=1,3,5,7
/proc/16424/task/16485/stat : 16485 (java) S 16421 16424 3187 0 -1 1077944384 7407 12353 0 0 133 1 5 2 20 0 15 0 7470528 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143138142832 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16486] ppid=16421 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470529 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 8 12353 0 0 0 0 5 2 20 0 15 0 7470535 14335930368 86014 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 13999932

[startup+12.701 s]
/proc/loadavg: 2.03 1.95 1.88 5/215 16487
/proc/meminfo: memFree=30562028/32770624 swapFree=0/252068
[pid=16424] ppid=16421 vsize=14071612 CPUtime=26.06 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 87247 12353 0 0 2563 36 5 2 20 0 15 0 7470502 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3517903 152464 3476 1 0 3506525 0
[pid=16424/tid=16474] ppid=16421 vsize=14071612 CPUtime=12.29 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) R 16421 16424 3187 0 -1 4202560 45684 12353 0 0 1206 16 5 2 20 0 15 0 7470523 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143670808856 140143275323090 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=14071612 CPUtime=0.15 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) S 16421 16424 3187 0 -1 1077944384 312 12353 0 0 6 2 5 2 20 0 15 0 7470524 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=14071612 CPUtime=0.14 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 282 12353 0 0 5 2 5 2 20 0 15 0 7470524 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=14071612 CPUtime=0.15 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 870 12353 0 0 7 1 5 2 20 0 15 0 7470524 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=14071612 CPUtime=0.15 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 300 12353 0 0 6 2 5 2 20 0 15 0 7470524 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) S 16421 16424 3187 0 -1 1077944384 2256 12353 0 0 5 0 5 2 20 0 15 0 7470525 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143144458608 140143666588290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 61 12353 0 0 0 0 5 2 20 0 15 0 7470526 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143143404640 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 54 12353 0 0 0 0 5 2 20 0 15 0 7470526 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143142351744 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470528 14409330688 152464 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0

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

/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470529 14409330688 250659 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=14071612 CPUtime=0.14 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 1901 12353 0 0 4 3 5 2 20 0 15 0 7470535 14409330688 250659 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 178.83
Current children cumulated vsize (KiB) 14071612

[startup+222.307 s]
/proc/loadavg: 1.73 1.87 1.87 3/214 16633
/proc/meminfo: memFree=30514332/32770624 swapFree=0/252188
[pid=16424] ppid=16421 vsize=14071612 CPUtime=239.21 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 151189 12353 0 0 23842 72 5 2 20 0 15 0 7470502 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3517903 236323 3477 1 0 3506525 0
[pid=16424/tid=16474] ppid=16421 vsize=14071612 CPUtime=221.47 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) R 16421 16424 3187 0 -1 4202560 55784 12353 0 0 22116 24 5 2 20 0 15 0 7470523 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143670811280 140143264145350 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=14071612 CPUtime=0.42 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) S 16421 16424 3187 0 -1 1077944384 2168 12353 0 0 28 7 5 2 20 0 15 0 7470524 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=14071612 CPUtime=0.42 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 2538 12353 0 0 28 7 5 2 20 0 15 0 7470524 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=14071612 CPUtime=0.43 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 4868 12353 0 0 29 7 5 2 20 0 15 0 7470524 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=14071612 CPUtime=0.42 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 1489 12353 0 0 27 8 5 2 20 0 15 0 7470524 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=14071612 CPUtime=0.26 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) S 16421 16424 3187 0 -1 1077944384 3627 12353 0 0 17 2 5 2 20 0 15 0 7470525 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143144458608 140143666588290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 61 12353 0 0 0 0 5 2 20 0 15 0 7470526 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143143404640 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 54 12353 0 0 0 0 5 2 20 0 15 0 7470526 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143142351744 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470528 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16483] ppid=16421 vsize=14071612 CPUtime=6.71 cores=1,3,5,7
/proc/16424/task/16483/stat : 16483 (java) S 16421 16424 3187 0 -1 1077944384 23787 12353 0 0 661 3 5 2 20 0 15 0 7470528 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143140248432 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16484] ppid=16421 vsize=14071612 CPUtime=6.98 cores=1,3,5,7
/proc/16424/task/16484/stat : 16484 (java) S 16421 16424 3187 0 -1 1077944384 32404 12353 0 0 686 5 5 2 20 0 15 0 7470528 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143139195632 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16485] ppid=16421 vsize=14071612 CPUtime=2.45 cores=1,3,5,7
/proc/16424/task/16485/stat : 16485 (java) S 16421 16424 3187 0 -1 1077944384 20301 12353 0 0 234 4 5 2 20 0 15 0 7470528 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143138142832 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16486] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470529 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=14071612 CPUtime=0.17 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 1950 12353 0 0 5 5 5 2 20 0 15 0 7470535 14409330688 236323 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 239.21
Current children cumulated vsize (KiB) 14071612



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.72 1.86 1.86 4/214 16634
/proc/meminfo: memFree=29996060/32770624 swapFree=0/252192
[pid=16424] ppid=16421 vsize=14071612 CPUtime=257.06 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 155431 12353 0 0 25625 74 5 2 20 0 15 0 7470502 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3517903 232617 3477 1 0 3506525 0
[pid=16424/tid=16474] ppid=16421 vsize=14071612 CPUtime=239.07 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) R 16421 16424 3187 0 -1 4202560 56447 12353 0 0 23876 24 5 2 20 0 15 0 7470523 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143670811424 140143275252384 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=14071612 CPUtime=0.47 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) S 16421 16424 3187 0 -1 1077944384 2753 12353 0 0 32 8 5 2 20 0 15 0 7470524 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=14071612 CPUtime=0.46 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 2549 12353 0 0 32 7 5 2 20 0 15 0 7470524 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=14071612 CPUtime=0.48 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 4971 12353 0 0 34 7 5 2 20 0 15 0 7470524 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=14071612 CPUtime=0.46 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 1500 12353 0 0 31 8 5 2 20 0 15 0 7470524 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=14071612 CPUtime=0.31 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) S 16421 16424 3187 0 -1 1077944384 3929 12353 0 0 21 3 5 2 20 0 15 0 7470525 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143144458608 140143666588290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 61 12353 0 0 0 0 5 2 20 0 15 0 7470526 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143143404640 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 54 12353 0 0 0 0 5 2 20 0 15 0 7470526 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143142351744 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470528 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16483] ppid=16421 vsize=14071612 CPUtime=6.72 cores=1,3,5,7
/proc/16424/task/16483/stat : 16483 (java) S 16421 16424 3187 0 -1 1077944384 25404 12353 0 0 662 3 5 2 20 0 15 0 7470528 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143140248432 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16484] ppid=16421 vsize=14071612 CPUtime=6.99 cores=1,3,5,7
/proc/16424/task/16484/stat : 16484 (java) S 16421 16424 3187 0 -1 1077944384 32861 12353 0 0 687 5 5 2 20 0 15 0 7470528 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143139195632 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16485] ppid=16421 vsize=14071612 CPUtime=2.45 cores=1,3,5,7
/proc/16424/task/16485/stat : 16485 (java) S 16421 16424 3187 0 -1 1077944384 20784 12353 0 0 234 4 5 2 20 0 15 0 7470528 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143138142832 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16486] ppid=16421 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 15 0 7470529 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=14071612 CPUtime=0.18 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 1960 12353 0 0 6 5 5 2 20 0 15 0 7470535 14409330688 232617 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 257.06
Current children cumulated vsize (KiB) 14071612

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 16424 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.201 s]
/proc/loadavg: 1.72 1.86 1.86 4/214 16634
/proc/meminfo: memFree=29996060/32770624 swapFree=0/252192
[pid=16424] ppid=16421 vsize=14204740 CPUtime=257.67 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 166414 12353 0 0 25685 75 5 2 20 0 17 0 7470502 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3551185 234354 3477 1 0 3539807 0
[pid=16424/tid=16474] ppid=16421 vsize=14204740 CPUtime=239.08 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) S 16421 16424 3187 0 -1 1077944384 57152 12353 0 0 23877 24 5 2 20 0 17 0 7470523 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143670814688 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=14204740 CPUtime=0.61 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) S 16421 16424 3187 0 -1 1077944384 2805 12353 0 0 46 8 5 2 20 0 17 0 7470524 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=14204740 CPUtime=0.59 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 2589 12353 0 0 45 7 5 2 20 0 17 0 7470524 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=14204740 CPUtime=0.61 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 5028 12353 0 0 47 7 5 2 20 0 17 0 7470524 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=14204740 CPUtime=0.6 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 1573 12353 0 0 45 8 5 2 20 0 17 0 7470524 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=14204740 CPUtime=0.36 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) R 16421 16424 3187 0 -1 4202560 13484 12353 0 0 26 3 5 2 20 0 17 0 7470525 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143144457008 140143650945008 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 62 12353 0 0 0 0 5 2 20 0 17 0 7470526 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143143404544 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 54 12353 0 0 0 0 5 2 20 0 17 0 7470526 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143142351744 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 163 12353 0 0 0 0 5 2 20 0 17 0 7470528 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16483] ppid=16421 vsize=14204740 CPUtime=6.72 cores=1,3,5,7
/proc/16424/task/16483/stat : 16483 (java) S 16421 16424 3187 0 -1 1077944384 25404 12353 0 0 662 3 5 2 20 0 17 0 7470528 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143140248432 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16484] ppid=16421 vsize=14204740 CPUtime=6.99 cores=1,3,5,7
/proc/16424/task/16484/stat : 16484 (java) S 16421 16424 3187 0 -1 1077944384 32916 12353 0 0 687 5 5 2 20 0 17 0 7470528 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143139195200 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16485] ppid=16421 vsize=14204740 CPUtime=2.45 cores=1,3,5,7
/proc/16424/task/16485/stat : 16485 (java) S 16421 16424 3187 0 -1 1077944384 20784 12353 0 0 234 4 5 2 20 0 17 0 7470528 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143138142832 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16486] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 17 0 7470529 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=14204740 CPUtime=0.18 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 1960 12353 0 0 6 5 5 2 20 0 17 0 7470535 14545653760 234354 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 257.67
Current children cumulated vsize (KiB) 14204740

[startup+240.305 s]
/proc/loadavg: 1.72 1.86 1.86 4/214 16634
/proc/meminfo: memFree=29996060/32770624 swapFree=0/252192
[pid=16424] ppid=16421 vsize=14204740 CPUtime=257.91 cores=1,3,5,7
/proc/16424/stat : 16424 (java) S 16421 16424 3187 0 -1 1077944320 166516 12353 0 0 25709 75 5 2 20 0 17 0 7470502 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140722561390896 140143666577143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
/proc/16424/statm: 3551185 234370 3478 1 0 3539807 0
[pid=16424/tid=16474] ppid=16421 vsize=14204740 CPUtime=239.09 cores=1,3,5,7
/proc/16424/task/16474/stat : 16474 (java) S 16421 16424 3187 0 -1 1077944384 57242 12353 0 0 23878 24 5 2 20 0 17 0 7470523 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143670820016 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16475] ppid=16421 vsize=14204740 CPUtime=0.65 cores=1,3,5,7
/proc/16424/task/16475/stat : 16475 (java) S 16421 16424 3187 0 -1 1077944384 2806 12353 0 0 50 8 5 2 20 0 17 0 7470524 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143585991824 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16476] ppid=16421 vsize=14204740 CPUtime=0.64 cores=1,3,5,7
/proc/16424/task/16476/stat : 16476 (java) S 16421 16424 3187 0 -1 1077944384 2589 12353 0 0 50 7 5 2 20 0 17 0 7470524 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143584939024 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16477] ppid=16421 vsize=14204740 CPUtime=0.66 cores=1,3,5,7
/proc/16424/task/16477/stat : 16477 (java) S 16421 16424 3187 0 -1 1077944384 5028 12353 0 0 52 7 5 2 20 0 17 0 7470524 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143583886224 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16478] ppid=16421 vsize=14204740 CPUtime=0.64 cores=1,3,5,7
/proc/16424/task/16478/stat : 16478 (java) S 16421 16424 3187 0 -1 1077944384 1573 12353 0 0 49 8 5 2 20 0 17 0 7470524 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143582833424 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16479] ppid=16421 vsize=14204740 CPUtime=0.41 cores=1,3,5,7
/proc/16424/task/16479/stat : 16479 (java) S 16421 16424 3187 0 -1 1077944384 13485 12353 0 0 31 3 5 2 20 0 17 0 7470525 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143144458608 140143666588290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16480] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16480/stat : 16480 (java) S 16421 16424 3187 0 -1 1077944384 63 12353 0 0 0 0 5 2 20 0 17 0 7470526 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143143404640 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16481] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16481/stat : 16481 (java) S 16421 16424 3187 0 -1 1077944384 56 12353 0 0 0 0 5 2 20 0 17 0 7470526 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143142351744 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16482] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16482/stat : 16482 (java) S 16421 16424 3187 0 -1 1077944384 163 12353 0 0 0 0 5 2 20 0 17 0 7470528 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143141300048 140143666595739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16483] ppid=16421 vsize=14204740 CPUtime=6.72 cores=1,3,5,7
/proc/16424/task/16483/stat : 16483 (java) S 16421 16424 3187 0 -1 1077944384 25404 12353 0 0 662 3 5 2 20 0 17 0 7470528 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143140248432 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16484] ppid=16421 vsize=14204740 CPUtime=6.99 cores=1,3,5,7
/proc/16424/task/16484/stat : 16484 (java) S 16421 16424 3187 0 -1 1077944384 32917 12353 0 0 687 5 5 2 20 0 17 0 7470528 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143139195632 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16485] ppid=16421 vsize=14204740 CPUtime=2.45 cores=1,3,5,7
/proc/16424/task/16485/stat : 16485 (java) S 16421 16424 3187 0 -1 1077944384 20788 12353 0 0 234 4 5 2 20 0 17 0 7470528 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143138142832 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16486] ppid=16421 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16424/task/16486/stat : 16486 (java) S 16421 16424 3187 0 -1 1077944384 3 12353 0 0 0 0 5 2 20 0 17 0 7470529 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143137090272 140143666587349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
[pid=16424/tid=16487] ppid=16421 vsize=14204740 CPUtime=0.18 cores=1,3,5,7
/proc/16424/task/16487/stat : 16487 (java) S 16421 16424 3187 0 -1 1077944384 1960 12353 0 0 6 5 5 2 20 0 17 0 7470535 14545653760 234370 18446744073709551615 4194304 4196468 140722561408352 140143136037552 140143666588290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140722561411022 140722561413807 140722561413807 140722561417167 0
Current children cumulated CPU time (s) 257.91
Current children cumulated vsize (KiB) 14204740

Child status: 143
Real time (s): 240.324
CPU time (s): 257.95
CPU user time (s): 257.151
CPU system time (s): 0.799154
CPU usage (%): 107.334
Max. virtual memory (cumulated for all children) (KiB): 14204740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.151
system time used= 0.799154
maximum resident set size= 1115444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178905
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= 17656
involuntary context switches= 448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13662 second user time and 1.40001 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 08:19:18
IDJOB=4259673
IDBENCH=130618
IDSOLVER=2646
FILE ID=node135/4259673-1501655599
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-13.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259673-1501655599/watcher-4259673-1501655599 -o /tmp/evaluation-result-4259673-1501655599/solver-4259673-1501655599 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259673-1501655599.xml

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

MD5SUM BENCH= 83249ccae4b5534eb2335929a7f4c3a6
RANDOM SEED=873749825

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:        31314240 kB
MemAvailable:   31594068 kB
Buffers:          132004 kB
Cached:           424688 kB
SwapCached:            0 kB
Active:           778796 kB
Inactive:         260320 kB
Active(anon):     482920 kB
Inactive(anon):     8592 kB
Active(file):     295876 kB
Inactive(file):   251728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24064 kB
Writeback:             4 kB
AnonPages:        482852 kB
Mapped:            42400 kB
Shmem:              8960 kB
Slab:             122612 kB
SReclaimable:      96116 kB
SUnreclaim:        26496 kB
KernelStack:        3504 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1341360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 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 08:23:19