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 (12750 MiB free)
memory of node 1: 16384 MiB (13976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299487-1532802322/watcher-4299487-1532802322 -o /tmp/evaluation-result-4299487-1532802322/solver-4299487-1532802322 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532774102-26075 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299487-1532802322.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=29663, runsolver pid=29660
Current StackSize limit: 8192 KiB
[startup+0.101107 s]*
/proc/loadavg: 1.67 1.53 1.55 4/215 29678
/proc/meminfo: memFree=27351644/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10658972 memory=27224 CPUtime=0.12 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 5237 0 0 0 11 1 0 0 20 0 15 0 97795344 10914787328 6806 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664743 6806 2857 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10658972 memory=-8269626465541329793 CPUtime=0.09 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 3101 0 0 0 9 0 0 0 20 0 15 0 97795345 10914787328 6806 33554432000 4194304 4196468 140731438051264 139991908497192 139991523149062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 6806 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10658972 memory=139951424247424 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 6806 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 6806 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 6806 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10658972 memory=139951424247424 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795347 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) S 29660 29663 26043 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990934472816 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10658972 memory=139951424247424 CPUtime=0.01 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) R 29660 29663 26043 0 -1 4202560 328 0 0 0 1 0 0 0 20 0 15 0 97795350 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990933420272 139991883203428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10658972 memory=139951424247424 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 6806 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27224 KiB
[startup+0.21048 s]*
/proc/loadavg: 1.67 1.53 1.55 3/215 29678
/proc/meminfo: memFree=27338992/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10658972 memory=40148 CPUtime=0.33 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 8090 0 0 0 31 2 0 0 20 0 15 0 97795344 10914787328 10037 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664743 10037 2976 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 5133 0 0 0 19 0 0 0 20 0 15 0 97795345 10914787328 10037 33554432000 4194304 4196468 140731438051264 139991908486640 139991904285853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10658972 memory=345 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 10037 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10658972 memory=288370327575959168 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 10037 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 10037 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914787328 10037 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10658972 memory=139951424247424 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795347 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10658972 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 562 0 0 0 1 0 0 0 20 0 15 0 97795350 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) S 29660 29663 26043 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 97795350 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990934472816 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10658972 memory=139951424247424 CPUtime=0.07 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) S 29660 29663 26043 0 -1 1077944384 754 0 0 0 7 0 0 0 20 0 15 0 97795350 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990933420272 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10658972 memory=139951424247424 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97795350 10914787328 10037 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40148 KiB
[startup+0.310219 s]*
/proc/loadavg: 1.67 1.53 1.55 4/215 29678
/proc/meminfo: memFree=27334232/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10659048 memory=46780 CPUtime=0.54 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 8815 0 0 0 52 2 0 0 20 0 15 0 97795344 10914865152 11695 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664762 11695 3014 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10659048 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 5515 0 0 0 29 0 0 0 20 0 15 0 97795345 10914865152 11695 33554432000 4194304 4196468 140731438051264 139991908500064 139991904285274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10659048 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 11695 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10659048 memory=288370327575959168 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 11695 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 11695 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 11695 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10659048 memory=139951424247424 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10659048 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 683 0 0 0 5 0 0 0 20 0 15 0 97795350 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10659048 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) S 29660 29663 26043 0 -1 1077944384 328 0 0 0 4 0 0 0 20 0 15 0 97795350 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990934472816 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10659048 memory=139951424247424 CPUtime=0.14 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) R 29660 29663 26043 0 -1 4202560 917 0 0 0 14 0 0 0 20 0 15 0 97795350 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990933416000 139991888344414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10659048 memory=139951424247424 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 11695 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 46780 KiB
[startup+0.700847 s]
/proc/loadavg: 1.67 1.53 1.55 6/215 29678
/proc/meminfo: memFree=27243764/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10659048 memory=186380 CPUtime=1.7 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 13521 0 0 0 165 5 0 0 20 0 15 0 97795344 10914865152 46595 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664762 46595 3091 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10659048 memory=1784 CPUtime=0.67 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 5603 0 0 0 65 2 0 0 20 0 15 0 97795345 10914865152 46595 33554432000 4194304 4196468 140731438051264 139991908500912 139991525586922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10659048 memory=5752 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 46595 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10659048 memory=4588 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 46595 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10659048 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 46595 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10659048 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 46595 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10659048 memory=1852 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 46595 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10659048 memory=872 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 46595 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10659048 memory=8068 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914865152 46595 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10659048 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 46595 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10659048 memory=7881696724453321575 CPUtime=0.41 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 3067 0 0 0 40 1 0 0 20 0 15 0 97795350 10914865152 46595 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10659048 memory=5787213827096799335 CPUtime=0.4 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) R 29660 29663 26043 0 -1 4202560 2420 0 0 0 40 0 0 0 20 0 15 0 97795350 10914865152 46595 33554432000 4194304 4196468 140731438051264 139990934453624 139991896553376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10659048 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) S 29660 29663 26043 0 -1 1077944384 1031 0 0 0 18 0 0 0 20 0 15 0 97795350 10914865152 46595 33554432000 4194304 4196468 140731438051264 139990933420272 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 46661 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10659048 memory=33 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 46661 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 186380 KiB
[startup+1.50083 s]
/proc/loadavg: 1.67 1.53 1.55 3/215 29678
/proc/meminfo: memFree=27186052/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10659048 memory=321672 CPUtime=2.65 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 14183 0 0 0 257 8 0 0 20 0 15 0 97795344 10914865152 80418 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664762 80418 3112 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10659048 memory=6791534058613427641 CPUtime=1.45 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 5671 0 0 0 141 4 0 0 20 0 15 0 97795345 10914865152 80418 33554432000 4194304 4196468 140731438051264 139991908503328 139991525897497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10659048 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 80418 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10659048 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 80418 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10659048 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 80418 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10659048 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 97795346 10914865152 80418 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 80418 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
################
# More data... #
################
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 37504 0 0 0 235309 52 0 0 20 0 15 0 97795345 10914865152 225787 33554432000 4194304 4196468 140731438051264 139991908503328 139991525901914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10659048 memory=903148 CPUtime=14.06 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 8647 0 0 0 1323 83 0 0 20 0 15 0 97795346 10914865152 225787 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10659048 memory=903148 CPUtime=14.05 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 8682 0 0 0 1329 76 0 0 20 0 15 0 97795346 10914865152 225787 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10659048 memory=903148 CPUtime=14.1 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 8680 0 0 0 1328 82 0 0 20 0 15 0 97795346 10914865152 225787 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10659048 memory=903148 CPUtime=14.05 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 8553 0 0 0 1329 76 0 0 20 0 15 0 97795346 10914865152 225787 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10659048 memory=903148 CPUtime=10.72 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 7734 0 0 0 993 79 0 0 20 0 15 0 97795347 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10659048 memory=279902616744864 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10659048 memory=903148 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10659048 memory=903148 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10659048 memory=901100 CPUtime=0.43 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 3158 0 0 0 42 1 0 0 20 0 15 0 97795350 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10659048 memory=901100 CPUtime=0.55 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) S 29660 29663 26043 0 -1 1077944384 2876 0 0 0 54 1 0 0 20 0 15 0 97795350 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990934472816 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10659048 memory=903148 CPUtime=0.2 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) S 29660 29663 26043 0 -1 1077944384 1106 0 0 0 19 1 0 0 20 0 15 0 97795350 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990933420272 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10659048 memory=636 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10659048 memory=899052 CPUtime=1.62 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1211 0 0 0 73 89 0 0 20 0 15 0 97795350 10914865152 225787 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 2423.46 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 903148 KiB
[startup+2442.3 s]
/proc/loadavg: 1.06 1.20 1.30 3/215 29853
/proc/meminfo: memFree=26432100/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10659048 memory=911340 CPUtime=2484.6 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 92127 0 0 0 248013 447 0 0 20 0 15 0 97795344 10914865152 227835 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664762 227835 3121 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10659048 memory=909292 CPUtime=2412.91 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 38452 0 0 0 241238 53 0 0 20 0 15 0 97795345 10914865152 227835 33554432000 4194304 4196468 140731438051264 139991908503648 139991525911092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10659048 memory=909292 CPUtime=14.45 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 9010 0 0 0 1361 84 0 0 20 0 15 0 97795346 10914865152 227835 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10659048 memory=907244 CPUtime=14.44 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 9181 0 0 0 1368 76 0 0 20 0 15 0 97795346 10914865152 227835 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10659048 memory=0 CPUtime=14.49 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 8985 0 0 0 1366 83 0 0 20 0 15 0 97795346 10914865152 227835 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10659048 memory=909292 CPUtime=14.45 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 8861 0 0 0 1368 77 0 0 20 0 15 0 97795346 10914865152 227835 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10659048 memory=909292 CPUtime=10.92 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 7904 0 0 0 1011 81 0 0 20 0 15 0 97795347 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10659048 memory=911340 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10659048 memory=909292 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10659048 memory=911340 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10659048 memory=909292 CPUtime=0.43 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 3160 0 0 0 42 1 0 0 20 0 15 0 97795350 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10659048 memory=909292 CPUtime=0.55 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) S 29660 29663 26043 0 -1 1077944384 2878 0 0 0 54 1 0 0 20 0 15 0 97795350 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990934472816 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10659048 memory=909292 CPUtime=0.2 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) S 29660 29663 26043 0 -1 1077944384 1108 0 0 0 19 1 0 0 20 0 15 0 97795350 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990933420272 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10659048 memory=909292 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10659048 memory=911340 CPUtime=1.65 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1228 0 0 0 74 91 0 0 20 0 15 0 97795350 10914865152 227835 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 2484.6 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 911340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.11 s]
/proc/loadavg: 1.17 1.21 1.30 3/215 29854
/proc/meminfo: memFree=26413988/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10659048 memory=915436 CPUtime=2520.02 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 93740 0 0 0 251550 452 0 0 20 0 15 0 97795344 10914865152 228859 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664762 228859 3121 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10659048 memory=1462 CPUtime=2447.34 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 38932 0 0 0 244680 54 0 0 20 0 15 0 97795345 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991908503216 139991525975599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10659048 memory=796 CPUtime=14.66 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 9175 0 0 0 1381 85 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10659048 memory=915436 CPUtime=14.66 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 9323 0 0 0 1389 77 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10659048 memory=915436 CPUtime=14.71 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 9193 0 0 0 1387 84 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10659048 memory=915436 CPUtime=14.66 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 9287 0 0 0 1388 78 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10659048 memory=915436 CPUtime=11.04 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 8073 0 0 0 1022 82 0 0 20 0 15 0 97795347 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10659048 memory=915436 CPUtime=0.43 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 3162 0 0 0 42 1 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10659048 memory=4126316290023845779 CPUtime=0.55 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) S 29660 29663 26043 0 -1 1077944384 2880 0 0 0 54 1 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990934472816 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10659048 memory=915436 CPUtime=0.2 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) S 29660 29663 26043 0 -1 1077944384 1110 0 0 0 19 1 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990933420272 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10659048 memory=915436 CPUtime=1.68 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1245 0 0 0 76 92 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 915436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.12 s]
# the end of solver process 29663 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.51 s, system=4.52959 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.11 s]
/proc/loadavg: 1.17 1.21 1.30 3/215 29854
/proc/meminfo: memFree=26413988/32770624 swapFree=67108436/67108860
[pid=29663] ppid=29660 vsize=10659048 memory=915436 CPUtime=2520.02 cores=1,3,5,7
/proc/29663/stat : 29663 (java) S 29660 29663 26043 0 -1 1077944320 93740 0 0 0 251550 452 0 0 20 0 15 0 97795344 10914865152 228859 33554432000 4194304 4196468 140731438051264 140731438033808 139991904263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
/proc/29663/statm: 2664762 228859 3121 1 0 2627263 0
[pid=29663/tid=29665] ppid=29660 vsize=10659048 memory=1462 CPUtime=2447.34 cores=1,3,5,7
/proc/29663/task/29665/stat : 29665 (java) R 29660 29663 26043 0 -1 4202560 38932 0 0 0 244680 54 0 0 20 0 15 0 97795345 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991908503216 139991525975599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29666] ppid=29660 vsize=10659048 memory=796 CPUtime=14.66 cores=1,3,5,7
/proc/29663/task/29666/stat : 29666 (java) S 29660 29663 26043 0 -1 1077944384 9175 0 0 0 1381 85 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991846267152 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29667] ppid=29660 vsize=10659048 memory=915436 CPUtime=14.66 cores=1,3,5,7
/proc/29663/task/29667/stat : 29667 (java) S 29660 29663 26043 0 -1 1077944384 9323 0 0 0 1389 77 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991845214608 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29668] ppid=29660 vsize=10659048 memory=915436 CPUtime=14.71 cores=1,3,5,7
/proc/29663/task/29668/stat : 29668 (java) S 29660 29663 26043 0 -1 1077944384 9193 0 0 0 1387 84 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991844162064 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29669] ppid=29660 vsize=10659048 memory=915436 CPUtime=14.66 cores=1,3,5,7
/proc/29663/task/29669/stat : 29669 (java) S 29660 29663 26043 0 -1 1077944384 9287 0 0 0 1388 78 0 0 20 0 15 0 97795346 10914865152 228859 33554432000 4194304 4196468 140731438051264 139991843109520 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29670] ppid=29660 vsize=10659048 memory=915436 CPUtime=11.04 cores=1,3,5,7
/proc/29663/task/29670/stat : 29670 (java) S 29660 29663 26043 0 -1 1077944384 8073 0 0 0 1022 82 0 0 20 0 15 0 97795347 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990939736560 139991904275074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29671] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29671/stat : 29671 (java) S 29660 29663 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97795347 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990938682784 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29672] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29672/stat : 29672 (java) S 29660 29663 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97795348 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990937630192 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29673] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29673/stat : 29673 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990936578768 139991904282523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29674] ppid=29660 vsize=10659048 memory=915436 CPUtime=0.43 cores=1,3,5,7
/proc/29663/task/29674/stat : 29674 (java) S 29660 29663 26043 0 -1 1077944384 3162 0 0 0 42 1 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990935525360 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29675] ppid=29660 vsize=10659048 memory=4126316290023845779 CPUtime=0.55 cores=1,3,5,7
/proc/29663/task/29675/stat : 29675 (java) S 29660 29663 26043 0 -1 1077944384 2880 0 0 0 54 1 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990934472816 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29676] ppid=29660 vsize=10659048 memory=915436 CPUtime=0.2 cores=1,3,5,7
/proc/29663/task/29676/stat : 29676 (java) S 29660 29663 26043 0 -1 1077944384 1110 0 0 0 19 1 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990933420272 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29677] ppid=29660 vsize=10659048 memory=915436 CPUtime=0 cores=1,3,5,7
/proc/29663/task/29677/stat : 29677 (java) S 29660 29663 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990932367968 139991904274133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
[pid=29663/tid=29678] ppid=29660 vsize=10659048 memory=915436 CPUtime=1.68 cores=1,3,5,7
/proc/29663/task/29678/stat : 29678 (java) S 29660 29663 26043 0 -1 1077944384 1245 0 0 0 76 92 0 0 20 0 15 0 97795350 10914865152 228859 33554432000 4194304 4196468 140731438051264 139990931315504 139991904275074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14835712 140731438052525 140731438052617 140731438052617 140731438055375 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 915436 KiB
Child status: 143
Real time (s): 2477.12
CPU time (s): 2520.04
CPU user time (s): 2515.51
CPU system time (s): 4.52959
CPU usage (%): 101.733
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 915436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.51
system time used= 4.52959
maximum resident set size= 915956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358486
involuntary context switches= 7310
# summary of solver processes directly reported to runsolver:
# pid: 29663
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.51
# total CPU system time (s): 4.52959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1052 second user time and 24.456 second system time
The end