Trace number 4258238

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
sat4j-CSP 2017-07-05? (TO) 253.769 84.428001

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-100-05-1.xml
MD5SUM9d29287bef1009a71b89b3cc337f2ee8
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 variables600
Number of constraints605
Number of domains1
Minimum domain size5368
Maximum domain size5368
Distribution of domain sizes[{"size":5368,"count":600}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":500}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":500},{"arity":100,"count":5}]
Number of extensional constraints0
Number of intensional constraints600
Distribution of constraint types[{"type":"intension","count":600},{"type":"noOverlap","count":5}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

253.63/84.37	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
253.63/84.37	c This is free software under the dual EPL/GNU LGPL licenses.
253.63/84.37	c See www.sat4j.org for details.
253.63/84.37	c That software uses the Rhino library from the Mozilla project.
253.63/84.37	c version CUSTOM.v20170705
253.63/84.37	c java.runtime.name	Java(TM) SE Runtime Environment
253.63/84.37	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
253.63/84.37	c java.vm.version	25.131-b11
253.63/84.37	c java.vm.vendor	Oracle Corporation
253.63/84.37	c sun.arch.data.model	64
253.63/84.37	c java.version		1.8.0_131
253.63/84.37	c os.name		Linux
253.63/84.37	c os.version		3.10.0-514.16.1.el7.x86_64
253.63/84.37	c os.arch		amd64
253.63/84.37	c Free memory 		499604488
253.63/84.37	c Max memory 		7247757312
253.63/84.37	c Total memory 		504889344
253.63/84.37	c Number of processors 	4
253.63/84.37	c c --- Begin Solver configuration ---
253.63/84.37	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
253.63/84.37	c Learn all clauses as in MiniSAT
253.63/84.37	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
253.63/84.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
253.63/84.37	c No reason simplification
253.63/84.37	c Glucose 2.1 dynamic restart strategy
253.63/84.37	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
253.63/84.37	c timeout=2147483s
253.63/84.37	c DB Simplification allowed=false
253.63/84.37	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
253.63/84.37	c --- End Solver configuration ---
253.63/84.37	c starts		: 0
253.63/84.37	c conflicts		: 0
253.63/84.37	c decisions		: 0
253.63/84.37	c propagations		: 0
253.63/84.37	c inspects		: 0
253.63/84.37	c shortcuts		: 0
253.63/84.37	c learnt literals	: 0
253.63/84.37	c learnt binary clauses	: 0
253.63/84.37	c learnt ternary clauses	: 0
253.63/84.37	c learnt constraints	: 0
253.63/84.37	c ignored constraints	: 0
253.63/84.37	c root simplifications	: 0
253.63/84.37	c removed literals (reason simplification)	: 0
253.63/84.37	c reason swapping (by a shorter reason)	: 0
253.63/84.37	c Calls to reduceDB	: 0
253.63/84.37	c Number of update (reduction) of LBD	: 0
253.63/84.37	c Imported unit clauses	: 0
253.63/84.37	c number of reductions to clauses (during analyze)	: 0
253.63/84.37	c number of learned constraints concerned by reduction	: 0
253.63/84.37	c number of learning phase by resolution	: 0
253.63/84.37	c number of learning phase by cutting planes	: 0
253.63/84.37	c number of rounding to 1 operations	: 0
253.63/84.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
253.63/84.37	c number of reductions of the coefficients by power 2 	: 0
253.63/84.37	c number of right shift for reduction by power 2 	: 0
253.63/84.37	c number of reductions of the coefficients by GCD over coefficients 	: 0
253.63/84.37	c speed (assignments/second)	: 0.0
253.63/84.37	c non guided choices	0
253.63/84.37	c learnt constraints type 
253.63/84.37	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13299 MiB free)
  memory of node 1: 16384 MiB (14173 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258238-1502636820/watcher-4258238-1502636820 -o /tmp/evaluation-result-4258238-1502636820/solver-4258238-1502636820 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2901 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258238-1502636820.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=3095, runsolver pid=3092

[startup+0.102511 s]*
/proc/loadavg: 3.53 1.91 1.85 3/216 3110
/proc/meminfo: memFree=28113296/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555400 memory=29920 CPUtime=0.13 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 6558 0 0 0 12 1 0 0 20 0 15 0 96770084 10808729600 7480 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638850 7480 2814 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) R 3092 3095 31794 0 -1 4202560 4406 0 0 0 8 1 0 0 20 0 15 0 96770084 10808729600 7480 33554432000 4194304 4196468 140736968340896 139675090527440 139675070371166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 7480 33554432000 4194304 4196468 140736968340896 139675022981392 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555400 memory=140333768615552 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 7480 33554432000 4194304 4196468 140736968340896 139675021928848 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674691430928 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3092 3095 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674690378384 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555400 memory=140333768615552 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96770086 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674121927152 139675086301826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96770087 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674120873376 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96770087 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674119820784 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770089 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674118769360 139675086309275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 96770089 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674117715952 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3092 3095 31794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96770089 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674116663408 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555400 memory=140333768615552 CPUtime=0.02 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) R 3092 3095 31794 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 96770089 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674115610864 139675086312026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555400 memory=140333768615552 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770090 10808729600 7480 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29920 KiB

[startup+0.210469 s]*
/proc/loadavg: 3.53 1.91 1.85 4/216 3110
/proc/meminfo: memFree=28101628/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555400 memory=39600 CPUtime=0.31 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 8190 0 0 0 29 2 0 0 20 0 15 0 96770084 10808729600 9900 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638850 9900 2956 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) R 3092 3095 31794 0 -1 4202560 5251 0 0 0 18 2 0 0 20 0 15 0 96770084 10808729600 9900 33554432000 4194304 4196468 140736968340896 139675090522880 139675070371166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555400 memory=331 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 9900 33554432000 4194304 4196468 140736968340896 139675022981392 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555400 memory=140333768625892 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 9900 33554432000 4194304 4196468 140736968340896 139675021928848 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674691430928 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3092 3095 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96770085 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674690378384 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555400 memory=140333768615552 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96770086 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674121927152 139675086301826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96770087 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674120873376 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96770087 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674119820784 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770089 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674118769360 139675086309275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 651 0 0 0 2 0 0 0 20 0 15 0 96770089 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674117715952 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) R 3092 3095 31794 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 96770089 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674116663408 139675086301826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555400 memory=140333768615552 CPUtime=0.06 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3092 3095 31794 0 -1 1077944384 836 0 0 0 6 0 0 0 20 0 15 0 96770089 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674115610864 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555400 memory=140333768615552 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770090 10808729600 9900 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39600 KiB

[startup+0.313843 s]*
/proc/loadavg: 3.53 1.91 1.85 4/216 3110
/proc/meminfo: memFree=28094928/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555476 memory=46620 CPUtime=0.54 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 8870 0 0 0 51 3 0 0 20 0 15 0 96770084 10808807424 11655 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638869 11655 3038 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) R 3092 3095 31794 0 -1 4202560 5685 0 0 0 28 2 0 0 20 0 15 0 96770084 10808807424 11655 33554432000 4194304 4196468 140736968340896 139675090526240 139675070371166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808807424 11655 33554432000 4194304 4196468 140736968340896 139675022981392 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555476 memory=140333768673568 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808807424 11655 33554432000 4194304 4196468 140736968340896 139675021928848 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770085 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674691430928 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3092 3095 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96770085 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674690378384 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555476 memory=140333768680480 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96770086 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674121927152 139675086301826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674120873376 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674119820784 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770089 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674118769360 139675086309275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555476 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 740 0 0 0 5 0 0 0 20 0 15 0 96770089 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674117715952 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555476 memory=140333627330063 CPUtime=0.04 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) R 3092 3095 31794 0 -1 1077944384 144 0 0 0 4 0 0 0 20 0 15 0 96770089 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674116663408 139675086301826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555476 memory=140333768618572 CPUtime=0.13 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3092 3095 31794 0 -1 1077944384 942 0 0 0 13 0 0 0 20 0 15 0 96770089 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674115610864 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555476 memory=140333627334607 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555476 memory=280667395966912 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 11655 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46620 KiB

[startup+0.700919 s]
/proc/loadavg: 3.53 1.91 1.85 5/216 3110
/proc/meminfo: memFree=27986576/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555476 memory=346768 CPUtime=1.63 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 11054 0 0 0 147 16 0 0 20 0 15 0 96770084 10808807424 86692 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638869 86692 3099 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555476 memory=2372 CPUtime=0.58 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) R 3092 3095 31794 0 -1 4202560 5880 0 0 0 53 5 0 0 20 0 15 0 96770084 10808807424 86692 33554432000 4194304 4196468 140736968340896 139675090527280 139675072358798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555476 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3092 3095 31794 0 -1 1077944384 116 0 0 0 6 2 0 0 20 0 15 0 96770085 10808807424 87204 33554432000 4194304 4196468 140736968340896 139675022981392 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555476 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3092 3095 31794 0 -1 1077944384 116 0 0 0 6 2 0 0 20 0 15 0 96770085 10808807424 87204 33554432000 4194304 4196468 140736968340896 139675021928848 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555476 memory=15872 CPUtime=0.08 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3092 3095 31794 0 -1 1077944384 119 0 0 0 6 2 0 0 20 0 15 0 96770085 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674691430928 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555476 memory=18448 CPUtime=0.08 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3092 3095 31794 0 -1 1077944384 137 0 0 0 6 2 0 0 20 0 15 0 96770085 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674690378384 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96770086 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674121927152 139675086301826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674120873376 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674119820784 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770089 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674118769360 139675086309275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555476 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 1191 0 0 0 23 0 0 0 20 0 15 0 96770089 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674117715952 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555476 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3092 3095 31794 0 -1 1077944384 806 0 0 0 21 0 0 0 20 0 15 0 96770089 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674116663408 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555476 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3092 3095 31794 0 -1 1077944384 1244 0 0 0 22 0 0 0 20 0 15 0 96770089 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674115610864 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 87204 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 346768 KiB

[startup+1.50089 s]
/proc/loadavg: 3.53 1.91 1.85 9/216 3110
/proc/meminfo: memFree=27178988/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555476 memory=1381508 CPUtime=3.36 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 13942 0 0 0 281 55 0 0 20 0 15 0 96770084 10808807424 345377 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638869 345377 3101 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555476 memory=3467834630944011325 CPUtime=1.06 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) S 3092 3095 31794 0 -1 1077944384 6755 0 0 0 91 15 0 0 20 0 15 0 96770084 10808807424 345377 33554432000 4194304 4196468 140736968340896 139675090527680 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555476 memory=491964 CPUtime=0.39 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) R 3092 3095 31794 0 -1 4202560 849 0 0 0 30 9 0 0 20 0 15 0 96770085 10808807424 345377 33554432000 4194304 4196468 140736968340896 139675022981392 139675071318562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555476 memory=2241 CPUtime=0.39 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) R 3092 3095 31794 0 -1 4202560 243 0 0 0 30 9 0 0 20 0 15 0 96770085 10808807424 345377 33554432000 4194304 4196468 140736968340896 139675021929048 139675071318544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555476 memory=4612 CPUtime=0.4 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) R 3092 3095 31794 0 -1 4202560 302 0 0 0 30 10 0 0 20 0 15 0 96770085 10808807424 345377 33554432000 4194304 4196468 140736968340896 139674691431128 139675071318544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555476 memory=15872 CPUtime=0.38 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) R 3092 3095 31794 0 -1 4202560 668 0 0 0 29 9 0 0 20 0 15 0 96770085 10808807424 345377 33554432000 4194304 4196468 140736968340896 139674690378384 139675071318562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555476 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 15 0 96770086 10808807424 345377 33554432000 4194304 4196468 140736968340896 139674121925664 139675086300885 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0

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

[pid=3095/tid=3101] ppid=3092 vsize=10555476 memory=0 CPUtime=13.15 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3092 3095 31794 0 -1 1077944384 38142 0 0 0 1245 70 0 0 20 0 15 0 96770085 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674690378384 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555476 memory=8552 CPUtime=4.45 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 26313 0 0 0 444 1 0 0 20 0 15 0 96770086 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674121927152 139675086301826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555476 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674120873440 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555476 memory=4792796 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674119820784 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770089 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674118769360 139675086309275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555476 memory=27676 CPUtime=0.45 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 2578 0 0 0 45 0 0 0 20 0 15 0 96770089 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674117715952 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555476 memory=1292 CPUtime=0.43 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3092 3095 31794 0 -1 1077944384 2676 0 0 0 43 0 0 0 20 0 15 0 96770089 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674116663408 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555476 memory=2428 CPUtime=0.27 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3092 3095 31794 0 -1 1077944384 1732 0 0 0 27 0 0 0 20 0 15 0 96770089 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674115610864 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555476 memory=27676 CPUtime=0.01 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 705 0 0 0 0 1 0 0 20 0 15 0 96770090 10808807424 1199339 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 66.17 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 4797356 KiB

[startup+51.1101 s]
/proc/loadavg: 4.10 2.31 1.99 7/216 3110
/proc/meminfo: memFree=13779064/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555476 memory=7473432 CPUtime=146.74 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 354574 0 0 0 14116 558 0 0 20 0 15 0 96770084 10808807424 1868358 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638869 1868358 3133 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555476 memory=4140 CPUtime=11.79 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) S 3092 3095 31794 0 -1 1077944384 21409 0 0 0 1150 29 0 0 20 0 15 0 96770084 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139675090524288 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555476 memory=7473432 CPUtime=31.24 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3092 3095 31794 0 -1 1077944384 61563 0 0 0 2994 130 0 0 20 0 15 0 96770085 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139675022981392 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555476 memory=2 CPUtime=31.5 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3092 3095 31794 0 -1 1077944384 62195 0 0 0 3019 131 0 0 20 0 15 0 96770085 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139675021928848 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555476 memory=14653 CPUtime=31.87 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3092 3095 31794 0 -1 1077944384 95490 0 0 0 3055 132 0 0 20 0 15 0 96770085 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674691430928 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555476 memory=0 CPUtime=31.69 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3092 3095 31794 0 -1 1077944384 69320 0 0 0 3040 129 0 0 20 0 15 0 96770085 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674690378384 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555476 memory=4481 CPUtime=7.29 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) R 3092 3095 31794 0 -1 4202560 33671 0 0 0 727 2 0 0 20 0 15 0 96770086 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674121925696 139675070991395 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555476 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674120873440 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555476 memory=7473432 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674119820800 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555476 memory=7473432 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770089 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674118769360 139675086309275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555476 memory=4140 CPUtime=0.49 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 3255 0 0 0 49 0 0 0 20 0 15 0 96770089 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674117716000 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555476 memory=27676 CPUtime=0.48 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3092 3095 31794 0 -1 1077944384 3554 0 0 0 48 0 0 0 20 0 15 0 96770089 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674116663456 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555476 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3092 3095 31794 0 -1 1077944384 1898 0 0 0 28 0 0 0 20 0 15 0 96770089 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674115610624 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555476 memory=15826954488778 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555476 memory=-3351064526135847021 CPUtime=0.02 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 740 0 0 0 1 1 0 0 20 0 15 0 96770090 10808807424 1868358 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 146.74 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 7473432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+83.8007 s]
/proc/loadavg: 4.68 2.65 2.12 6/216 3189
/proc/meminfo: memFree=17941236/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555476 memory=8296408 CPUtime=252.3 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 458953 0 0 0 24630 600 0 0 20 0 15 0 96770084 10808807424 2074102 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638869 2074102 3133 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555476 memory=12680 CPUtime=14.75 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) S 3092 3095 31794 0 -1 1077944384 45075 0 0 0 1444 31 0 0 20 0 15 0 96770084 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139675090524304 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555476 memory=21309 CPUtime=56.11 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) R 3092 3095 31794 0 -1 4202560 98889 0 0 0 5468 143 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139675022981200 139675078918887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555476 memory=0 CPUtime=55.6 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) R 3092 3095 31794 0 -1 4202560 62609 0 0 0 5419 141 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139675021928968 139675078918887 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555476 memory=140333627684712 CPUtime=56.19 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) R 3092 3095 31794 0 -1 4202560 132002 0 0 0 5474 145 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674691431128 139675070991336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555476 memory=668466 CPUtime=56.16 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) R 3092 3095 31794 0 -1 4202560 70286 0 0 0 5484 132 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674690378192 139675078918887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555476 memory=6944656592455359580 CPUtime=12.13 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 39085 0 0 0 1211 2 0 0 20 0 15 0 96770086 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674121925696 139675086300885 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555476 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674120873440 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674119820800 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555476 memory=-4866526891258710369 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674118769360 139675086309275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555476 memory=7511540848747915672 CPUtime=0.49 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 3262 0 0 0 49 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674117716000 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555476 memory=4783210246294233184 CPUtime=0.48 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3092 3095 31794 0 -1 1077944384 3564 0 0 0 48 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674116663168 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555476 memory=-8990767739041718176 CPUtime=0.28 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3092 3095 31794 0 -1 1077944384 1929 0 0 0 28 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674115610912 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555476 memory=164 CPUtime=0.04 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 773 0 0 0 2 2 0 0 20 0 15 0 96770090 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 252.3 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8296408 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+84.4279 s]
# the end of solver process 3095 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.705 s, system=6.06414 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+84.0006 s]*
/proc/loadavg: 4.68 2.65 2.12 9/216 3189
/proc/meminfo: memFree=17741788/32770624 swapFree=67108860/67108860
[pid=3095] ppid=3092 vsize=10555476 memory=8296408 CPUtime=253.1 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3092 3095 31794 0 -1 1077944320 458959 0 0 0 24710 600 0 0 20 0 15 0 96770084 10808807424 2074102 33554432000 4194304 4196468 140736968340896 140736968323440 139675086290679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
/proc/3095/statm: 2638869 2074102 3133 1 0 2627263 0
[pid=3095/tid=3097] ppid=3092 vsize=10555476 memory=7374759084309046872 CPUtime=14.75 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) S 3092 3095 31794 0 -1 1077944384 45075 0 0 0 1444 31 0 0 20 0 15 0 96770084 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139675090524304 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3098] ppid=3092 vsize=10555476 memory=0 CPUtime=56.31 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) R 3092 3095 31794 0 -1 4202560 98889 0 0 0 5488 143 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139675022981512 139675078918887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3099] ppid=3092 vsize=10555476 memory=0 CPUtime=55.79 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) R 3092 3095 31794 0 -1 4202560 62609 0 0 0 5438 141 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139675021928968 139675078918887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3100] ppid=3092 vsize=10555476 memory=15541808151136681 CPUtime=56.4 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) R 3092 3095 31794 0 -1 4202560 132002 0 0 0 5495 145 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674691431128 139675070991264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3101] ppid=3092 vsize=10555476 memory=4051325643398722591 CPUtime=56.36 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) R 3092 3095 31794 0 -1 4202560 70286 0 0 0 5503 133 0 0 20 0 15 0 96770085 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674690378504 139675078918887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3102] ppid=3092 vsize=10555476 memory=3760962906252959412 CPUtime=12.13 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3092 3095 31794 0 -1 1077944384 39085 0 0 0 1211 2 0 0 20 0 15 0 96770086 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674121925696 139675086300885 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3103] ppid=3092 vsize=10555476 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3092 3095 31794 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674120873440 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3104] ppid=3092 vsize=10555476 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3092 3095 31794 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 96770087 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674119820800 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3105] ppid=3092 vsize=10555476 memory=280667396616512 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3092 3095 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674118769008 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3106] ppid=3092 vsize=10555476 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3092 3095 31794 0 -1 1077944384 3262 0 0 0 49 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674117716000 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3107] ppid=3092 vsize=10555476 memory=67 CPUtime=0.48 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3092 3095 31794 0 -1 1077944384 3564 0 0 0 48 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674116663168 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3108] ppid=3092 vsize=10555476 memory=140333865385641 CPUtime=0.28 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3092 3095 31794 0 -1 1077944384 1929 0 0 0 28 0 0 0 20 0 15 0 96770089 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674115610912 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3109] ppid=3092 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3092 3095 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96770090 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674114558560 139675086300885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
[pid=3095/tid=3110] ppid=3092 vsize=10555476 memory=140333768615552 CPUtime=0.04 cores=1,3,5,7
/proc/3095/task/3110/stat : 3110 (java) S 3092 3095 31794 0 -1 1077944384 773 0 0 0 2 2 0 0 20 0 15 0 96770090 10808807424 2074102 33554432000 4194304 4196468 140736968340896 139674113506096 139675086301826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11456512 140736968344715 140736968344868 140736968344868 140736968347599 0
Current children cumulated CPU time: 253.1 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8296408 KiB

[startup+84.4007 s]*
/proc/loadavg: 4.68 2.65 2.12 3/203 3192
/proc/meminfo: memFree=20971960/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 84.428
CPU time (s): 253.769
CPU user time (s): 247.705
CPU system time (s): 6.06414
CPU usage (%): 300.575
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 8296540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.705
system time used= 6.06414
maximum resident set size= 8296952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7724
involuntary context switches= 4065


# summary of solver processes directly reported to runsolver:
#   pid: 3095
#   total CPU time (s): 253.769
#   total CPU user time (s): 247.705
#   total CPU system time (s): 6.06414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.507235 second user time and 0.877294 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 16:52:42
IDJOB=4258238
IDBENCH=115596
IDSOLVER=2643
FILE ID=node107/4258238-1502636820
RUNJOBID= node107-1502635870-2901
PBS_JOBID= 20628298
Free space on /tmp= 61660 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-05-1.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258238-1502636820/watcher-4258238-1502636820 -o /tmp/evaluation-result-4258238-1502636820/solver-4258238-1502636820 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2901 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258238-1502636820.xml

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

MD5SUM BENCH= 9d29287bef1009a71b89b3cc337f2ee8
RANDOM SEED=369821358

node107.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.84
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.84
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.84
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.84
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:        28132668 kB
MemAvailable:   30907584 kB
Buffers:          163624 kB
Cached:          2900116 kB
SwapCached:            0 kB
Active:          1562888 kB
Inactive:        2639792 kB
Active(anon):    1141880 kB
Inactive(anon):    24972 kB
Active(file):     421008 kB
Inactive(file):  2614820 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1704 kB
Writeback:             8 kB
AnonPages:       1147660 kB
Mapped:            55128 kB
Shmem:             25228 kB
Slab:             135208 kB
SReclaimable:     109844 kB
SUnreclaim:        25364 kB
KernelStack:        3744 kB
PageTables:         6872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2396696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61656 MiB
End job on node107 at 2017-08-13 16:54:06