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 (7801 MiB free)
memory of node 1: 16384 MiB (9492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304817-1534153671/watcher-4304817-1534153671 -o /tmp/evaluation-result-4304817-1534153671/solver-4304817-1534153671 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534138766-20508 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=945399527 HOME/instance-4304817-1534153671.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23500, runsolver pid=23497
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 1.45 1.42 1.45 3/206 23557
/proc/meminfo: memFree=17699696/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=10006508 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 4300 12894 0 0 1 0 5 2 20 0 6 0 232930263 10246664192 4648 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2502945 4648 1934 1 0 2491383 0
[pid=23500/tid=23553] ppid=23497 vsize=10088124 memory=5855087011737010333 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 2159 12894 0 0 1 0 5 2 20 0 7 0 232930272 10330238976 4714 33554432000 4194304 4196468 140727790412368 140287036742416 140287050582550 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=10088124 memory=5793855751188203961 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 7 0 232930273 10330238976 4714 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=10088124 memory=140500178310784 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 7 0 232930273 10330238976 4780 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 7 0 232930273 10330238976 4780 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 2 12894 0 0 0 0 5 2 20 0 7 0 232930273 10330238976 4780 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 2 12894 0 0 0 0 5 2 20 0 7 0 232930274 10330238976 4780 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10006508 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210901 s]*
/proc/loadavg: 1.45 1.42 1.45 3/215 23566
/proc/meminfo: memFree=17678332/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=10982744 memory=46272 CPUtime=0.25 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 7765 12894 0 0 16 2 5 2 20 0 15 0 232930263 11246329856 11568 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2745686 11568 2958 1 0 2708109 0
[pid=23500/tid=23553] ppid=23497 vsize=10982744 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 4352 12894 0 0 11 1 5 2 20 0 15 0 232930272 11246329856 11568 33554432000 4194304 4196468 140727790412368 140287036716432 140287064911254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=10982744 memory=4211974226383101322 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246329856 11568 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=10982744 memory=140500178310784 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 2 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=10982744 memory=140500178310784 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 2 12894 0 0 0 0 5 2 20 0 15 0 232930274 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 13 12894 0 0 0 0 5 2 20 0 15 0 232930275 11246329856 11568 33554432000 4194304 4196468 140727790412368 140285859325472 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11246329856 11568 33554432000 4194304 4196468 140727790412368 140285711476080 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246329856 11568 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 418 12894 0 0 1 0 5 2 20 0 15 0 232930278 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 184 12894 0 0 1 0 5 2 20 0 15 0 232930278 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=10982744 memory=140500178310784 CPUtime=0.1 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 616 12894 0 0 3 0 5 2 20 0 15 0 232930278 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246329856 11568 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=10982744 memory=140500178310784 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246329856 11568 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46272 KiB
[startup+0.310886 s]*
/proc/loadavg: 1.45 1.42 1.45 3/215 23566
/proc/meminfo: memFree=17667124/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=10983192 memory=56980 CPUtime=0.38 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 10287 12894 0 0 28 3 5 2 20 0 15 0 232930263 11246788608 14245 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2745798 14245 3077 1 0 2708109 0
[pid=23500/tid=23553] ppid=23497 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 6846 12894 0 0 19 2 5 2 20 0 15 0 232930272 11246788608 14245 33554432000 4194304 4196468 140727790412368 140287036711656 140287048979806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 14245 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 2 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 2 12894 0 0 0 0 5 2 20 0 15 0 232930274 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=10983192 memory=140500178310783 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 13 12894 0 0 0 0 5 2 20 0 15 0 232930275 11246788608 14245 33554432000 4194304 4196468 140727790412368 140285859325472 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11246788608 14245 33554432000 4194304 4196468 140727790412368 140285711476080 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246788608 14245 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 421 12894 0 0 1 0 5 2 20 0 15 0 232930278 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 185 12894 0 0 1 0 5 2 20 0 15 0 232930278 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=10983192 memory=140500178310784 CPUtime=0.11 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 622 12894 0 0 4 0 5 2 20 0 15 0 232930278 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246788608 14245 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=10983192 memory=140500178310784 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246788608 14245 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56980 KiB
[startup+0.700772 s]
/proc/loadavg: 1.45 1.42 1.45 3/215 23566
/proc/meminfo: memFree=17656096/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=10983192 memory=89264 CPUtime=0.98 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 16391 12894 0 0 87 4 5 2 20 0 15 0 232930263 11246788608 22316 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2745798 22316 3241 1 0 2708109 0
[pid=23500/tid=23553] ppid=23497 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 11901 12894 0 0 56 3 5 2 20 0 15 0 232930272 11246788608 22316 33554432000 4194304 4196468 140727790412368 140287036720144 140287050064991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=10983192 memory=3688650404570340400 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 22316 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 2 12894 0 0 0 0 5 2 20 0 15 0 232930273 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=10983192 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 5 12894 0 0 0 0 5 2 20 0 15 0 232930274 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 13 12894 0 0 0 0 5 2 20 0 15 0 232930275 11246788608 22316 33554432000 4194304 4196468 140727790412368 140285859325472 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=10983192 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11246788608 22316 33554432000 4194304 4196468 140727790412368 140285711476080 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=10983192 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246788608 22316 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=10983192 memory=22756 CPUtime=0.13 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 809 12894 0 0 6 0 5 2 20 0 15 0 232930278 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 779 12894 0 0 10 0 5 2 20 0 15 0 232930278 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=10983192 memory=2404 CPUtime=0.2 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 678 12894 0 0 13 0 5 2 20 0 15 0 232930278 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246788608 22316 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930278 11246788608 22316 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89264 KiB
[startup+1.50076 s]
/proc/loadavg: 1.45 1.42 1.45 3/215 23566
/proc/meminfo: memFree=17610272/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=10998092 memory=179688 CPUtime=2.29 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 23444 12894 0 0 213 9 5 2 20 0 15 0 232930263 11262046208 44922 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2749523 44922 3468 1 0 2711181 0
[pid=23500/tid=23553] ppid=23497 vsize=10998092 memory=7 CPUtime=1.43 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 17313 12894 0 0 130 6 5 2 20 0 15 0 232930272 11262046208 44922 33554432000 4194304 4196468 140727790412368 140287036716944 140287046462875 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 24 12894 0 0 1 0 5 2 20 0 15 0 232930273 11262046208 44922 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 57 12894 0 0 1 0 5 2 20 0 15 0 232930273 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 191 12894 0 0 1 0 5 2 20 0 15 0 232930273 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=10998092 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 31 12894 0 0 1 0 5 2 20 0 15 0 232930273 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 57 12894 0 0 1 0 5 2 20 0 15 0 232930274 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 14 12894 0 0 0 0 5 2 20 0 15 0 232930275 11262046208 44922 33554432000 4194304 4196468 140727790412368 140285859325536 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11262046208 44922 33554432000 4194304 4196468 140727790412368 140285711476096 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11262046208 44922 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=10998092 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 966 12894 0 0 16 0 5 2 20 0 15 0 232930278 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=10998092 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 1237 12894 0 0 24 0 5 2 20 0 15 0 232930278 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=10998092 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 1353 12894 0 0 34 0 5 2 20 0 15 0 232930278 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11262046208 44922 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=10998092 memory=4 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930278 11262046208 44922 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
################
# More data... #
################
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 94333 12894 0 0 235384 54 5 2 20 0 15 0 232930272 11345952768 238298 33554432000 4194304 4196468 140727790412368 140287036734480 140286615297967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=11080032 memory=950948 CPUtime=12.19 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 22212 12894 0 0 1156 56 5 2 20 0 15 0 232930273 11345952768 238298 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=11080032 memory=951116 CPUtime=12.18 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 19899 12894 0 0 1151 60 5 2 20 0 15 0 232930273 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=11080032 memory=951116 CPUtime=12.18 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 14823 12894 0 0 1147 64 5 2 20 0 15 0 232930273 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=11080032 memory=953192 CPUtime=12.2 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 14666 12894 0 0 1155 58 5 2 20 0 15 0 232930273 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=11080032 memory=953192 CPUtime=11.38 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 16886 12894 0 0 1074 57 5 2 20 0 15 0 232930274 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=11080032 memory=953192 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 15 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238298 33554432000 4194304 4196468 140727790412368 140285859325600 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=11080032 memory=953192 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238298 33554432000 4194304 4196468 140727790412368 140285711476096 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=11080032 memory=953192 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238298 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=11080032 memory=953192 CPUtime=5.7 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 18574 12894 0 0 558 5 5 2 20 0 15 0 232930278 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=11080032 memory=4028 CPUtime=6.12 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 27892 12894 0 0 600 5 5 2 20 0 15 0 232930278 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=11080032 memory=2257 CPUtime=2.96 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 20211 12894 0 0 284 5 5 2 20 0 15 0 232930278 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=11080032 memory=953192 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238298 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=11080032 memory=951144 CPUtime=1.46 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1042 12894 0 0 61 78 5 2 20 0 15 0 232930278 11345952768 238298 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 2430.32 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 953192 KiB
[startup+2442.3 s]
/proc/loadavg: 0.74 1.19 1.30 2/194 23715
/proc/meminfo: memFree=17665128/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=11080032 memory=953216 CPUtime=2491.25 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 254333 12894 0 0 248734 384 5 2 20 0 15 0 232930263 11345952768 238304 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2770008 238304 3525 1 0 2731661 0
[pid=23500/tid=23553] ppid=23497 vsize=11080032 memory=953192 CPUtime=2413.74 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 95104 12894 0 0 241312 55 5 2 20 0 15 0 232930272 11345952768 238304 33554432000 4194304 4196468 140727790412368 140287036733920 140286605064632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.52 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 22581 12894 0 0 1187 58 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.52 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 19993 12894 0 0 1183 62 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.52 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 14860 12894 0 0 1178 67 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.52 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 14744 12894 0 0 1185 60 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=11080032 memory=953216 CPUtime=11.67 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 17093 12894 0 0 1102 58 5 2 20 0 15 0 232930274 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 15 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285859325600 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285711476096 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=11080032 memory=953216 CPUtime=5.7 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 18576 12894 0 0 558 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=11080032 memory=953216 CPUtime=6.12 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 27894 12894 0 0 600 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=11080032 memory=953216 CPUtime=2.96 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 20214 12894 0 0 284 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=11080032 memory=953216 CPUtime=1.49 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1059 12894 0 0 62 80 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 2491.25 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 953216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.7 s]
/proc/loadavg: 0.65 1.13 1.28 2/194 23715
/proc/meminfo: memFree=17665500/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=11080032 memory=953216 CPUtime=2520.05 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 255083 12894 0 0 251610 388 5 2 20 0 15 0 232930263 11345952768 238304 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2770008 238304 3525 1 0 2731661 0
[pid=23500/tid=23553] ppid=23497 vsize=11080032 memory=56 CPUtime=2441.82 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 95476 12894 0 0 244120 55 5 2 20 0 15 0 232930272 11345952768 238304 33554432000 4194304 4196468 140727790412368 140287036733824 140286601790598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=11080032 memory=4168 CPUtime=12.67 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 22608 12894 0 0 1201 59 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.66 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 20003 12894 0 0 1197 62 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.66 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 14959 12894 0 0 1192 67 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.66 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 14779 12894 0 0 1199 60 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=11080032 memory=953216 CPUtime=11.8 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 17279 12894 0 0 1114 59 5 2 20 0 15 0 232930274 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 15 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285859325600 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285711476096 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=11080032 memory=953216 CPUtime=5.7 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 18578 12894 0 0 558 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=11080032 memory=953216 CPUtime=6.12 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 27896 12894 0 0 600 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=11080032 memory=953216 CPUtime=2.96 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 20216 12894 0 0 284 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=11080032 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=11080032 memory=953216 CPUtime=1.51 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1074 12894 0 0 63 81 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 953216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.73 s]
# the end of solver process 23500 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.18 s, system=3.92877 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.7 s]
/proc/loadavg: 0.65 1.13 1.28 2/194 23715
/proc/meminfo: memFree=17665500/32770624 swapFree=67108196/67108860
[pid=23500] ppid=23497 vsize=11080032 memory=953216 CPUtime=2520.05 cores=1,3,5,7
/proc/23500/stat : 23500 (java) S 23497 23500 19646 0 -1 1077944320 255083 12894 0 0 251610 388 5 2 20 0 15 0 232930263 11345952768 238304 33554432000 4194304 4196468 140727790412368 140727790394912 140287064899319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
/proc/23500/statm: 2770008 238304 3525 1 0 2731661 0
[pid=23500/tid=23553] ppid=23497 vsize=11080032 memory=56 CPUtime=2441.82 cores=1,3,5,7
/proc/23500/task/23553/stat : 23553 (java) R 23497 23500 19646 0 -1 4202560 95476 12894 0 0 244120 55 5 2 20 0 15 0 232930272 11345952768 238304 33554432000 4194304 4196468 140727790412368 140287036733824 140286601790598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23554] ppid=23497 vsize=11080032 memory=4168 CPUtime=12.67 cores=1,3,5,7
/proc/23500/task/23554/stat : 23554 (java) S 23497 23500 19646 0 -1 1077944384 22608 12894 0 0 1201 59 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140287069141648 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23555] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.66 cores=1,3,5,7
/proc/23500/task/23555/stat : 23555 (java) S 23497 23500 19646 0 -1 1077944384 20003 12894 0 0 1197 62 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286923860496 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23556] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.66 cores=1,3,5,7
/proc/23500/task/23556/stat : 23556 (java) S 23497 23500 19646 0 -1 1077944384 14959 12894 0 0 1192 67 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286922807696 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23557] ppid=23497 vsize=11080032 memory=953216 CPUtime=12.66 cores=1,3,5,7
/proc/23500/task/23557/stat : 23557 (java) S 23497 23500 19646 0 -1 1077944384 14779 12894 0 0 1199 60 5 2 20 0 15 0 232930273 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286921754896 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23558] ppid=23497 vsize=11080032 memory=953216 CPUtime=11.8 cores=1,3,5,7
/proc/23500/task/23558/stat : 23558 (java) S 23497 23500 19646 0 -1 1077944384 17279 12894 0 0 1114 59 5 2 20 0 15 0 232930274 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286490667888 140287064910466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23559] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23559/stat : 23559 (java) S 23497 23500 19646 0 -1 1077944384 15 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285859325600 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23560] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23560/stat : 23560 (java) S 23497 23500 19646 0 -1 1077944384 1 12894 0 0 0 0 5 2 20 0 15 0 232930275 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285711476096 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23561] ppid=23497 vsize=11080032 memory=953216 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140285404076368 140287064917915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23562] ppid=23497 vsize=11080032 memory=953216 CPUtime=5.7 cores=1,3,5,7
/proc/23500/task/23562/stat : 23562 (java) S 23497 23500 19646 0 -1 1077944384 18578 12894 0 0 558 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286489614704 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23563] ppid=23497 vsize=11080032 memory=953216 CPUtime=6.12 cores=1,3,5,7
/proc/23500/task/23563/stat : 23563 (java) S 23497 23500 19646 0 -1 1077944384 27896 12894 0 0 600 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286488561904 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23564] ppid=23497 vsize=11080032 memory=953216 CPUtime=2.96 cores=1,3,5,7
/proc/23500/task/23564/stat : 23564 (java) S 23497 23500 19646 0 -1 1077944384 20216 12894 0 0 284 5 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286487509104 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23565] ppid=23497 vsize=11080032 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/23500/task/23565/stat : 23565 (java) S 23497 23500 19646 0 -1 1077944384 3 12894 0 0 0 0 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140284973279456 140287064909525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
[pid=23500/tid=23566] ppid=23497 vsize=11080032 memory=953216 CPUtime=1.51 cores=1,3,5,7
/proc/23500/task/23566/stat : 23566 (java) S 23497 23500 19646 0 -1 1077944384 1074 12894 0 0 63 81 5 2 20 0 15 0 232930278 11345952768 238304 33554432000 4194304 4196468 140727790412368 140286486457520 140287064910466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140727790418541 140727790421340 140727790421340 140727790424015 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 953216 KiB
Child status: 143
Real time (s): 2470.73
CPU time (s): 2520.11
CPU user time (s): 2516.18
CPU system time (s): 3.92877
CPU usage (%): 101.998
Max. virtual memory (cumulated for all children) (KiB): 11082888
Max. memory (cumulated for all children) (KiB): 953216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.18
system time used= 3.92876
maximum resident set size= 955592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309539
involuntary context switches= 7254
# summary of solver processes directly reported to runsolver:
# pid: 23500
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.18
# total CPU system time (s): 3.92877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2721 second user time and 23.9599 second system time
The end