Trace number 4392000

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.10OPT2 10.549 4.28868

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-05-07.xml
MD5SUM91a6e92a2ae9197e0e5abb82e178125f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.310586
Satisfiable
(Un)Satisfiability was proved
Number of variables35
Number of constraints211
Number of domains1
Minimum domain size35
Maximum domain size35
Distribution of domain sizes[{"size":35,"count":35}]
Minimum variable degree26
Maximum variable degree26
Distribution of variable degrees[{"degree":26,"count":35}]
Minimum constraint arity4
Maximum constraint arity35
Distribution of constraint arities[{"arity":4,"count":210},{"arity":35,"count":1}]
Number of extensional constraints0
Number of intensional constraints210
Distribution of constraint types[{"type":"intension","count":210},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.71/0.56	c Concrete v3.10.1560635388952 running
9.37/3.91	o 34
9.37/3.99	o 33
9.71/4.02	o 4
9.71/4.04	o 3
9.71/4.07	o 2
10.33/4.23	v <instantiation
10.33/4.23	v         cost = '2'>
10.33/4.23	v       <list>
10.33/4.23	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6]
10.33/4.23	v       </list>
10.33/4.23	v       <values>
10.33/4.23	v         0 0 1 1 1 2 2 0 1 0 0 1 0 2 1 1 1 2 2 0 1 2 0 1 2 0 0 0 2 0 2 0 1 1 2
10.33/4.23	v       </values>
10.33/4.23	v     </instantiation>
10.33/4.23	s OPTIMUM FOUND

Verifier Data 

OK	2

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392000-1568328346/watcher-4392000-1568328346 -o /tmp/evaluation-result-4392000-1568328346/solver-4392000-1568328346 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=864123528 HOME/instance-4392000-1568328346.xml 

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

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

solver pid=30147, runsolver pid=30144

[startup+0.101366 s]*
/proc/loadavg: 1.60 1.50 1.46 3/221 30204
/proc/meminfo: memFree=29219084/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=9972712 memory=19124 CPUtime=0.08 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 4509 13310 0 0 1 0 5 2 20 0 6 0 409074235 10212057088 4781 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2493178 4781 1935 1 0 2481616 0
[pid=30147/tid=30200] ppid=30144 vsize=9972712 memory=4279135703980080784 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 2307 13310 0 0 1 0 5 2 20 0 6 0 409074244 10212057088 4781 33554432000 4194304 4196468 140732110508448 139827076399696 139827089874937 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 6 0 409074245 10212057088 4781 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=9972712 memory=139623805830784 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 6 0 409074245 10212057088 4781 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 6 0 409074245 10212057088 4781 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 6 0 409074245 10212057088 4781 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB

[startup+0.215143 s]*
/proc/loadavg: 1.60 1.50 1.46 3/230 30213
/proc/meminfo: memFree=29199096/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10818940 memory=40324 CPUtime=0.26 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 6917 13310 0 0 17 2 5 2 20 0 15 0 409074235 11078594560 10081 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2704735 10081 2979 1 0 2667149 0
[pid=30147/tid=30200] ppid=30144 vsize=10818940 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 3390 13310 0 0 11 1 5 2 20 0 15 0 409074244 11078594560 10081 33554432000 4194304 4196468 140732110508448 139827076388688 139827104584861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10818940 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11078594560 10081 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10818940 memory=139623805830784 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11078594560 10081 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074245 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10818940 memory=139623805830784 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074247 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 13 13310 0 0 0 0 5 2 20 0 15 0 409074247 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826015757216 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074247 11078594560 10081 33554432000 4194304 4196468 140732110508448 139825881539568 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11078594560 10081 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) S 30144 30147 20959 0 -1 1077944384 360 13310 0 0 1 0 5 2 20 0 15 0 409074250 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826630158832 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) S 30144 30147 20959 0 -1 1077944384 293 13310 0 0 1 0 5 2 20 0 15 0 409074250 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826629106288 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10818940 memory=139623805830784 CPUtime=0.1 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) S 30144 30147 20959 0 -1 1077944384 636 13310 0 0 3 0 5 2 20 0 15 0 409074250 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11078594560 10081 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10818940 memory=139623805830784 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074250 11078594560 10081 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40324 KiB

[startup+0.310666 s]*
/proc/loadavg: 1.60 1.50 1.46 3/230 30213
/proc/meminfo: memFree=29188696/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10820096 memory=51884 CPUtime=0.39 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 10558 13310 0 0 29 3 5 2 20 0 15 0 409074235 11079778304 12971 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2705024 12971 3276 1 0 2667149 0
[pid=30147/tid=30200] ppid=30144 vsize=10820096 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 7009 13310 0 0 18 2 5 2 20 0 15 0 409074244 11079778304 12971 33554432000 4194304 4196468 140732110508448 139827076383968 139827104584861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10820096 memory=7228928657774891088 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11079778304 12971 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10820096 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11079778304 12971 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10820096 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074245 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074247 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 13 13310 0 0 0 0 5 2 20 0 15 0 409074247 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826015757216 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074247 11079778304 12971 33554432000 4194304 4196468 140732110508448 139825881539568 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11079778304 12971 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) S 30144 30147 20959 0 -1 1077944384 361 13310 0 0 1 0 5 2 20 0 15 0 409074250 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826630158832 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) S 30144 30147 20959 0 -1 1077944384 294 13310 0 0 2 0 5 2 20 0 15 0 409074250 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826629106288 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10820096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) S 30144 30147 20959 0 -1 1077944384 656 13310 0 0 5 0 5 2 20 0 15 0 409074250 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11079778304 12971 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074250 11079778304 12971 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 51884 KiB

[startup+0.700719 s]
/proc/loadavg: 1.60 1.50 1.46 3/230 30213
/proc/meminfo: memFree=29172980/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10824340 memory=82324 CPUtime=1.12 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 14785 13310 0 0 100 5 5 2 20 0 15 0 409074235 11084124160 20581 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2706085 20581 3502 1 0 2668173 0
[pid=30147/tid=30200] ppid=30144 vsize=10824340 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 10421 13310 0 0 54 4 5 2 20 0 15 0 409074244 11084124160 20612 33554432000 4194304 4196468 140732110508448 139827076387360 139827085958141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11084124160 20612 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10824340 memory=3280 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11084124160 20612 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074245 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074245 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10824340 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 6 13310 0 0 0 0 5 2 20 0 15 0 409074247 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10824340 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 13 13310 0 0 0 0 5 2 20 0 15 0 409074247 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826015757216 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10824340 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074247 11084124160 20612 33554432000 4194304 4196468 140732110508448 139825881539568 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10824340 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11084124160 20612 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10824340 memory=13252 CPUtime=0.18 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) S 30144 30147 20959 0 -1 1077944384 585 13310 0 0 11 0 5 2 20 0 15 0 409074250 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826630158832 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10824340 memory=15460 CPUtime=0.22 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) S 30144 30147 20959 0 -1 1077944384 682 13310 0 0 15 0 5 2 20 0 15 0 409074250 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826629106288 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10824340 memory=17668 CPUtime=0.24 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) S 30144 30147 20959 0 -1 1077944384 859 13310 0 0 17 0 5 2 20 0 15 0 409074250 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10824340 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11084124160 20612 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10824340 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074250 11084124160 20612 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82324 KiB

[startup+1.50354 s]
/proc/loadavg: 1.71 1.52 1.47 3/230 30213
/proc/meminfo: memFree=29132220/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10834656 memory=170844 CPUtime=2.5 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 21242 13310 0 0 234 9 5 2 20 0 15 0 409074235 11094687744 42711 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2708664 42711 3577 1 0 2670733 0
[pid=30147/tid=30200] ppid=30144 vsize=10834656 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 15265 13310 0 0 129 6 5 2 20 0 15 0 409074244 11094687744 42711 33554432000 4194304 4196468 140732110508448 139827076356432 139827104574870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 364 13310 0 0 1 0 5 2 20 0 15 0 409074245 11094687744 42711 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 48 13310 0 0 1 0 5 2 20 0 15 0 409074245 11094687744 42711 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 26 13310 0 0 1 0 5 2 20 0 15 0 409074245 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 66 13310 0 0 1 0 5 2 20 0 15 0 409074245 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10834656 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 147 13310 0 0 1 0 5 2 20 0 15 0 409074247 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10834656 memory=279247365155072 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 13 13310 0 0 0 0 5 2 20 0 15 0 409074247 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826015757280 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074247 11094687744 42711 33554432000 4194304 4196468 140732110508448 139825881539584 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10834656 memory=8252 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11094687744 42711 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10834656 memory=5912 CPUtime=0.32 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) S 30144 30147 20959 0 -1 1077944384 701 13310 0 0 25 0 5 2 20 0 15 0 409074250 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826630158832 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10834656 memory=1056 CPUtime=0.36 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) S 30144 30147 20959 0 -1 1077944384 821 13310 0 0 29 0 5 2 20 0 15 0 409074250 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826629106288 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10834656 memory=1540 CPUtime=0.49 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) S 30144 30147 20959 0 -1 1077944384 1572 13310 0 0 42 0 5 2 20 0 15 0 409074250 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10834656 memory=728 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11094687744 42711 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10834656 memory=3436 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074250 11094687744 42711 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834656 KiB

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

[startup+3.11229 s]
/proc/loadavg: 1.71 1.52 1.47 5/230 30213
/proc/meminfo: memFree=28992748/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10842868 memory=257852 CPUtime=6.94 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 29611 13310 0 0 672 15 5 2 20 0 15 0 409074235 11103096832 64463 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2710717 64463 3602 1 0 2672781 0
[pid=30147/tid=30200] ppid=30144 vsize=10842868 memory=279247365573952 CPUtime=3.02 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 18771 13310 0 0 286 9 5 2 20 0 15 0 409074244 11103096832 64463 33554432000 4194304 4196468 140732110508448 139827076396144 139827104574870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10842868 memory=388 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 364 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 64463 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10842868 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 48 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 64463 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10842868 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 26 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 64463 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10842868 memory=8389687274667979570 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 66 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 64463 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10842868 memory=7093353155621221318 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 147 13310 0 0 1 0 5 2 20 0 15 0 409074247 11103096832 64463 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10842868 memory=7449279377460835378 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 13 13310 0 0 0 0 5 2 20 0 15 0 409074247 11103096832 64508 33554432000 4194304 4196468 140732110508448 139826015757280 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10842868 memory=279247365408256 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074247 11103096832 64508 33554432000 4194304 4196468 140732110508448 139825881539584 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10842868 memory=7956567955459234152 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11103096832 64508 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10842868 memory=6940161746071152978 CPUtime=1.32 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) R 30144 30147 20959 0 -1 4202560 1763 13310 0 0 124 1 5 2 20 0 15 0 409074250 11103096832 64508 33554432000 4194304 4196468 140732110508448 139826630158832 139827084280071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10842868 memory=7447093755344479064 CPUtime=1.36 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) R 30144 30147 20959 0 -1 4202560 1737 13310 0 0 129 0 5 2 20 0 15 0 409074250 11103096832 64508 33554432000 4194304 4196468 140732110508448 139826629093136 139827097659636 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10842868 memory=288230574492221466 CPUtime=1.32 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) R 30144 30147 20959 0 -1 1077944384 4462 13310 0 0 123 2 5 2 20 0 15 0 409074250 11103096832 64508 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11103096832 64508 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10842868 memory=2193 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 1 13310 0 0 0 0 5 2 20 0 15 0 409074250 11103096832 64508 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 6.94 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 257852 KiB

[startup+4.28863 s]
# the end of solver process 30147 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.3003 s, system=0.248765 s

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

[startup+3.20088 s]
/proc/loadavg: 1.71 1.52 1.47 5/230 30213
/proc/meminfo: memFree=28992748/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10842868 memory=266144 CPUtime=7.14 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 34064 13310 0 0 692 15 5 2 20 0 15 0 409074235 11103096832 66536 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2710717 66536 3602 1 0 2672781 0
[pid=30147/tid=30200] ppid=30144 vsize=10842868 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 22438 13310 0 0 295 9 5 2 20 0 15 0 409074244 11103096832 66536 33554432000 4194304 4196468 140732110508448 139827076381008 139827104574870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10842868 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 364 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 66536 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 48 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 66536 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 26 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 66 13310 0 0 1 0 5 2 20 0 15 0 409074245 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 147 13310 0 0 1 0 5 2 20 0 15 0 409074247 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 13 13310 0 0 0 0 5 2 20 0 15 0 409074247 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826015757280 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 2 13310 0 0 0 0 5 2 20 0 15 0 409074247 11103096832 66536 33554432000 4194304 4196468 140732110508448 139825881539584 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11103096832 66536 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10842868 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) S 30144 30147 20959 0 -1 1077944384 1938 13310 0 0 129 1 5 2 20 0 15 0 409074250 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826630158832 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10842868 memory=1036 CPUtime=1.39 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) S 30144 30147 20959 0 -1 1077944384 1955 13310 0 0 132 0 5 2 20 0 15 0 409074250 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826629106288 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10842868 memory=14008 CPUtime=1.36 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) R 30144 30147 20959 0 -1 4202560 4837 13310 0 0 127 2 5 2 20 0 15 0 409074250 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11103096832 66536 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10842868 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 14 13310 0 0 0 0 5 2 20 0 15 0 409074250 11103096832 66536 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 266144 KiB

[startup+4.00114 s]*
/proc/loadavg: 1.71 1.52 1.47 6/230 30213
/proc/meminfo: memFree=28898512/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10849736 memory=342608 CPUtime=9.71 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 56851 13310 0 0 945 19 5 2 20 0 15 0 409074235 11110129664 85652 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2712434 85652 3618 1 0 2674498 0
[pid=30147/tid=30200] ppid=30144 vsize=10849736 memory=-6517102902069810590 CPUtime=3.85 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 24516 13310 0 0 369 9 5 2 20 0 15 0 409074244 11110129664 85718 33554432000 4194304 4196468 140732110508448 139827076396216 139826718692601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10849736 memory=4122819170707441977 CPUtime=0.11 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 616 13310 0 0 4 0 5 2 20 0 15 0 409074245 11110129664 85784 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10849736 memory=3689495039594036912 CPUtime=0.1 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 726 13310 0 0 3 0 5 2 20 0 15 0 409074245 11110129664 85784 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10849736 memory=8439792127513302161 CPUtime=0.11 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 76 13310 0 0 4 0 5 2 20 0 15 0 409074245 11110129664 85784 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10849736 memory=129480379073512 CPUtime=0.1 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 93 13310 0 0 3 0 5 2 20 0 15 0 409074245 11110129664 85850 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10849736 memory=3684175516593208545 CPUtime=0.11 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 4569 13310 0 0 4 0 5 2 20 0 15 0 409074247 11110129664 85850 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10849736 memory=3474861587929505844 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 19 13310 0 0 0 0 5 2 20 0 15 0 409074247 11110129664 85850 33554432000 4194304 4196468 140732110508448 139826015757280 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10849736 memory=7813860137837620073 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 11 13310 0 0 0 0 5 2 20 0 15 0 409074247 11110129664 85850 33554432000 4194304 4196468 140732110508448 139825881539584 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10849736 memory=29076 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11110129664 85916 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10849736 memory=0 CPUtime=2.06 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) R 30144 30147 20959 0 -1 4202560 8668 13310 0 0 197 2 5 2 20 0 15 0 409074250 11110129664 85916 33554432000 4194304 4196468 140732110508448 139826630144328 139827086107191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10849736 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) R 30144 30147 20959 0 -1 4202560 8119 13310 0 0 202 1 5 2 20 0 15 0 409074250 11110129664 85916 33554432000 4194304 4196468 140732110508448 139826629090904 139827096852384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10849736 memory=17 CPUtime=1.64 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) R 30144 30147 20959 0 -1 1077944384 7518 13310 0 0 155 2 5 2 20 0 15 0 409074250 11110129664 85982 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10849736 memory=233 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11110129664 85982 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10849736 memory=188 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 14 13310 0 0 0 0 5 2 20 0 15 0 409074250 11110129664 85982 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 10849736 KiB
Current children cumulated memory: 342608 KiB

[startup+4.20066 s]
/proc/loadavg: 1.71 1.52 1.47 6/230 30213
/proc/meminfo: memFree=28898512/32770624 swapFree=67003384/67108860
[pid=30147] ppid=30144 vsize=10849796 memory=357648 CPUtime=10.33 cores=1,3,5,7
/proc/30147/stat : 30147 (java) S 30144 30147 20959 0 -1 1077944320 61606 13310 0 0 1006 20 5 2 20 0 15 0 409074235 11110191104 89412 33554432000 4194304 4196468 140732110508448 140732110490992 139827104562935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
/proc/30147/statm: 2712449 89412 3618 1 0 2674513 0
[pid=30147/tid=30200] ppid=30144 vsize=10849796 memory=303711706885128506 CPUtime=4.04 cores=1,3,5,7
/proc/30147/task/30200/stat : 30200 (java) R 30144 30147 20959 0 -1 4202560 24530 13310 0 0 387 10 5 2 20 0 15 0 409074244 11110191104 89412 33554432000 4194304 4196468 140732110508448 139827076395904 139826718351632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30201] ppid=30144 vsize=10849796 memory=14694080391154107 CPUtime=0.11 cores=1,3,5,7
/proc/30147/task/30201/stat : 30201 (java) S 30144 30147 20959 0 -1 1077944384 616 13310 0 0 4 0 5 2 20 0 15 0 409074245 11110191104 89412 33554432000 4194304 4196468 140732110508448 139827108805392 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30202] ppid=30144 vsize=10849796 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30147/task/30202/stat : 30202 (java) S 30144 30147 20959 0 -1 1077944384 726 13310 0 0 3 0 5 2 20 0 15 0 409074245 11110191104 89412 33554432000 4194304 4196468 140732110508448 139827023625104 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30203] ppid=30144 vsize=10849796 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/30147/task/30203/stat : 30203 (java) S 30144 30147 20959 0 -1 1077944384 76 13310 0 0 4 0 5 2 20 0 15 0 409074245 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826677079056 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30204] ppid=30144 vsize=10849796 memory=7016714190785702558 CPUtime=0.1 cores=1,3,5,7
/proc/30147/task/30204/stat : 30204 (java) S 30144 30147 20959 0 -1 1077944384 93 13310 0 0 3 0 5 2 20 0 15 0 409074245 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826676026512 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30205] ppid=30144 vsize=10849796 memory=6944656592455350634 CPUtime=0.11 cores=1,3,5,7
/proc/30147/task/30205/stat : 30205 (java) S 30144 30147 20959 0 -1 1077944384 4569 13310 0 0 4 0 5 2 20 0 15 0 409074247 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826631210992 139827104574082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30206] ppid=30144 vsize=10849796 memory=-7385037615309293161 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30206/stat : 30206 (java) S 30144 30147 20959 0 -1 1077944384 19 13310 0 0 0 0 5 2 20 0 15 0 409074247 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826015757280 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30207] ppid=30144 vsize=10849796 memory=4137293581110450563 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30207/stat : 30207 (java) S 30144 30147 20959 0 -1 1077944384 11 13310 0 0 0 0 5 2 20 0 15 0 409074247 11110191104 89412 33554432000 4194304 4196468 140732110508448 139825881539584 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30208] ppid=30144 vsize=10849796 memory=8761640388318109335 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30208/stat : 30208 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11110191104 89412 33554432000 4194304 4196468 140732110508448 139825741908176 139827104581531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30209] ppid=30144 vsize=10849796 memory=-7384994778349281184 CPUtime=2.25 cores=1,3,5,7
/proc/30147/task/30209/stat : 30209 (java) R 30144 30147 20959 0 -1 4202560 10591 13310 0 0 215 3 5 2 20 0 15 0 409074250 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826630144808 139827086083810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30210] ppid=30144 vsize=10849796 memory=7016714186490735262 CPUtime=2.29 cores=1,3,5,7
/proc/30147/task/30210/stat : 30210 (java) R 30144 30147 20959 0 -1 4202560 9828 13310 0 0 221 1 5 2 20 0 15 0 409074250 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826629091336 139827086087637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30211] ppid=30144 vsize=10849796 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/30147/task/30211/stat : 30211 (java) S 30144 30147 20959 0 -1 1077944384 8316 13310 0 0 159 3 5 2 20 0 15 0 409074250 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826628053744 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30212] ppid=30144 vsize=10849796 memory=139623682841393 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30212/stat : 30212 (java) S 30144 30147 20959 0 -1 1077944384 3 13310 0 0 0 0 5 2 20 0 15 0 409074250 11110191104 89412 33554432000 4194304 4196468 140732110508448 139825344670816 139827104573141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
[pid=30147/tid=30213] ppid=30144 vsize=10849796 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30147/task/30213/stat : 30213 (java) S 30144 30147 20959 0 -1 1077944384 15 13310 0 0 0 0 5 2 20 0 15 0 409074250 11110191104 89412 33554432000 4194304 4196468 140732110508448 139826627000624 139827104574082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140732110514934 140732110517445 140732110517445 140732110520271 0
Current children cumulated CPU time: 10.33 s
Current children cumulated vsize: 10849796 KiB
Current children cumulated memory: 357648 KiB

Child status: 0
Real time (s): 4.28868
CPU time (s): 10.549
CPU user time (s): 10.3003
CPU system time (s): 0.248765
CPU usage (%): 245.974
Max. virtual memory (cumulated for all children) (KiB): 10849796
Max. memory (cumulated for all children) (KiB): 357648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3003
system time used= 0.248765
maximum resident set size= 360088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75570
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= 6642
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 30147
#   total CPU time (s): 10.549
#   total CPU user time (s): 10.3003
#   total CPU system time (s): 0.248765

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045837 second user time and 0.092536 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 00:45:06
IDJOB=4392000
IDBENCH=139742
IDSOLVER=2837
FILE ID=node133/4392000-1568328346
RUNJOBID= node133-1568301421-20991
PBS_JOBID= 21701111
Free space on /tmp= 55080 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-05-07.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392000-1568328346/watcher-4392000-1568328346 -o /tmp/evaluation-result-4392000-1568328346/solver-4392000-1568328346 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=864123528 HOME/instance-4392000-1568328346.xml

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

MD5SUM BENCH= 91a6e92a2ae9197e0e5abb82e178125f
RANDOM SEED=864123528

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.18
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.18
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.18
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.18
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:        29227524 kB
MemAvailable:   29492900 kB
Buffers:          130656 kB
Cached:           418624 kB
SwapCached:         3532 kB
Active:          2728376 kB
Inactive:         231580 kB
Active(anon):    2433992 kB
Inactive(anon):    16416 kB
Active(file):     294384 kB
Inactive(file):   215164 kB
Unevictable:      110516 kB
Mlocked:          110516 kB
SwapTotal:      67108860 kB
SwapFree:       67003384 kB
Dirty:             35088 kB
Writeback:             0 kB
AnonPages:       2607424 kB
Mapped:            56296 kB
Shmem:             31244 kB
Slab:             172068 kB
SReclaimable:     143324 kB
SUnreclaim:        28744 kB
KernelStack:        4032 kB
PageTables:        10764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3539548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2422784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55044 MiB
End job on node133 at 2019-09-13 00:45:11