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 (12090 MiB free)
memory of node 1: 16384 MiB (14372 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302698-1532897365/watcher-4302698-1532897365 -o /tmp/evaluation-result-4302698-1532897365/solver-4302698-1532897365 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1885065386 -superng HOME/instance-4302698-1532897365.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28134, runsolver pid=28131
[startup+0.100124 s]*
/proc/loadavg: 1.37 1.69 1.82 3/206 28191
/proc/meminfo: memFree=27091992/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=10005480 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 4372 13264 0 0 1 0 5 3 20 0 6 0 107299702 10245611520 4204 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2501370 4204 1935 1 0 2489808 0
[pid=28134/tid=28187] ppid=28131 vsize=10005480 memory=4279135704013571469 CPUtime=0.09 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 2179 13264 0 0 1 0 5 3 20 0 6 0 107299711 10245611520 4204 33554432000 4194304 4196468 140723386709872 140329175323216 140329203508381 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 6 0 107299712 10245611520 4204 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=10005480 memory=140251645535872 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 6 0 107299712 10245611520 4204 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 6 0 107299712 10245611520 4204 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 6 0 107299712 10245611520 4204 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210787 s]*
/proc/loadavg: 1.37 1.69 1.82 3/215 28200
/proc/meminfo: memFree=27067904/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=10982744 memory=42284 CPUtime=0.26 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 7252 13264 0 0 17 1 5 3 20 0 15 0 107299702 11246329856 10571 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2745686 10571 2942 1 0 2708109 0
[pid=28134/tid=28187] ppid=28131 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 3811 13264 0 0 11 0 5 3 20 0 15 0 107299711 11246329856 10571 33554432000 4194304 4196468 140723386709872 140329175308360 140329183761851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=10982744 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246329856 10571 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=10982744 memory=3617997716522985120 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246329856 10571 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246329856 10571 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246329856 10571 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=10982744 memory=140251645535872 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246329856 10571 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 13 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246329856 10571 33554432000 4194304 4196468 140723386709872 140328057169184 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246329856 10571 33554432000 4194304 4196468 140723386709872 140327855842928 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246329856 10571 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) S 28131 28134 13514 0 -1 1077944384 472 13264 0 0 1 0 5 3 20 0 15 0 107299717 11246329856 10571 33554432000 4194304 4196468 140723386709872 140328627361904 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) S 28131 28134 13514 0 -1 1077944384 131 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246329856 10571 33554432000 4194304 4196468 140723386709872 140328626309104 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=10982744 memory=140251645535872 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 614 13264 0 0 3 0 5 3 20 0 15 0 107299717 11246329856 10571 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246329856 10571 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=10982744 memory=140251645535872 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246329856 10571 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42284 KiB
[startup+0.310098 s]*
/proc/loadavg: 1.37 1.69 1.82 3/215 28200
/proc/meminfo: memFree=27056492/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=10983192 memory=54940 CPUtime=0.39 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 10257 13264 0 0 29 2 5 3 20 0 15 0 107299702 11246788608 13735 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2745798 13735 3095 1 0 2708109 0
[pid=28134/tid=28187] ppid=28131 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 6837 13264 0 0 20 1 5 3 20 0 15 0 107299711 11246788608 13801 33554432000 4194304 4196468 140723386709872 140329175298464 140329183762204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 13801 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 13801 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 13801 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 13801 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246788608 13801 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 13 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246788608 13801 33554432000 4194304 4196468 140723386709872 140328057169184 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246788608 13801 33554432000 4194304 4196468 140723386709872 140327855842928 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246788608 13801 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) S 28131 28134 13514 0 -1 1077944384 473 13264 0 0 1 0 5 3 20 0 15 0 107299717 11246788608 13801 33554432000 4194304 4196468 140723386709872 140328627361904 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) S 28131 28134 13514 0 -1 1077944384 134 13264 0 0 1 0 5 3 20 0 15 0 107299717 11246788608 13867 33554432000 4194304 4196468 140723386709872 140328626309104 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=10983192 memory=140251645535872 CPUtime=0.13 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 620 13264 0 0 5 0 5 3 20 0 15 0 107299717 11246788608 13867 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246788608 13867 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=10983192 memory=140251645535872 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246788608 13867 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54940 KiB
[startup+0.700733 s]
/proc/loadavg: 1.37 1.69 1.82 3/215 28200
/proc/meminfo: memFree=27046072/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=10983192 memory=88364 CPUtime=0.99 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 16734 13264 0 0 88 3 5 3 20 0 15 0 107299702 11246788608 22091 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2745798 22091 3238 1 0 2708109 0
[pid=28134/tid=28187] ppid=28131 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 12149 13264 0 0 57 2 5 3 20 0 15 0 107299711 11246788608 22091 33554432000 4194304 4196468 140723386709872 140329175300192 140329187566942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 22091 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 22091 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 22091 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 107299712 11246788608 22091 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 5 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246788608 22091 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=10983192 memory=140251486106288 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 13 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246788608 22091 33554432000 4194304 4196468 140723386709872 140328057169184 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=10983192 memory=140252157051472 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11246788608 22091 33554432000 4194304 4196468 140723386709872 140327855842928 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=10983192 memory=1020 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246788608 22091 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=10983192 memory=7089042195949315648 CPUtime=0.16 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) S 28131 28134 13514 0 -1 1077944384 852 13264 0 0 8 0 5 3 20 0 15 0 107299717 11246788608 22091 33554432000 4194304 4196468 140723386709872 140328627361904 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=10983192 memory=7881696724453321575 CPUtime=0.17 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) S 28131 28134 13514 0 -1 1077944384 819 13264 0 0 9 0 5 3 20 0 15 0 107299717 11246788608 22091 33554432000 4194304 4196468 140723386709872 140328626309104 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 688 13264 0 0 13 0 5 3 20 0 15 0 107299717 11246788608 22091 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246788608 22091 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299717 11246788608 22091 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88364 KiB
[startup+1.50079 s]
/proc/loadavg: 1.37 1.69 1.82 3/215 28200
/proc/meminfo: memFree=27002360/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=10998092 memory=178092 CPUtime=2.25 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 24139 13264 0 0 208 9 5 3 20 0 15 0 107299702 11262046208 44523 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2749523 44523 3471 1 0 2711181 0
[pid=28134/tid=28187] ppid=28131 vsize=10998092 memory=10757 CPUtime=1.43 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 17930 13264 0 0 131 4 5 3 20 0 15 0 107299711 11262046208 44523 33554432000 4194304 4196468 140723386709872 140329175317920 140329203508381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 28 13264 0 0 0 0 5 3 20 0 15 0 107299712 11262046208 44523 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=10998092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 22 13264 0 0 0 0 5 3 20 0 15 0 107299712 11262046208 44523 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=10998092 memory=2876 CPUtime=0.09 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 242 13264 0 0 1 0 5 3 20 0 15 0 107299712 11262046208 44523 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=10998092 memory=88364 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 75 13264 0 0 0 0 5 3 20 0 15 0 107299712 11262046208 44523 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 47 13264 0 0 1 0 5 3 20 0 15 0 107299714 11262046208 44523 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 14 13264 0 0 0 0 5 3 20 0 15 0 107299714 11262046208 44523 33554432000 4194304 4196468 140723386709872 140328057169248 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11262046208 44523 33554432000 4194304 4196468 140723386709872 140327855842944 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11262046208 44523 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=10998092 memory=4638778398332698720 CPUtime=0.29 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) S 28131 28134 13514 0 -1 1077944384 1405 13264 0 0 21 0 5 3 20 0 15 0 107299717 11262046208 44523 33554432000 4194304 4196468 140723386709872 140328627361904 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=10998092 memory=280502972488576 CPUtime=0.28 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) S 28131 28134 13514 0 -1 1077944384 978 13264 0 0 20 0 5 3 20 0 15 0 107299717 11262046208 44523 33554432000 4194304 4196468 140723386709872 140328626309104 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=10998092 memory=6944656592452807323 CPUtime=0.38 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 1195 13264 0 0 30 0 5 3 20 0 15 0 107299717 11262046208 44523 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11262046208 44523 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299717 11262046208 44523 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+3.11047 s]
/proc/loadavg: 1.50 1.71 1.83 4/215 28200
/proc/meminfo: memFree=26868792/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=11010400 memory=270188 CPUtime=5.85 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 40627 13264 0 0 563 14 5 3 20 0 15 0 107299702 11274649600 67547 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2752600 67547 3495 1 0 2714253 0
[pid=28134/tid=28187] ppid=28131 vsize=11010400 memory=8 CPUtime=2.99 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 28422 13264 0 0 284 7 5 3 20 0 15 0 107299711 11274649600 67547 33554432000 4194304 4196468 140723386709872 140329175301912 140329185050030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=11010400 memory=194040 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 50 13264 0 0 3 0 5 3 20 0 15 0 107299712 11274649600 67547 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=11010400 memory=10757 CPUtime=0.1 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 29 13264 0 0 2 0 5 3 20 0 15 0 107299712 11274649600 67547 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 263 13264 0 0 3 0 5 3 20 0 15 0 107299712 11274649600 67547 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=11010400 memory=261069587143691 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 82 13264 0 0 3 0 5 3 20 0 15 0 107299712 11274649600 67547 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=11010400 memory=261069587143692 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 277 13264 0 0 3 0 5 3 20 0 15 0 107299714 11274649600 67547 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=11010400 memory=261069587143693 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 14 13264 0 0 0 0 5 3 20 0 15 0 107299714 11274649600 67547 33554432000 4194304 4196468 140723386709872 140328057169248 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=11010400 memory=261069587143694 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11274649600 67547 33554432000 4194304 4196468 140723386709872 140327855842944 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=11010400 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11274649600 67547 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=11010400 memory=6395206304943 CPUtime=0.87 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) R 28131 28134 13514 0 -1 4202560 3625 13264 0 0 78 1 5 3 20 0 15 0 107299717 11274649600 67547 33554432000 4194304 4196468 140723386709872 140328627342920 140329181081232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=11010400 memory=288230617509003574 CPUtime=0.93 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) S 28131 28134 13514 0 -1 1077944384 2702 13264 0 0 85 0 5 3 20 0 15 0 107299717 11274649600 67547 33554432000 4194304 4196468 140723386709872 140328626309104 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=11010400 memory=13847486485760432 CPUtime=1.07 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 2960 13264 0 0 98 1 5 3 20 0 15 0 107299717 11274649600 67547 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11274649600 67547 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299717 11274649600 67547 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 270188 KiB
[startup+3.74248 s]
# the end of solver process 28134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.54598 s, system=0.211943 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2009 s]
/proc/loadavg: 1.50 1.71 1.83 4/215 28200
/proc/meminfo: memFree=26868792/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=11075936 memory=293212 CPUtime=6.03 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 48981 13264 0 0 580 15 5 3 20 0 15 0 107299702 11341758464 73303 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2768984 73303 3495 1 0 2730637 0
[pid=28134/tid=28187] ppid=28131 vsize=11075936 memory=30468 CPUtime=3.08 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 35831 13264 0 0 292 8 5 3 20 0 15 0 107299711 11341758464 73303 33554432000 4194304 4196468 140723386709872 140329175318488 140328745119378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=11075936 memory=2204 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 50 13264 0 0 3 0 5 3 20 0 15 0 107299712 11341758464 73303 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=11075936 memory=129 CPUtime=0.1 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 29 13264 0 0 2 0 5 3 20 0 15 0 107299712 11341758464 73303 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=11075936 memory=10763 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 263 13264 0 0 3 0 5 3 20 0 15 0 107299712 11341758464 73303 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=11075936 memory=25147 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 82 13264 0 0 3 0 5 3 20 0 15 0 107299712 11341758464 73303 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=11075936 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 277 13264 0 0 3 0 5 3 20 0 15 0 107299714 11341758464 73303 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=11075936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 14 13264 0 0 0 0 5 3 20 0 15 0 107299714 11341758464 73303 33554432000 4194304 4196468 140723386709872 140328057169248 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=11075936 memory=4108 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11341758464 73303 33554432000 4194304 4196468 140723386709872 140327855842944 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=11075936 memory=2704 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11341758464 73303 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=11075936 memory=2596 CPUtime=0.96 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) R 28131 28134 13514 0 -1 4202560 4521 13264 0 0 87 1 5 3 20 0 15 0 107299717 11341758464 73303 33554432000 4194304 4196468 140723386709872 140328627348088 140329182820041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=11075936 memory=280502972456000 CPUtime=0.93 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) S 28131 28134 13514 0 -1 1077944384 2706 13264 0 0 85 0 5 3 20 0 15 0 107299717 11341758464 73303 33554432000 4194304 4196468 140723386709872 140328626309104 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=11075936 memory=3472425710586442340 CPUtime=1.07 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 3110 13264 0 0 98 1 5 3 20 0 15 0 107299717 11341758464 73303 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=11075936 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11341758464 73303 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=11075936 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299717 11341758464 73303 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 293212 KiB
[startup+3.60075 s]
/proc/loadavg: 1.50 1.71 1.83 4/215 28200
/proc/meminfo: memFree=26868792/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=11080836 memory=302144 CPUtime=7.37 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 59936 13264 0 0 713 16 5 3 20 0 15 0 107299702 11346776064 75536 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2770209 75536 3502 1 0 2731862 0
[pid=28134/tid=28187] ppid=28131 vsize=11080836 memory=6083073847998109799 CPUtime=3.47 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 39796 13264 0 0 331 8 5 3 20 0 15 0 107299711 11346776064 75536 33554432000 4194304 4196468 140723386709872 140329175316416 140329203498390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=11080836 memory=5937837153581424979 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 50 13264 0 0 3 0 5 3 20 0 15 0 107299712 11346776064 75536 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=11080836 memory=4639928419179188324 CPUtime=0.1 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 29 13264 0 0 2 0 5 3 20 0 15 0 107299712 11346776064 75536 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=11080836 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 263 13264 0 0 3 0 5 3 20 0 15 0 107299712 11346776064 75536 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=11080836 memory=242176026008640 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 82 13264 0 0 3 0 5 3 20 0 15 0 107299712 11346776064 75536 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=11080836 memory=280502971948032 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 843 13264 0 0 3 0 5 3 20 0 15 0 107299714 11346776064 75536 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=11080836 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 14 13264 0 0 0 0 5 3 20 0 15 0 107299714 11346776064 75536 33554432000 4194304 4196468 140723386709872 140328057169248 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=11080836 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11346776064 75536 33554432000 4194304 4196468 140723386709872 140327855842944 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=11080836 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11346776064 75536 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=11080836 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) R 28131 28134 13514 0 -1 4202560 8522 13264 0 0 127 1 5 3 20 0 15 0 107299717 11346776064 75536 33554432000 4194304 4196468 140723386709872 140328627348064 140329186873253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=11080836 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) R 28131 28134 13514 0 -1 4202560 3472 13264 0 0 118 0 5 3 20 0 15 0 107299717 11346776064 75536 33554432000 4194304 4196468 140723386709872 140328626290512 140329186897430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=11080836 memory=-1807685287717842718 CPUtime=1.27 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 4658 13264 0 0 118 1 5 3 20 0 15 0 107299717 11346776064 75536 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=11080836 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11346776064 75536 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=11080836 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 5 13264 0 0 0 0 5 3 20 0 15 0 107299717 11346776064 75536 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 11080836 KiB
Current children cumulated memory: 302144 KiB
[startup+3.70079 s]
/proc/loadavg: 1.50 1.71 1.83 4/215 28200
/proc/meminfo: memFree=26868792/32770624 swapFree=67108860/67108860
[pid=28134] ppid=28131 vsize=11080840 memory=302600 CPUtime=7.69 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 13514 0 -1 1077944320 60980 13264 0 0 745 16 5 3 20 0 15 0 107299702 11346780160 75650 33554432000 4194304 4196468 140723386709872 140723386692416 140329203486455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
/proc/28134/statm: 2770210 75650 3502 1 0 2731863 0
[pid=28134/tid=28187] ppid=28131 vsize=11080840 memory=280502971924720 CPUtime=3.57 cores=0,2,4,6
/proc/28134/task/28187/stat : 28187 (java) R 28131 28134 13514 0 -1 4202560 39857 13264 0 0 341 8 5 3 20 0 15 0 107299711 11346780160 75650 33554432000 4194304 4196468 140723386709872 140329175320608 140328755700893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28188] ppid=28131 vsize=11080840 memory=296460 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28188/stat : 28188 (java) S 28131 28134 13514 0 -1 1077944384 50 13264 0 0 3 0 5 3 20 0 15 0 107299712 11346780160 75650 33554432000 4194304 4196468 140723386709872 140329207728528 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28189] ppid=28131 vsize=11080840 memory=8 CPUtime=0.1 cores=0,2,4,6
/proc/28134/task/28189/stat : 28189 (java) S 28131 28134 13514 0 -1 1077944384 29 13264 0 0 2 0 5 3 20 0 15 0 107299712 11346780160 75650 33554432000 4194304 4196468 140723386709872 140329073064208 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28190] ppid=28131 vsize=11080840 memory=194040 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28190/stat : 28190 (java) S 28131 28134 13514 0 -1 1077944384 263 13264 0 0 3 0 5 3 20 0 15 0 107299712 11346780160 75650 33554432000 4194304 4196468 140723386709872 140329072011920 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28191] ppid=28131 vsize=11080840 memory=10757 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28191/stat : 28191 (java) S 28131 28134 13514 0 -1 1077944384 82 13264 0 0 3 0 5 3 20 0 15 0 107299712 11346780160 75650 33554432000 4194304 4196468 140723386709872 140329070959120 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28192] ppid=28131 vsize=11080840 memory=91 CPUtime=0.11 cores=0,2,4,6
/proc/28134/task/28192/stat : 28192 (java) S 28131 28134 13514 0 -1 1077944384 843 13264 0 0 3 0 5 3 20 0 15 0 107299714 11346780160 75650 33554432000 4194304 4196468 140723386709872 140328628415088 140329203497602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28193] ppid=28131 vsize=11080840 memory=105 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28193/stat : 28193 (java) S 28131 28134 13514 0 -1 1077944384 14 13264 0 0 0 0 5 3 20 0 15 0 107299714 11346780160 75650 33554432000 4194304 4196468 140723386709872 140328057169248 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28194] ppid=28131 vsize=11080840 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28194/stat : 28194 (java) S 28131 28134 13514 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 107299714 11346780160 75650 33554432000 4194304 4196468 140723386709872 140327855842944 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28195] ppid=28131 vsize=11080840 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28195/stat : 28195 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11346780160 75650 33554432000 4194304 4196468 140723386709872 140327548443216 140329203505051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28196] ppid=28131 vsize=11080840 memory=6791534058613427641 CPUtime=1.46 cores=0,2,4,6
/proc/28134/task/28196/stat : 28196 (java) R 28131 28134 13514 0 -1 4202560 9240 13264 0 0 137 1 5 3 20 0 15 0 107299717 11346780160 75650 33554432000 4194304 4196468 140723386709872 140328627348064 140329185007626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28197] ppid=28131 vsize=11080840 memory=3360 CPUtime=1.36 cores=0,2,4,6
/proc/28134/task/28197/stat : 28197 (java) R 28131 28134 13514 0 -1 4202560 3564 13264 0 0 128 0 5 3 20 0 15 0 107299717 11346780160 75650 33554432000 4194304 4196468 140723386709872 140328626305472 140329184131359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28198] ppid=28131 vsize=11080840 memory=2724 CPUtime=1.29 cores=0,2,4,6
/proc/28134/task/28198/stat : 28198 (java) S 28131 28134 13514 0 -1 1077944384 4831 13264 0 0 120 1 5 3 20 0 15 0 107299717 11346780160 75650 33554432000 4194304 4196468 140723386709872 140328625256816 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28199] ppid=28131 vsize=11080840 memory=1256 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28199/stat : 28199 (java) S 28131 28134 13514 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 107299717 11346780160 75650 33554432000 4194304 4196468 140723386709872 140327117646304 140329203496661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
[pid=28134/tid=28200] ppid=28131 vsize=11080840 memory=10368 CPUtime=0.08 cores=0,2,4,6
/proc/28134/task/28200/stat : 28200 (java) S 28131 28134 13514 0 -1 1077944384 5 13264 0 0 0 0 5 3 20 0 15 0 107299717 11346780160 75650 33554432000 4194304 4196468 140723386709872 140328624204720 140329203497602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140723386714728 140723386717537 140723386717537 140723386720207 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 11080840 KiB
Current children cumulated memory: 302600 KiB
Child status: 0
Real time (s): 3.74253
CPU time (s): 7.75792
CPU user time (s): 7.54598
CPU system time (s): 0.211943
CPU usage (%): 207.291
Max. virtual memory (cumulated for all children) (KiB): 11080840
Max. memory (cumulated for all children) (KiB): 302600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.54598
system time used= 0.211943
maximum resident set size= 304744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74426
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= 5711
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 28134
# total CPU time (s): 7.75792
# total CPU user time (s): 7.54598
# total CPU system time (s): 0.211943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050069 second user time and 0.069336 second system time
The end