Trace number 4285113

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 NameAnswerCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT 2.93032 1.34908

General information on the benchmark

NameCryptoPuzzle/CryptoPuzzle-m1-s1/
CryptoPuzzle-black-green-orange.xml
MD5SUM71768db4d07ee5861d3fa1921f61b84c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.01381
Satisfiable
(Un)Satisfiability was proved
Number of variables32
Number of constraints16
Number of domains2
Minimum domain size2
Maximum domain size10
Distribution of domain sizes[{"size":2,"count":6},{"size":10,"count":10}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":16},{"degree":2,"count":1},{"degree":3,"count":9},{"degree":4,"count":4},{"degree":5,"count":1},{"degree":6,"count":1}]
Minimum constraint arity1
Maximum constraint arity10
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":1},{"arity":4,"count":10},{"arity":10,"count":1}]
Number of extensional constraints0
Number of intensional constraints15
Distribution of constraint types[{"type":"intension","count":15},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 1535183693
0.29/0.25	c timeout: 20160
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
0.82/0.56	c Parsing done, starting search...
2.79/1.32	s SATISFIABLE
2.79/1.32	v <instantiation>
2.79/1.32	v 	<list>
2.79/1.32	v 		l[0] l[1] l[2] l[4] l[6] l[10] l[11] l[13] l[14] l[17] C[0] C[1] C[2] C[3] C[4] C[5]
2.79/1.32	v 	</list>
2.79/1.32	v 	<values>
2.79/1.32	v 		2 7 0 4 5 8 9 6 1 3 0 1 0 0 1 1 
2.79/1.32	v 	</values>
2.79/1.32	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285113-1503458278/watcher-4285113-1503458278 -o /tmp/evaluation-result-4285113-1503458278/solver-4285113-1503458278 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503449773-8151 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1535183693 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285113-1503458278.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9757, runsolver pid=9754
Current StackSize limit: 8192 KiB


[startup+0.101181 s]*
/proc/loadavg: 4.31 2.20 1.51 1/200 9777
/proc/meminfo: memFree=23654744/32770624 swapFree=67108860/67108860
[pid=9757] ppid=9754 vsize=26000852 memory=32712 CPUtime=0.12 cores=0-7
/proc/9757/stat : 9757 (java) S 9754 9757 8124 0 -1 1077944320 8581 0 0 0 10 2 0 0 20 0 20 0 178915389 26624872448 8178 33554432000 4194304 4196468 140721277248032 140721277230576 139886986440439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
/proc/9757/statm: 6500213 8178 3412 1 0 6487932 0
[pid=9757/tid=9759] ppid=9754 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9757/task/9759/stat : 9759 (java) R 9754 9757 8124 0 -1 4202560 6528 0 0 0 8 1 0 0 20 0 20 0 178915389 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886990655472 139886970520926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9760] ppid=9754 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9757/task/9760/stat : 9760 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886951721488 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9761] ppid=9754 vsize=26000852 memory=140651976144512 CPUtime=0 cores=0-7
/proc/9757/task/9761/stat : 9761 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886544079504 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9762] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9762/stat : 9762 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886543026448 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9763] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9763/stat : 9763 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886541973904 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9764] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9764/stat : 9764 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886540921872 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9765] ppid=9754 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9757/task/9765/stat : 9765 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886539869328 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9766] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9766/stat : 9766 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886538816272 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9767] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9767/stat : 9767 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 8178 33554432000 4194304 4196468 140721277248032 139886537763728 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9768] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9768/stat : 9768 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915391 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885192091888 139886986451586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9769] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9769/stat : 9769 (java) S 9754 9757 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178915392 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885191038112 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9770] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9770/stat : 9770 (java) S 9754 9757 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178915392 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885189985008 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9771] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9771/stat : 9771 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915394 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885188933584 139886986459035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9772] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9772/stat : 9772 (java) S 9754 9757 8124 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 178915394 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885187881712 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9773] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9773/stat : 9773 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915394 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885186829168 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9774] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9774/stat : 9774 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915395 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885185776112 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9775] ppid=9754 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/9757/task/9775/stat : 9775 (java) S 9754 9757 8124 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 178915395 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885184723568 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9776] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9776/stat : 9776 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915395 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885183670752 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9777] ppid=9754 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9757/task/9777/stat : 9777 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915395 26624872448 8178 33554432000 4194304 4196468 140721277248032 139885182618288 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32712 KiB

[startup+0.210626 s]*
/proc/loadavg: 4.31 2.20 1.51 2/200 9777
/proc/meminfo: memFree=23643764/32770624 swapFree=67108860/67108860
[pid=9757] ppid=9754 vsize=26000852 memory=41860 CPUtime=0.29 cores=0-7
/proc/9757/stat : 9757 (java) S 9754 9757 8124 0 -1 1077944320 9597 0 0 0 26 3 0 0 20 0 20 0 178915389 26624872448 10465 33554432000 4194304 4196468 140721277248032 140721277230576 139886986440439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
/proc/9757/statm: 6500213 10465 3598 1 0 6487932 0
[pid=9757/tid=9759] ppid=9754 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/9757/task/9759/stat : 9759 (java) R 9754 9757 8124 0 -1 4202560 7156 0 0 0 17 2 0 0 20 0 20 0 178915389 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886990658720 139886970520926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9760] ppid=9754 vsize=26000852 memory=9419 CPUtime=0 cores=0-7
/proc/9757/task/9760/stat : 9760 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886951721488 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9761] ppid=9754 vsize=26000852 memory=140651976153240 CPUtime=0 cores=0-7
/proc/9757/task/9761/stat : 9761 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886544079504 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9762] ppid=9754 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9757/task/9762/stat : 9762 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886543026448 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9763] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9763/stat : 9763 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886541973904 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9764] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9764/stat : 9764 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886540921872 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9765] ppid=9754 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9757/task/9765/stat : 9765 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886539869328 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9766] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9766/stat : 9766 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886538816272 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9767] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9767/stat : 9767 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624872448 10465 33554432000 4194304 4196468 140721277248032 139886537763728 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9768] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9768/stat : 9768 (java) S 9754 9757 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178915391 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885192091888 139886986451586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9769] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9769/stat : 9769 (java) S 9754 9757 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178915392 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885191038112 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9770] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9770/stat : 9770 (java) S 9754 9757 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178915392 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885189985008 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9771] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9771/stat : 9771 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915394 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885188933584 139886986459035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9772] ppid=9754 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/9757/task/9772/stat : 9772 (java) S 9754 9757 8124 0 -1 1077944384 583 0 0 0 1 0 0 0 20 0 20 0 178915394 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885187881712 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9773] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9773/stat : 9773 (java) S 9754 9757 8124 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 178915394 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885186829168 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9774] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9774/stat : 9774 (java) S 9754 9757 8124 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 178915395 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885185776112 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9775] ppid=9754 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/9757/task/9775/stat : 9775 (java) S 9754 9757 8124 0 -1 1077944384 402 0 0 0 5 0 0 0 20 0 20 0 178915395 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885184723568 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9776] ppid=9754 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9776/stat : 9776 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915395 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885183670752 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9777] ppid=9754 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9757/task/9777/stat : 9777 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915395 26624872448 10465 33554432000 4194304 4196468 140721277248032 139885182618288 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41860 KiB

[startup+0.310446 s]*
/proc/loadavg: 4.31 2.20 1.51 2/200 9777
/proc/meminfo: memFree=23636692/32770624 swapFree=67108860/67108860
[pid=9757] ppid=9754 vsize=26000872 memory=48984 CPUtime=0.47 cores=0-7
/proc/9757/stat : 9757 (java) S 9754 9757 8124 0 -1 1077944320 10547 0 0 0 43 4 0 0 20 0 20 0 178915389 26624892928 12246 33554432000 4194304 4196468 140721277248032 140721277230576 139886986440439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
/proc/9757/statm: 6500218 12246 3694 1 0 6487932 0
[pid=9757/tid=9759] ppid=9754 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9757/task/9759/stat : 9759 (java) R 9754 9757 8124 0 -1 4202560 7762 0 0 0 27 2 0 0 20 0 20 0 178915389 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886990668848 139886623216762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9760] ppid=9754 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9760/stat : 9760 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886951721488 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9761] ppid=9754 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9761/stat : 9761 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886544079504 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9762] ppid=9754 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9762/stat : 9762 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886543026448 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9763] ppid=9754 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9763/stat : 9763 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886541973904 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9764] ppid=9754 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/9757/task/9764/stat : 9764 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886540921872 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9765] ppid=9754 vsize=26000872 memory=140651857540015 CPUtime=0 cores=0-7
/proc/9757/task/9765/stat : 9765 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886539869328 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9766] ppid=9754 vsize=26000872 memory=140651857542320 CPUtime=0 cores=0-7
/proc/9757/task/9766/stat : 9766 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886538816272 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9767] ppid=9754 vsize=26000872 memory=140651857544624 CPUtime=0 cores=0-7
/proc/9757/task/9767/stat : 9767 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26624892928 12246 33554432000 4194304 4196468 140721277248032 139886537763728 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9768] ppid=9754 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9768/stat : 9768 (java) S 9754 9757 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178915391 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885192091888 139886986451586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9769] ppid=9754 vsize=26000872 memory=281303715096208 CPUtime=0 cores=0-7
/proc/9757/task/9769/stat : 9769 (java) S 9754 9757 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178915392 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885191038112 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9770] ppid=9754 vsize=26000872 memory=281303715103120 CPUtime=0 cores=0-7
/proc/9757/task/9770/stat : 9770 (java) S 9754 9757 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178915392 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885189985008 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9771] ppid=9754 vsize=26000872 memory=281303715044400 CPUtime=0 cores=0-7
/proc/9757/task/9771/stat : 9771 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915394 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885188933584 139886986459035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9772] ppid=9754 vsize=26000872 memory=281303715116944 CPUtime=0.03 cores=0-7
/proc/9757/task/9772/stat : 9772 (java) S 9754 9757 8124 0 -1 1077944384 685 0 0 0 3 0 0 0 20 0 20 0 178915394 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885187881712 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9773] ppid=9754 vsize=26000872 memory=281303715123856 CPUtime=0.02 cores=0-7
/proc/9757/task/9773/stat : 9773 (java) S 9754 9757 8124 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 178915394 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885186829168 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9774] ppid=9754 vsize=26000872 memory=281303715121552 CPUtime=0.01 cores=0-7
/proc/9757/task/9774/stat : 9774 (java) S 9754 9757 8124 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 178915395 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885185776112 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9775] ppid=9754 vsize=26000872 memory=281303715138160 CPUtime=0.08 cores=0-7
/proc/9757/task/9775/stat : 9775 (java) R 9754 9757 8124 0 -1 1077944384 553 0 0 0 8 0 0 0 20 0 20 0 178915395 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885184723568 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9776] ppid=9754 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9776/stat : 9776 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915395 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885183670752 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9777] ppid=9754 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/9757/task/9777/stat : 9777 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915395 26624892928 12246 33554432000 4194304 4196468 140721277248032 139885182618288 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 48984 KiB

[startup+0.70093 s]
/proc/loadavg: 4.31 2.20 1.51 2/200 9777
/proc/meminfo: memFree=23623964/32770624 swapFree=67108860/67108860
[pid=9757] ppid=9754 vsize=26004968 memory=79416 CPUtime=1.07 cores=0-7
/proc/9757/stat : 9757 (java) S 9754 9757 8124 0 -1 1077944320 13002 0 0 0 102 5 0 0 20 0 20 0 178915389 26629087232 19854 33554432000 4194304 4196468 140721277248032 140721277230576 139886986440439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
/proc/9757/statm: 6501242 19854 3754 1 0 6488956 0
[pid=9757/tid=9759] ppid=9754 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7
/proc/9757/task/9759/stat : 9759 (java) R 9754 9757 8124 0 -1 4202560 9560 0 0 0 64 3 0 0 20 0 20 0 178915389 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886990667504 139886970520926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9760] ppid=9754 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9760/stat : 9760 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886951721488 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9761] ppid=9754 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9761/stat : 9761 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886544079504 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9762] ppid=9754 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9762/stat : 9762 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886543026448 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9763] ppid=9754 vsize=26004968 memory=792 CPUtime=0 cores=0-7
/proc/9757/task/9763/stat : 9763 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886541973904 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9764] ppid=9754 vsize=26004968 memory=948 CPUtime=0 cores=0-7
/proc/9757/task/9764/stat : 9764 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886540921872 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9765] ppid=9754 vsize=26004968 memory=10768 CPUtime=0 cores=0-7
/proc/9757/task/9765/stat : 9765 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886539869328 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9766] ppid=9754 vsize=26004968 memory=1204 CPUtime=0 cores=0-7
/proc/9757/task/9766/stat : 9766 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886538816272 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9767] ppid=9754 vsize=26004968 memory=15828 CPUtime=0 cores=0-7
/proc/9757/task/9767/stat : 9767 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26629087232 19854 33554432000 4194304 4196468 140721277248032 139886537763728 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9768] ppid=9754 vsize=26004968 memory=15796 CPUtime=0 cores=0-7
/proc/9757/task/9768/stat : 9768 (java) S 9754 9757 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178915391 26629087232 19854 33554432000 4194304 4196468 140721277248032 139885192091888 139886986451586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0

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

Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 26004968 KiB
Current children cumulated memory: 79416 KiB

[startup+1.34902 s]
# the end of solver process 9757 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.78015 s, system=0.150168 s

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

[startup+0.801118 s]
/proc/loadavg: 4.31 2.20 1.51 2/200 9777
/proc/meminfo: memFree=23623964/32770624 swapFree=67108860/67108860
[pid=9757] ppid=9754 vsize=26007016 memory=86132 CPUtime=1.28 cores=0-7
/proc/9757/stat : 9757 (java) S 9754 9757 8124 0 -1 1077944320 13580 0 0 0 122 6 0 0 20 0 20 0 178915389 26631184384 21533 33554432000 4194304 4196468 140721277248032 140721277230576 139886986440439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
/proc/9757/statm: 6501754 21533 3777 1 0 6489468 0
[pid=9757/tid=9759] ppid=9754 vsize=26007016 memory=13160 CPUtime=0.77 cores=0-7
/proc/9757/task/9759/stat : 9759 (java) R 9754 9757 8124 0 -1 4202560 9941 0 0 0 74 3 0 0 20 0 20 0 178915389 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886990672048 139886986452374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9760] ppid=9754 vsize=26007016 memory=792 CPUtime=0 cores=0-7
/proc/9757/task/9760/stat : 9760 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886951721488 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9761] ppid=9754 vsize=26007016 memory=948 CPUtime=0 cores=0-7
/proc/9757/task/9761/stat : 9761 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886544079504 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9762] ppid=9754 vsize=26007016 memory=10768 CPUtime=0 cores=0-7
/proc/9757/task/9762/stat : 9762 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886543026448 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9763] ppid=9754 vsize=26007016 memory=1204 CPUtime=0 cores=0-7
/proc/9757/task/9763/stat : 9763 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886541973904 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9764] ppid=9754 vsize=26007016 memory=15828 CPUtime=0 cores=0-7
/proc/9757/task/9764/stat : 9764 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886540921872 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9765] ppid=9754 vsize=26007016 memory=15796 CPUtime=0 cores=0-7
/proc/9757/task/9765/stat : 9765 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886539869328 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9766] ppid=9754 vsize=26007016 memory=4048 CPUtime=0 cores=0-7
/proc/9757/task/9766/stat : 9766 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886538816272 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9767] ppid=9754 vsize=26007016 memory=281303715106256 CPUtime=0 cores=0-7
/proc/9757/task/9767/stat : 9767 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915390 26631184384 21533 33554432000 4194304 4196468 140721277248032 139886537763728 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9768] ppid=9754 vsize=26007016 memory=281303714893328 CPUtime=0 cores=0-7
/proc/9757/task/9768/stat : 9768 (java) S 9754 9757 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178915391 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885192091888 139886986451586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9769] ppid=9754 vsize=26007016 memory=281303714893200 CPUtime=0 cores=0-7
/proc/9757/task/9769/stat : 9769 (java) S 9754 9757 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178915392 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885191038112 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9770] ppid=9754 vsize=26007016 memory=164 CPUtime=0 cores=0-7
/proc/9757/task/9770/stat : 9770 (java) S 9754 9757 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178915392 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885189985008 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9771] ppid=9754 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9771/stat : 9771 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915394 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885188933584 139886986459035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9772] ppid=9754 vsize=26007016 memory=0 CPUtime=0.07 cores=0-7
/proc/9757/task/9772/stat : 9772 (java) S 9754 9757 8124 0 -1 1077944384 705 0 0 0 7 0 0 0 20 0 20 0 178915394 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885187881712 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9773] ppid=9754 vsize=26007016 memory=0 CPUtime=0.08 cores=0-7
/proc/9757/task/9773/stat : 9773 (java) S 9754 9757 8124 0 -1 1077944384 367 0 0 0 8 0 0 0 20 0 20 0 178915394 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885186829168 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9774] ppid=9754 vsize=26007016 memory=0 CPUtime=0.09 cores=0-7
/proc/9757/task/9774/stat : 9774 (java) S 9754 9757 8124 0 -1 1077944384 252 0 0 0 9 0 0 0 20 0 20 0 178915395 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885185776112 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9775] ppid=9754 vsize=26007016 memory=0 CPUtime=0.22 cores=0-7
/proc/9757/task/9775/stat : 9775 (java) R 9754 9757 8124 0 -1 4202560 932 0 0 0 22 0 0 0 20 0 20 0 178915395 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885184721360 139886979537275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9776] ppid=9754 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9776/stat : 9776 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178915395 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885183670752 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9777] ppid=9754 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9777/stat : 9777 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178915395 26631184384 21533 33554432000 4194304 4196468 140721277248032 139885182618288 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 86132 KiB

[startup+1.20088 s]
/proc/loadavg: 4.31 2.20 1.51 5/200 9777
/proc/meminfo: memFree=23564740/32770624 swapFree=67108860/67108860
[pid=9757] ppid=9754 vsize=26142192 memory=142624 CPUtime=2.41 cores=0-7
/proc/9757/stat : 9757 (java) S 9754 9757 8124 0 -1 1077944320 24529 0 0 0 231 10 0 0 20 0 22 0 178915389 26769604608 35656 33554432000 4194304 4196468 140721277248032 140721277230576 139886986440439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
/proc/9757/statm: 6535548 35656 3797 1 0 6523262 0
[pid=9757/tid=9759] ppid=9754 vsize=26142192 memory=8112282956445269571 CPUtime=1.16 cores=0-7
/proc/9757/task/9759/stat : 9759 (java) R 9754 9757 8124 0 -1 4202560 13122 0 0 0 111 5 0 0 20 0 22 0 178915389 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886990658064 139886970520926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9760] ppid=9754 vsize=26142192 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/9757/task/9760/stat : 9760 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886951721488 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9761] ppid=9754 vsize=26142192 memory=14976659174459783 CPUtime=0 cores=0-7
/proc/9757/task/9761/stat : 9761 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886544079504 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9762] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9762/stat : 9762 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886543026448 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9763] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9763/stat : 9763 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886541973904 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9764] ppid=9754 vsize=26142192 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/9757/task/9764/stat : 9764 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886540921872 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9765] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9765/stat : 9765 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886539869328 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9766] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9766/stat : 9766 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886538816272 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9767] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9767/stat : 9767 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178915390 26769604608 35656 33554432000 4194304 4196468 140721277248032 139886537763728 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9768] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9768/stat : 9768 (java) S 9754 9757 8124 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 22 0 178915391 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885192091888 139886986451586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9769] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9769/stat : 9769 (java) S 9754 9757 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 22 0 178915392 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885191038112 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9770] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9770/stat : 9770 (java) S 9754 9757 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 22 0 178915392 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885189985008 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9771] ppid=9754 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9771/stat : 9771 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178915394 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885188933584 139886986459035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9772] ppid=9754 vsize=26142192 memory=0 CPUtime=0.23 cores=0-7
/proc/9757/task/9772/stat : 9772 (java) S 9754 9757 8124 0 -1 1077944384 2045 0 0 0 22 1 0 0 20 0 22 0 178915394 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885187881712 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9773] ppid=9754 vsize=26142192 memory=288230574492221466 CPUtime=0.26 cores=0-7
/proc/9757/task/9773/stat : 9773 (java) S 9754 9757 8124 0 -1 1077944384 1846 0 0 0 25 1 0 0 20 0 22 0 178915394 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885186829168 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9774] ppid=9754 vsize=26142192 memory=0 CPUtime=0.26 cores=0-7
/proc/9757/task/9774/stat : 9774 (java) S 9754 9757 8124 0 -1 1077944384 1485 0 0 0 25 1 0 0 20 0 22 0 178915395 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885185776112 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9775] ppid=9754 vsize=26142192 memory=7518591770996335974 CPUtime=0.45 cores=0-7
/proc/9757/task/9775/stat : 9775 (java) S 9754 9757 8124 0 -1 1077944384 4587 0 0 0 44 1 0 0 20 0 22 0 178915395 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885184723568 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9776] ppid=9754 vsize=26142192 memory=7446813384191010392 CPUtime=0 cores=0-7
/proc/9757/task/9776/stat : 9776 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 178915395 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885183670752 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9777] ppid=9754 vsize=26142192 memory=281303715253472 CPUtime=0 cores=0-7
/proc/9757/task/9777/stat : 9777 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 178915395 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885182618288 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9778] ppid=9754 vsize=26142192 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/9757/task/9778/stat : 9778 (java) S 9754 9757 8124 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 22 0 178915490 26769604608 35656 33554432000 4194304 4196468 140721277248032 139885172326912 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 26142192 KiB
Current children cumulated memory: 142624 KiB

[startup+1.30386 s]
/proc/loadavg: 4.31 2.20 1.51 5/200 9777
/proc/meminfo: memFree=23564740/32770624 swapFree=67108860/67108860
[pid=9757] ppid=9754 vsize=26945092 memory=173960 CPUtime=2.79 cores=0-7
/proc/9757/stat : 9757 (java) S 9754 9757 8124 0 -1 1077944320 27383 0 0 0 266 13 0 0 20 0 34 0 178915389 27591774208 43490 33554432000 4194304 4196468 140721277248032 140721277230576 139886986440439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
/proc/9757/statm: 6736273 43490 3799 1 0 6723466 0
[pid=9757/tid=9759] ppid=9754 vsize=26945092 memory=0 CPUtime=1.22 cores=0-7
/proc/9757/task/9759/stat : 9759 (java) S 9754 9757 8124 0 -1 1077944384 13432 0 0 0 117 5 0 0 20 0 34 0 178915389 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886990678144 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9760] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9760/stat : 9760 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886951721488 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9761] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9761/stat : 9761 (java) S 9754 9757 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886544079504 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9762] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9762/stat : 9762 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886543026448 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9763] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9763/stat : 9763 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886541973904 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9764] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9764/stat : 9764 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886540921872 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9765] ppid=9754 vsize=26945092 memory=79416 CPUtime=0 cores=0-7
/proc/9757/task/9765/stat : 9765 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886539869328 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9766] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9766/stat : 9766 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886538816272 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9767] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9767/stat : 9767 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 178915390 27591774208 43490 33554432000 4194304 4196468 140721277248032 139886537763728 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9768] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9768/stat : 9768 (java) S 9754 9757 8124 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 34 0 178915391 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885192091888 139886986451586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9769] ppid=9754 vsize=26945092 memory=0 CPUtime=0 cores=0-7
/proc/9757/task/9769/stat : 9769 (java) S 9754 9757 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 34 0 178915392 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885191038112 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9770] ppid=9754 vsize=26945092 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9757/task/9770/stat : 9770 (java) S 9754 9757 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 34 0 178915392 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885189985008 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9771] ppid=9754 vsize=26945092 memory=281303715255168 CPUtime=0 cores=0-7
/proc/9757/task/9771/stat : 9771 (java) S 9754 9757 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 178915394 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885188933584 139886986459035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9772] ppid=9754 vsize=26945092 memory=281303715255360 CPUtime=0.27 cores=0-7
/proc/9757/task/9772/stat : 9772 (java) S 9754 9757 8124 0 -1 1077944384 2378 0 0 0 26 1 0 0 20 0 34 0 178915394 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885187881712 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9773] ppid=9754 vsize=26945092 memory=281303715233472 CPUtime=0.29 cores=0-7
/proc/9757/task/9773/stat : 9773 (java) S 9754 9757 8124 0 -1 1077944384 1969 0 0 0 28 1 0 0 20 0 34 0 178915394 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885186829168 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9774] ppid=9754 vsize=26945092 memory=281303714957088 CPUtime=0.3 cores=0-7
/proc/9757/task/9774/stat : 9774 (java) R 9754 9757 8124 0 -1 4202560 1749 0 0 0 29 1 0 0 20 0 34 0 178915395 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885185776112 139886966633345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9775] ppid=9754 vsize=26945092 memory=281303714957280 CPUtime=0.48 cores=0-7
/proc/9757/task/9775/stat : 9775 (java) S 9754 9757 8124 0 -1 1077944384 4901 0 0 0 47 1 0 0 20 0 34 0 178915395 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885184723568 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9776] ppid=9754 vsize=26945092 memory=281303714957472 CPUtime=0 cores=0-7
/proc/9757/task/9776/stat : 9776 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 178915395 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885183670752 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9777] ppid=9754 vsize=26945092 memory=281303714957664 CPUtime=0 cores=0-7
/proc/9757/task/9777/stat : 9777 (java) S 9754 9757 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 178915395 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885182618288 139886986451586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
[pid=9757/tid=9778] ppid=9754 vsize=26945092 memory=792 CPUtime=0 cores=0-7
/proc/9757/task/9778/stat : 9778 (java) S 9754 9757 8124 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 34 0 178915490 27591774208 43490 33554432000 4194304 4196468 140721277248032 139885172326912 139886986450645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140721277252705 140721277252891 140721277252891 140721277255631 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 26945092 KiB
Current children cumulated memory: 173960 KiB

Child status: 0
Real time (s): 1.34908
CPU time (s): 2.93032
CPU user time (s): 2.78015
CPU system time (s): 0.150168
CPU usage (%): 217.208
Max. virtual memory (cumulated for all children) (KiB): 26945092
Max. memory (cumulated for all children) (KiB): 173960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.78015
system time used= 0.150168
maximum resident set size= 183152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4470
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 9757
#   total CPU time (s): 2.93032
#   total CPU user time (s): 2.78015
#   total CPU system time (s): 0.150168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032046 second user time and 0.056856 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-23 05:03:37
IDJOB=4285113
IDBENCH=139162
IDSOLVER=2681
FILE ID=node114/4285113-1503458278
RUNJOBID= node114-1503449773-8151
PBS_JOBID= 20632162
Free space on /tmp= 61024 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-black-green-orange.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285113-1503458278/watcher-4285113-1503458278 -o /tmp/evaluation-result-4285113-1503458278/solver-4285113-1503458278 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503449773-8151 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1535183693 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285113-1503458278.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 71768db4d07ee5861d3fa1921f61b84c
RANDOM SEED=1535183693

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        23672024 kB
MemAvailable:   31941164 kB
Buffers:          181364 kB
Cached:          8368956 kB
SwapCached:            0 kB
Active:          2661988 kB
Inactive:        5944696 kB
Active(anon):       7220 kB
Inactive(anon):    93508 kB
Active(file):    2654768 kB
Inactive(file):  5851188 kB
Unevictable:        7248 kB
Mlocked:            7248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42600 kB
Writeback:             0 kB
AnonPages:        139492 kB
Mapped:            54784 kB
Shmem:             41608 kB
Slab:             185044 kB
SReclaimable:     158036 kB
SUnreclaim:        27008 kB
KernelStack:        3376 kB
PageTables:         4876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 60984 MiB
End job on node114 at 2017-08-23 05:03:39