Trace number 4259671

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) 256.47 240.297

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-11.xml
MD5SUM021605e3a27b06e16b3134987a511561
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1937.08
Satisfiable
(Un)Satisfiability was proved
Number of variables152
Number of constraints151
Number of domains2
Minimum domain size2
Maximum domain size121
Distribution of domain sizes[{"size":2,"count":30},{"size":121,"count":122}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":32},{"degree":3,"count":89},{"degree":4,"count":30},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity121
Distribution of constraint arities[{"arity":2,"count":120},{"arity":3,"count":30},{"arity":121,"count":1}]
Number of extensional constraints0
Number of intensional constraints150
Distribution of constraint types[{"type":"intension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

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

pid=13970
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.30 1.84 1.93 3/199 13973
/proc/meminfo: memFree=31049356/32770624 swapFree=0/239460
[pid=13973] ppid=13970 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13973/stat : 13973 (runsolver) D 13970 13973 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13368910 24240128 106 18446744073709551615 4194304 4338465 140721128487552 140721128485192 139917888803543 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 39579648 140721128493264 140721128493638 140721128493638 140721128497098 0
/proc/13973/statm: 5918 106 53 36 0 2156 0

[startup+0.100059 s]
/proc/loadavg: 1.30 1.84 1.93 3/199 13973
/proc/meminfo: memFree=31049356/32770624 swapFree=0/239460
[pid=13973] ppid=13970 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/13973/stat : 13973 (bash) R 13970 13973 5228 0 -1 4202496 787 5306 0 0 0 0 0 1 20 0 1 0 13368910 9867264 366 18446744073709551615 4194304 5098028 140732904272320 140732904270248 139664495494988 0 65538 5 65536 0 0 0 17 5 0 0 8 0 0 7196144 7232144 29130752 140732904280593 140732904280678 140732904280678 140732904284138 0
/proc/13973/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200266 s]
/proc/loadavg: 1.30 1.84 1.93 3/199 13973
/proc/meminfo: memFree=31049356/32770624 swapFree=0/239460
[pid=13973] ppid=13970 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/13973/stat : 13973 (bash) S 13970 13973 5228 0 -1 4202496 892 6487 0 0 0 0 0 1 20 0 1 0 13368910 9867264 373 18446744073709551615 4194304 5098028 140732904272320 140732904266328 139664495668224 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 29130752 140732904280593 140732904280678 140732904280678 140732904284138 0
/proc/13973/statm: 2409 373 292 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300347 s]
/proc/loadavg: 1.30 1.84 1.93 3/199 13973
/proc/meminfo: memFree=31049356/32770624 swapFree=0/239460
[pid=13973] ppid=13970 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 5859 12695 0 0 5 1 5 3 20 0 14 0 13368910 14241083392 5534 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3476827 5534 2546 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.710133 s]
/proc/loadavg: 1.30 1.84 1.93 3/199 13973
/proc/meminfo: memFree=31049356/32770624 swapFree=0/239460
[pid=13973] ppid=13970 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 13909 12695 0 0 56 4 5 3 20 0 15 0 13368910 14310178816 14346 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3493696 14346 3117 1 0 3482973 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784

[startup+1.50232 s]
/proc/loadavg: 1.30 1.84 1.93 3/214 14036
/proc/meminfo: memFree=30955832/32770624 swapFree=0/239456
[pid=13973] ppid=13970 vsize=13985408 CPUtime=1.86 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 28259 12695 0 0 168 10 5 3 20 0 15 0 13368910 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3496352 36037 3336 1 0 3485533 0
[pid=13973/tid=14023] ppid=13970 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) S 13970 13973 5228 0 -1 1077944384 22657 12695 0 0 114 7 5 3 20 0 15 0 13368933 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775627900848 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 190 12695 0 0 0 0 5 3 20 0 15 0 13368934 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 38 12695 0 0 0 0 5 3 20 0 15 0 13368934 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 25 12695 0 0 0 0 5 3 20 0 15 0 13368934 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 48 12695 0 0 0 0 5 3 20 0 15 0 13368934 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) R 13970 13973 5228 0 -1 4202560 41 12695 0 0 0 0 5 3 20 0 15 0 13368935 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775101584640 139775608744480 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 33 12695 0 0 0 0 5 3 20 0 15 0 13368935 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775100532384 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 21 12695 0 0 0 0 5 3 20 0 15 0 13368936 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775099479280 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368938 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14032] ppid=13970 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/13973/task/14032/stat : 14032 (java) S 13970 13973 5228 0 -1 1077944384 796 12695 0 0 13 0 5 3 20 0 15 0 13368938 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775097374960 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14033] ppid=13970 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/13973/task/14033/stat : 14033 (java) S 13970 13973 5228 0 -1 1077944384 912 12695 0 0 16 0 5 3 20 0 15 0 13368938 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775096322416 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14034] ppid=13970 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/13973/task/14034/stat : 14034 (java) S 13970 13973 5228 0 -1 1077944384 1332 12695 0 0 22 0 5 3 20 0 15 0 13368938 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775095264736 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14035] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368939 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 10 12695 0 0 0 0 5 3 20 0 15 0 13368943 14321057792 36037 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 13985408

[startup+3.10118 s]
/proc/loadavg: 1.30 1.84 1.93 4/213 14036
/proc/meminfo: memFree=30878728/32770624 swapFree=0/239456
[pid=13973] ppid=13970 vsize=13997884 CPUtime=5.64 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 49013 12695 0 0 540 16 5 3 20 0 15 0 13368910 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3499471 55893 3445 1 0 3488093 0
[pid=13973/tid=14023] ppid=13970 vsize=13997884 CPUtime=2.86 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) R 13970 13973 5228 0 -1 4202560 36169 12695 0 0 268 10 5 3 20 0 15 0 13368933 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775627913184 139775231241888 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 204 12695 0 0 0 0 5 3 20 0 15 0 13368934 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 43 12695 0 0 1 0 5 3 20 0 15 0 13368934 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 37 12695 0 0 1 0 5 3 20 0 15 0 13368934 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 67 12695 0 0 1 0 5 3 20 0 15 0 13368934 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) S 13970 13973 5228 0 -1 1077944384 1563 12695 0 0 1 0 5 3 20 0 15 0 13368935 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775101586160 139775623690882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 54 12695 0 0 0 0 5 3 20 0 15 0 13368935 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775100532448 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 44 12695 0 0 0 0 5 3 20 0 15 0 13368936 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775099479296 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368938 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14032] ppid=13970 vsize=13997884 CPUtime=1.08 cores=1,3,5,7
/proc/13973/task/14032/stat : 14032 (java) R 13970 13973 5228 0 -1 4202560 3805 12695 0 0 100 0 5 3 20 0 15 0 13368938 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775097361184 139775605199787 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14033] ppid=13970 vsize=13997884 CPUtime=0.83 cores=1,3,5,7
/proc/13973/task/14033/stat : 14033 (java) R 13970 13973 5228 0 -1 4202560 1557 12695 0 0 74 1 5 3 20 0 15 0 13368938 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775096322416 139775605199528 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14034] ppid=13970 vsize=13997884 CPUtime=0.98 cores=1,3,5,7
/proc/13973/task/14034/stat : 14034 (java) S 13970 13973 5228 0 -1 1077944384 3302 12695 0 0 89 1 5 3 20 0 15 0 13368938 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775095269360 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14035] ppid=13970 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368939 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 11 12695 0 0 0 0 5 3 20 0 15 0 13368943 14333833216 55893 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 13997884

[startup+6.30118 s]
/proc/loadavg: 1.36 1.84 1.93 5/213 14036
/proc/meminfo: memFree=30733232/32770624 swapFree=0/239460
[pid=13973] ppid=13970 vsize=14071612 CPUtime=14.66 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 78896 12695 0 0 1434 24 5 3 20 0 15 0 13368910 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3517903 99556 3462 1 0 3506525 0
[pid=13973/tid=14023] ppid=13970 vsize=14071612 CPUtime=5.96 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) R 13970 13973 5228 0 -1 4202560 44542 12695 0 0 575 13 5 3 20 0 15 0 13368933 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775627910608 139775231231080 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 259 12695 0 0 4 0 5 3 20 0 15 0 13368934 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=14071612 CPUtime=0.11 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 54 12695 0 0 3 0 5 3 20 0 15 0 13368934 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 191 12695 0 0 5 0 5 3 20 0 15 0 13368934 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=14071612 CPUtime=0.11 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 641 12695 0 0 3 0 5 3 20 0 15 0 13368934 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) S 13970 13973 5228 0 -1 1077944384 2312 12695 0 0 4 0 5 3 20 0 15 0 13368935 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775101586160 139775623690882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 54 12695 0 0 0 0 5 3 20 0 15 0 13368935 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775100532448 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 44 12695 0 0 0 0 5 3 20 0 15 0 13368936 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775099479296 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368938 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14032] ppid=13970 vsize=14071612 CPUtime=3.39 cores=1,3,5,7
/proc/13973/task/14032/stat : 14032 (java) R 13970 13973 5228 0 -1 4202560 8828 12695 0 0 330 1 5 3 20 0 15 0 13368938 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775097355976 139775607176523 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14033] ppid=13970 vsize=14071612 CPUtime=3.3 cores=1,3,5,7
/proc/13973/task/14033/stat : 14033 (java) R 13970 13973 5228 0 -1 4202560 11315 12695 0 0 321 1 5 3 20 0 15 0 13368938 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775096308288 139775601274512 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14034] ppid=13970 vsize=14071612 CPUtime=1.96 cores=1,3,5,7
/proc/13973/task/14034/stat : 14034 (java) R 13970 13973 5228 0 -1 4202560 8488 12695 0 0 185 3 5 3 20 0 15 0 13368938 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775095269360 139775616776571 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14035] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368939 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 12 12695 0 0 0 0 5 3 20 0 15 0 13368943 14409330688 99556 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 14.66
Current children cumulated vsize (KiB) 14071612

[startup+12.7007 s]
/proc/loadavg: 1.41 1.85 1.93 3/213 14036
/proc/meminfo: memFree=30564380/32770624 swapFree=0/239460
[pid=13973] ppid=13970 vsize=14071612 CPUtime=26.4 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 95739 12695 0 0 2604 28 5 3 20 0 15 0 13368910 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3517903 124176 3474 1 0 3506525 0
[pid=13973/tid=14023] ppid=13970 vsize=14071612 CPUtime=12.34 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) R 13970 13973 5228 0 -1 4202560 47043 12695 0 0 1211 15 5 3 20 0 15 0 13368933 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775627911704 139775232892058 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=14071612 CPUtime=0.14 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 342 12695 0 0 5 1 5 3 20 0 15 0 13368934 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=14071612 CPUtime=0.11 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 362 12695 0 0 3 0 5 3 20 0 15 0 13368934 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=14071612 CPUtime=0.15 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 386 12695 0 0 6 1 5 3 20 0 15 0 13368934 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 1930 12695 0 0 4 1 5 3 20 0 15 0 13368934 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) S 13970 13973 5228 0 -1 1077944384 2535 12695 0 0 5 0 5 3 20 0 15 0 13368935 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775101586160 139775623690882 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 66 12695 0 0 0 0 5 3 20 0 15 0 13368935 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775100532448 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 53 12695 0 0 0 0 5 3 20 0 15 0 13368936 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775099479296 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368938 14409330688 124176 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0

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

/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368939 14409330688 207256 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=14071612 CPUtime=0.11 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 2014 12695 0 0 1 2 5 3 20 0 15 0 13368943 14409330688 207256 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 117.45
Current children cumulated vsize (KiB) 14071612

[startup+162.301 s]
/proc/loadavg: 1.61 1.78 1.90 3/215 14183
/proc/meminfo: memFree=29551124/32770624 swapFree=0/239632
[pid=13973] ppid=13970 vsize=14071612 CPUtime=177.62 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 141487 12695 0 0 17705 49 5 3 20 0 15 0 13368910 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3517903 194047 3474 1 0 3506525 0
[pid=13973/tid=14023] ppid=13970 vsize=14071612 CPUtime=161.74 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) R 13970 13973 5228 0 -1 4202560 56132 12695 0 0 16145 21 5 3 20 0 15 0 13368933 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775627913792 139775239437196 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=14071612 CPUtime=0.25 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 4253 12695 0 0 14 3 5 3 20 0 15 0 13368934 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=14071612 CPUtime=0.24 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 703 12695 0 0 13 3 5 3 20 0 15 0 13368934 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=14071612 CPUtime=0.26 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 2486 12695 0 0 15 3 5 3 20 0 15 0 13368934 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=14071612 CPUtime=0.24 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 3222 12695 0 0 13 3 5 3 20 0 15 0 13368934 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) S 13970 13973 5228 0 -1 1077944384 3839 12695 0 0 10 1 5 3 20 0 15 0 13368935 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775101586160 139775623690882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 66 12695 0 0 0 0 5 3 20 0 15 0 13368935 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775100532448 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 53 12695 0 0 0 0 5 3 20 0 15 0 13368936 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775099479296 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368938 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14032] ppid=13970 vsize=14071612 CPUtime=6.39 cores=1,3,5,7
/proc/13973/task/14032/stat : 14032 (java) S 13970 13973 5228 0 -1 1077944384 22186 12695 0 0 629 2 5 3 20 0 15 0 13368938 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775097374960 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14033] ppid=13970 vsize=14071612 CPUtime=6.35 cores=1,3,5,7
/proc/13973/task/14033/stat : 14033 (java) S 13970 13973 5228 0 -1 1077944384 22820 12695 0 0 625 2 5 3 20 0 15 0 13368938 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775096322416 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14034] ppid=13970 vsize=14071612 CPUtime=2.42 cores=1,3,5,7
/proc/13973/task/14034/stat : 14034 (java) S 13970 13973 5228 0 -1 1077944384 21458 12695 0 0 229 5 5 3 20 0 15 0 13368938 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775095269360 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14035] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368939 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 2112 12695 0 0 2 3 5 3 20 0 15 0 13368943 14409330688 194047 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 177.62
Current children cumulated vsize (KiB) 14071612

[startup+222.307 s]
/proc/loadavg: 1.40 1.69 1.86 3/215 14185
/proc/meminfo: memFree=29465068/32770624 swapFree=0/239656
[pid=13973] ppid=13970 vsize=14071612 CPUtime=237.9 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 151460 12695 0 0 23729 53 5 3 20 0 15 0 13368910 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3517903 187646 3474 1 0 3506525 0
[pid=13973/tid=14023] ppid=13970 vsize=14071612 CPUtime=221.61 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) R 13970 13973 5228 0 -1 4202560 57557 12695 0 0 22132 21 5 3 20 0 15 0 13368933 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775627913968 139775232238174 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=14071612 CPUtime=0.33 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 4401 12695 0 0 21 4 5 3 20 0 15 0 13368934 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=14071612 CPUtime=0.31 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 843 12695 0 0 20 3 5 3 20 0 15 0 13368934 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=14071612 CPUtime=0.33 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 2771 12695 0 0 22 3 5 3 20 0 15 0 13368934 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=14071612 CPUtime=0.32 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 4969 12695 0 0 20 4 5 3 20 0 15 0 13368934 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=14071612 CPUtime=0.25 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) S 13970 13973 5228 0 -1 1077944384 4173 12695 0 0 15 2 5 3 20 0 15 0 13368935 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775101586160 139775623690882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 66 12695 0 0 0 0 5 3 20 0 15 0 13368935 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775100532448 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 53 12695 0 0 0 0 5 3 20 0 15 0 13368936 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775099479296 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368938 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14032] ppid=13970 vsize=14071612 CPUtime=6.41 cores=1,3,5,7
/proc/13973/task/14032/stat : 14032 (java) S 13970 13973 5228 0 -1 1077944384 24474 12695 0 0 631 2 5 3 20 0 15 0 13368938 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775097374960 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14033] ppid=13970 vsize=14071612 CPUtime=6.39 cores=1,3,5,7
/proc/13973/task/14033/stat : 14033 (java) S 13970 13973 5228 0 -1 1077944384 24614 12695 0 0 628 3 5 3 20 0 15 0 13368938 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775096322416 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14034] ppid=13970 vsize=14071612 CPUtime=2.42 cores=1,3,5,7
/proc/13973/task/14034/stat : 14034 (java) S 13970 13973 5228 0 -1 1077944384 23245 12695 0 0 229 5 5 3 20 0 15 0 13368938 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775095269360 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14035] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368939 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=14071612 CPUtime=0.16 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 2137 12695 0 0 4 4 5 3 20 0 15 0 13368943 14409330688 187646 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 237.9
Current children cumulated vsize (KiB) 14071612



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.35 1.66 1.85 3/215 14185
/proc/meminfo: memFree=29463760/32770624 swapFree=0/239664
[pid=13973] ppid=13970 vsize=14071612 CPUtime=255.72 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 152770 12695 0 0 25510 54 5 3 20 0 15 0 13368910 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3517903 186623 3474 1 0 3506525 0
[pid=13973/tid=14023] ppid=13970 vsize=14071612 CPUtime=239.24 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) R 13970 13973 5228 0 -1 4202560 57613 12695 0 0 23895 21 5 3 20 0 15 0 13368933 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775627914032 139775237984692 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=14071612 CPUtime=0.36 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 4403 12695 0 0 24 4 5 3 20 0 15 0 13368934 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=14071612 CPUtime=0.34 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 848 12695 0 0 23 3 5 3 20 0 15 0 13368934 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=14071612 CPUtime=0.36 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 2774 12695 0 0 25 3 5 3 20 0 15 0 13368934 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=14071612 CPUtime=0.35 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 4973 12695 0 0 23 4 5 3 20 0 15 0 13368934 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=14071612 CPUtime=0.29 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) S 13970 13973 5228 0 -1 1077944384 4181 12695 0 0 18 3 5 3 20 0 15 0 13368935 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775101586160 139775623690882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 66 12695 0 0 0 0 5 3 20 0 15 0 13368935 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775100532448 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 53 12695 0 0 0 0 5 3 20 0 15 0 13368936 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775099479296 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368938 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14032] ppid=13970 vsize=14071612 CPUtime=6.42 cores=1,3,5,7
/proc/13973/task/14032/stat : 14032 (java) S 13970 13973 5228 0 -1 1077944384 25154 12695 0 0 632 2 5 3 20 0 15 0 13368938 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775097374960 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14033] ppid=13970 vsize=14071612 CPUtime=6.39 cores=1,3,5,7
/proc/13973/task/14033/stat : 14033 (java) S 13970 13973 5228 0 -1 1077944384 24841 12695 0 0 628 3 5 3 20 0 15 0 13368938 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775096322416 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14034] ppid=13970 vsize=14071612 CPUtime=2.43 cores=1,3,5,7
/proc/13973/task/14034/stat : 14034 (java) S 13970 13973 5228 0 -1 1077944384 23569 12695 0 0 230 5 5 3 20 0 15 0 13368938 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775095269360 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14035] ppid=13970 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 15 0 13368939 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=14071612 CPUtime=0.16 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 2138 12695 0 0 4 4 5 3 20 0 15 0 13368943 14409330688 186623 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 255.72
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 13973 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.201 s]
/proc/loadavg: 1.35 1.66 1.85 3/215 14185
/proc/meminfo: memFree=29463760/32770624 swapFree=0/239664
[pid=13973] ppid=13970 vsize=14204740 CPUtime=256.29 cores=1,3,5,7
/proc/13973/stat : 13973 (java) S 13970 13973 5228 0 -1 1077944320 162483 12695 0 0 25566 55 5 3 20 0 17 0 13368910 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 140726107507104 139775623679735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
/proc/13973/statm: 3551185 187876 3479 1 0 3539807 0
[pid=13973/tid=14023] ppid=13970 vsize=14204740 CPUtime=239.25 cores=1,3,5,7
/proc/13973/task/14023/stat : 14023 (java) S 13970 13973 5228 0 -1 1077944384 57975 12695 0 0 23896 21 5 3 20 0 17 0 13368933 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775627917456 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14024] ppid=13970 vsize=14204740 CPUtime=0.48 cores=1,3,5,7
/proc/13973/task/14024/stat : 14024 (java) S 13970 13973 5228 0 -1 1077944384 4439 12695 0 0 36 4 5 3 20 0 17 0 13368934 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775558113808 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14025] ppid=13970 vsize=14204740 CPUtime=0.46 cores=1,3,5,7
/proc/13973/task/14025/stat : 14025 (java) S 13970 13973 5228 0 -1 1077944384 890 12695 0 0 35 3 5 3 20 0 17 0 13368934 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775557061264 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14026] ppid=13970 vsize=14204740 CPUtime=0.48 cores=1,3,5,7
/proc/13973/task/14026/stat : 14026 (java) S 13970 13973 5228 0 -1 1077944384 2834 12695 0 0 37 3 5 3 20 0 17 0 13368934 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775556008208 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14027] ppid=13970 vsize=14204740 CPUtime=0.47 cores=1,3,5,7
/proc/13973/task/14027/stat : 14027 (java) S 13970 13973 5228 0 -1 1077944384 4992 12695 0 0 35 4 5 3 20 0 17 0 13368934 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775554955664 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14028] ppid=13970 vsize=14204740 CPUtime=0.35 cores=1,3,5,7
/proc/13973/task/14028/stat : 14028 (java) R 13970 13973 5228 0 -1 4202560 12976 12695 0 0 24 3 5 3 20 0 17 0 13368935 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775101584560 139775603314683 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14029] ppid=13970 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14029/stat : 14029 (java) S 13970 13973 5228 0 -1 1077944384 68 12695 0 0 0 0 5 3 20 0 17 0 13368935 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775100532352 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14030] ppid=13970 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14030/stat : 14030 (java) S 13970 13973 5228 0 -1 1077944384 53 12695 0 0 0 0 5 3 20 0 17 0 13368936 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775099479296 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14031] ppid=13970 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14031/stat : 14031 (java) S 13970 13973 5228 0 -1 1077944384 146 12695 0 0 0 0 5 3 20 0 17 0 13368938 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775098427856 139775623698331 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14032] ppid=13970 vsize=14204740 CPUtime=6.42 cores=1,3,5,7
/proc/13973/task/14032/stat : 14032 (java) S 13970 13973 5228 0 -1 1077944384 25154 12695 0 0 632 2 5 3 20 0 17 0 13368938 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775097374960 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14033] ppid=13970 vsize=14204740 CPUtime=6.39 cores=1,3,5,7
/proc/13973/task/14033/stat : 14033 (java) S 13970 13973 5228 0 -1 1077944384 24841 12695 0 0 628 3 5 3 20 0 17 0 13368938 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775096322416 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14034] ppid=13970 vsize=14204740 CPUtime=2.43 cores=1,3,5,7
/proc/13973/task/14034/stat : 14034 (java) S 13970 13973 5228 0 -1 1077944384 23569 12695 0 0 230 5 5 3 20 0 17 0 13368938 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775095269360 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14035] ppid=13970 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/13973/task/14035/stat : 14035 (java) S 13970 13973 5228 0 -1 1077944384 3 12695 0 0 0 0 5 3 20 0 17 0 13368939 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775094217056 139775623689941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
[pid=13973/tid=14036] ppid=13970 vsize=14204740 CPUtime=0.16 cores=1,3,5,7
/proc/13973/task/14036/stat : 14036 (java) S 13970 13973 5228 0 -1 1077944384 2138 12695 0 0 4 4 5 3 20 0 17 0 13368943 14545653760 187876 18446744073709551615 4194304 4196468 140726107524560 139775093165104 139775623690882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23785472 140726107531213 140726107533998 140726107533998 140726107537359 0
Current children cumulated CPU time (s) 256.29
Current children cumulated vsize (KiB) 14204740

Child status: 143
Real time (s): 240.297
CPU time (s): 256.47
CPU user time (s): 255.87
CPU system time (s): 0.599261
CPU usage (%): 106.73
Max. virtual memory (cumulated for all children) (KiB): 14204740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.871
system time used= 0.599261
maximum resident set size= 880312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175375
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= 16781
involuntary context switches= 488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27472 second user time and 1.26535 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-02 08:18:09
IDJOB=4259671
IDBENCH=130616
IDSOLVER=2646
FILE ID=node133/4259671-1501655536
RUNJOBID= node133-1501653519-11656
PBS_JOBID= 
Free space on /tmp= 61840 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-11.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259671-1501655536/watcher-4259671-1501655536 -o /tmp/evaluation-result-4259671-1501655536/solver-4259671-1501655536 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300  bin/concrete HOME/instance-4259671-1501655536.xml

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

MD5SUM BENCH= 021605e3a27b06e16b3134987a511561
RANDOM SEED=970084127

node133.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.17
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.17
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.17
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.17
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:        31049364 kB
MemAvailable:   31288840 kB
Buffers:          126600 kB
Cached:           393264 kB
SwapCached:            0 kB
Active:          1060372 kB
Inactive:         247996 kB
Active(anon):     789116 kB
Inactive(anon):     8536 kB
Active(file):     271256 kB
Inactive(file):   239460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24488 kB
Writeback:             0 kB
AnonPages:        788860 kB
Mapped:            43620 kB
Shmem:              8892 kB
Slab:             115444 kB
SReclaimable:      89188 kB
SUnreclaim:        26256 kB
KernelStack:        3472 kB
PageTables:         6224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1693808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    563200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61816 MiB
End job on node133 at 2017-08-02 08:22:10