Trace number 4403125

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.12.3OPT140 11.0585 4.67658

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-4-5-30-1.xml
MD5SUM1a3f146023047dfa4a3d56734d0c92f1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark140
Best CPU time to get the best result obtained on this benchmark0.315281
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints652
Number of domains52
Minimum domain size3
Maximum domain size20
Distribution of domain sizes[{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":8,"count":1},{"size":10,"count":2},{"size":11,"count":4},{"size":12,"count":13},{"size":13,"count":5},{"size":14,"count":3},{"size":15,"count":2},{"size":19,"count":30},{"size":20,"count":20}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":50},{"degree":21,"count":30},{"degree":32,"count":19},{"degree":33,"count":1}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":650},{"arity":20,"count":1}]
Number of extensional constraints50
Number of intensional constraints601
Distribution of constraint types[{"type":"extension","count":50},{"type":"intension","count":601},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.80/0.55	c Concrete v3.12.3.1568965526260 running
8.50/3.81	o 190
8.50/3.83	o 189
10.77/4.56	o 187
10.77/4.56	o 186
10.77/4.56	o 184
10.77/4.56	o 181
10.77/4.56	o 180
10.77/4.56	o 179
10.77/4.56	o 178
10.77/4.56	o 174
10.77/4.56	o 173
10.77/4.56	o 168
10.77/4.56	o 156
10.77/4.56	o 152
10.77/4.56	o 151
10.77/4.56	o 146
10.77/4.56	o 140
10.77/4.59	v <instantiation
10.77/4.59	v         cost = '140'>
10.77/4.59	v       <list>
10.77/4.59	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29]
10.77/4.59	v       </list>
10.77/4.59	v       <values>
10.77/4.59	v         0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 9 11 13 13 18 18 9 14 11 10 13 18 18 13 11 15 18 10 10 11 9 18 13 11 14 15 14 13 14 14 4 8 1 1 5 5 1 4 5 1 2 1 3 1 2 1 5 2 2 5 4 1 1 1 7 6 8 1 2 1
10.77/4.59	v       </values>
10.77/4.59	v     </instantiation>
10.77/4.59	s OPTIMUM FOUND

Verifier Data 

OK	140

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403125-1568973298/watcher-4403125-1568973298 -o /tmp/evaluation-result-4403125-1568973298/solver-4403125-1568973298 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2000346299 HOME/instance-4403125-1568973298.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=25612, runsolver pid=25609

[startup+0.100062 s]*
/proc/loadavg: 2.04 1.75 1.57 4/217 25669
/proc/meminfo: memFree=5121004/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=9972712 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 4375 13035 0 0 1 0 5 3 20 0 6 0 473599407 10212057088 4649 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2493178 4649 1935 1 0 2481616 0
[pid=25612/tid=25665] ppid=25609 vsize=9972712 memory=4279135704014094991 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 2176 13035 0 0 1 0 5 3 20 0 6 0 473599416 10212057088 4649 33554432000 4194304 4196468 140721471003424 139884297830992 139884311306233 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 6 0 473599416 10212057088 4649 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=9972712 memory=140233344505472 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 6 0 473599416 10212057088 4649 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 6 0 473599416 10212057088 4649 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 6 0 473599416 10212057088 4649 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.209908 s]*
/proc/loadavg: 2.04 1.75 1.57 3/226 25678
/proc/meminfo: memFree=5101996/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=10823808 memory=46584 CPUtime=0.27 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 7990 13035 0 0 17 2 5 3 20 0 15 0 473599407 11083579392 11646 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2705952 11646 3305 1 0 2668052 0
[pid=25612/tid=25665] ppid=25609 vsize=10823808 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 4506 13035 0 0 10 1 5 3 20 0 15 0 473599416 11083579392 11712 33554432000 4194304 4196468 140721471003424 139884297806592 139884318673949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10823808 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599416 11083579392 11712 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10823808 memory=140233344505472 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599416 11083579392 11712 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599416 11083579392 11712 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10823808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599416 11083579392 11712 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10823808 memory=140233344505472 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599418 11083579392 11613 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10823808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 33 13035 0 0 0 0 5 3 20 0 15 0 473599418 11083579392 11334 33554432000 4194304 4196468 140721471003424 139883784504864 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11083579392 11334 33554432000 4194304 4196468 140721471003424 139883192509808 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11081912320 11334 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10822180 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) S 25609 25612 23401 0 -1 1077944384 356 13035 0 0 1 0 5 3 20 0 15 0 473599421 11081912320 11094 33554432000 4194304 4196468 140721471003424 139883750947184 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10821220 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) S 25609 25612 23401 0 -1 1077944384 300 13035 0 0 1 0 5 3 20 0 15 0 473599421 11080929280 11094 33554432000 4194304 4196468 140721471003424 139883749894384 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10821220 memory=140233344505472 CPUtime=0.11 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) S 25609 25612 23401 0 -1 1077944384 623 13035 0 0 3 0 5 3 20 0 15 0 473599421 11080929280 10838 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11080929280 10838 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10820196 memory=140233344505472 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599422 11079880704 10838 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10823808 KiB
Current children cumulated memory: 46584 KiB

[startup+0.310628 s]*
/proc/loadavg: 2.04 1.75 1.57 3/226 25678
/proc/meminfo: memFree=5092092/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=10820196 memory=51556 CPUtime=0.41 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 10601 13035 0 0 29 4 5 3 20 0 15 0 473599407 11079880704 12889 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2705049 12889 3317 1 0 2667149 0
[pid=25612/tid=25665] ppid=25609 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 7055 13035 0 0 19 3 5 3 20 0 15 0 473599416 11079880704 12889 33554432000 4194304 4196468 140721471003424 139884297803152 139884312218261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10820196 memory=7380671265722426479 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599416 11079880704 12889 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599416 11079880704 12889 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10820196 memory=7649539600267363010 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599416 11079880704 12889 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599416 11079880704 12889 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599418 11079880704 12889 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 33 13035 0 0 0 0 5 3 20 0 15 0 473599418 11079880704 12889 33554432000 4194304 4196468 140721471003424 139883784504864 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11079880704 12889 33554432000 4194304 4196468 140721471003424 139883192509808 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11079880704 12889 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) S 25609 25612 23401 0 -1 1077944384 357 13035 0 0 2 0 5 3 20 0 15 0 473599421 11079880704 12889 33554432000 4194304 4196468 140721471003424 139883750947184 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) S 25609 25612 23401 0 -1 1077944384 300 13035 0 0 1 0 5 3 20 0 15 0 473599421 11079880704 12889 33554432000 4194304 4196468 140721471003424 139883749894384 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) S 25609 25612 23401 0 -1 1077944384 630 13035 0 0 5 0 5 3 20 0 15 0 473599421 11079880704 12889 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11079880704 12889 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599422 11079880704 12889 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51556 KiB

[startup+0.702989 s]
/proc/loadavg: 2.04 1.75 1.57 4/226 25678
/proc/meminfo: memFree=5076688/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=10824364 memory=84204 CPUtime=1.18 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 14780 13035 0 0 104 6 5 3 20 0 15 0 473599407 11084148736 21051 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2706091 21051 3508 1 0 2668173 0
[pid=25612/tid=25665] ppid=25609 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 10087 13035 0 0 55 4 5 3 20 0 15 0 473599416 11084148736 21051 33554432000 4194304 4196468 140721471003424 139884297821392 139884326016157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599416 11084148736 21051 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599416 11084148736 21051 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599416 11084148736 21051 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 473599416 11084148736 21051 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 5 13035 0 0 0 0 5 3 20 0 15 0 473599418 11084148736 21051 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10825388 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 33 13035 0 0 0 0 5 3 20 0 15 0 473599418 11085197312 21051 33554432000 4194304 4196468 140721471003424 139883784504864 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11085197312 21051 33554432000 4194304 4196468 140721471003424 139883192509808 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10825388 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11085197312 21051 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10825388 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) S 25609 25612 23401 0 -1 1077944384 764 13035 0 0 13 0 5 3 20 0 15 0 473599421 11085197312 21051 33554432000 4194304 4196468 140721471003424 139883750947184 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10825388 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) R 25609 25612 23401 0 -1 4202560 886 13035 0 0 16 0 5 3 20 0 15 0 473599421 11085197312 21051 33554432000 4194304 4196468 140721471003424 139883749882224 139884307514244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10825388 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) R 25609 25612 23401 0 -1 1077944384 781 13035 0 0 17 0 5 3 20 0 15 0 473599421 11085197312 21073 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10824364 memory=280466464702704 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11084148736 21073 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599422 11085197312 21073 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84204 KiB

[startup+1.50073 s]
/proc/loadavg: 2.04 1.75 1.57 4/226 25678
/proc/meminfo: memFree=5033760/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=10834680 memory=180592 CPUtime=2.7 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 25017 13035 0 0 251 11 5 3 20 0 15 0 473599407 11094712320 45148 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2708670 45148 3579 1 0 2670733 0
[pid=25612/tid=25665] ppid=25609 vsize=10834680 memory=26 CPUtime=1.43 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 15464 13035 0 0 129 6 5 3 20 0 15 0 473599416 11094712320 45148 33554432000 4194304 4196468 140721471003424 139884297803408 139884307557787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10834680 memory=33 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 83 13035 0 0 1 0 5 3 20 0 15 0 473599416 11094712320 45148 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 351 13035 0 0 1 0 5 3 20 0 15 0 473599416 11094712320 45148 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 25 13035 0 0 1 0 5 3 20 0 15 0 473599416 11094712320 45148 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10834680 memory=101624 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 65 13035 0 0 1 0 5 3 20 0 15 0 473599416 11094712320 45148 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 1067 13035 0 0 1 0 5 3 20 0 15 0 473599418 11094712320 45148 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10834680 memory=7016982484491461201 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 34 13035 0 0 0 0 5 3 20 0 15 0 473599418 11094712320 45148 33554432000 4194304 4196468 140721471003424 139883784504928 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10834680 memory=7091593097437995605 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11094712320 45148 33554432000 4194304 4196468 140721471003424 139883192509824 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10834680 memory=7374765797411416676 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11094712320 45148 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10834680 memory=7454130749351154278 CPUtime=0.41 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) S 25609 25612 23401 0 -1 1077944384 1720 13035 0 0 33 0 5 3 20 0 15 0 473599421 11094712320 45148 33554432000 4194304 4196468 140721471003424 139883750947184 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10834680 memory=7741793743712773480 CPUtime=0.44 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) S 25609 25612 23401 0 -1 1077944384 2099 13035 0 0 36 0 5 3 20 0 15 0 473599421 11094712320 45148 33554432000 4194304 4196468 140721471003424 139883749894384 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10834680 memory=7016982484491461201 CPUtime=0.51 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) S 25609 25612 23401 0 -1 1077944384 1891 13035 0 0 43 0 5 3 20 0 15 0 473599421 11094712320 45148 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10834680 memory=7016982484491461201 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11094712320 45148 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10834680 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599422 11094712320 45148 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 10834680 KiB

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

/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 21468 13035 0 0 283 9 5 3 20 0 15 0 473599416 11105218560 65371 33554432000 4194304 4196468 140721471003424 139884297827920 139884326006166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 109 13035 0 0 2 0 5 3 20 0 15 0 473599416 11105218560 65371 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 477 13035 0 0 2 0 5 3 20 0 15 0 473599416 11105218560 65371 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10844940 memory=250220499748952 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 47 13035 0 0 2 0 5 3 20 0 15 0 473599416 11105218560 65371 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10844940 memory=250220499748953 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 97 13035 0 0 2 0 5 3 20 0 15 0 473599416 11105218560 65371 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10844940 memory=250220499748954 CPUtime=0.11 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 3166 13035 0 0 3 0 5 3 20 0 15 0 473599418 11105218560 65371 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10844940 memory=26 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 38 13035 0 0 0 0 5 3 20 0 15 0 473599418 11105218560 65371 33554432000 4194304 4196468 140721471003424 139883784504928 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10844940 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11105218560 65371 33554432000 4194304 4196468 140721471003424 139883192509824 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11105218560 65371 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10844940 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) R 25609 25612 23401 0 -1 4202560 3165 13035 0 0 100 1 5 3 20 0 15 0 473599421 11105218560 65371 33554432000 4194304 4196468 140721471003424 139883750933064 139884307515299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10844940 memory=235 CPUtime=1.16 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) R 25609 25612 23401 0 -1 4202560 3440 13035 0 0 108 0 5 3 20 0 15 0 473599421 11105218560 65371 33554432000 4194304 4196468 140721471003424 139883749884096 139884326015578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10844940 memory=221532 CPUtime=1.35 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) R 25609 25612 23401 0 -1 1077944384 5702 13035 0 0 125 2 5 3 20 0 15 0 473599421 11105218560 65371 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11105218560 65371 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 10 13035 0 0 0 0 5 3 20 0 15 0 473599422 11105218560 65371 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 6.59 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 261484 KiB

[startup+4.67653 s]
# the end of solver process 25612 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.7961 s, system=0.262403 s

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

[startup+3.20088 s]
/proc/loadavg: 1.96 1.74 1.57 6/227 25680
/proc/meminfo: memFree=4886572/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=10846988 memory=263608 CPUtime=6.79 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 40578 13035 0 0 653 18 5 3 20 0 15 0 473599407 11107315712 65902 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2711747 65902 3608 1 0 2673805 0
[pid=25612/tid=25665] ppid=25609 vsize=10846988 memory=7166609102043401320 CPUtime=3.08 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 21856 13035 0 0 291 9 5 3 20 0 15 0 473599416 11107315712 65902 33554432000 4194304 4196468 140721471003424 139884297827296 139884310037861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10846988 memory=-6225496801744867212 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 109 13035 0 0 2 0 5 3 20 0 15 0 473599416 11107315712 65902 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10846988 memory=3761666980133877760 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 477 13035 0 0 2 0 5 3 20 0 15 0 473599416 11107315712 65902 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10846988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 47 13035 0 0 2 0 5 3 20 0 15 0 473599416 11107315712 65902 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10846988 memory=5789470171843498628 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 97 13035 0 0 2 0 5 3 20 0 15 0 473599416 11107315712 65902 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10846988 memory=7516895258931192673 CPUtime=0.11 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 3167 13035 0 0 3 0 5 3 20 0 15 0 473599418 11107315712 65902 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10846988 memory=7521381296285770081 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 38 13035 0 0 0 0 5 3 20 0 15 0 473599418 11107315712 65902 33554432000 4194304 4196468 140721471003424 139883784504928 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10846988 memory=42116 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11107315712 65902 33554432000 4194304 4196468 140721471003424 139883192509824 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10846988 memory=7306916055891837008 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11107315712 65902 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10846988 memory=111632 CPUtime=1.14 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) S 25609 25612 23401 0 -1 1077944384 3245 13035 0 0 105 1 5 3 20 0 15 0 473599421 11107315712 65902 33554432000 4194304 4196468 140721471003424 139883750947184 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10846988 memory=808 CPUtime=1.19 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) S 25609 25612 23401 0 -1 1077944384 3514 13035 0 0 110 1 5 3 20 0 15 0 473599421 11107315712 65902 33554432000 4194304 4196468 140721471003424 139883749894384 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10846988 memory=1808 CPUtime=1.39 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) S 25609 25612 23401 0 -1 1077944384 5801 13035 0 0 129 2 5 3 20 0 15 0 473599421 11107315712 65902 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10846988 memory=920 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11107315712 65902 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 10 13035 0 0 0 0 5 3 20 0 15 0 473599422 11107315712 65902 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 263608 KiB

[startup+4.00668 s]*
/proc/loadavg: 1.96 1.74 1.57 5/227 25680
/proc/meminfo: memFree=4855176/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=10851096 memory=274128 CPUtime=9.27 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 43765 13035 0 0 899 20 5 3 20 0 15 0 473599407 11111522304 68532 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2712774 68532 3621 1 0 2674829 0
[pid=25612/tid=25665] ppid=25609 vsize=10851096 memory=-6517102902069810590 CPUtime=3.89 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 23192 13035 0 0 371 10 5 3 20 0 15 0 473599416 11111522304 68532 33554432000 4194304 4196468 140721471003424 139884297826560 139883896315053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10851096 memory=4122819170707507513 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 109 13035 0 0 2 0 5 3 20 0 15 0 473599416 11111522304 68532 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10851096 memory=3977135501639376826 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 477 13035 0 0 2 0 5 3 20 0 15 0 473599416 11111522304 68532 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10851096 memory=7517479142146340300 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 47 13035 0 0 2 0 5 3 20 0 15 0 473599416 11111522304 68532 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10851096 memory=3616988773081948168 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 97 13035 0 0 2 0 5 3 20 0 15 0 473599416 11111522304 68532 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10851096 memory=2315025665819460329 CPUtime=0.11 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 3167 13035 0 0 3 0 5 3 20 0 15 0 473599418 11111522304 68532 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10851096 memory=8319083140700905523 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 38 13035 0 0 0 0 5 3 20 0 15 0 473599418 11111522304 68532 33554432000 4194304 4196468 140721471003424 139883784504928 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10851096 memory=7827413994055111515 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11111522304 68532 33554432000 4194304 4196468 140721471003424 139883192509824 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10851096 memory=280466465303104 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11111522304 68532 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10851096 memory=5855084842728655005 CPUtime=1.79 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) S 25609 25612 23401 0 -1 1077944384 3505 13035 0 0 170 1 5 3 20 0 15 0 473599421 11111522304 68532 33554432000 4194304 4196468 140721471003424 139883750947184 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10851096 memory=280466465097296 CPUtime=1.8 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) S 25609 25612 23401 0 -1 1077944384 3894 13035 0 0 171 1 5 3 20 0 15 0 473599421 11111522304 68532 33554432000 4194304 4196468 140721471003424 139883749894384 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10851096 memory=0 CPUtime=1.78 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) R 25609 25612 23401 0 -1 1077944384 7011 13035 0 0 168 2 5 3 20 0 15 0 473599421 11111522304 68532 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11111522304 68532 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10851096 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 11 13035 0 0 0 0 5 3 20 0 15 0 473599422 11111522304 68532 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 9.27 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 274128 KiB

[startup+4.40071 s]
/proc/loadavg: 1.96 1.74 1.57 5/227 25680
/proc/meminfo: memFree=4855176/32770624 swapFree=66938644/67108860
[pid=25612] ppid=25609 vsize=10851096 memory=302216 CPUtime=10.48 cores=1,3,5,7
/proc/25612/stat : 25612 (java) S 25609 25612 23401 0 -1 1077944320 44383 13035 0 0 1019 21 5 3 20 0 15 0 473599407 11111522304 75554 33554432000 4194304 4196468 140721471003424 140721470985968 139884325994231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
/proc/25612/statm: 2712774 75554 3622 1 0 2674829 0
[pid=25612/tid=25665] ppid=25609 vsize=10851096 memory=0 CPUtime=4.26 cores=1,3,5,7
/proc/25612/task/25665/stat : 25665 (java) R 25609 25612 23401 0 -1 4202560 23223 13035 0 0 408 10 5 3 20 0 15 0 473599416 11111522304 75554 33554432000 4194304 4196468 140721471003424 139884297825520 139883897838813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25666] ppid=25609 vsize=10851096 memory=-9174445032661854264 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25666/stat : 25666 (java) S 25609 25612 23401 0 -1 1077944384 110 13035 0 0 2 0 5 3 20 0 15 0 473599416 11111522304 75554 33554432000 4194304 4196468 140721471003424 139884330236560 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25667] ppid=25609 vsize=10851096 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/25612/task/25667/stat : 25667 (java) S 25609 25612 23401 0 -1 1077944384 484 13035 0 0 3 0 5 3 20 0 15 0 473599416 11111522304 75554 33554432000 4194304 4196468 140721471003424 139884218509840 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25668] ppid=25609 vsize=10851096 memory=6944656592455359580 CPUtime=0.11 cores=1,3,5,7
/proc/25612/task/25668/stat : 25668 (java) S 25609 25612 23401 0 -1 1077944384 51 13035 0 0 3 0 5 3 20 0 15 0 473599416 11111522304 75554 33554432000 4194304 4196468 140721471003424 139884217457040 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25669] ppid=25609 vsize=10851096 memory=6944656592455097440 CPUtime=0.1 cores=1,3,5,7
/proc/25612/task/25669/stat : 25669 (java) S 25609 25612 23401 0 -1 1077944384 102 13035 0 0 2 0 5 3 20 0 15 0 473599416 11111522304 75554 33554432000 4194304 4196468 140721471003424 139884216404240 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25670] ppid=25609 vsize=10851096 memory=7086244037760278628 CPUtime=0.12 cores=1,3,5,7
/proc/25612/task/25670/stat : 25670 (java) S 25609 25612 23401 0 -1 1077944384 3168 13035 0 0 4 0 5 3 20 0 15 0 473599418 11111522304 75554 33554432000 4194304 4196468 140721471003424 139883785558896 139884326005378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25671] ppid=25609 vsize=10851096 memory=7086247314820063332 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25671/stat : 25671 (java) S 25609 25612 23401 0 -1 1077944384 38 13035 0 0 0 0 5 3 20 0 15 0 473599418 11111522304 75554 33554432000 4194304 4196468 140721471003424 139883784504928 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25672] ppid=25609 vsize=10851096 memory=7596274492223613015 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25672/stat : 25672 (java) S 25609 25612 23401 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 473599418 11111522304 75554 33554432000 4194304 4196468 140721471003424 139883192509824 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25673] ppid=25609 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25673/stat : 25673 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11111522304 75554 33554432000 4194304 4196468 140721471003424 139882885110096 139884326012827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25674] ppid=25609 vsize=10851096 memory=140233232602837 CPUtime=2.13 cores=1,3,5,7
/proc/25612/task/25674/stat : 25674 (java) R 25609 25612 23401 0 -1 4202560 3571 13035 0 0 204 1 5 3 20 0 15 0 473599421 11111522304 75554 33554432000 4194304 4196468 140721471003424 139883750947184 139884304385675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25675] ppid=25609 vsize=10851096 memory=280466465149744 CPUtime=2.15 cores=1,3,5,7
/proc/25612/task/25675/stat : 25675 (java) R 25609 25612 23401 0 -1 4202560 4180 13035 0 0 206 1 5 3 20 0 15 0 473599421 11111522304 75554 33554432000 4194304 4196468 140721471003424 139883749881696 139884312009769 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25676] ppid=25609 vsize=10851096 memory=-6595500271158067543 CPUtime=1.92 cores=1,3,5,7
/proc/25612/task/25676/stat : 25676 (java) S 25609 25612 23401 0 -1 1077944384 7227 13035 0 0 181 3 5 3 20 0 15 0 473599421 11111522304 75554 33554432000 4194304 4196468 140721471003424 139883748841584 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25677] ppid=25609 vsize=10851096 memory=7150434833149233262 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25677/stat : 25677 (java) S 25609 25612 23401 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 473599421 11111522304 75554 33554432000 4194304 4196468 140721471003424 139882851551456 139884326004437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
[pid=25612/tid=25678] ppid=25609 vsize=10851096 memory=3763100777944666215 CPUtime=0.08 cores=1,3,5,7
/proc/25612/task/25678/stat : 25678 (java) S 25609 25612 23401 0 -1 1077944384 12 13035 0 0 0 0 5 3 20 0 15 0 473599422 11111522304 75554 33554432000 4194304 4196468 140721471003424 139883747790000 139884326005378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140721471007471 140721471009989 140721471009989 140721471012815 0
Current children cumulated CPU time: 10.48 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 302216 KiB

[startup+4.60069 s]*
/proc/loadavg: 1.96 1.74 1.57 2/214 25681
/proc/meminfo: memFree=5127768/32770624 swapFree=66938644/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.67658
CPU time (s): 11.0585
CPU user time (s): 10.7961
CPU system time (s): 0.262403
CPU usage (%): 236.465
Max. virtual memory (cumulated for all children) (KiB): 10851096
Max. memory (cumulated for all children) (KiB): 302344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7961
system time used= 0.262403
maximum resident set size= 312856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57578
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= 7722
involuntary context switches= 42


# summary of solver processes directly reported to runsolver:
#   pid: 25612
#   total CPU time (s): 11.0585
#   total CPU user time (s): 10.7961
#   total CPU system time (s): 0.262403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049061 second user time and 0.085837 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-20 11:56:59
IDJOB=4403125
IDBENCH=126828
IDSOLVER=2862
FILE ID=node139/4403125-1568973298
RUNJOBID= node139-1568967758-23433
PBS_JOBID= 21704618
Free space on /tmp= 5052 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-30-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403125-1568973298/watcher-4403125-1568973298 -o /tmp/evaluation-result-4403125-1568973298/solver-4403125-1568973298 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=2000346299 HOME/instance-4403125-1568973298.xml

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

MD5SUM BENCH= 1a3f146023047dfa4a3d56734d0c92f1
RANDOM SEED=2000346299

node139.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.57
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.57
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.57
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.57
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:         5132864 kB
MemAvailable:   30838912 kB
Buffers:          125336 kB
Cached:         25401920 kB
SwapCached:        65316 kB
Active:         13721964 kB
Inactive:       12826664 kB
Active(anon):     959304 kB
Inactive(anon):   107800 kB
Active(file):   12762660 kB
Inactive(file): 12718864 kB
Unevictable:      108884 kB
Mlocked:          108884 kB
SwapTotal:      67108860 kB
SwapFree:       66938644 kB
Dirty:             36560 kB
Writeback:             0 kB
AnonPages:       1066416 kB
Mapped:            64428 kB
Shmem:             37048 kB
Slab:             682472 kB
SReclaimable:     652984 kB
SUnreclaim:        29488 kB
KernelStack:        3664 kB
PageTables:         7560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2219492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    872448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5016 MiB
End job on node139 at 2019-09-20 11:57:04