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 (7580 MiB free)
memory of node 1: 16384 MiB (14819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299349-1532811727/watcher-4299349-1532811727 -o /tmp/evaluation-result-4299349-1532811727/solver-4299349-1532811727 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532809183-3227 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299349-1532811727.xml --timelimit 2520
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
Current StackSize limit: 8192 KiB
solver pid=3688, runsolver pid=3685
[startup+0.100548 s]*
/proc/loadavg: 2.05 2.07 1.96 5/216 3703
/proc/meminfo: memFree=22921704/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661056 memory=27556 CPUtime=0.12 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 5288 0 0 0 11 1 0 0 20 0 15 0 98735808 10916921344 6889 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665264 6889 2845 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661056 memory=-8536675841170306240 CPUtime=0.08 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 3162 0 0 0 8 0 0 0 20 0 15 0 98735809 10916921344 6889 33554432000 4194304 4196468 140727422171712 140365372655712 140365368438166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 6889 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661056 memory=140418126427776 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 6889 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661056 memory=140418126427776 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735811 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98735812 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98735812 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) S 3685 3688 3195 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 98735814 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364856675184 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364855622384 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661056 memory=140418126427776 CPUtime=0.01 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) R 3685 3688 3195 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 98735814 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364854565528 140365368438166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661056 memory=140418126427776 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735815 10916921344 6889 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27556 KiB
[startup+0.210677 s]*
/proc/loadavg: 2.05 2.07 1.96 4/216 3703
/proc/meminfo: memFree=22909872/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661056 memory=40280 CPUtime=0.33 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 8166 0 0 0 31 2 0 0 20 0 15 0 98735808 10916921344 10070 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665264 10070 2968 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 5214 0 0 0 18 1 0 0 20 0 15 0 98735809 10916921344 10139 33554432000 4194304 4196468 140727422171712 140365372662224 140365368448157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 10139 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661056 memory=140418126439019 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 10139 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735810 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661056 memory=140418126427776 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735811 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98735812 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98735812 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) S 3685 3688 3195 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 98735814 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364856675184 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) S 3685 3688 3195 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 98735814 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364855622384 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661056 memory=140418126427776 CPUtime=0.08 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) S 3685 3688 3195 0 -1 1077944384 874 0 0 0 8 0 0 0 20 0 15 0 98735814 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364854569584 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661056 memory=140418126427776 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735815 10916921344 10139 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40280 KiB
[startup+0.311895 s]*
/proc/loadavg: 2.05 2.07 1.96 6/216 3703
/proc/meminfo: memFree=22904724/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661132 memory=46980 CPUtime=0.54 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 8941 0 0 0 51 3 0 0 20 0 15 0 98735808 10916999168 11745 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665283 11745 3034 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661132 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 5703 0 0 0 27 2 0 0 20 0 15 0 98735809 10916999168 11745 33554432000 4194304 4196468 140727422171712 140365372660912 140364983978785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661132 memory=290763883793350679 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 11745 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661132 memory=15964822257514136 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 11745 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661132 memory=140418126427776 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735811 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) R 3685 3688 3195 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 98735814 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364856675184 140365368437378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) R 3685 3688 3195 0 -1 4202560 312 0 0 0 5 0 0 0 20 0 15 0 98735814 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364855612768 140365353322040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661132 memory=140418126427776 CPUtime=0.14 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) R 3685 3688 3195 0 -1 4202560 993 0 0 0 14 0 0 0 20 0 15 0 98735814 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364854569584 140365361523067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661132 memory=140418126427776 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735815 10916999168 11745 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46980 KiB
[startup+0.700801 s]
/proc/loadavg: 2.05 2.07 1.96 5/216 3703
/proc/meminfo: memFree=22878800/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661132 memory=88756 CPUtime=1.71 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 15797 0 0 0 167 4 0 0 20 0 15 0 98735808 10916999168 22189 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665283 22189 3094 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661132 memory=1840 CPUtime=0.66 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 5865 0 0 0 64 2 0 0 20 0 15 0 98735809 10916999168 22189 33554432000 4194304 4196468 140727422171712 140365372666768 140727422756802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661132 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 22189 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 22189 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661132 memory=11008 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661132 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98735811 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661132 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661132 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661132 memory=5372 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661132 memory=7302135314614015848 CPUtime=0.37 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) R 3685 3688 3195 0 -1 4202560 3256 0 0 0 37 0 0 0 20 0 15 0 98735814 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364856665104 140365354482394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661132 memory=7450453974481135974 CPUtime=0.4 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) R 3685 3688 3195 0 -1 4202560 3588 0 0 0 40 0 0 0 20 0 15 0 98735814 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364855609168 140365353304692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661132 memory=7440061282865139792 CPUtime=0.24 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) S 3685 3688 3195 0 -1 1077944384 1717 0 0 0 24 0 0 0 20 0 15 0 98735814 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364854569584 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661132 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735815 10916999168 22189 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 88756 KiB
[startup+1.50079 s]
/proc/loadavg: 2.05 2.07 1.96 4/216 3703
/proc/meminfo: memFree=22837480/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661132 memory=161776 CPUtime=3.17 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 19185 0 0 0 310 7 0 0 20 0 15 0 98735808 10916999168 40444 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665283 40444 3102 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661132 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 6391 0 0 0 142 5 0 0 20 0 15 0 98735809 10916999168 40444 33554432000 4194304 4196468 140727422171712 140365372662048 140727422756802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661132 memory=8390361644446492005 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 40444 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661132 memory=-6352177166831549654 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 40444 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661132 memory=8514701219931451533 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 40444 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661132 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98735810 10916999168 40444 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98735811 10916999168 40444 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
################
# More data... #
################
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 19928 0 0 0 241828 1613 0 0 20 0 15 0 98735809 10916999168 47257 33554432000 4194304 4196468 140727422171712 140365372665840 140364987079762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661132 memory=188944 CPUtime=3.06 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 6525 0 0 0 280 26 0 0 20 0 15 0 98735810 10916999168 47257 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661132 memory=188944 CPUtime=3.03 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 6463 0 0 0 274 29 0 0 20 0 15 0 98735810 10916999168 47257 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661132 memory=189028 CPUtime=3.05 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 6377 0 0 0 275 30 0 0 20 0 15 0 98735810 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661132 memory=188944 CPUtime=3.03 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 6137 0 0 0 272 31 0 0 20 0 15 0 98735810 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661132 memory=189028 CPUtime=3.58 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 6375 0 0 0 332 26 0 0 20 0 15 0 98735811 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661132 memory=189028 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661132 memory=189028 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661132 memory=189028 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661132 memory=189028 CPUtime=0.91 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) S 3685 3688 3195 0 -1 1077944384 8012 0 0 0 90 1 0 0 20 0 15 0 98735814 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364856675184 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661132 memory=189028 CPUtime=0.84 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) S 3685 3688 3195 0 -1 1077944384 6281 0 0 0 83 1 0 0 20 0 15 0 98735814 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364855622384 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661132 memory=189028 CPUtime=0.31 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) S 3685 3688 3195 0 -1 1077944384 3967 0 0 0 31 0 0 0 20 0 15 0 98735814 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364854569584 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661132 memory=189028 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661132 memory=189028 CPUtime=0.65 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 994 0 0 0 30 35 0 0 20 0 15 0 98735815 10916999168 47257 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 2452.97 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189028 KiB
[startup+2502.3 s]
/proc/loadavg: 1.58 1.68 1.72 3/216 3854
/proc/meminfo: memFree=23250208/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661132 memory=189076 CPUtime=2513.18 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 74875 0 0 0 249526 1792 0 0 20 0 15 0 98735808 10916999168 47269 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665283 47269 3138 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661132 memory=8112282956445269571 CPUtime=2494.24 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 20379 0 0 0 247773 1651 0 0 20 0 15 0 98735809 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365372666544 140727422756802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.13 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 6930 0 0 0 287 26 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.1 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 6598 0 0 0 281 29 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.12 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 6573 0 0 0 282 30 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.09 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 6165 0 0 0 277 32 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.67 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 6620 0 0 0 341 26 0 0 20 0 15 0 98735811 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661132 memory=1300 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661132 memory=189076 CPUtime=0.91 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) S 3685 3688 3195 0 -1 1077944384 8015 0 0 0 90 1 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364856675184 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661132 memory=189076 CPUtime=0.84 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) S 3685 3688 3195 0 -1 1077944384 6283 0 0 0 83 1 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364855622384 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661132 memory=189076 CPUtime=0.31 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) S 3685 3688 3195 0 -1 1077944384 4881 0 0 0 31 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364854569584 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661132 memory=2928 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661132 memory=189076 CPUtime=0.65 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 1015 0 0 0 30 35 0 0 20 0 15 0 98735815 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 2513.18 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.11 s]
/proc/loadavg: 1.61 1.68 1.72 3/216 3854
/proc/meminfo: memFree=23250216/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661132 memory=189076 CPUtime=2520.01 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 74937 0 0 0 250204 1797 0 0 20 0 15 0 98735808 10916999168 47269 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665283 47269 3138 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661132 memory=3472328296227679313 CPUtime=2501.02 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 20397 0 0 0 248447 1655 0 0 20 0 15 0 98735809 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365372664992 140727422756802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.13 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 6954 0 0 0 287 26 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.11 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 6598 0 0 0 281 30 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661132 memory=8112282956445269571 CPUtime=3.13 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 6586 0 0 0 283 30 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.1 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 6172 0 0 0 278 32 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.68 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 6620 0 0 0 342 26 0 0 20 0 15 0 98735811 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661132 memory=189076 CPUtime=0.91 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) S 3685 3688 3195 0 -1 1077944384 8015 0 0 0 90 1 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364856675184 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661132 memory=2396 CPUtime=0.84 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) S 3685 3688 3195 0 -1 1077944384 6283 0 0 0 83 1 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364855622384 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661132 memory=1300 CPUtime=0.31 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) S 3685 3688 3195 0 -1 1077944384 4881 0 0 0 31 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364854569584 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661132 memory=11008 CPUtime=0.66 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 1015 0 0 0 31 35 0 0 20 0 15 0 98735815 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.12 s]
# the end of solver process 3688 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2502.06 s, system=17.9776 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.11 s]
/proc/loadavg: 1.61 1.68 1.72 3/216 3854
/proc/meminfo: memFree=23250216/32770624 swapFree=67108404/67108860
[pid=3688] ppid=3685 vsize=10661132 memory=189076 CPUtime=2520.01 cores=1,3,5,7
/proc/3688/stat : 3688 (java) S 3685 3688 3195 0 -1 1077944320 74937 0 0 0 250204 1797 0 0 20 0 15 0 98735808 10916999168 47269 33554432000 4194304 4196468 140727422171712 140727422154256 140365368426231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
/proc/3688/statm: 2665283 47269 3138 1 0 2627263 0
[pid=3688/tid=3690] ppid=3685 vsize=10661132 memory=3472328296227679313 CPUtime=2501.02 cores=1,3,5,7
/proc/3688/task/3690/stat : 3690 (java) R 3685 3688 3195 0 -1 4202560 20397 0 0 0 248447 1655 0 0 20 0 15 0 98735809 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365372664992 140727422756802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3691] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.13 cores=1,3,5,7
/proc/3688/task/3691/stat : 3691 (java) S 3685 3688 3195 0 -1 1077944384 6954 0 0 0 287 26 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365305117840 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3692] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.11 cores=1,3,5,7
/proc/3688/task/3692/stat : 3692 (java) S 3685 3688 3195 0 -1 1077944384 6598 0 0 0 281 30 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140365304065040 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3693] ppid=3685 vsize=10661132 memory=8112282956445269571 CPUtime=3.13 cores=1,3,5,7
/proc/3688/task/3693/stat : 3693 (java) S 3685 3688 3195 0 -1 1077944384 6586 0 0 0 283 30 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364973206416 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3694] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.1 cores=1,3,5,7
/proc/3688/task/3694/stat : 3694 (java) S 3685 3688 3195 0 -1 1077944384 6172 0 0 0 278 32 0 0 20 0 15 0 98735810 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364972153616 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3695] ppid=3685 vsize=10661132 memory=189076 CPUtime=3.68 cores=1,3,5,7
/proc/3688/task/3695/stat : 3695 (java) S 3685 3688 3195 0 -1 1077944384 6620 0 0 0 342 26 0 0 20 0 15 0 98735811 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364860885360 140365368437378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3696] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3696/stat : 3696 (java) S 3685 3688 3195 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364859831328 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3697] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3697/stat : 3697 (java) S 3685 3688 3195 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98735812 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364858778480 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3698] ppid=3685 vsize=10661132 memory=189076 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3698/stat : 3698 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364857726800 140365368444827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3699] ppid=3685 vsize=10661132 memory=189076 CPUtime=0.91 cores=1,3,5,7
/proc/3688/task/3699/stat : 3699 (java) S 3685 3688 3195 0 -1 1077944384 8015 0 0 0 90 1 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364856675184 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3700] ppid=3685 vsize=10661132 memory=2396 CPUtime=0.84 cores=1,3,5,7
/proc/3688/task/3700/stat : 3700 (java) S 3685 3688 3195 0 -1 1077944384 6283 0 0 0 83 1 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364855622384 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3701] ppid=3685 vsize=10661132 memory=1300 CPUtime=0.31 cores=1,3,5,7
/proc/3688/task/3701/stat : 3701 (java) S 3685 3688 3195 0 -1 1077944384 4881 0 0 0 31 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364854569584 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3702] ppid=3685 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3688/task/3702/stat : 3702 (java) S 3685 3688 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98735814 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364853517024 140365368436437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
[pid=3688/tid=3703] ppid=3685 vsize=10661132 memory=11008 CPUtime=0.66 cores=1,3,5,7
/proc/3688/task/3703/stat : 3703 (java) S 3685 3688 3195 0 -1 1077944384 1015 0 0 0 31 35 0 0 20 0 15 0 98735815 10916999168 47269 33554432000 4194304 4196468 140727422171712 140364852464304 140365368437378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17747968 140727422178460 140727422178569 140727422178569 140727422181327 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189076 KiB
Child status: 143
Real time (s): 2509.12
CPU time (s): 2520.04
CPU user time (s): 2502.06
CPU system time (s): 17.9776
CPU usage (%): 100.435
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 206332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.06
system time used= 17.9776
maximum resident set size= 206332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75343
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159545
involuntary context switches= 2818
# summary of solver processes directly reported to runsolver:
# pid: 3688
# total CPU time (s): 2520.04
# total CPU user time (s): 2502.06
# total CPU system time (s): 17.9776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.9933 second user time and 28.4355 second system time
The end