Trace number 4302479

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2OPT2 14.4452 7.01945

General information on the benchmark

NameTemplateDesign/
TemplateDesign-m2-catfood_c18.xml
MD5SUM27271f0787f1d872c0f25c4abe418056
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.36772
Satisfiable
(Un)Satisfiability was proved
Number of variables63
Number of constraints29
Number of domains3
Minimum domain size2
Maximum domain size1101
Distribution of domain sizes[{"size":2,"count":7},{"size":10,"count":49},{"size":1101,"count":7}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":42},{"degree":3,"count":14},{"degree":9,"count":7}]
Minimum constraint arity2
Maximum constraint arity14
Distribution of constraint arities[{"arity":2,"count":14},{"arity":7,"count":8},{"arity":14,"count":7}]
Number of extensional constraints0
Number of intensional constraints14
Distribution of constraint types[{"type":"intension","count":14},{"type":"ordered","count":1},{"type":"sum","count":14}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.95/1.17	c Concrete v3.9.2.1532736233296 running
12.38/5.96	o 3
14.18/6.97	o 2
14.18/6.99	v <instantiation cost="2">
14.18/6.99	v       <list>
14.18/6.99	v         d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] npt[0] npt[1] npt[2] npt[3] npt[4] npt[5] npt[6] u[0] u[1] u[2] u[3] u[4] u[5] u[6]
14.18/6.99	v       </list>
14.18/6.99	v       <values>
14.18/6.99	v         1 1 1 2 2 0 2 0 0 0 0 0 5 4 9 0 0 0 0 0 0 9 0 0 0 0 0 0 9 0 0 0 0 0 0 9 0 0 0 0 0 0 9 0 0 0 0 0 0 275 165 0 0 0 0 0 1 1 0 0 0 0 0
14.18/6.99	v       </values>
14.18/6.99	v     </instantiation>
14.18/6.99	s OPTIMUM FOUND

Verifier Data 

OK	2

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 (11171 MiB free)
  memory of node 1: 16384 MiB (14047 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302479-1532897039/watcher-4302479-1532897039 -o /tmp/evaluation-result-4302479-1532897039/solver-4302479-1532897039 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=45854914 HOME/instance-4302479-1532897039.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
solver pid=20308, runsolver pid=20305
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 2.11 2.10 1.98 2/215 20351
/proc/meminfo: memFree=25720848/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/20308/stat : 20308 (bash) S 20305 20308 9814 0 -1 4202496 883 5670 0 0 0 0 0 1 20 0 1 0 107267069 115974144 402 33554432000 4194304 5098028 140726159433680 140726159427688 140234503650304 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 1 0 0 7196144 7232144 32358400 140726159434930 140726159435053 140726159435053 140726159437806 0
/proc/20308/statm: 28314 402 319 221 0 119 0
[pid=20335] ppid=20308 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/20335/stat : 20335 (bash) S 20308 20308 9814 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 107267072 115974144 178 33554432000 4194304 5098028 140726159433680 140726159426360 140234503475836 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32358400 140726159434930 140726159435053 140726159435053 140726159437806 0
/proc/20335/statm: 28314 178 95 221 0 119 0
[pid=20336] ppid=20335 vsize=10659708 memory=24704 CPUtime=0.05 cores=1,3,5,7
/proc/20336/stat : 20336 (java) S 20335 20308 9814 0 -1 1077944320 4519 0 0 0 4 1 0 0 20 0 12 0 107267072 10915540992 6176 33554432000 4194304 4196468 140726212605520 140726212588064 140046416432887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
/proc/20336/statm: 2664927 6176 2631 1 0 2627468 0
[pid=20336/tid=20338] ppid=20335 vsize=10659708 memory=-6877121556232578236 CPUtime=0.04 cores=1,3,5,7
/proc/20336/task/20338/stat : 20338 (java) D 20335 20308 9814 0 -1 4202560 2618 0 0 0 3 1 0 0 20 0 12 0 107267072 10915540992 6176 33554432000 4194304 4196468 140726212605520 140046420675896 140046409118519 0 0 0 16800975 18446744072100383877 0 0 -1 7 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20339] ppid=20335 vsize=10659708 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20339/stat : 20339 (java) S 20335 20308 9814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 107267073 10915540992 6176 33554432000 4194304 4196468 140726212605520 140046342507664 140046416443093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20340] ppid=20335 vsize=10659708 memory=140584969418368 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20340/stat : 20340 (java) S 20335 20308 9814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 107267073 10915540992 6176 33554432000 4194304 4196468 140726212605520 140046341454864 140046416443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20341] ppid=20335 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20341/stat : 20341 (java) S 20335 20308 9814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 107267073 10915540992 6176 33554432000 4194304 4196468 140726212605520 140046340402064 140046416443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20342] ppid=20335 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20342/stat : 20342 (java) S 20335 20308 9814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 12 0 107267073 10915540992 6176 33554432000 4194304 4196468 140726212605520 140046339349264 140046416443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20344] ppid=20335 vsize=10659708 memory=140584969418368 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20344/stat : 20344 (java) S 20335 20308 9814 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 12 0 107267075 10915540992 6176 33554432000 4194304 4196468 140726212605520 140045906273312 140046416443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20345] ppid=20335 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20345/stat : 20345 (java) S 20335 20308 9814 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 12 0 107267075 10915540992 6176 33554432000 4194304 4196468 140726212605520 140045905220464 140046416443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20347] ppid=20335 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20347/stat : 20347 (java) S 20335 20308 9814 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 12 0 107267077 10915540992 6176 33554432000 4194304 4196468 140726212605520 140045903117168 140046416444034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20348] ppid=20335 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20348/stat : 20348 (java) S 20335 20308 9814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 107267077 10915540992 6176 33554432000 4194304 4196468 140726212605520 140045902064368 140046416444034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20349] ppid=20335 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20349/stat : 20349 (java) S 20335 20308 9814 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 12 0 107267077 10915540992 6176 33554432000 4194304 4196468 140726212605520 140045901011568 140046416444034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20336/tid=20350] ppid=20335 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20336/task/20350/stat : 20350 (java) S 20335 20308 9814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 107267077 10915540992 6176 33554432000 4194304 4196468 140726212605520 140045899959008 140046416443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34574336 140726212613416 140726212613430 140726212613430 140726212616143 0
[pid=20337] ppid=20335 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/20337/stat : 20337 (awk) S 20335 20308 9814 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 107267072 116215808 308 33554432000 4194304 4609284 140735906259568 140735906258744 139770879335424 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 17977344 140735906268504 140735906268534 140735906268534 140735906271215 0
/proc/20337/statm: 28373 308 256 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 28256 KiB

[startup+0.560643 s]*
/proc/loadavg: 2.11 2.10 1.98 4/209 20368
/proc/meminfo: memFree=25727828/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=10453864 memory=24168 CPUtime=0.11 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 4706 12885 0 0 4 0 4 3 20 0 9 0 107267069 10704756736 6042 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2613466 6042 2147 1 0 2576007 0
[pid=20308/tid=20361] ppid=20305 vsize=10453864 memory=7022364594140610616 CPUtime=0.1 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) R 20305 20308 9814 0 -1 4202560 2512 12885 0 0 3 0 4 3 20 0 9 0 107267121 10704756736 6107 33554432000 4194304 4196468 140729896333568 140479296995192 140479309239646 0 4 0 16800971 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=10453864 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 9 0 107267122 10704756736 6107 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=10453864 memory=140584969437429 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 9 0 107267122 10704756736 6107 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 9 0 107267122 10704756736 6107 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 9 0 107267122 10704756736 6107 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=10453864 memory=140584969418368 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 9 0 107267123 10704756736 6107 33554432000 4194304 4196468 140729896333568 140478362110832 140479325170306 0 0 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 9 0 107267124 10704756736 6107 33554432000 4194304 4196468 140729896333568 140478179698208 140479325169365 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 9 0 107267124 10704756736 6107 33554432000 4194304 4196468 140729896333568 140477978371440 140479325169365 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 24168 KiB

[startup+0.609916 s]*
/proc/loadavg: 2.11 2.10 1.98 6/215 20374
/proc/meminfo: memFree=25719592/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=10982736 memory=38816 CPUtime=0.21 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 6388 12885 0 0 13 1 4 3 20 0 15 0 107267069 11246321664 9704 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2745684 9704 2969 1 0 2708109 0
[pid=20308/tid=20361] ppid=20305 vsize=10982744 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) R 20305 20308 9814 0 -1 4202560 2953 12885 0 0 7 1 4 3 20 0 15 0 107267121 11246329856 9704 33554432000 4194304 4196468 140729896333568 140479296983592 140479325181085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=10982744 memory=3691042058319900680 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246329856 9704 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=10982744 memory=281169938835520 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246329856 9704 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246329856 9704 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=10982744 memory=2607 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246329856 9704 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=10982744 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267123 11246329856 9704 33554432000 4194304 4196468 140729896333568 140478362110832 140479325170306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 107267124 11246329856 9704 33554432000 4194304 4196468 140729896333568 140478179698208 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267124 11246329856 9704 33554432000 4194304 4196468 140729896333568 140477978371440 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20369] ppid=20305 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20369/stat : 20369 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11246329856 9704 33554432000 4194304 4196468 140729896333568 140477670971728 140479325177755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20370] ppid=20305 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20370/stat : 20370 (java) S 20305 20308 9814 0 -1 1077944384 367 12885 0 0 0 0 4 3 20 0 15 0 107267127 11246329856 9704 33554432000 4194304 4196468 140729896333568 140478361057648 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20371] ppid=20305 vsize=10982744 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/20308/task/20371/stat : 20371 (java) S 20305 20308 9814 0 -1 1077944384 266 12885 0 0 1 0 4 3 20 0 15 0 107267127 11246329856 9704 33554432000 4194304 4196468 140729896333568 140478360004848 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20372] ppid=20305 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20308/task/20372/stat : 20372 (java) S 20305 20308 9814 0 -1 1077944384 584 12885 0 0 2 0 4 3 20 0 15 0 107267127 11246329856 9704 33554432000 4194304 4196468 140729896333568 140478358952048 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20373] ppid=20305 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20373/stat : 20373 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11246329856 9704 33554432000 4194304 4196468 140729896333568 140477240174816 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20374] ppid=20305 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20374/stat : 20374 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267127 11246329856 9704 33554432000 4194304 4196468 140729896333568 140478357900464 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10982736 KiB
Current children cumulated memory: 38816 KiB

[startup+0.71046 s]*
/proc/loadavg: 2.11 2.10 1.98 5/215 20374
/proc/meminfo: memFree=25706352/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=10983192 memory=52652 CPUtime=0.34 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 9533 12885 0 0 25 2 4 3 20 0 15 0 107267069 11246788608 13163 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2745798 13163 3101 1 0 2708109 0
[pid=20308/tid=20361] ppid=20305 vsize=10983192 memory=-6517102902069810590 CPUtime=0.25 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) D 20305 20308 9814 0 -1 1077944384 6087 12885 0 0 17 1 4 3 20 0 15 0 107267121 11246788608 13209 33554432000 4194304 4196468 140729896333568 140479296969728 140479317838381 0 4 0 16800975 18446744072101514788 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=10983192 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246788608 13209 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=10983192 memory=140584969418368 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246788608 13209 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246788608 13209 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11246788608 13209 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=10983224 memory=140584969418368 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267123 11246821376 13209 33554432000 4194304 4196468 140729896333568 140478362110832 140479325170306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=10983224 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 107267124 11246821376 13209 33554432000 4194304 4196468 140729896333568 140478179698208 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267124 11246788608 13209 33554432000 4194304 4196468 140729896333568 140477978371440 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20369] ppid=20305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20369/stat : 20369 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11246788608 13209 33554432000 4194304 4196468 140729896333568 140477670971728 140479325177755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20370] ppid=20305 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20308/task/20370/stat : 20370 (java) S 20305 20308 9814 0 -1 1077944384 369 12885 0 0 1 0 4 3 20 0 15 0 107267127 11246788608 13209 33554432000 4194304 4196468 140729896333568 140478361057648 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20371] ppid=20305 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20308/task/20371/stat : 20371 (java) S 20305 20308 9814 0 -1 1077944384 269 12885 0 0 1 0 4 3 20 0 15 0 107267127 11246788608 13209 33554432000 4194304 4196468 140729896333568 140478360004848 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20372] ppid=20305 vsize=10983192 memory=140584969418368 CPUtime=0.11 cores=1,3,5,7
/proc/20308/task/20372/stat : 20372 (java) S 20305 20308 9814 0 -1 1077944384 602 12885 0 0 4 0 4 3 20 0 15 0 107267127 11246788608 13209 33554432000 4194304 4196468 140729896333568 140478358952048 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20373] ppid=20305 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20373/stat : 20373 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11246788608 13209 33554432000 4194304 4196468 140729896333568 140477240174816 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20374] ppid=20305 vsize=10983192 memory=140584969418368 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20374/stat : 20374 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267127 11246788608 13209 33554432000 4194304 4196468 140729896333568 140478357900464 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52652 KiB

[startup+1.50065 s]
/proc/loadavg: 2.11 2.10 1.98 6/215 20374
/proc/meminfo: memFree=25653032/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=10991948 memory=116728 CPUtime=1.62 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 19225 12885 0 0 149 6 4 3 20 0 15 0 107267069 11255754752 29182 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2747987 29182 3438 1 0 2709645 0
[pid=20308/tid=20361] ppid=20305 vsize=10991948 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) R 20305 20308 9814 0 -1 4202560 14264 12885 0 0 91 4 4 3 20 0 15 0 107267121 11255754752 29182 33554432000 4194304 4196468 140729896333568 140479296991232 140479325171094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267122 11255754752 29182 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=10991948 memory=8 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11255754752 29182 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=10991948 memory=10 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11255754752 29182 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=10991948 memory=15 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 107267122 11255754752 29182 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 5 12885 0 0 0 0 4 3 20 0 15 0 107267123 11255754752 29182 33554432000 4194304 4196468 140729896333568 140478362110832 140479325170306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 107267124 11255754752 29182 33554432000 4194304 4196468 140729896333568 140478179698208 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=10991948 memory=281169631999280 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 107267124 11255754752 29182 33554432000 4194304 4196468 140729896333568 140477978371440 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20369] ppid=20305 vsize=10991948 memory=14690816334067831 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20369/stat : 20369 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11255754752 29182 33554432000 4194304 4196468 140729896333568 140477670971728 140479325177755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20370] ppid=20305 vsize=10991948 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/20308/task/20370/stat : 20370 (java) S 20305 20308 9814 0 -1 1077944384 832 12885 0 0 13 0 4 3 20 0 15 0 107267127 11255754752 29182 33554432000 4194304 4196468 140729896333568 140478361057648 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20371] ppid=20305 vsize=10991948 memory=0 CPUtime=0.25 cores=1,3,5,7

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

Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 230192 KiB

[startup+6.3007 s]*
/proc/loadavg: 2.58 2.20 2.01 4/215 20374
/proc/meminfo: memFree=25138572/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=11080032 memory=473272 CPUtime=13.19 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 78442 12885 0 0 1285 27 4 3 20 0 15 0 107267069 11345952768 118318 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2770008 118318 3517 1 0 2731661 0
[pid=20308/tid=20361] ppid=20305 vsize=11080032 memory=7022364594140610616 CPUtime=5.71 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) R 20305 20308 9814 0 -1 4202560 49032 12885 0 0 552 12 4 3 20 0 15 0 107267121 11345952768 118318 33554432000 4194304 4196468 140729896333568 140479296990784 140478885754032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=11080032 memory=345 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 348 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 118318 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=11080032 memory=140584969437429 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 48 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 118318 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=11080032 memory=7375041787698373735 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 167 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 118318 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=11080032 memory=3545798784249443896 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 69 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 118318 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=11080032 memory=140584969418368 CPUtime=0.11 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 2119 12885 0 0 4 0 4 3 20 0 15 0 107267123 11345952768 118318 33554432000 4194304 4196468 140729896333568 140478362110832 140479325170306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=11080032 memory=140584815689847 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 15 12885 0 0 0 0 4 3 20 0 15 0 107267124 11345952768 118318 33554432000 4194304 4196468 140729896333568 140478179698272 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=11080032 memory=7594308565232873834 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267124 11345952768 118318 33554432000 4194304 4196468 140729896333568 140477978371456 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20369] ppid=20305 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20369/stat : 20369 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 118318 33554432000 4194304 4196468 140729896333568 140477670971728 140479325177755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20370] ppid=20305 vsize=11080032 memory=0 CPUtime=2.82 cores=1,3,5,7
/proc/20308/task/20370/stat : 20370 (java) R 20305 20308 9814 0 -1 4202560 11787 12885 0 0 273 2 4 3 20 0 15 0 107267127 11345952768 118318 33554432000 4194304 4196468 140729896333568 140478361037616 140479306334875 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20371] ppid=20305 vsize=11080032 memory=-1 CPUtime=2.61 cores=1,3,5,7
/proc/20308/task/20371/stat : 20371 (java) S 20305 20308 9814 0 -1 1077944384 5658 12885 0 0 252 2 4 3 20 0 15 0 107267127 11345952768 118318 33554432000 4194304 4196468 140729896333568 140478360004848 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20372] ppid=20305 vsize=11080032 memory=140584969418368 CPUtime=1.92 cores=1,3,5,7
/proc/20308/task/20372/stat : 20372 (java) S 20305 20308 9814 0 -1 1077944384 6983 12885 0 0 182 3 4 3 20 0 15 0 107267127 11345952768 118318 33554432000 4194304 4196468 140729896333568 140478358952048 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20373] ppid=20305 vsize=11080032 memory=3472328296227680303 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20373/stat : 20373 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 118318 33554432000 4194304 4196468 140729896333568 140477240174816 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20374] ppid=20305 vsize=11080032 memory=2315026115403716596 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20374/stat : 20374 (java) S 20305 20308 9814 0 -1 1077944384 15 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 118318 33554432000 4194304 4196468 140729896333568 140478357900464 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
Current children cumulated CPU time: 13.19 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 473272 KiB

[startup+7.01938 s]
# the end of solver process 20308 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.095 s, system=0.35017 s

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

[startup+6.70072 s]
/proc/loadavg: 2.58 2.20 2.01 4/215 20374
/proc/meminfo: memFree=25138572/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=11080032 memory=575924 CPUtime=13.83 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 78596 12885 0 0 1347 29 4 3 20 0 15 0 107267069 11345952768 143981 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2770008 143981 3518 1 0 2731661 0
[pid=20308/tid=20361] ppid=20305 vsize=11080032 memory=6655300316396806240 CPUtime=6.09 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) R 20305 20308 9814 0 -1 4202560 49082 12885 0 0 589 13 4 3 20 0 15 0 107267121 11345952768 143981 33554432000 4194304 4196468 140729896333568 140479296990816 140478884138887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=11080032 memory=6944656592455360604 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 350 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 143981 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=11080032 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 55 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 143981 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=11080032 memory=-8707038579349950309 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 169 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 143981 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=11080032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 70 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 143981 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=11080032 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 2163 12885 0 0 4 0 4 3 20 0 15 0 107267123 11345952768 143981 33554432000 4194304 4196468 140729896333568 140478362110832 140479325170306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=11080032 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 15 12885 0 0 0 0 4 3 20 0 15 0 107267124 11345952768 143981 33554432000 4194304 4196468 140729896333568 140478179698272 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=11080032 memory=30584 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267124 11345952768 143981 33554432000 4194304 4196468 140729896333568 140477978371456 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20369] ppid=20305 vsize=11080032 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20369/stat : 20369 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 143981 33554432000 4194304 4196468 140729896333568 140477670971728 140479325177755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20370] ppid=20305 vsize=11080032 memory=2241 CPUtime=2.96 cores=1,3,5,7
/proc/20308/task/20370/stat : 20370 (java) S 20305 20308 9814 0 -1 1077944384 11826 12885 0 0 287 2 4 3 20 0 15 0 107267127 11345952768 143981 33554432000 4194304 4196468 140729896333568 140478361057648 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20371] ppid=20305 vsize=11080032 memory=1784 CPUtime=2.71 cores=1,3,5,7
/proc/20308/task/20371/stat : 20371 (java) R 20305 20308 9814 0 -1 4202560 5665 12885 0 0 262 2 4 3 20 0 15 0 107267127 11345952768 143981 33554432000 4194304 4196468 140729896333568 140478359993520 140479304995497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20372] ppid=20305 vsize=11080032 memory=5752 CPUtime=1.94 cores=1,3,5,7
/proc/20308/task/20372/stat : 20372 (java) S 20305 20308 9814 0 -1 1077944384 6985 12885 0 0 183 4 4 3 20 0 15 0 107267127 11345952768 143981 33554432000 4194304 4196468 140729896333568 140478358952048 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20373] ppid=20305 vsize=11080032 memory=4588 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20373/stat : 20373 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 143981 33554432000 4194304 4196468 140729896333568 140477240174816 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20374] ppid=20305 vsize=11080032 memory=1612 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20374/stat : 20374 (java) S 20305 20308 9814 0 -1 1077944384 15 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 143981 33554432000 4194304 4196468 140729896333568 140478357900464 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
Current children cumulated CPU time: 13.83 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 575924 KiB

[startup+6.90079 s]
/proc/loadavg: 2.58 2.20 2.01 4/215 20374
/proc/meminfo: memFree=25138572/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=11080032 memory=576212 CPUtime=14.18 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 78654 12885 0 0 1382 29 4 3 20 0 15 0 107267069 11345952768 144053 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2770008 144053 3518 1 0 2731661 0
[pid=20308/tid=20361] ppid=20305 vsize=11080032 memory=1852 CPUtime=6.29 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) R 20305 20308 9814 0 -1 4202560 49086 12885 0 0 609 13 4 3 20 0 15 0 107267121 11345952768 144053 33554432000 4194304 4196468 140729896333568 140479296989520 140479325171094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=11080032 memory=872 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 350 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 144053 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=11080032 memory=8076 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 55 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 144053 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=11080032 memory=11648 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 169 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 144053 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=11080032 memory=796 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 70 12885 0 0 4 1 4 3 20 0 15 0 107267122 11345952768 144053 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=11080032 memory=5752 CPUtime=0.11 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 2163 12885 0 0 4 0 4 3 20 0 15 0 107267123 11345952768 144053 33554432000 4194304 4196468 140729896333568 140478362110832 140479325170306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=11080032 memory=4588 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 15 12885 0 0 0 0 4 3 20 0 15 0 107267124 11345952768 144053 33554432000 4194304 4196468 140729896333568 140478179698272 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=11080032 memory=1612 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267124 11345952768 144053 33554432000 4194304 4196468 140729896333568 140477978371456 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20369] ppid=20305 vsize=11080032 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20369/stat : 20369 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 144053 33554432000 4194304 4196468 140729896333568 140477670971728 140479325177755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20370] ppid=20305 vsize=11080032 memory=1852 CPUtime=2.97 cores=1,3,5,7
/proc/20308/task/20370/stat : 20370 (java) R 20305 20308 9814 0 -1 1077944384 11829 12885 0 0 288 2 4 3 20 0 15 0 107267127 11345952768 144053 33554432000 4194304 4196468 140729896333568 140478361048976 140479325169365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20371] ppid=20305 vsize=11080032 memory=872 CPUtime=2.83 cores=1,3,5,7
/proc/20308/task/20371/stat : 20371 (java) R 20305 20308 9814 0 -1 4202560 5691 12885 0 0 274 2 4 3 20 0 15 0 107267127 11345952768 144053 33554432000 4194304 4196468 140729896333568 140478360004848 140479318144201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20372] ppid=20305 vsize=11080032 memory=8076 CPUtime=1.96 cores=1,3,5,7
/proc/20308/task/20372/stat : 20372 (java) R 20305 20308 9814 0 -1 4202560 7010 12885 0 0 185 4 4 3 20 0 15 0 107267127 11345952768 144053 33554432000 4194304 4196468 140729896333568 140478358952048 140479325171094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20373] ppid=20305 vsize=11080032 memory=11648 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20373/stat : 20373 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 144053 33554432000 4194304 4196468 140729896333568 140477240174816 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20374] ppid=20305 vsize=11080032 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20374/stat : 20374 (java) S 20305 20308 9814 0 -1 1077944384 15 12885 0 0 0 0 4 3 20 0 15 0 107267127 11345952768 144053 33554432000 4194304 4196468 140729896333568 140478357900464 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 576212 KiB

[startup+7.00069 s]
/proc/loadavg: 2.58 2.20 2.01 4/215 20374
/proc/meminfo: memFree=25138572/32770624 swapFree=67108436/67108860
[pid=20308] ppid=20305 vsize=11144540 memory=580844 CPUtime=14.4 cores=1,3,5,7
/proc/20308/stat : 20308 (java) S 20305 20308 9814 0 -1 1077944320 78766 12885 0 0 1404 29 4 3 20 0 13 0 107267069 11412008960 145211 33554432000 4194304 4196468 140729896333568 140729896316112 140479325159159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
/proc/20308/statm: 2786135 145211 3521 1 0 2747788 0
[pid=20308/tid=20361] ppid=20305 vsize=11144540 memory=575924 CPUtime=6.38 cores=1,3,5,7
/proc/20308/task/20361/stat : 20361 (java) S 20305 20308 9814 0 -1 1077944384 49111 12885 0 0 618 13 4 3 20 0 13 0 107267121 11412008960 145211 33554432000 4194304 4196468 140729896333568 140479297002640 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20362] ppid=20305 vsize=11144540 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20362/stat : 20362 (java) S 20305 20308 9814 0 -1 1077944384 352 12885 0 0 4 1 4 3 20 0 13 0 107267122 11412008960 145211 33554432000 4194304 4196468 140729896333568 140479329393296 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20363] ppid=20305 vsize=11144540 memory=281169631897472 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20363/stat : 20363 (java) S 20305 20308 9814 0 -1 1077944384 55 12885 0 0 4 1 4 3 20 0 13 0 107267122 11412008960 145211 33554432000 4194304 4196468 140729896333568 140479194737168 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20364] ppid=20305 vsize=11144540 memory=6944610425198257045 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20364/stat : 20364 (java) S 20305 20308 9814 0 -1 1077944384 171 12885 0 0 4 1 4 3 20 0 13 0 107267122 11412008960 145211 33554432000 4194304 4196468 140729896333568 140479193684368 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20365] ppid=20305 vsize=11144540 memory=6944656592387989600 CPUtime=0.12 cores=1,3,5,7
/proc/20308/task/20365/stat : 20365 (java) S 20305 20308 9814 0 -1 1077944384 74 12885 0 0 4 1 4 3 20 0 13 0 107267122 11412008960 145211 33554432000 4194304 4196468 140729896333568 140479192631568 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20366] ppid=20305 vsize=11144540 memory=6655300316396806240 CPUtime=0.11 cores=1,3,5,7
/proc/20308/task/20366/stat : 20366 (java) S 20305 20308 9814 0 -1 1077944384 2163 12885 0 0 4 0 4 3 20 0 13 0 107267123 11412008960 145211 33554432000 4194304 4196468 140729896333568 140478362111040 140479325170306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20367] ppid=20305 vsize=11144540 memory=468996 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20367/stat : 20367 (java) S 20305 20308 9814 0 -1 1077944384 15 12885 0 0 0 0 4 3 20 0 13 0 107267124 11412008960 145211 33554432000 4194304 4196468 140729896333568 140478179698272 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20368] ppid=20305 vsize=11144540 memory=468920 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20368/stat : 20368 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 13 0 107267124 11412008960 145211 33554432000 4194304 4196468 140729896333568 140477978371456 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20370] ppid=20305 vsize=11144540 memory=2412 CPUtime=3.04 cores=1,3,5,7
/proc/20308/task/20370/stat : 20370 (java) S 20305 20308 9814 0 -1 1077944384 11839 12885 0 0 295 2 4 3 20 0 13 0 107267127 11412008960 145211 33554432000 4194304 4196468 140729896333568 140478361036880 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20371] ppid=20305 vsize=11144540 memory=1784 CPUtime=2.86 cores=1,3,5,7
/proc/20308/task/20371/stat : 20371 (java) S 20305 20308 9814 0 -1 1077944384 5701 12885 0 0 277 2 4 3 20 0 13 0 107267127 11412008960 145211 33554432000 4194304 4196468 140729896333568 140478359983888 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20372] ppid=20305 vsize=11144540 memory=6791534058613427641 CPUtime=1.98 cores=1,3,5,7
/proc/20308/task/20372/stat : 20372 (java) S 20305 20308 9814 0 -1 1077944384 7035 12885 0 0 187 4 4 3 20 0 13 0 107267127 11412008960 145211 33554432000 4194304 4196468 140729896333568 140478358952048 140479325170306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
[pid=20308/tid=20373] ppid=20305 vsize=11144540 memory=576460758198939444 CPUtime=0.07 cores=1,3,5,7
/proc/20308/task/20373/stat : 20373 (java) S 20305 20308 9814 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 13 0 107267127 11412008960 145211 33554432000 4194304 4196468 140729896333568 140477240174816 140479325169365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37388288 140729896340083 140729896342881 140729896342881 140729896345551 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 11144540 KiB
Current children cumulated memory: 580844 KiB

Child status: 0
Real time (s): 7.01945
CPU time (s): 14.4452
CPU user time (s): 14.095
CPU system time (s): 0.35017
CPU usage (%): 205.788
Max. virtual memory (cumulated for all children) (KiB): 11144540
Max. memory (cumulated for all children) (KiB): 580844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.095
system time used= 0.35017
maximum resident set size= 582848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8375
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 20308
#   total CPU time (s): 14.4452
#   total CPU user time (s): 14.095
#   total CPU system time (s): 0.35017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059842 second user time and 0.107495 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-29 22:43:59
IDJOB=4302479
IDBENCH=141355
IDSOLVER=2776
FILE ID=node137/4302479-1532897039
RUNJOBID= node137-1532893235-14550
PBS_JOBID= 21022513
Free space on /tmp= 48508 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m2-catfood_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302479-1532897039/watcher-4302479-1532897039 -o /tmp/evaluation-result-4302479-1532897039/solver-4302479-1532897039 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=45854914 HOME/instance-4302479-1532897039.xml

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

MD5SUM BENCH= 27271f0787f1d872c0f25c4abe418056
RANDOM SEED=45854914

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25833332 kB
MemAvailable:   29646148 kB
Buffers:          220008 kB
Cached:          3828604 kB
SwapCached:           32 kB
Active:          4087956 kB
Inactive:        2302280 kB
Active(anon):    2289400 kB
Inactive(anon):    79972 kB
Active(file):    1798556 kB
Inactive(file):  2222308 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             26652 kB
Writeback:             0 kB
AnonPages:       2443544 kB
Mapped:            55900 kB
Shmem:             25052 kB
Slab:             243680 kB
SReclaimable:     215572 kB
SUnreclaim:        28108 kB
KernelStack:        3808 kB
PageTables:         9828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3327588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2230272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48484 MiB
End job on node137 at 2018-07-29 22:44:06