Trace number 4243720

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
R1: sat4j-CSP 2017-07-05? (TO) 2400.3201 2328.3501

General information on the benchmark

NameOpenStacks/OpenStacks-m2c-s1/
OpenStacks-m2c-wbp-15-30-1.xml
MD5SUMc6a062133c2754337f0ab1bb59bcc4d1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1109.65
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of constraints511
Number of domains3
Minimum domain size2
Maximum domain size31
Distribution of domain sizes[{"size":2,"count":450},{"size":30,"count":60},{"size":31,"count":30}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":480},{"degree":3,"count":10},{"degree":5,"count":12},{"degree":7,"count":6},{"degree":9,"count":2},{"degree":31,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":450},{"arity":5,"count":30},{"arity":16,"count":30},{"arity":30,"count":1}]
Number of extensional constraints450
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"minimum","count":15},{"type":"maximum","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

121.80/54.59	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
121.80/54.59	c This is free software under the dual EPL/GNU LGPL licenses.
121.80/54.59	c See www.sat4j.org for details.
121.80/54.59	c That software uses the Rhino library from the Mozilla project.
121.80/54.59	c version CUSTOM.v20170705
121.80/54.59	c java.runtime.name	Java(TM) SE Runtime Environment
121.80/54.59	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
121.80/54.59	c java.vm.version	25.131-b11
121.80/54.59	c java.vm.vendor	Oracle Corporation
121.80/54.59	c sun.arch.data.model	64
121.80/54.59	c java.version		1.8.0_131
121.80/54.59	c os.name		Linux
121.80/54.59	c os.version		3.10.0-514.16.1.el7.x86_64
121.80/54.59	c os.arch		amd64
121.80/54.59	c Free memory 		499604488
121.80/54.59	c Max memory 		7247757312
121.80/54.59	c Total memory 		504889344
121.80/54.59	c Number of processors 	4
121.80/54.59	c c --- Begin Solver configuration ---
121.80/54.59	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
121.80/54.59	c Learn all clauses as in MiniSAT
121.80/54.59	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
121.80/54.59	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
121.80/54.59	c No reason simplification
121.80/54.59	c Glucose 2.1 dynamic restart strategy
121.80/54.59	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
121.80/54.59	c timeout=2147483s
121.80/54.59	c DB Simplification allowed=false
121.80/54.59	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
121.80/54.59	c --- End Solver configuration ---
121.80/54.59	c constraints type 
121.80/54.59	c org.sat4j.minisat.constraints.card.MinWatchCard => 1080
121.80/54.59	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 28898850
121.80/54.59	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5746889
121.80/54.59	c org.sat4j.minisat.constraints.cnf.UnitClause => 1020
121.80/54.59	c 34647839 constraints processed.
2400.26/2328.30	c starts		: 252
2400.26/2328.30	c conflicts		: 129336
2400.26/2328.30	c decisions		: 399882015
2400.26/2328.30	c propagations		: 6006828071
2400.26/2328.30	c inspects		: 6849314146
2400.26/2328.30	c shortcuts		: 0
2400.26/2328.30	c learnt literals	: 0
2400.26/2328.30	c learnt binary clauses	: 2261
2400.26/2328.30	c learnt ternary clauses	: 1640
2400.26/2328.30	c learnt constraints	: 129336
2400.26/2328.30	c ignored constraints	: 0
2400.26/2328.30	c root simplifications	: 0
2400.26/2328.30	c removed literals (reason simplification)	: 0
2400.26/2328.30	c reason swapping (by a shorter reason)	: 0
2400.26/2328.30	c Calls to reduceDB	: 12
2400.26/2328.30	c Number of update (reduction) of LBD	: 96435
2400.26/2328.30	c Imported unit clauses	: 0
2400.26/2328.30	c number of reductions to clauses (during analyze)	: 0
2400.26/2328.30	c number of learned constraints concerned by reduction	: 0
2400.26/2328.30	c number of learning phase by resolution	: 0
2400.26/2328.30	c number of learning phase by cutting planes	: 0
2400.26/2328.30	c number of rounding to 1 operations	: 0
2400.26/2328.30	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.26/2328.30	c number of reductions of the coefficients by power 2 	: 0
2400.26/2328.30	c number of right shift for reduction by power 2 	: 0
2400.26/2328.30	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.26/2328.30	c speed (assignments/second)	: 2642651.1873353245
2400.26/2328.30	c non guided choices	229942793
2400.26/2328.31	c learnt constraints type 
2400.26/2328.31	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2261
2400.26/2328.31	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18028
2400.26/2328.31	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-4243720-1502089455/watcher-4243720-1502089455 -o /tmp/evaluation-result-4243720-1502089455/solver-4243720-1502089455 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502041652-17604 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243720-1502089455.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 2.04 2.03 2.05 2/202 27408
/proc/meminfo: memFree=30604812/32770624 swapFree=0/360216
[pid=27408] ppid=27405 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27408/stat : 27408 (runsolver) D 27405 27408 12906 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 50856408 24240128 106 18446744073709551615 4194304 4338465 140723077195344 140723077192984 139755475452631 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 29675520 140723077202055 140723077202505 140723077202505 140723077205962 0
/proc/27408/statm: 5918 106 53 36 0 2156 0

[startup+0.100088 s]
/proc/loadavg: 2.04 2.03 2.05 2/202 27408
/proc/meminfo: memFree=30604812/32770624 swapFree=0/360216
[pid=27408] ppid=27405 vsize=9934352 CPUtime=0 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 2554 0 0 0 0 0 0 0 20 0 6 0 50856408 10172776448 2239 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2483588 2239 1262 1 0 2473558 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9934352

[startup+0.20031 s]
/proc/loadavg: 2.04 2.03 2.05 2/202 27408
/proc/meminfo: memFree=30604812/32770624 swapFree=0/360216
[pid=27408] ppid=27405 vsize=10551156 CPUtime=0.08 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 5177 0 0 0 8 0 0 0 20 0 15 0 50856408 10804383744 6726 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2637789 6726 2648 1 0 2627261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551156

[startup+0.300386 s]
/proc/loadavg: 2.04 2.03 2.05 2/202 27408
/proc/meminfo: memFree=30604812/32770624 swapFree=0/360216
[pid=27408] ppid=27405 vsize=10551156 CPUtime=0.24 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 8415 0 0 0 22 2 0 0 20 0 15 0 50856408 10804383744 9110 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2637789 9110 2887 1 0 2627261 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551156

[startup+0.702616 s]
/proc/loadavg: 2.04 2.03 2.05 2/202 27408
/proc/meminfo: memFree=30604812/32770624 swapFree=0/360216
[pid=27408] ppid=27405 vsize=10551232 CPUtime=1.42 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 12709 0 0 0 138 4 0 0 20 0 15 0 50856408 10804461568 24705 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2637808 24705 3054 1 0 2627261 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10551232

[startup+1.50124 s]
/proc/loadavg: 2.04 2.03 2.05 5/217 27423
/proc/meminfo: memFree=30403348/32770624 swapFree=0/360248
[pid=27408] ppid=27405 vsize=10551232 CPUtime=4.01 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 18960 0 0 0 390 11 0 0 20 0 15 0 50856408 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2637808 65552 3102 1 0 2627261 0
[pid=27408/tid=27410] ppid=27405 vsize=10551232 CPUtime=1.27 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) R 27405 27408 12906 0 -1 4202560 7591 0 0 0 124 3 0 0 20 0 15 0 50856417 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139803033855320 139802673683137 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10551232 CPUtime=0.06 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) S 27405 27408 12906 0 -1 1077944384 97 0 0 0 5 1 0 0 20 0 15 0 50856418 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802999340176 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10551232 CPUtime=0.04 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) S 27405 27408 12906 0 -1 1077944384 67 0 0 0 3 1 0 0 20 0 15 0 50856418 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10551232 CPUtime=0.05 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) S 27405 27408 12906 0 -1 1077944384 145 0 0 0 4 1 0 0 20 0 15 0 50856418 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802638306192 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10551232 CPUtime=0.05 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) S 27405 27408 12906 0 -1 1077944384 121 0 0 0 4 1 0 0 20 0 15 0 50856418 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 50856419 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802137581936 139803029637762 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802136527904 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802135475056 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856422 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27419] ppid=27405 vsize=10551232 CPUtime=1.03 cores=0,2,4,6
/proc/27408/task/27419/stat : 27419 (java) R 27405 27408 12906 0 -1 4202560 4181 0 0 0 103 0 0 0 20 0 15 0 50856422 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802133359312 139803009478733 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27420] ppid=27405 vsize=10551232 CPUtime=1.01 cores=0,2,4,6
/proc/27408/task/27420/stat : 27420 (java) R 27405 27408 12906 0 -1 4202560 3055 0 0 0 101 0 0 0 20 0 15 0 50856422 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802132305504 139803015649131 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27421] ppid=27405 vsize=10551232 CPUtime=0.42 cores=0,2,4,6
/proc/27408/task/27421/stat : 27421 (java) S 27405 27408 12906 0 -1 1077944384 2262 0 0 0 42 0 0 0 20 0 15 0 50856422 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802131266160 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27422] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27422/stat : 27422 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856423 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802130213600 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27423] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27423/stat : 27423 (java) S 27405 27408 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50856426 10804461568 65552 18446744073709551615 4194304 4196468 140736081486480 139802129160880 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 10551232

[startup+3.10125 s]
/proc/loadavg: 2.04 2.03 2.05 7/217 27423
/proc/meminfo: memFree=30162252/32770624 swapFree=0/360248
[pid=27408] ppid=27405 vsize=10551232 CPUtime=7.04 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 22096 0 0 0 669 35 0 0 20 0 15 0 50856408 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2637808 197872 3104 1 0 2627261 0
[pid=27408/tid=27410] ppid=27405 vsize=10551232 CPUtime=2.6 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) S 27405 27408 12906 0 -1 1077944384 8103 0 0 0 252 8 0 0 20 0 15 0 50856417 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139803033863744 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10551232 CPUtime=0.31 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) R 27405 27408 12906 0 -1 4202560 262 0 0 0 25 6 0 0 20 0 15 0 50856418 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802999340376 139803011252464 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10551232 CPUtime=0.29 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) R 27405 27408 12906 0 -1 4202560 252 0 0 0 23 6 0 0 20 0 15 0 50856418 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803014654034 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10551232 CPUtime=0.27 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) R 27405 27408 12906 0 -1 4202560 488 0 0 0 22 5 0 0 20 0 15 0 50856418 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802638306392 139803014074773 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10551232 CPUtime=0.27 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) R 27405 27408 12906 0 -1 4202560 863 0 0 0 22 5 0 0 20 0 15 0 50856418 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803014654034 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 50856419 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802137580448 139803029636821 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802136527904 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802135475056 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856422 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27419] ppid=27405 vsize=10551232 CPUtime=1.43 cores=0,2,4,6
/proc/27408/task/27419/stat : 27419 (java) S 27405 27408 12906 0 -1 1077944384 4659 0 0 0 143 0 0 0 20 0 15 0 50856422 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802133371760 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27420] ppid=27405 vsize=10551232 CPUtime=1.34 cores=0,2,4,6
/proc/27408/task/27420/stat : 27420 (java) S 27405 27408 12906 0 -1 1077944384 3592 0 0 0 134 0 0 0 20 0 15 0 50856422 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802132318960 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27421] ppid=27405 vsize=10551232 CPUtime=0.44 cores=0,2,4,6
/proc/27408/task/27421/stat : 27421 (java) S 27405 27408 12906 0 -1 1077944384 2310 0 0 0 44 0 0 0 20 0 15 0 50856422 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802131266160 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27422] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27422/stat : 27422 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856423 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802130213600 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27423] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27423/stat : 27423 (java) S 27405 27408 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50856426 10804461568 197872 18446744073709551615 4194304 4196468 140736081486480 139802129160880 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 10551232

[startup+6.30073 s]
/proc/loadavg: 2.04 2.03 2.05 3/217 27423
/proc/meminfo: memFree=29516096/32770624 swapFree=0/360256
[pid=27408] ppid=27405 vsize=10551232 CPUtime=13.48 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 25745 0 0 0 1293 55 0 0 20 0 15 0 50856408 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2637808 307253 3121 1 0 2627261 0
[pid=27408/tid=27410] ppid=27405 vsize=10551232 CPUtime=4.26 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) R 27405 27408 12906 0 -1 4202560 9337 0 0 0 416 10 0 0 20 0 15 0 50856417 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139803033863816 139802674591020 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10551232 CPUtime=1.27 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) S 27405 27408 12906 0 -1 1077944384 956 0 0 0 116 11 0 0 20 0 15 0 50856418 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802999340176 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10551232 CPUtime=1.24 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) S 27405 27408 12906 0 -1 1077944384 371 0 0 0 114 10 0 0 20 0 15 0 50856418 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10551232 CPUtime=1.21 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) S 27405 27408 12906 0 -1 1077944384 829 0 0 0 112 9 0 0 20 0 15 0 50856418 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802638306192 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10551232 CPUtime=1.22 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) S 27405 27408 12906 0 -1 1077944384 1244 0 0 0 112 10 0 0 20 0 15 0 50856418 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10551232 CPUtime=0.59 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 953 0 0 0 59 0 0 0 20 0 15 0 50856419 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802137581936 139803029637762 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802136527904 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802135475056 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856422 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27419] ppid=27405 vsize=10551232 CPUtime=1.67 cores=0,2,4,6
/proc/27408/task/27419/stat : 27419 (java) S 27405 27408 12906 0 -1 1077944384 4690 0 0 0 167 0 0 0 20 0 15 0 50856422 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802133371760 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27420] ppid=27405 vsize=10551232 CPUtime=1.48 cores=0,2,4,6
/proc/27408/task/27420/stat : 27420 (java) S 27405 27408 12906 0 -1 1077944384 3695 0 0 0 148 0 0 0 20 0 15 0 50856422 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802132318960 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27421] ppid=27405 vsize=10551232 CPUtime=0.44 cores=0,2,4,6
/proc/27408/task/27421/stat : 27421 (java) S 27405 27408 12906 0 -1 1077944384 2311 0 0 0 44 0 0 0 20 0 15 0 50856422 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802131266160 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27422] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27422/stat : 27422 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856423 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802130213600 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27423] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27423/stat : 27423 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856426 10804461568 307253 18446744073709551615 4194304 4196468 140736081486480 139802129160880 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 10551232

[startup+12.7006 s]
/proc/loadavg: 2.04 2.03 2.05 3/217 27423
/proc/meminfo: memFree=28362240/32770624 swapFree=0/360264
[pid=27408] ppid=27405 vsize=10551232 CPUtime=26.3 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 39676 0 0 0 2510 120 0 0 20 0 15 0 50856408 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2637808 562970 3130 1 0 2627261 0
[pid=27408/tid=27410] ppid=27405 vsize=10551232 CPUtime=7.51 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) R 27405 27408 12906 0 -1 4202560 10592 0 0 0 736 15 0 0 20 0 15 0 50856417 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139803033856704 139803015694734 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10551232 CPUtime=3.39 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) S 27405 27408 12906 0 -1 1077944384 3877 0 0 0 313 26 0 0 20 0 15 0 50856418 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802999340176 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10551232 CPUtime=3.37 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) S 27405 27408 12906 0 -1 1077944384 2160 0 0 0 312 25 0 0 20 0 15 0 50856418 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10551232 CPUtime=3.35 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) S 27405 27408 12906 0 -1 1077944384 2899 0 0 0 312 23 0 0 20 0 15 0 50856418 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802638306192 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10551232 CPUtime=3.36 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) S 27405 27408 12906 0 -1 1077944384 2804 0 0 0 312 24 0 0 20 0 15 0 50856418 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10551232 CPUtime=1.57 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 4374 0 0 0 157 0 0 0 20 0 15 0 50856419 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802137581936 139803029637762 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802136527904 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 50856420 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802135475056 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50856422 10804461568 562970 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0

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

Current children cumulated vsize (KiB) 10617796

[startup+2322.3 s]
/proc/loadavg: 2.07 2.00 2.04 3/214 27822
/proc/meminfo: memFree=25816528/32770624 swapFree=0/361436
[pid=27408] ppid=27405 vsize=10617796 CPUtime=2394.29 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 271840 0 0 0 239001 428 0 0 20 0 16 0 50856408 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2654449 1372016 3143 1 0 2643902 0
[pid=27408/tid=27410] ppid=27405 vsize=10617796 CPUtime=2291.34 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) R 27405 27408 12906 0 -1 4202560 150594 0 0 0 229100 34 0 0 20 0 16 0 50856417 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139803033862784 139802675946658 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10617796 CPUtime=21.8 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) S 27405 27408 12906 0 -1 1077944384 18345 0 0 0 2095 85 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802999340176 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10617796 CPUtime=21.95 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) S 27405 27408 12906 0 -1 1077944384 22405 0 0 0 2114 81 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10617796 CPUtime=21.78 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) S 27405 27408 12906 0 -1 1077944384 15016 0 0 0 2105 73 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802638306192 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10617796 CPUtime=21.83 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) S 27405 27408 12906 0 -1 1077944384 14032 0 0 0 2101 82 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10617796 CPUtime=8.74 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 14038 0 0 0 870 4 0 0 20 0 16 0 50856419 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802137581936 139803029637762 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 50856420 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802136527968 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 50856420 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802135475072 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27419] ppid=27405 vsize=10617796 CPUtime=2.55 cores=0,2,4,6
/proc/27408/task/27419/stat : 27419 (java) S 27405 27408 12906 0 -1 1077944384 13359 0 0 0 254 1 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802133371760 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27420] ppid=27405 vsize=10617796 CPUtime=2.03 cores=0,2,4,6
/proc/27408/task/27420/stat : 27420 (java) S 27405 27408 12906 0 -1 1077944384 11320 0 0 0 201 2 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802132318960 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27421] ppid=27405 vsize=10617796 CPUtime=0.6 cores=0,2,4,6
/proc/27408/task/27421/stat : 27421 (java) S 27405 27408 12906 0 -1 1077944384 9334 0 0 0 58 2 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802131266160 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27422] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27422/stat : 27422 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50856423 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802130213600 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27423] ppid=27405 vsize=10617796 CPUtime=1.59 cores=0,2,4,6
/proc/27408/task/27423/stat : 27423 (java) S 27405 27408 12906 0 -1 1077944384 1986 0 0 0 82 77 0 0 20 0 16 0 50856426 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802129160880 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27424] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27424/stat : 27424 (java) S 27405 27408 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 50861936 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802128106416 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
Current children cumulated CPU time (s) 2394.29
Current children cumulated vsize (KiB) 10617796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2328.1 s]
/proc/loadavg: 2.06 2.00 2.04 3/214 27822
/proc/meminfo: memFree=25816404/32770624 swapFree=0/361436
[pid=27408] ppid=27405 vsize=10617796 CPUtime=2400.09 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 272224 0 0 0 239581 428 0 0 20 0 16 0 50856408 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2654449 1372016 3143 1 0 2643902 0
[pid=27408/tid=27410] ppid=27405 vsize=10617796 CPUtime=2297.14 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) R 27405 27408 12906 0 -1 4202560 150976 0 0 0 229680 34 0 0 20 0 16 0 50856417 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139803033862784 139802675881469 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10617796 CPUtime=21.8 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) S 27405 27408 12906 0 -1 1077944384 18345 0 0 0 2095 85 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802999340176 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10617796 CPUtime=21.95 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) S 27405 27408 12906 0 -1 1077944384 22405 0 0 0 2114 81 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10617796 CPUtime=21.78 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) S 27405 27408 12906 0 -1 1077944384 15016 0 0 0 2105 73 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802638306192 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10617796 CPUtime=21.83 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) S 27405 27408 12906 0 -1 1077944384 14032 0 0 0 2101 82 0 0 20 0 16 0 50856418 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10617796 CPUtime=8.74 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 14038 0 0 0 870 4 0 0 20 0 16 0 50856419 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802137581936 139803029637762 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 50856420 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802136527968 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 50856420 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802135475072 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27419] ppid=27405 vsize=10617796 CPUtime=2.55 cores=0,2,4,6
/proc/27408/task/27419/stat : 27419 (java) S 27405 27408 12906 0 -1 1077944384 13359 0 0 0 254 1 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802133371760 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27420] ppid=27405 vsize=10617796 CPUtime=2.03 cores=0,2,4,6
/proc/27408/task/27420/stat : 27420 (java) S 27405 27408 12906 0 -1 1077944384 11320 0 0 0 201 2 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802132318960 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27421] ppid=27405 vsize=10617796 CPUtime=0.6 cores=0,2,4,6
/proc/27408/task/27421/stat : 27421 (java) S 27405 27408 12906 0 -1 1077944384 9334 0 0 0 58 2 0 0 20 0 16 0 50856422 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802131266160 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27422] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27422/stat : 27422 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50856423 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802130213600 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27423] ppid=27405 vsize=10617796 CPUtime=1.6 cores=0,2,4,6
/proc/27408/task/27423/stat : 27423 (java) S 27405 27408 12906 0 -1 1077944384 1988 0 0 0 82 78 0 0 20 0 16 0 50856426 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802129160880 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27424] ppid=27405 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27424/stat : 27424 (java) S 27405 27408 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 50861936 10872623104 1372016 18446744073709551615 4194304 4196468 140736081486480 139802128106416 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10617796

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

[startup+2328.21 s]
/proc/loadavg: 2.06 2.00 2.04 3/214 27822
/proc/meminfo: memFree=25816404/32770624 swapFree=0/361436
[pid=27408] ppid=27405 vsize=10817488 CPUtime=2400.2 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 273221 0 0 0 239592 428 0 0 20 0 17 0 50856408 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2704372 1372099 3145 1 0 2693825 0
[pid=27408/tid=27410] ppid=27405 vsize=10817488 CPUtime=2297.24 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) R 27405 27408 12906 0 -1 4202560 151028 0 0 0 229690 34 0 0 20 0 17 0 50856417 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139803033862928 139802675753969 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10817488 CPUtime=21.8 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) S 27405 27408 12906 0 -1 1077944384 18345 0 0 0 2095 85 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802999340176 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10817488 CPUtime=21.95 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) S 27405 27408 12906 0 -1 1077944384 22405 0 0 0 2114 81 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10817488 CPUtime=21.78 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) S 27405 27408 12906 0 -1 1077944384 15016 0 0 0 2105 73 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802638306192 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10817488 CPUtime=21.83 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) S 27405 27408 12906 0 -1 1077944384 14032 0 0 0 2101 82 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10817488 CPUtime=8.74 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 14066 0 0 0 870 4 0 0 20 0 17 0 50856419 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802137581936 139803029637762 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 50856420 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802136527968 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 50856420 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802135475072 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27419] ppid=27405 vsize=10817488 CPUtime=2.55 cores=0,2,4,6
/proc/27408/task/27419/stat : 27419 (java) S 27405 27408 12906 0 -1 1077944384 13359 0 0 0 254 1 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802133371760 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27420] ppid=27405 vsize=10817488 CPUtime=2.03 cores=0,2,4,6
/proc/27408/task/27420/stat : 27420 (java) S 27405 27408 12906 0 -1 1077944384 11320 0 0 0 201 2 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802132318960 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27421] ppid=27405 vsize=10817488 CPUtime=0.6 cores=0,2,4,6
/proc/27408/task/27421/stat : 27421 (java) S 27405 27408 12906 0 -1 1077944384 9616 0 0 0 58 2 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802131266160 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27422] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27422/stat : 27422 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 50856423 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802130213600 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27423] ppid=27405 vsize=10817488 CPUtime=1.6 cores=0,2,4,6
/proc/27408/task/27423/stat : 27423 (java) S 27405 27408 12906 0 -1 1077944384 1988 0 0 0 82 78 0 0 20 0 17 0 50856426 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802129160880 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
Current children cumulated CPU time (s) 2400.2
Current children cumulated vsize (KiB) 10817488

[startup+2328.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/214 27822
/proc/meminfo: memFree=25816404/32770624 swapFree=0/361436
[pid=27408] ppid=27405 vsize=10817488 CPUtime=2400.26 cores=0,2,4,6
/proc/27408/stat : 27408 (java) S 27405 27408 12906 0 -1 1077944320 273273 0 0 0 239598 428 0 0 20 0 17 0 50856408 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 140736081469024 139803029626615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
/proc/27408/statm: 2704372 1372099 3145 1 0 2693825 0
[pid=27408/tid=27410] ppid=27405 vsize=10817488 CPUtime=2297.3 cores=0,2,4,6
/proc/27408/task/27410/stat : 27410 (java) S 27405 27408 12906 0 -1 1077944384 151080 0 0 0 229696 34 0 0 20 0 17 0 50856417 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139803033869488 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27411] ppid=27405 vsize=10817488 CPUtime=21.8 cores=0,2,4,6
/proc/27408/task/27411/stat : 27411 (java) S 27405 27408 12906 0 -1 1077944384 18345 0 0 0 2095 85 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802999340176 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27412] ppid=27405 vsize=10817488 CPUtime=21.95 cores=0,2,4,6
/proc/27408/task/27412/stat : 27412 (java) S 27405 27408 12906 0 -1 1077944384 22405 0 0 0 2114 81 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802639358992 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27413] ppid=27405 vsize=10817488 CPUtime=21.78 cores=0,2,4,6
/proc/27408/task/27413/stat : 27413 (java) S 27405 27408 12906 0 -1 1077944384 15016 0 0 0 2105 73 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802638306192 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27414] ppid=27405 vsize=10817488 CPUtime=21.83 cores=0,2,4,6
/proc/27408/task/27414/stat : 27414 (java) S 27405 27408 12906 0 -1 1077944384 14032 0 0 0 2101 82 0 0 20 0 17 0 50856418 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802637253392 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27415] ppid=27405 vsize=10817488 CPUtime=8.74 cores=0,2,4,6
/proc/27408/task/27415/stat : 27415 (java) S 27405 27408 12906 0 -1 1077944384 14066 0 0 0 870 4 0 0 20 0 17 0 50856419 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802137581936 139803029637762 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27416] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27416/stat : 27416 (java) S 27405 27408 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 50856420 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802136527968 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27417] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27417/stat : 27417 (java) S 27405 27408 12906 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 50856420 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802135475072 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27418] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27418/stat : 27418 (java) S 27405 27408 12906 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802134423376 139803029645211 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27419] ppid=27405 vsize=10817488 CPUtime=2.55 cores=0,2,4,6
/proc/27408/task/27419/stat : 27419 (java) S 27405 27408 12906 0 -1 1077944384 13359 0 0 0 254 1 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802133371760 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27420] ppid=27405 vsize=10817488 CPUtime=2.03 cores=0,2,4,6
/proc/27408/task/27420/stat : 27420 (java) S 27405 27408 12906 0 -1 1077944384 11320 0 0 0 201 2 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802132318960 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27421] ppid=27405 vsize=10817488 CPUtime=0.6 cores=0,2,4,6
/proc/27408/task/27421/stat : 27421 (java) S 27405 27408 12906 0 -1 1077944384 9616 0 0 0 58 2 0 0 20 0 17 0 50856422 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802131266160 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27422] ppid=27405 vsize=10817488 CPUtime=0 cores=0,2,4,6
/proc/27408/task/27422/stat : 27422 (java) S 27405 27408 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 50856423 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802130213600 139803029636821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
[pid=27408/tid=27423] ppid=27405 vsize=10817488 CPUtime=1.6 cores=0,2,4,6
/proc/27408/task/27423/stat : 27423 (java) S 27405 27408 12906 0 -1 1077944384 1988 0 0 0 82 78 0 0 20 0 17 0 50856426 11077107712 1372099 18446744073709551615 4194304 4196468 140736081486480 139802129160880 139803029637762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23887872 140736081490357 140736081490510 140736081490510 140736081493967 0
Current children cumulated CPU time (s) 2400.26
Current children cumulated vsize (KiB) 10817488

Child status: 143
Real time (s): 2328.35
CPU time (s): 2400.32
CPU user time (s): 2396
CPU system time (s): 4.31976
CPU usage (%): 103.091
Max. virtual memory (cumulated for all children) (KiB): 10817488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396
system time used= 4.31976
maximum resident set size= 5554476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54922
involuntary context switches= 3864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.265 second user time and 15.1044 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-07 08:50:17
IDJOB=4243720
IDBENCH=140543
IDSOLVER=2623
FILE ID=node135/4243720-1502089455
RUNJOBID= node135-1502041652-17604
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-wbp-15-30-1.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243720-1502089455/watcher-4243720-1502089455 -o /tmp/evaluation-result-4243720-1502089455/solver-4243720-1502089455 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502041652-17604 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243720-1502089455.xml

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

MD5SUM BENCH= c6a062133c2754337f0ab1bb59bcc4d1
RANDOM SEED=927112544

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30605084 kB
MemAvailable:   31047260 kB
Buffers:          220276 kB
Cached:           510548 kB
SwapCached:            0 kB
Active:          1348572 kB
Inactive:         385188 kB
Active(anon):    1003420 kB
Inactive(anon):    24972 kB
Active(file):     345152 kB
Inactive(file):   360216 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2088 kB
Writeback:             4 kB
AnonPages:       1003100 kB
Mapped:            52232 kB
Shmem:             25344 kB
Slab:             132180 kB
SReclaimable:     105284 kB
SUnreclaim:        26896 kB
KernelStack:        3552 kB
PageTables:         6908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2308268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    886784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-07 09:29:06