Trace number 4294382

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
Concrete 3.8 2018-06-13SAT 21.452 8.07003

General information on the benchmark

NameSocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
MD5SUM01658bc7723d571de51995bec243d654
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 benchmark1.23379
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints3007
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":125}]
Minimum variable degree98
Maximum variable degree99
Distribution of variable degrees[{"degree":98,"count":100},{"degree":99,"count":25}]
Minimum constraint arity4
Maximum constraint arity125
Distribution of constraint arities[{"arity":4,"count":3000},{"arity":25,"count":6},{"arity":125,"count":1}]
Number of extensional constraints0
Number of intensional constraints3000
Distribution of constraint types[{"type":"intension","count":3000},{"type":"lex","count":1},{"type":"cardinality","count":5},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.98/0.73	c Concrete v3.8.1528841891564 running
21.27/8.04	v <instantiation>
21.27/8.04	v       <list>
21.27/8.04	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24]
21.27/8.04	v       </list>
21.27/8.04	v       <values>
21.27/8.04	v         0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 3 2 1 0 4 0 1 3 4 2 1 4 2 3 0 2 0 4 1 3 4 3 0 2 1 3 2 1 0 4 2 0 4 1 3 4 3 0 2 1 1 4 2 3 0 0 1 3 4 2 3 2 1 0 4 4 3 0 2 1 2 0 4 1 3 0 1 3 4 2 1 4 2 3 0
21.27/8.04	v       </values>
21.27/8.04	v     </instantiation>
21.27/8.04	s SATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294382-1532471367/watcher-4294382-1532471367 -o /tmp/evaluation-result-4294382-1532471367/solver-4294382-1532471367 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19937 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=928958761 HOME/instance-4294382-1532471367.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21136, runsolver pid=21133

[startup+0.100095 s]*
/proc/loadavg: 1.31 1.34 1.38 3/210 21193
/proc/meminfo: memFree=19775968/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=9972712 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 4280 13008 0 0 2 0 4 3 20 0 6 0 64699872 10212057088 4648 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2493178 4648 1934 1 0 2481616 0
[pid=21136/tid=21189] ppid=21133 vsize=9972712 memory=5852835224707498397 CPUtime=0.08 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 2096 13008 0 0 1 0 4 3 20 0 6 0 64699881 10212057088 4648 33554432000 4194304 4196468 140724608777584 140139082191440 140139095666681 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=9972712 memory=5793855830248282553 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 6 0 64699881 10212057088 4648 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=9972712 memory=140579238389376 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 6 0 64699881 10212057088 4648 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 6 0 64699881 10212057088 4648 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 6 0 64699881 10212057088 4648 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.21012 s]*
/proc/loadavg: 1.31 1.34 1.38 3/219 21202
/proc/meminfo: memFree=19759240/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10818936 memory=42952 CPUtime=0.25 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 8630 13008 0 0 17 1 4 3 20 0 15 0 64699872 11078590464 10738 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2704734 10738 2953 1 0 2667157 0
[pid=21136/tid=21189] ppid=21133 vsize=10818936 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 5349 13008 0 0 11 1 4 3 20 0 15 0 64699881 11078590464 10936 33554432000 4194304 4196468 140724608777584 140139082179488 140139103034397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10818936 memory=4211974305443179914 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11078590464 10936 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10818936 memory=140579238389376 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11078590464 10936 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699881 11078590464 11002 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11078590464 11002 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699883 11078590464 11068 33554432000 4194304 4196468 140724608777584 140138323331440 140139110365826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 33 13008 0 0 0 0 4 3 20 0 15 0 64699883 11078590464 11068 33554432000 4194304 4196468 140724608777584 140138322277408 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699883 11078590464 11068 33554432000 4194304 4196468 140724608777584 140138197803888 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11078590464 11134 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) S 21133 21136 19905 0 -1 1077944384 496 13008 0 0 1 0 4 3 20 0 15 0 64699886 11078590464 11134 33554432000 4194304 4196468 140724608777584 140138288720752 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) S 21133 21136 19905 0 -1 1077944384 124 13008 0 0 0 0 4 3 20 0 15 0 64699886 11078590464 11134 33554432000 4194304 4196468 140724608777584 140138287667952 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10818936 memory=140579238389376 CPUtime=0.1 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) S 21133 21136 19905 0 -1 1077944384 604 13008 0 0 3 0 4 3 20 0 15 0 64699886 11078590464 11200 33554432000 4194304 4196468 140724608777584 140138286615152 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11078590464 11200 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10818936 memory=140579238389376 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699886 11078590464 11200 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 42952 KiB

[startup+0.310558 s]*
/proc/loadavg: 1.31 1.34 1.38 3/219 21202
/proc/meminfo: memFree=19745348/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10819352 memory=52888 CPUtime=0.38 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 10346 13008 0 0 30 1 4 3 20 0 15 0 64699872 11079016448 13222 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2704838 13222 3072 1 0 2667149 0
[pid=21136/tid=21189] ppid=21133 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 6871 13008 0 0 20 1 4 3 20 0 15 0 64699881 11079016448 13222 33554432000 4194304 4196468 140724608777584 140139082166688 140139110376026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 13222 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 13222 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10819352 memory=140579238389375 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699883 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138323331440 140139110365826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 33 13008 0 0 0 0 4 3 20 0 15 0 64699883 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138322277408 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10819352 memory=140579238389376 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699883 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138197803888 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11079016448 13222 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) S 21133 21136 19905 0 -1 1077944384 497 13008 0 0 2 0 4 3 20 0 15 0 64699886 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138288720752 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) S 21133 21136 19905 0 -1 1077944384 124 13008 0 0 1 0 4 3 20 0 15 0 64699886 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138287667952 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) R 21133 21136 19905 0 -1 4202560 612 13008 0 0 5 0 4 3 20 0 15 0 64699886 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138286615152 140139088981056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11079016448 13222 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699886 11079016448 13222 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52888 KiB

[startup+0.70076 s]
/proc/loadavg: 1.31 1.34 1.38 3/219 21202
/proc/meminfo: memFree=19736540/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10819352 memory=85036 CPUtime=0.98 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 16408 13008 0 0 88 3 4 3 20 0 15 0 64699872 11079016448 21259 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2704838 21259 3240 1 0 2667149 0
[pid=21136/tid=21189] ppid=21133 vsize=10819352 memory=19900 CPUtime=0.66 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 11865 13008 0 0 57 2 4 3 20 0 15 0 64699881 11079016448 21259 33554432000 4194304 4196468 140724608777584 140139082175504 140139091918208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 21259 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10819352 memory=288230583132496608 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 21259 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10819352 memory=288287775051220497 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 64699881 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10819352 memory=140579111739904 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 5 13008 0 0 0 0 4 3 20 0 15 0 64699883 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138323331440 140139110365826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10819352 memory=140582869533666 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 33 13008 0 0 0 0 4 3 20 0 15 0 64699883 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138322277408 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10819352 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699883 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138197803888 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10819352 memory=7305218370954160725 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11079016448 21259 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10819352 memory=7452169109558028137 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) S 21133 21136 19905 0 -1 1077944384 1101 13008 0 0 10 0 4 3 20 0 15 0 64699886 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138288720752 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10819352 memory=6935652554413002832 CPUtime=0.14 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) S 21133 21136 19905 0 -1 1077944384 538 13008 0 0 7 0 4 3 20 0 15 0 64699886 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138287667952 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) S 21133 21136 19905 0 -1 1077944384 658 13008 0 0 13 0 4 3 20 0 15 0 64699886 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138286615152 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10819352 memory=1404238533875048054 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11079016448 21259 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699886 11079016448 21259 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85036 KiB

[startup+1.50094 s]
/proc/loadavg: 1.36 1.35 1.38 4/219 21202
/proc/meminfo: memFree=19690332/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10832204 memory=202436 CPUtime=2.84 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 24582 13008 0 0 268 9 4 3 20 0 15 0 64699872 11092176896 50609 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2708051 50609 3452 1 0 2669709 0
[pid=21136/tid=21189] ppid=21133 vsize=10832204 memory=154516 CPUtime=1.44 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) S 21133 21136 19905 0 -1 1077944384 17030 13008 0 0 132 5 4 3 20 0 15 0 64699881 11092176896 50609 33554432000 4194304 4196468 140724608777584 140139082169776 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10832204 memory=-3117775541953848424 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 16 13008 0 0 0 0 4 3 20 0 15 0 64699881 11092176896 50609 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) R 21133 21136 19905 0 -1 1077944384 189 13008 0 0 0 0 4 3 20 0 15 0 64699881 11092176896 50609 33554432000 4194304 4196468 140724608777584 140139013487712 140139110364885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 21 13008 0 0 0 0 4 3 20 0 15 0 64699881 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138682117088 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 74 13008 0 0 0 0 4 3 20 0 15 0 64699881 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10832204 memory=231606648375529 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 37 13008 0 0 0 0 4 3 20 0 15 0 64699883 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138323329728 140139110364885 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10832204 memory=278973 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 33 13008 0 0 0 0 4 3 20 0 15 0 64699883 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138322277408 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10832204 memory=6935650355271196736 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699883 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138197803888 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10832204 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11092176896 50609 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10832204 memory=281158222872816 CPUtime=0.51 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) S 21133 21136 19905 0 -1 1077944384 1778 13008 0 0 44 0 4 3 20 0 15 0 64699886 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138288720752 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10832204 memory=4639059873309409377 CPUtime=0.53 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) S 21133 21136 19905 0 -1 1077944384 1617 13008 0 0 46 0 4 3 20 0 15 0 64699886 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138287667952 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10832204 memory=-6305719403440004992 CPUtime=0.48 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) S 21133 21136 19905 0 -1 1077944384 1586 13008 0 0 41 0 4 3 20 0 15 0 64699886 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138286615152 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10832204 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11092176896 50609 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10832204 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 64699886 11092176896 50609 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10832204 KiB

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

[startup+8.06998 s]
# the end of solver process 21136 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=21.067 s, system=0.385037 s

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

[startup+6.6007 s]
/proc/loadavg: 1.57 1.40 1.40 3/219 21202
/proc/meminfo: memFree=19426380/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10846560 memory=377324 CPUtime=16.8 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 51494 13008 0 0 1645 28 4 3 20 0 15 0 64699872 11106877440 94331 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2711640 94331 3521 1 0 2673293 0
[pid=21136/tid=21189] ppid=21133 vsize=10846560 memory=2324 CPUtime=6.37 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 26768 13008 0 0 619 11 4 3 20 0 15 0 64699881 11106877440 94331 33554432000 4194304 4196468 140724608777584 140139082182800 140139110366614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10846560 memory=1844 CPUtime=0.18 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 96 13008 0 0 9 2 4 3 20 0 15 0 64699881 11106877440 94331 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10846560 memory=796 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 257 13008 0 0 8 2 4 3 20 0 15 0 64699881 11106877440 94331 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10846560 memory=1700 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 172 13008 0 0 8 2 4 3 20 0 15 0 64699881 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10846560 memory=13056 CPUtime=0.16 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 127 13008 0 0 8 1 4 3 20 0 15 0 64699881 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10846560 memory=5788 CPUtime=0.12 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 2244 13008 0 0 5 0 4 3 20 0 15 0 64699883 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138323331440 140139110365826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10846560 memory=4620 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 40 13008 0 0 0 0 4 3 20 0 15 0 64699883 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138322277472 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 5 13008 0 0 0 0 4 3 20 0 15 0 64699883 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138197803904 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10846560 memory=1755 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11106877440 94331 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10846560 memory=187 CPUtime=4.13 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) S 21133 21136 19905 0 -1 1077944384 7491 13008 0 0 404 2 4 3 20 0 15 0 64699886 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138288720752 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10846560 memory=1 CPUtime=4.02 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) S 21133 21136 19905 0 -1 1077944384 5437 13008 0 0 393 2 4 3 20 0 15 0 64699886 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138287667952 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10846560 memory=0 CPUtime=1.96 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) R 21133 21136 19905 0 -1 1077944384 6640 13008 0 0 186 3 4 3 20 0 15 0 64699886 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138286615152 140139110365826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11106877440 94331 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10846560 memory=412 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 18 13008 0 0 0 0 4 3 20 0 15 0 64699886 11106877440 94331 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 377324 KiB

[startup+7.40213 s]
/proc/loadavg: 1.57 1.40 1.40 6/219 21202
/proc/meminfo: memFree=19369036/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10918816 memory=436176 CPUtime=19.37 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 68559 13008 0 0 1899 31 4 3 20 0 15 0 64699872 11180867584 109044 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2729704 109044 3522 1 0 2691357 0
[pid=21136/tid=21189] ppid=21133 vsize=10918816 memory=0 CPUtime=7.16 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 37415 13008 0 0 697 12 4 3 20 0 15 0 64699881 11180867584 109044 33554432000 4194304 4196468 140724608777584 140139082186008 140138712969639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10918816 memory=1505 CPUtime=0.18 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 96 13008 0 0 9 2 4 3 20 0 15 0 64699881 11180867584 109044 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10918816 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 257 13008 0 0 8 2 4 3 20 0 15 0 64699881 11180867584 109044 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10918816 memory=5 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 172 13008 0 0 8 2 4 3 20 0 15 0 64699881 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10918816 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 127 13008 0 0 8 1 4 3 20 0 15 0 64699881 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10918816 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 2252 13008 0 0 5 0 4 3 20 0 15 0 64699883 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138323331440 140139110365826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10918816 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 40 13008 0 0 0 0 4 3 20 0 15 0 64699883 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138322277472 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10918816 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 5 13008 0 0 0 0 4 3 20 0 15 0 64699883 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138197803904 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10918816 memory=7882795110647556710 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11180867584 109044 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10918816 memory=7156899741654675027 CPUtime=4.78 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) R 21133 21136 19905 0 -1 4202560 8573 13008 0 0 469 2 4 3 20 0 15 0 64699886 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138288709072 140139091540558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10918816 memory=6007891403343619430 CPUtime=4.8 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) R 21133 21136 19905 0 -1 4202560 9717 13008 0 0 470 3 4 3 20 0 15 0 64699886 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138287653832 140139091898879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10918816 memory=317785447046840346 CPUtime=2.3 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) R 21133 21136 19905 0 -1 4202560 7688 13008 0 0 220 3 4 3 20 0 15 0 64699886 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138286615152 140139094594417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10918816 memory=302022895662793015 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11180867584 109044 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10918816 memory=16097065801353040 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 18 13008 0 0 0 0 4 3 20 0 15 0 64699886 11180867584 109044 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 19.37 s
Current children cumulated vsize: 10918816 KiB
Current children cumulated memory: 436176 KiB

[startup+7.80074 s]
/proc/loadavg: 1.57 1.40 1.40 6/219 21202
/proc/meminfo: memFree=19369036/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10916192 memory=436828 CPUtime=20.63 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 70721 13008 0 0 2024 32 4 3 20 0 15 0 64699872 11178180608 109207 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2729048 109207 3522 1 0 2690701 0
[pid=21136/tid=21189] ppid=21133 vsize=10916192 memory=-7668917182949848256 CPUtime=7.56 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 37457 13008 0 0 737 12 4 3 20 0 15 0 64699881 11178180608 109207 33554432000 4194304 4196468 140724608777584 140139082188576 140138709858567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10916192 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 96 13008 0 0 9 2 4 3 20 0 15 0 64699881 11178180608 109207 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10916192 memory=6944656575208382560 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 257 13008 0 0 8 2 4 3 20 0 15 0 64699881 11178180608 109207 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10916192 memory=6943526294502006880 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 172 13008 0 0 8 2 4 3 20 0 15 0 64699881 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10916192 memory=6943526294502006880 CPUtime=0.16 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 127 13008 0 0 8 1 4 3 20 0 15 0 64699881 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10916192 memory=281158223081328 CPUtime=0.12 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 2252 13008 0 0 5 0 4 3 20 0 15 0 64699883 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138323331440 140139110365826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10916192 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 40 13008 0 0 0 0 4 3 20 0 15 0 64699883 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138322277472 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10916192 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 5 13008 0 0 0 0 4 3 20 0 15 0 64699883 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138197803904 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10916192 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11178180608 109207 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10916192 memory=6944656592387989600 CPUtime=5.17 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) R 21133 21136 19905 0 -1 4202560 9195 13008 0 0 508 2 4 3 20 0 15 0 64699886 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138288707312 140139091663516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10916192 memory=6944656592455360604 CPUtime=5.2 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) R 21133 21136 19905 0 -1 4202560 11134 13008 0 0 509 4 4 3 20 0 15 0 64699886 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138287656304 140139094748106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10916192 memory=-4695043397844020537 CPUtime=2.37 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) S 21133 21136 19905 0 -1 1077944384 7769 13008 0 0 227 3 4 3 20 0 15 0 64699886 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138286615152 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10916192 memory=-6876588628788210128 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11178180608 109207 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 18 13008 0 0 0 0 4 3 20 0 15 0 64699886 11178180608 109207 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 20.63 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 436828 KiB

[startup+8.00118 s]
/proc/loadavg: 1.57 1.40 1.40 6/219 21202
/proc/meminfo: memFree=19369036/32770624 swapFree=67108860/67108860
[pid=21136] ppid=21133 vsize=10916192 memory=449668 CPUtime=21.27 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21133 21136 19905 0 -1 1077944320 71449 13008 0 0 2087 33 4 3 20 0 15 0 64699872 11178180608 112417 33554432000 4194304 4196468 140724608777584 140724608760128 140139110354679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
/proc/21136/statm: 2729048 112417 3522 1 0 2690701 0
[pid=21136/tid=21189] ppid=21133 vsize=10916192 memory=0 CPUtime=7.76 cores=1,3,5,7
/proc/21136/task/21189/stat : 21189 (java) R 21133 21136 19905 0 -1 4202560 37515 13008 0 0 756 13 4 3 20 0 15 0 64699881 11178180608 112417 33554432000 4194304 4196468 140724608777584 140139082181968 140139110366614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21190] ppid=21133 vsize=10916192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/21136/task/21190/stat : 21190 (java) S 21133 21136 19905 0 -1 1077944384 96 13008 0 0 9 2 4 3 20 0 15 0 64699881 11178180608 112417 33554432000 4194304 4196468 140724608777584 140139114597520 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21191] ppid=21133 vsize=10916192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21191/stat : 21191 (java) S 21133 21136 19905 0 -1 1077944384 257 13008 0 0 8 2 4 3 20 0 15 0 64699881 11178180608 112417 33554432000 4194304 4196468 140724608777584 140139013487632 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21192] ppid=21133 vsize=10916192 memory=6944652027076318631 CPUtime=0.17 cores=1,3,5,7
/proc/21136/task/21192/stat : 21192 (java) S 21133 21136 19905 0 -1 1077944384 172 13008 0 0 8 2 4 3 20 0 15 0 64699881 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138682117008 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21193] ppid=21133 vsize=10916192 memory=7518588407632782936 CPUtime=0.16 cores=1,3,5,7
/proc/21136/task/21193/stat : 21193 (java) S 21133 21136 19905 0 -1 1077944384 127 13008 0 0 8 1 4 3 20 0 15 0 64699881 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138681064208 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21194] ppid=21133 vsize=10916192 memory=7157438411721228394 CPUtime=0.13 cores=1,3,5,7
/proc/21136/task/21194/stat : 21194 (java) S 21133 21136 19905 0 -1 1077944384 2252 13008 0 0 6 0 4 3 20 0 15 0 64699883 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138323331440 140139110365826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21195] ppid=21133 vsize=10916192 memory=1424 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21195/stat : 21195 (java) S 21133 21136 19905 0 -1 1077944384 40 13008 0 0 0 0 4 3 20 0 15 0 64699883 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138322277472 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21196] ppid=21133 vsize=10916192 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21196/stat : 21196 (java) S 21133 21136 19905 0 -1 1077944384 5 13008 0 0 0 0 4 3 20 0 15 0 64699883 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138197803904 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21197] ppid=21133 vsize=10916192 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21197/stat : 21197 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11178180608 112417 33554432000 4194304 4196468 140724608777584 140137697466192 140139110373275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21198] ppid=21133 vsize=10916192 memory=1956 CPUtime=5.37 cores=1,3,5,7
/proc/21136/task/21198/stat : 21198 (java) R 21133 21136 19905 0 -1 4202560 9645 13008 0 0 528 2 4 3 20 0 15 0 64699886 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138288705712 140139088101685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21199] ppid=21133 vsize=10916192 memory=1204 CPUtime=5.4 cores=1,3,5,7
/proc/21136/task/21199/stat : 21199 (java) R 21133 21136 19905 0 -1 4202560 11312 13008 0 0 529 4 4 3 20 0 15 0 64699886 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138287667136 140139110376026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21200] ppid=21133 vsize=10916192 memory=8384 CPUtime=2.39 cores=1,3,5,7
/proc/21136/task/21200/stat : 21200 (java) S 21133 21136 19905 0 -1 1077944384 7811 13008 0 0 229 3 4 3 20 0 15 0 64699886 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138286615152 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21201] ppid=21133 vsize=10916192 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21201/stat : 21201 (java) S 21133 21136 19905 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 64699886 11178180608 112417 33554432000 4194304 4196468 140724608777584 140137663908576 140139110364885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
[pid=21136/tid=21202] ppid=21133 vsize=10916192 memory=16244 CPUtime=0.07 cores=1,3,5,7
/proc/21136/task/21202/stat : 21202 (java) S 21133 21136 19905 0 -1 1077944384 18 13008 0 0 0 0 4 3 20 0 15 0 64699886 11178180608 112417 33554432000 4194304 4196468 140724608777584 140138285562544 140139110365826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24915968 140724608785007 140724608787804 140724608787804 140724608790479 0
Current children cumulated CPU time: 21.27 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 449668 KiB

Child status: 0
Real time (s): 8.07003
CPU time (s): 21.452
CPU user time (s): 21.067
CPU system time (s): 0.385037
CPU usage (%): 265.823
Max. virtual memory (cumulated for all children) (KiB): 10918832
Max. memory (cumulated for all children) (KiB): 449668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.067
system time used= 0.385037
maximum resident set size= 456560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8377
involuntary context switches= 89


# summary of solver processes directly reported to runsolver:
#   pid: 21136
#   total CPU time (s): 21.452
#   total CPU user time (s): 21.067
#   total CPU system time (s): 0.385037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069338 second user time and 0.118968 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-25 00:29:27
IDJOB=4294382
IDBENCH=141377
IDSOLVER=2750
FILE ID=node133/4294382-1532471367
RUNJOBID= node133-1532466433-19937
PBS_JOBID= 21021582
Free space on /tmp= 48236 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-5-5-5-cp_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294382-1532471367/watcher-4294382-1532471367 -o /tmp/evaluation-result-4294382-1532471367/solver-4294382-1532471367 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19937 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=928958761 HOME/instance-4294382-1532471367.xml

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

MD5SUM BENCH= 01658bc7723d571de51995bec243d654
RANDOM SEED=928958761

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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:        19786628 kB
MemAvailable:   30842352 kB
Buffers:          152432 kB
Cached:         11065692 kB
SwapCached:            0 kB
Active:          3780996 kB
Inactive:        8586120 kB
Active(anon):    1100752 kB
Inactive(anon):    68468 kB
Active(file):    2680244 kB
Inactive(file):  8517652 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27080 kB
Writeback:             0 kB
AnonPages:       1202184 kB
Mapped:            51936 kB
Shmem:             17056 kB
Slab:             313808 kB
SReclaimable:     286288 kB
SUnreclaim:        27520 kB
KernelStack:        3696 kB
PageTables:         7328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2073916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1105920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48208 MiB
End job on node133 at 2018-07-25 00:29:35