Trace number 4402870

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.3OPT132 16.521 7.14721

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-6-5-30-1.xml
MD5SUMef915df37055c75537688959881a75d3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark132
Best CPU time to get the best result obtained on this benchmark1.77323
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints962
Number of domains62
Minimum domain size2
Maximum domain size30
Distribution of domain sizes[{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":9},{"size":13,"count":3},{"size":14,"count":4},{"size":15,"count":7},{"size":16,"count":7},{"size":17,"count":8},{"size":18,"count":1},{"size":29,"count":30},{"size":30,"count":30}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":60},{"degree":31,"count":30},{"degree":32,"count":29},{"degree":33,"count":1}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":960},{"arity":30,"count":1}]
Number of extensional constraints60
Number of intensional constraints901
Distribution of constraint types[{"type":"extension","count":60},{"type":"intension","count":901},{"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.78/0.54	c Concrete v3.12.3.1568965526260 running
10.04/4.15	o 167
10.04/4.17	o 164
10.04/4.18	o 163
10.04/4.19	o 161
10.04/4.20	o 149
10.37/4.21	o 132
16.46/7.12	v <instantiation
16.46/7.12	v         cost = '132'>
16.46/7.12	v       <list>
16.46/7.12	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] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] 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] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] 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]
16.46/7.12	v       </list>
16.46/7.12	v       <values>
16.46/7.12	v         0 1 2 3 4 5 6 7 8 9 11 17 12 13 14 15 10 23 18 19 20 21 16 29 24 25 26 27 22 28 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 16 5 0 0 0 0 8 3 0 0 0 0 1 2 28 28 28 11 23 17 17 10 10 23 16 10 11 10 28 17 23 10 23 16 16 10 28 16 23 22 11 11 10 16 2 3 5 4 2 1 3 1 2 4 2 5 4 5 4 1 4 1 4 4 7 4 4 2 5 1 1 1 1 5
16.46/7.12	v       </values>
16.46/7.12	v     </instantiation>
16.46/7.12	s OPTIMUM FOUND

Verifier Data 

OK	132

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402870-1568973554/watcher-4402870-1568973554 -o /tmp/evaluation-result-4402870-1568973554/solver-4402870-1568973554 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23612 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1072080807 HOME/instance-4402870-1568973554.xml 

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

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


[startup+0.100063 s]*
/proc/loadavg: 2.27 1.62 1.51 3/218 25881
/proc/meminfo: memFree=5649896/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=9972712 memory=18596 CPUtime=0.08 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 4392 13262 0 0 1 0 5 2 20 0 6 0 473293200 10212057088 4649 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2493178 4649 1935 1 0 2481616 0
[pid=25824/tid=25877] ppid=25821 vsize=9972712 memory=-8439527450518781933 CPUtime=0.08 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 2176 13262 0 0 1 0 5 2 20 0 6 0 473293209 10212057088 4649 33554432000 4194304 4196468 140732220332928 140466066043472 140466078334594 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=9972712 memory=4211973902643121546 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 6 0 473293210 10212057088 4649 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=9977852 memory=140176438331008 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 6 0 473293210 10217320448 4649 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=9983652 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 6 0 473293210 10223259648 4649 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 6 0 473293210 10228523008 4715 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210233 s]*
/proc/loadavg: 2.27 1.62 1.51 3/227 25890
/proc/meminfo: memFree=5627852/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10820196 memory=45248 CPUtime=0.26 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 7263 13262 0 0 17 2 5 2 20 0 15 0 473293200 11079880704 11312 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2705049 11312 3289 1 0 2667149 0
[pid=25824/tid=25877] ppid=25821 vsize=10820196 memory=7900017517374083699 CPUtime=0.18 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 3744 13262 0 0 10 1 5 2 20 0 15 0 473293209 11079880704 11312 33554432000 4194304 4196468 140732220332928 140466066020896 140466094230589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10820196 memory=4211973902643121546 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 11312 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10820196 memory=140176438331008 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10820196 memory=140176438331008 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293211 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 33 13262 0 0 0 0 5 2 20 0 15 0 473293212 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465552704544 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293212 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465429013360 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11079880704 11312 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) S 25821 25824 23580 0 -1 1077944384 369 13262 0 0 1 0 5 2 20 0 15 0 473293215 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465519147888 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 289 13262 0 0 0 0 5 2 20 0 15 0 473293215 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10820196 memory=140176438331008 CPUtime=0.1 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 603 13262 0 0 3 0 5 2 20 0 15 0 473293215 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11079880704 11312 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10820196 memory=140176438331008 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293215 11079880704 11312 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45248 KiB

[startup+0.310546 s]*
/proc/loadavg: 2.27 1.62 1.51 3/227 25890
/proc/meminfo: memFree=5617464/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10820196 memory=53708 CPUtime=0.4 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 10605 13262 0 0 29 4 5 2 20 0 15 0 473293200 11079880704 13427 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2705049 13427 3314 1 0 2667149 0
[pid=25824/tid=25877] ppid=25821 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 7079 13262 0 0 19 3 5 2 20 0 15 0 473293209 11079880704 13427 33554432000 4194304 4196468 140732220332928 140466066015632 140466078287198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 13427 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293210 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10820196 memory=140176438331007 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293211 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 33 13262 0 0 0 0 5 2 20 0 15 0 473293212 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465552704544 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293212 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465429013360 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11079880704 13427 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) S 25821 25824 23580 0 -1 1077944384 370 13262 0 0 2 0 5 2 20 0 15 0 473293215 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465519147888 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 289 13262 0 0 1 0 5 2 20 0 15 0 473293215 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10820196 memory=140176438331008 CPUtime=0.12 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 611 13262 0 0 5 0 5 2 20 0 15 0 473293215 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11079880704 13427 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10820196 memory=140176438331008 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293215 11079880704 13427 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53708 KiB

[startup+0.700743 s]
/proc/loadavg: 2.27 1.62 1.51 4/227 25890
/proc/meminfo: memFree=5603596/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10824364 memory=85976 CPUtime=1.16 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 14836 13262 0 0 103 6 5 2 20 0 15 0 473293200 11084148736 21494 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2706091 21494 3513 1 0 2668173 0
[pid=25824/tid=25877] ppid=25821 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 10182 13262 0 0 56 4 5 2 20 0 15 0 473293209 11084148736 21494 33554432000 4194304 4196468 140732220332928 140466066024640 140466078287198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293210 11084148736 21494 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293210 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10824364 memory=5938114200481458240 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293210 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10824364 memory=8320808402719879476 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293210 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10824364 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 5 13262 0 0 0 0 5 2 20 0 15 0 473293211 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10824364 memory=61 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 33 13262 0 0 0 0 5 2 20 0 15 0 473293212 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465552704544 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293212 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465429013360 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11084148736 21494 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10824364 memory=280352648101920 CPUtime=0.19 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) S 25821 25824 23580 0 -1 1077944384 828 13262 0 0 12 0 5 2 20 0 15 0 473293215 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465519147888 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10824364 memory=16132 CPUtime=0.23 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 797 13262 0 0 16 0 5 2 20 0 15 0 473293215 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10824364 memory=4420 CPUtime=0.24 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 769 13262 0 0 17 0 5 2 20 0 15 0 473293215 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10824364 memory=239 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11084148736 21494 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10824364 memory=8242257093008374069 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293215 11084148736 21494 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85976 KiB

[startup+1.50353 s]
/proc/loadavg: 2.27 1.62 1.51 5/227 25890
/proc/meminfo: memFree=5559480/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10834680 memory=184944 CPUtime=2.74 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 25418 13262 0 0 256 11 5 2 20 0 15 0 473293200 11094712320 46236 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2708670 46236 3579 1 0 2670733 0
[pid=25824/tid=25877] ppid=25821 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 15393 13262 0 0 130 6 5 2 20 0 15 0 473293209 11094712320 46236 33554432000 4194304 4196468 140732220332928 140466066016048 140465647259883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10834680 memory=116 CPUtime=0.08 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 55 13262 0 0 1 0 5 2 20 0 15 0 473293210 11094712320 46236 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10834680 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 54 13262 0 0 0 0 5 2 20 0 15 0 473293210 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 78 13262 0 0 1 0 5 2 20 0 15 0 473293210 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10834680 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 332 13262 0 0 1 0 5 2 20 0 15 0 473293210 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 1384 13262 0 0 1 0 5 2 20 0 15 0 473293211 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 34 13262 0 0 0 0 5 2 20 0 15 0 473293212 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465552704608 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10834680 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293212 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465429013376 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11094712320 46236 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10834680 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) S 25821 25824 23580 0 -1 1077944384 1935 13262 0 0 35 1 5 2 20 0 15 0 473293215 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465519147888 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10834680 memory=2276 CPUtime=0.44 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 1850 13262 0 0 37 0 5 2 20 0 15 0 473293215 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10834680 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 2085 13262 0 0 45 0 5 2 20 0 15 0 473293215 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11094712320 46236 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 1 13262 0 0 0 0 5 2 20 0 15 0 473293215 11094712320 46236 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 10834680 KiB

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

[startup+7.14715 s]
# the end of solver process 25824 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.1756 s, system=0.345439 s

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

[startup+6.40093 s]
/proc/loadavg: 2.49 1.68 1.53 3/227 25890
/proc/meminfo: memFree=5249696/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10851096 memory=444440 CPUtime=15 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 55814 13262 0 0 1467 26 5 2 20 0 15 0 473293200 11111522304 111110 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2712774 111110 3629 1 0 2674829 0
[pid=25824/tid=25877] ppid=25821 vsize=10851096 memory=1327 CPUtime=6.21 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 24055 13262 0 0 604 10 5 2 20 0 15 0 473293209 11111522304 111110 33554432000 4194304 4196468 140732220332928 140466066038896 140465661587042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10851096 memory=497 CPUtime=0.13 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 120 13262 0 0 5 1 5 2 20 0 15 0 473293210 11111522304 111110 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10851096 memory=1453 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 105 13262 0 0 5 2 5 2 20 0 15 0 473293210 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10851096 memory=56 CPUtime=0.13 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 240 13262 0 0 5 1 5 2 20 0 15 0 473293210 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10851096 memory=2811011 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 392 13262 0 0 6 1 5 2 20 0 15 0 473293210 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10851096 memory=2812295 CPUtime=0.11 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 3308 13262 0 0 4 0 5 2 20 0 15 0 473293211 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 38 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465552704608 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10851096 memory=-9174445032661854264 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465429013376 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10851096 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 111110 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10851096 memory=6944656592387989600 CPUtime=3.34 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) S 25821 25824 23580 0 -1 1077944384 10751 13262 0 0 324 3 5 2 20 0 15 0 473293215 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465519147888 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10851096 memory=6944656575208382560 CPUtime=3.17 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 6043 13262 0 0 309 1 5 2 20 0 15 0 473293215 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10851096 memory=-2672971630408907303 CPUtime=2.09 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 8534 13262 0 0 199 3 5 2 20 0 15 0 473293215 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10851096 memory=-7595754389018307734 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 111110 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 11 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 111110 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 444440 KiB

[startup+6.80076 s]
/proc/loadavg: 2.49 1.68 1.53 3/227 25890
/proc/meminfo: memFree=5249696/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10851096 memory=450756 CPUtime=15.89 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 58372 13262 0 0 1555 27 5 2 20 0 15 0 473293200 11111522304 112689 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2712774 112689 3630 1 0 2674829 0
[pid=25824/tid=25877] ppid=25821 vsize=10851096 memory=5 CPUtime=6.61 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 24238 13262 0 0 644 10 5 2 20 0 15 0 473293209 11111522304 112689 33554432000 4194304 4196468 140732220332928 140466066039512 140465664291909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10851096 memory=4 CPUtime=0.13 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 120 13262 0 0 5 1 5 2 20 0 15 0 473293210 11111522304 112689 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10851096 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 105 13262 0 0 5 2 5 2 20 0 15 0 473293210 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10851096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 240 13262 0 0 5 1 5 2 20 0 15 0 473293210 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10851096 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 392 13262 0 0 6 1 5 2 20 0 15 0 473293210 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10851096 memory=320 CPUtime=0.11 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 3308 13262 0 0 4 0 5 2 20 0 15 0 473293211 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10851096 memory=301 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 38 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465552704608 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10851096 memory=200 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465429013376 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 112689 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10851096 memory=0 CPUtime=3.71 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) R 25821 25824 23580 0 -1 4202560 12253 13262 0 0 361 3 5 2 20 0 15 0 473293215 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465519132568 140466077703499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10851096 memory=56 CPUtime=3.28 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 6905 13262 0 0 320 1 5 2 20 0 15 0 473293215 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10851096 memory=288230596053754767 CPUtime=2.09 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 8545 13262 0 0 199 3 5 2 20 0 15 0 473293215 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10851096 memory=14699582247070890 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 112689 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10851096 memory=8751464017575293497 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 11 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 112689 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 15.89 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 450756 KiB

[startup+7.00069 s]*
/proc/loadavg: 2.49 1.68 1.53 3/227 25890
/proc/meminfo: memFree=5139600/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10851096 memory=545332 CPUtime=16.36 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 62094 13262 0 0 1599 30 5 2 20 0 15 0 473293200 11111522304 136333 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2712774 136333 3630 1 0 2674829 0
[pid=25824/tid=25877] ppid=25821 vsize=10851096 memory=7900017517374083699 CPUtime=6.81 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 24283 13262 0 0 662 12 5 2 20 0 15 0 473293209 11111522304 136333 33554432000 4194304 4196468 140732220332928 140466066042496 140465665584800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10851096 memory=4211973902643121546 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 1055 13262 0 0 6 1 5 2 20 0 15 0 473293210 11111522304 136333 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10851096 memory=2319529375604680370 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 130 13262 0 0 5 2 5 2 20 0 15 0 473293210 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10851096 memory=5787233549836903744 CPUtime=0.13 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 295 13262 0 0 5 1 5 2 20 0 15 0 473293210 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10851096 memory=3472592183261933599 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 415 13262 0 0 6 1 5 2 20 0 15 0 473293210 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10851096 memory=140176438331008 CPUtime=0.12 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 3366 13262 0 0 5 0 5 2 20 0 15 0 473293211 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10851096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 38 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465552704608 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10851096 memory=11582718367 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465429013376 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 136333 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10851096 memory=0 CPUtime=3.82 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) S 25821 25824 23580 0 -1 1077944384 13489 13262 0 0 372 3 5 2 20 0 15 0 473293215 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465519147888 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10851096 memory=3472592183261933599 CPUtime=3.4 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 8139 13262 0 0 331 2 5 2 20 0 15 0 473293215 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10851096 memory=3833605291669207729 CPUtime=2.1 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 8668 13262 0 0 200 3 5 2 20 0 15 0 473293215 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10851096 memory=2319389212051320095 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 136333 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10851096 memory=3689468087641915056 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 11 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 136333 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 16.36 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 545332 KiB

[startup+7.11029 s]
/proc/loadavg: 2.49 1.68 1.53 3/227 25890
/proc/meminfo: memFree=5139600/32770624 swapFree=66935368/67108860
[pid=25824] ppid=25821 vsize=10851096 memory=545412 CPUtime=16.46 cores=1,3,5,7
/proc/25824/stat : 25824 (java) S 25821 25824 23580 0 -1 1077944320 62164 13262 0 0 1609 30 5 2 20 0 15 0 473293200 11111522304 136353 33554432000 4194304 4196468 140732220332928 140732220315472 140466094206711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
/proc/25824/statm: 2712774 136353 3630 1 0 2674829 0
[pid=25824/tid=25877] ppid=25821 vsize=10851096 memory=3616 CPUtime=6.91 cores=1,3,5,7
/proc/25824/task/25877/stat : 25877 (java) R 25821 25824 23580 0 -1 4202560 24283 13262 0 0 672 12 5 2 20 0 15 0 473293209 11111522304 136353 33554432000 4194304 4196468 140732220332928 140466066042496 140465662948600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25878] ppid=25821 vsize=10851096 memory=444612 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25878/stat : 25878 (java) S 25821 25824 23580 0 -1 1077944384 1055 13262 0 0 6 1 5 2 20 0 15 0 473293210 11111522304 136353 33554432000 4194304 4196468 140732220332928 140466098449552 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25879] ppid=25821 vsize=10851096 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25879/stat : 25879 (java) S 25821 25824 23580 0 -1 1077944384 130 13262 0 0 5 2 5 2 20 0 15 0 473293210 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465986722832 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25880] ppid=25821 vsize=10851096 memory=323 CPUtime=0.13 cores=1,3,5,7
/proc/25824/task/25880/stat : 25880 (java) S 25821 25824 23580 0 -1 1077944384 295 13262 0 0 5 1 5 2 20 0 15 0 473293210 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465985670032 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25881] ppid=25821 vsize=10851096 memory=556 CPUtime=0.14 cores=1,3,5,7
/proc/25824/task/25881/stat : 25881 (java) S 25821 25824 23580 0 -1 1077944384 415 13262 0 0 6 1 5 2 20 0 15 0 473293210 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465984617232 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25882] ppid=25821 vsize=10851096 memory=6 CPUtime=0.12 cores=1,3,5,7
/proc/25824/task/25882/stat : 25882 (java) S 25821 25824 23580 0 -1 1077944384 3366 13262 0 0 5 0 5 2 20 0 15 0 473293211 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465553758576 140466094217858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25883] ppid=25821 vsize=10851096 memory=5 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25883/stat : 25883 (java) S 25821 25824 23580 0 -1 1077944384 38 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465552704608 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25884] ppid=25821 vsize=10851096 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25884/stat : 25884 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293212 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465429013376 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25885] ppid=25821 vsize=10851096 memory=3 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25885/stat : 25885 (java) S 25821 25824 23580 0 -1 1077944384 2 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 136353 33554432000 4194304 4196468 140732220332928 140464825034576 140466094225307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25886] ppid=25821 vsize=10851096 memory=3 CPUtime=3.82 cores=1,3,5,7
/proc/25824/task/25886/stat : 25886 (java) S 25821 25824 23580 0 -1 1077944384 13509 13262 0 0 372 3 5 2 20 0 15 0 473293215 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465519147888 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25887] ppid=25821 vsize=10851096 memory=367600 CPUtime=3.4 cores=1,3,5,7
/proc/25824/task/25887/stat : 25887 (java) S 25821 25824 23580 0 -1 1077944384 8154 13262 0 0 331 2 5 2 20 0 15 0 473293215 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465518095088 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25888] ppid=25821 vsize=10851096 memory=328624 CPUtime=2.11 cores=1,3,5,7
/proc/25824/task/25888/stat : 25888 (java) S 25821 25824 23580 0 -1 1077944384 8691 13262 0 0 201 3 5 2 20 0 15 0 473293215 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465517042288 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25889] ppid=25821 vsize=10851096 memory=435768 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25889/stat : 25889 (java) S 25821 25824 23580 0 -1 1077944384 3 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 136353 33554432000 4194304 4196468 140732220332928 140464355273440 140466094216917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
[pid=25824/tid=25890] ppid=25821 vsize=10851096 memory=11441 CPUtime=0.07 cores=1,3,5,7
/proc/25824/task/25890/stat : 25890 (java) S 25821 25824 23580 0 -1 1077944384 11 13262 0 0 0 0 5 2 20 0 15 0 473293215 11111522304 136353 33554432000 4194304 4196468 140732220332928 140465515989680 140466094217858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9650176 140732220336879 140732220339397 140732220339397 140732220342223 0
Current children cumulated CPU time: 16.46 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 545412 KiB

Child status: 0
Real time (s): 7.14721
CPU time (s): 16.521
CPU user time (s): 16.1756
CPU system time (s): 0.345439
CPU usage (%): 231.153
Max. virtual memory (cumulated for all children) (KiB): 10851716
Max. memory (cumulated for all children) (KiB): 545412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1756
system time used= 0.345439
maximum resident set size= 547468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75516
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= 7792
involuntary context switches= 76


# summary of solver processes directly reported to runsolver:
#   pid: 25824
#   total CPU time (s): 16.521
#   total CPU user time (s): 16.1756
#   total CPU system time (s): 0.345439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072896 second user time and 0.107687 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-20 11:58:31
IDJOB=4402870
IDBENCH=126830
IDSOLVER=2861
FILE ID=node141/4402870-1568973554
RUNJOBID= node141-1568967594-23612
PBS_JOBID= 21704616
Free space on /tmp= 22816 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-6-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-4402870-1568973554/watcher-4402870-1568973554 -o /tmp/evaluation-result-4402870-1568973554/solver-4402870-1568973554 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23612 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1072080807 HOME/instance-4402870-1568973554.xml

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

MD5SUM BENCH= ef915df37055c75537688959881a75d3
RANDOM SEED=1072080807

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
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:         5661084 kB
MemAvailable:   31323272 kB
Buffers:          111076 kB
Cached:         25784976 kB
SwapCached:        62420 kB
Active:         13394708 kB
Inactive:       13039596 kB
Active(anon):     475492 kB
Inactive(anon):   106672 kB
Active(file):   12919216 kB
Inactive(file): 12932924 kB
Unevictable:      110264 kB
Mlocked:          110264 kB
SwapTotal:      67108860 kB
SwapFree:       66935368 kB
Dirty:             36192 kB
Writeback:             0 kB
AnonPages:        586664 kB
Mapped:            61544 kB
Shmem:             35164 kB
Slab:             267608 kB
SReclaimable:     238508 kB
SUnreclaim:        29100 kB
KernelStack:        3776 kB
PageTables:         8388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1509952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    475136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 22780 MiB
End job on node141 at 2019-09-20 11:58:39