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 (6056 MiB free)
memory of node 1: 16384 MiB (2753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402435-1568986773/watcher-4402435-1568986773 -o /var/tmp/evaluation-result-4402435-1568986773/solver-4402435-1568986773 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19972 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=99636543 HOME/instance-4402435-1568986773.xml
running on 4 cores: 0,2,4,6
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=25155, runsolver pid=25152
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.45 1.54 1.49 3/218 25212
/proc/meminfo: memFree=9016016/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 4429 13526 0 0 1 0 5 3 20 0 6 0 474935294 10212057088 4203 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2493178 4203 1934 1 0 2481616 0
[pid=25155/tid=25208] ppid=25152 vsize=9972712 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 2235 13526 0 0 1 0 5 3 20 0 6 0 474935304 10212057088 4203 33554432000 4194304 4196468 140737258589152 140663022867024 140663043267390 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 6 0 474935304 10212057088 4203 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=9972712 memory=139869101561472 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 6 0 474935304 10212057088 4203 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 6 0 474935304 10212057088 4203 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 6 0 474935304 10212057088 4203 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210321 s]*
/proc/loadavg: 1.45 1.54 1.49 4/227 25221
/proc/meminfo: memFree=8994440/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10819856 memory=43208 CPUtime=0.27 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 7228 13526 0 0 17 2 5 3 20 0 15 0 474935294 11079532544 10802 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2704964 10802 3190 1 0 2667149 0
[pid=25155/tid=25208] ppid=25152 vsize=10820000 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 3776 13526 0 0 11 1 5 3 20 0 15 0 474935304 11079680000 10867 33554432000 4194304 4196468 140737258589152 140663022841296 140663043708277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10820164 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079847936 10867 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10820164 memory=139869101584550 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079847936 10867 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079847936 10867 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079847936 10867 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10820164 memory=139869101561472 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935306 11079847936 10867 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 33 13526 0 0 0 0 5 3 20 0 15 0 474935306 11079847936 10867 33554432000 4194304 4196468 140737258589152 140662508966816 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935306 11079847936 10867 33554432000 4194304 4196468 140737258589152 140662393529328 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11079847936 10933 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10820164 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) S 25152 25155 19941 0 -1 1077944384 476 13526 0 0 1 0 5 3 20 0 15 0 474935309 11079847936 10933 33554432000 4194304 4196468 140737258589152 140662475409904 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) R 25152 25155 19941 0 -1 1077944384 177 13526 0 0 0 0 5 3 20 0 15 0 474935309 11079847936 10933 33554432000 4194304 4196468 140737258589152 140662474357360 140663051041410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10820164 memory=139869101561472 CPUtime=0.11 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) S 25152 25155 19941 0 -1 1077944384 595 13526 0 0 3 0 5 3 20 0 15 0 474935309 11079847936 10933 33554432000 4194304 4196468 140737258589152 140662473304816 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11079847936 10933 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10820164 memory=139869101561472 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935310 11079847936 10933 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819856 KiB
Current children cumulated memory: 43208 KiB
[startup+0.310682 s]*
/proc/loadavg: 1.45 1.54 1.49 3/227 25221
/proc/meminfo: memFree=8981888/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10820196 memory=52076 CPUtime=0.4 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 10756 13526 0 0 29 3 5 3 20 0 15 0 474935294 11079880704 13019 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2705049 13019 3316 1 0 2667149 0
[pid=25155/tid=25208] ppid=25152 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 7229 13526 0 0 19 2 5 3 20 0 15 0 474935304 11079880704 13019 33554432000 4194304 4196468 140737258589152 140663022841808 140663035110780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079880704 13019 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935304 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935306 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 33 13526 0 0 0 0 5 3 20 0 15 0 474935306 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662508966816 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935306 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662393529328 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11079880704 13019 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) S 25152 25155 19941 0 -1 1077944384 476 13526 0 0 1 0 5 3 20 0 15 0 474935309 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662475409904 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) S 25152 25155 19941 0 -1 1077944384 187 13526 0 0 2 0 5 3 20 0 15 0 474935309 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662474357360 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10820196 memory=139869101561472 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) S 25152 25155 19941 0 -1 1077944384 615 13526 0 0 5 0 5 3 20 0 15 0 474935309 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662473304816 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11079880704 13019 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10820196 memory=139869101561472 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935310 11079880704 13019 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52076 KiB
[startup+0.700728 s]
/proc/loadavg: 1.45 1.54 1.49 3/227 25221
/proc/meminfo: memFree=8966616/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10824364 memory=85368 CPUtime=1.15 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 15053 13526 0 0 102 5 5 3 20 0 15 0 474935294 11084148736 21342 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2706091 21342 3508 1 0 2668173 0
[pid=25155/tid=25208] ppid=25152 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 10414 13526 0 0 56 3 5 3 20 0 15 0 474935304 11084148736 21342 33554432000 4194304 4196468 140737258589152 140663022856816 140663051052189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935304 11084148736 21342 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935304 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10824364 memory=139868965581008 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935304 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10824364 memory=139869904962153 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935304 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 6 13526 0 0 0 0 5 3 20 0 15 0 474935306 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 33 13526 0 0 0 0 5 3 20 0 15 0 474935306 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662508966816 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10824364 memory=7739528784169234287 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935306 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662393529328 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11084148736 21342 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10824364 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) S 25152 25155 19941 0 -1 1077944384 899 13526 0 0 12 0 5 3 20 0 15 0 474935309 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662475409904 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10824364 memory=516 CPUtime=0.24 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) R 25152 25155 19941 0 -1 4202560 689 13526 0 0 16 0 5 3 20 0 15 0 474935309 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662474357360 140663031730862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10824364 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) S 25152 25155 19941 0 -1 1077944384 796 13526 0 0 17 0 5 3 20 0 15 0 474935309 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662473304816 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10824364 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11084148736 21342 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10824364 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 1 13526 0 0 0 0 5 3 20 0 15 0 474935310 11084148736 21342 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85368 KiB
[startup+1.50535 s]
/proc/loadavg: 1.45 1.54 1.49 5/227 25221
/proc/meminfo: memFree=8904868/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10834680 memory=212356 CPUtime=2.81 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 23600 13526 0 0 260 13 5 3 20 0 15 0 474935294 11094712320 53089 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2708670 53089 3590 1 0 2670733 0
[pid=25155/tid=25208] ppid=25152 vsize=10834680 memory=208860 CPUtime=1.44 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 15552 13526 0 0 129 7 5 3 20 0 15 0 474935304 11094712320 53089 33554432000 4194304 4196468 140737258589152 140663022853888 140663035110750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10834680 memory=2436 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 28 13526 0 0 1 0 5 3 20 0 15 0 474935304 11094712320 53089 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10834680 memory=1760 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 86 13526 0 0 1 0 5 3 20 0 15 0 474935304 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 45 13526 0 0 1 0 5 3 20 0 15 0 474935304 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10834680 memory=-7303279828959712342 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 327 13526 0 0 0 1 5 3 20 0 15 0 474935304 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10834680 memory=3833724587141655611 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 1263 13526 0 0 1 0 5 3 20 0 15 0 474935306 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10834680 memory=-7016161123436706971 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 33 13526 0 0 0 0 5 3 20 0 15 0 474935306 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662508966880 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10834680 memory=-6005673638262905286 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935306 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662393529344 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11094712320 53089 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10834680 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) R 25152 25155 19941 0 -1 4202560 1440 13526 0 0 40 0 5 3 20 0 15 0 474935309 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662475409904 140663051051610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10834680 memory=4580 CPUtime=0.55 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) R 25152 25155 19941 0 -1 1077944384 1244 13526 0 0 47 0 5 3 20 0 15 0 474935309 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662474343888 140663051051453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10834680 memory=7230358031464158288 CPUtime=0.44 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) R 25152 25155 19941 0 -1 4202560 1411 13526 0 0 36 0 5 3 20 0 15 0 474935309 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662473304816 140663029971739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10834680 memory=4641048842867402595 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11094712320 53089 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10834680 memory=7886195943080093015 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935310 11094712320 53089 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+3.11005 s]
/proc/loadavg: 1.73 1.60 1.51 3/226 25221
/proc/meminfo: memFree=8751788/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10842892 memory=286552 CPUtime=6.79 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 35984 13526 0 0 653 18 5 3 20 0 15 0 474935294 11103121408 71638 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2710723 71638 3610 1 0 2672781 0
[pid=25155/tid=25208] ppid=25152 vsize=10842892 memory=279336 CPUtime=3.02 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 21693 13526 0 0 285 9 5 3 20 0 15 0 474935304 11103121408 71638 33554432000 4194304 4196468 140737258589152 140663022866416 140663035110750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10842892 memory=7595696136340664424 CPUtime=0.11 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 212 13526 0 0 2 1 5 3 20 0 15 0 474935304 11103121408 71638 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10842892 memory=216900 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 126 13526 0 0 1 0 5 3 20 0 15 0 474935304 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10842892 memory=4137290303932963203 CPUtime=0.11 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 63 13526 0 0 2 1 5 3 20 0 15 0 474935304 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10842892 memory=6944656591801719708 CPUtime=0.1 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 462 13526 0 0 1 1 5 3 20 0 15 0 474935304 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10842892 memory=-7384994778349281184 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 1397 13526 0 0 1 0 5 3 20 0 15 0 474935306 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10842892 memory=8100121305927870313 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 38 13526 0 0 0 0 5 3 20 0 15 0 474935306 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662508966880 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10842892 memory=8101247189090653289 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 7 13526 0 0 0 0 5 3 20 0 15 0 474935306 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662393529344 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11103121408 71638 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10842892 memory=117 CPUtime=1.35 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) S 25152 25155 19941 0 -1 1077944384 3118 13526 0 0 126 1 5 3 20 0 15 0 474935309 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662475409904 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10842892 memory=125 CPUtime=1.44 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) S 25152 25155 19941 0 -1 1077944384 2660 13526 0 0 136 0 5 3 20 0 15 0 474935309 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662474357360 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10842892 memory=92 CPUtime=1.03 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) S 25152 25155 19941 0 -1 1077944384 3996 13526 0 0 94 1 5 3 20 0 15 0 474935309 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662473304816 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11103121408 71638 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 5 13526 0 0 0 0 5 3 20 0 15 0 474935310 11103121408 71638 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 286552 KiB
[startup+3.80914 s]
# the end of solver process 25155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.33424 s, system=0.254481 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20078 s]
/proc/loadavg: 1.73 1.60 1.51 3/226 25221
/proc/meminfo: memFree=8751788/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10842892 memory=287940 CPUtime=7.02 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 36392 13526 0 0 676 18 5 3 20 0 15 0 474935294 11103121408 71985 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2710723 71985 3610 1 0 2672781 0
[pid=25155/tid=25208] ppid=25152 vsize=10842892 memory=0 CPUtime=3.11 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 21929 13526 0 0 294 9 5 3 20 0 15 0 474935304 11103121408 71985 33554432000 4194304 4196468 140737258589152 140663022855056 140662617997208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10842892 memory=-7812736537705029536 CPUtime=0.11 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 212 13526 0 0 2 1 5 3 20 0 15 0 474935304 11103121408 71985 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10842892 memory=8547712850019655617 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 126 13526 0 0 1 0 5 3 20 0 15 0 474935304 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10842892 memory=6655300316396806240 CPUtime=0.11 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 63 13526 0 0 2 1 5 3 20 0 15 0 474935304 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10842892 memory=6656426216303648864 CPUtime=0.1 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 462 13526 0 0 1 1 5 3 20 0 15 0 474935304 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 1397 13526 0 0 1 0 5 3 20 0 15 0 474935306 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 38 13526 0 0 0 0 5 3 20 0 15 0 474935306 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662508966880 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 7 13526 0 0 0 0 5 3 20 0 15 0 474935306 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662393529344 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11103121408 71985 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10842892 memory=2241 CPUtime=1.4 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) R 25152 25155 19941 0 -1 4202560 3137 13526 0 0 131 1 5 3 20 0 15 0 474935309 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662475409904 140663051042198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10842892 memory=2244 CPUtime=1.48 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) R 25152 25155 19941 0 -1 1077944384 2685 13526 0 0 140 0 5 3 20 0 15 0 474935309 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662474357360 140663051041410 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10842892 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) R 25152 25155 19941 0 -1 4202560 4123 13526 0 0 99 1 5 3 20 0 15 0 474935309 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662473304816 140663051042198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11103121408 71985 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 5 13526 0 0 0 0 5 3 20 0 15 0 474935310 11103121408 71985 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 7.02 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 287940 KiB
[startup+3.60067 s]
/proc/loadavg: 1.73 1.60 1.51 3/226 25221
/proc/meminfo: memFree=8751788/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10844940 memory=312484 CPUtime=8.06 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 38768 13526 0 0 778 20 5 3 20 0 15 0 474935294 11105218560 78121 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2711235 78121 3617 1 0 2673293 0
[pid=25155/tid=25208] ppid=25152 vsize=10844940 memory=43280 CPUtime=3.45 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 22535 13526 0 0 328 9 5 3 20 0 15 0 474935304 11105218560 78121 33554432000 4194304 4196468 140737258589152 140663022860048 140663035110750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10844940 memory=984 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 242 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78121 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10844940 memory=2016 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 146 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10844940 memory=1412 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 94 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10844940 memory=1548 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 495 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10844940 memory=7552 CPUtime=0.12 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 2634 13526 0 0 4 0 5 3 20 0 15 0 474935306 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10844940 memory=3608 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 38 13526 0 0 0 0 5 3 20 0 15 0 474935306 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662508966880 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10844940 memory=616 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 7 13526 0 0 0 0 5 3 20 0 15 0 474935306 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662393529344 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10844940 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11105218560 78121 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10844940 memory=56 CPUtime=1.62 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) R 25152 25155 19941 0 -1 4202560 3280 13526 0 0 153 1 5 3 20 0 15 0 474935309 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662475396408 140663034521975 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10844940 memory=7018113907709470037 CPUtime=1.71 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) R 25152 25155 19941 0 -1 4202560 2745 13526 0 0 163 0 5 3 20 0 15 0 474935309 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662474345232 140663032551445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10844940 memory=7018113907709470037 CPUtime=1.17 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) S 25152 25155 19941 0 -1 1077944384 4340 13526 0 0 108 1 5 3 20 0 15 0 474935309 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662473304816 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10844940 memory=7018113907709470037 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11105218560 78121 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10844940 memory=7018113907709470037 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 5 13526 0 0 0 0 5 3 20 0 15 0 474935310 11105218560 78121 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 312484 KiB
[startup+3.70062 s]
/proc/loadavg: 1.73 1.60 1.51 3/226 25221
/proc/meminfo: memFree=8751788/32770624 swapFree=66955288/67108860
[pid=25155] ppid=25152 vsize=10844940 memory=313568 CPUtime=8.33 cores=0,2,4,6
/proc/25155/stat : 25155 (java) S 25152 25155 19941 0 -1 1077944320 39064 13526 0 0 804 21 5 3 20 0 15 0 474935294 11105218560 78392 33554432000 4194304 4196468 140737258589152 140737258571696 140663051030263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
/proc/25155/statm: 2711235 78392 3617 1 0 2673293 0
[pid=25155/tid=25208] ppid=25152 vsize=10844940 memory=0 CPUtime=3.55 cores=0,2,4,6
/proc/25155/task/25208/stat : 25208 (java) R 25152 25155 19941 0 -1 4202560 22705 13526 0 0 338 9 5 3 20 0 15 0 474935304 11105218560 78392 33554432000 4194304 4196468 140737258589152 140663022863616 140662623473637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25209] ppid=25152 vsize=10844940 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25209/stat : 25209 (java) S 25152 25155 19941 0 -1 1077944384 242 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78392 33554432000 4194304 4196468 140737258589152 140663055272720 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25210] ppid=25152 vsize=10844940 memory=279336 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25210/stat : 25210 (java) S 25152 25155 19941 0 -1 1077944384 146 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662943546256 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25211] ppid=25152 vsize=10844940 memory=7595696136340664424 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25211/stat : 25211 (java) S 25152 25155 19941 0 -1 1077944384 94 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662942493712 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25212] ppid=25152 vsize=10844940 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25155/task/25212/stat : 25212 (java) S 25152 25155 19941 0 -1 1077944384 495 13526 0 0 4 1 5 3 20 0 15 0 474935304 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662941441168 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25213] ppid=25152 vsize=10844940 memory=117 CPUtime=0.12 cores=0,2,4,6
/proc/25155/task/25213/stat : 25213 (java) S 25152 25155 19941 0 -1 1077944384 2634 13526 0 0 4 0 5 3 20 0 15 0 474935306 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662510020592 140663051041410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25214] ppid=25152 vsize=10844940 memory=125 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25214/stat : 25214 (java) S 25152 25155 19941 0 -1 1077944384 38 13526 0 0 0 0 5 3 20 0 15 0 474935306 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662508966880 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25215] ppid=25152 vsize=10844940 memory=92 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25215/stat : 25215 (java) S 25152 25155 19941 0 -1 1077944384 7 13526 0 0 0 0 5 3 20 0 15 0 474935306 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662393529344 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25216] ppid=25152 vsize=10844940 memory=216900 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25216/stat : 25216 (java) S 25152 25155 19941 0 -1 1077944384 2 13526 0 0 0 0 5 3 20 0 15 0 474935309 11105218560 78392 33554432000 4194304 4196468 140737258589152 140661789550800 140663051048859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25217] ppid=25152 vsize=10844940 memory=4137290303932963203 CPUtime=1.68 cores=0,2,4,6
/proc/25155/task/25217/stat : 25217 (java) R 25152 25155 19941 0 -1 4202560 3320 13526 0 0 159 1 5 3 20 0 15 0 474935309 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662475401232 140663035794941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25218] ppid=25152 vsize=10844940 memory=6944656591801719708 CPUtime=1.78 cores=0,2,4,6
/proc/25155/task/25218/stat : 25218 (java) R 25152 25155 19941 0 -1 4202560 2760 13526 0 0 170 0 5 3 20 0 15 0 474935309 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662474345504 140663034587568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25219] ppid=25152 vsize=10844940 memory=-7384994778349281184 CPUtime=1.22 cores=0,2,4,6
/proc/25155/task/25219/stat : 25219 (java) S 25152 25155 19941 0 -1 1077944384 4410 13526 0 0 113 1 5 3 20 0 15 0 474935309 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662473304816 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25220] ppid=25152 vsize=10844940 memory=8100121305927870313 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25220/stat : 25220 (java) S 25152 25155 19941 0 -1 1077944384 3 13526 0 0 0 0 5 3 20 0 15 0 474935309 11105218560 78392 33554432000 4194304 4196468 140737258589152 140661319789664 140663051040469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
[pid=25155/tid=25221] ppid=25152 vsize=10844940 memory=8101247189090653289 CPUtime=0.08 cores=0,2,4,6
/proc/25155/task/25221/stat : 25221 (java) S 25152 25155 19941 0 -1 1077944384 5 13526 0 0 0 0 5 3 20 0 15 0 474935310 11105218560 78392 33554432000 4194304 4196468 140737258589152 140662472251696 140663051041410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140737258596965 140737258599605 140737258599605 140737258602447 0
Current children cumulated CPU time: 8.33 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 313568 KiB
Child status: 0
Real time (s): 3.80918
CPU time (s): 8.58872
CPU user time (s): 8.33424
CPU system time (s): 0.254481
CPU usage (%): 225.474
Max. virtual memory (cumulated for all children) (KiB): 10844940
Max. memory (cumulated for all children) (KiB): 313568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.33423
system time used= 0.254481
maximum resident set size= 316732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5928
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 25155
# total CPU time (s): 8.58872
# total CPU user time (s): 8.33424
# total CPU system time (s): 0.254481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045208 second user time and 0.077083 second system time
The end