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 (9522 MiB free)
memory of node 1: 16384 MiB (10264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300275-1532879564/watcher-4300275-1532879564 -o /tmp/evaluation-result-4300275-1532879564/solver-4300275-1532879564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532872250-7145 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300275-1532879564.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
solver pid=8012, runsolver pid=8009
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.78 1.91 1.82 3/216 8027
/proc/meminfo: memFree=20245588/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10661056 memory=27676 CPUtime=0.12 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 5274 0 0 0 11 1 0 0 20 0 15 0 105519543 10916921344 6919 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665264 6919 2861 1 0 2627263 0
[pid=8012/tid=8014] ppid=8009 vsize=10661056 memory=-8536111791705257152 CPUtime=0.08 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 3136 0 0 0 8 0 0 0 20 0 15 0 105519544 10916921344 6919 33554432000 4194304 4196468 140730248495216 139897565217776 139897561001366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 6919 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661056 memory=139792050554496 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 6919 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 6919 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 6919 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661056 memory=139792050554496 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105519546 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105519546 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105519547 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) S 8009 8012 3913 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896592345456 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) S 8009 8012 3913 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896591292656 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661056 memory=139792050554496 CPUtime=0.02 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) R 8009 8012 3913 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 105519549 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896590239856 139897544165036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661056 memory=139792050554496 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 6919 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27676 KiB
[startup+0.210541 s]*
/proc/loadavg: 1.78 1.91 1.82 4/216 8027
/proc/meminfo: memFree=20233508/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10661056 memory=40432 CPUtime=0.34 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 8242 0 0 0 32 2 0 0 20 0 15 0 105519543 10916921344 10108 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665264 10108 2983 1 0 2627263 0
[pid=8012/tid=8014] ppid=8009 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 5109 0 0 0 19 1 0 0 20 0 15 0 105519544 10916921344 10108 33554432000 4194304 4196468 140730248495216 139897565220672 139897168088385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661056 memory=365 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 10108 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661056 memory=139792050563130 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 10108 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 10108 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105519545 10916921344 10108 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661056 memory=139792050554496 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105519546 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105519546 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105519547 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) R 8009 8012 3913 0 -1 1077944384 646 0 0 0 2 0 0 0 20 0 15 0 105519549 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896592345552 139897560999637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) R 8009 8012 3913 0 -1 4202560 234 0 0 0 2 0 0 0 20 0 15 0 105519549 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896591284304 139897545869129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661056 memory=139792050554496 CPUtime=0.08 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) R 8009 8012 3913 0 -1 4202560 887 0 0 0 8 0 0 0 20 0 15 0 105519549 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896590239856 139897552844162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661056 memory=139792050554496 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519549 10916921344 10108 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40432 KiB
[startup+0.310389 s]*
/proc/loadavg: 1.78 1.91 1.82 5/216 8027
/proc/meminfo: memFree=20218964/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10661132 memory=57204 CPUtime=0.66 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 10393 0 0 0 63 3 0 0 20 0 15 0 105519543 10916999168 14301 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665283 14301 3079 1 0 2627263 0
[pid=8012/tid=8014] ppid=8009 vsize=10661132 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 5438 0 0 0 28 1 0 0 20 0 15 0 105519544 10916999168 14301 33554432000 4194304 4196468 140730248495216 139897565225840 139897168227808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661132 memory=4294979972 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 14301 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661132 memory=139792051177728 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 14301 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 14301 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 14301 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661132 memory=139792050554496 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105519547 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661132 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) R 8009 8012 3913 0 -1 1077944384 991 0 0 0 7 0 0 0 20 0 15 0 105519549 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896592345456 139897561000578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661132 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) R 8009 8012 3913 0 -1 4202560 1026 0 0 0 11 0 0 0 20 0 15 0 105519549 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896591278680 139897540236227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661132 memory=139792050554496 CPUtime=0.16 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) R 8009 8012 3913 0 -1 4202560 1575 0 0 0 16 0 0 0 20 0 15 0 105519549 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896590237392 139897554086267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661132 memory=139792050554496 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 14301 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 57204 KiB
[startup+0.700697 s]
/proc/loadavg: 1.78 1.91 1.82 5/216 8027
/proc/meminfo: memFree=20157900/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10661132 memory=184708 CPUtime=1.94 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 11652 0 0 0 189 5 0 0 20 0 15 0 105519543 10916999168 46177 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665283 46177 3121 1 0 2627263 0
[pid=8012/tid=8014] ppid=8009 vsize=10661132 memory=174233267221170 CPUtime=0.66 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 5564 0 0 0 63 3 0 0 20 0 15 0 105519544 10916999168 46177 33554432000 4194304 4196468 140730248495216 139897565228216 139897171556225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661132 memory=604857 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 46177 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 46177 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 46177 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661132 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 105519545 10916999168 46177 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661132 memory=9051843368159314093 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661132 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105519547 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661132 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661132 memory=6944656575208382560 CPUtime=0.41 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) R 8009 8012 3913 0 -1 4202560 1558 0 0 0 41 0 0 0 20 0 15 0 105519549 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896592332896 139897542179173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661132 memory=6944656575208382560 CPUtime=0.49 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) R 8009 8012 3913 0 -1 4202560 1133 0 0 0 49 0 0 0 20 0 15 0 105519549 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896591279200 139897544892521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661132 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) S 8009 8012 3913 0 -1 1077944384 1917 0 0 0 32 0 0 0 20 0 15 0 105519549 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896590239856 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661132 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 46177 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 184708 KiB
[startup+1.50077 s]
/proc/loadavg: 1.96 1.95 1.83 5/216 8027
/proc/meminfo: memFree=20086844/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10662812 memory=197648 CPUtime=4.16 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 14954 0 0 0 410 6 0 0 20 0 15 0 105519543 10918719488 49412 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665703 49412 3150 1 0 2627683 0
[pid=8012/tid=8014] ppid=8009 vsize=10662812 memory=12902 CPUtime=1.46 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 5631 0 0 0 143 3 0 0 20 0 15 0 105519544 10918719488 49412 33554432000 4194304 4196468 140730248495216 139897565225888 139897172672565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10662812 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 105519545 10918719488 49412 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10662812 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105519545 10918719488 49412 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10662812 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519545 10918719488 49412 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10662812 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 105519545 10918719488 49412 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10662812 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105519546 10918719488 49412 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
################
# More data... #
################
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 16608 0 0 0 243607 67 0 0 20 0 15 0 105519544 10916999168 104434 33554432000 4194304 4196468 140730248495216 139897565230208 139897172876105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661132 memory=405448 CPUtime=3.95 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 6667 0 0 0 375 20 0 0 20 0 15 0 105519545 10916999168 104434 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661132 memory=401332 CPUtime=3.99 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 6770 0 0 0 379 20 0 0 20 0 15 0 105519545 10916999168 104434 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661132 memory=411592 CPUtime=3.93 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 6860 0 0 0 373 20 0 0 20 0 15 0 105519545 10916999168 104434 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661132 memory=415688 CPUtime=3.95 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 6857 0 0 0 374 21 0 0 20 0 15 0 105519545 10916999168 104434 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661132 memory=417736 CPUtime=1.34 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 6258 0 0 0 122 12 0 0 20 0 15 0 105519546 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661132 memory=417736 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661132 memory=279583851251376 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105519547 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661132 memory=417736 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661132 memory=417736 CPUtime=1.15 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) S 8009 8012 3913 0 -1 1077944384 6686 0 0 0 114 1 0 0 20 0 15 0 105519549 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896592345456 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661132 memory=4140 CPUtime=1.73 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) S 8009 8012 3913 0 -1 1077944384 12100 0 0 0 171 2 0 0 20 0 15 0 105519549 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896591292656 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661132 memory=415688 CPUtime=0.46 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) S 8009 8012 3913 0 -1 1077944384 4137 0 0 0 46 0 0 0 20 0 15 0 105519549 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896590239856 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661132 memory=415688 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661132 memory=417736 CPUtime=0.51 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1303 0 0 0 22 29 0 0 20 0 15 0 105519549 10916999168 104434 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 2457.86 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 417736 KiB
[startup+2502.3 s]
/proc/loadavg: 1.65 1.62 1.65 3/217 8211
/proc/meminfo: memFree=20036584/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10661132 memory=242964 CPUtime=2518.45 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 78256 0 0 0 251660 185 0 0 20 0 15 0 105519543 10916999168 60741 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665283 60741 3172 1 0 2627263 0
[pid=8012/tid=8014] ppid=8009 vsize=10661132 memory=242964 CPUtime=2496.47 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 16919 0 0 0 249579 68 0 0 20 0 15 0 105519544 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897565228528 139897172884977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661132 memory=425928 CPUtime=4.15 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 7258 0 0 0 393 22 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.19 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 7028 0 0 0 398 21 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.12 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 7161 0 0 0 391 21 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.16 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 7195 0 0 0 393 23 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661132 memory=242964 CPUtime=1.41 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 7039 0 0 0 128 13 0 0 20 0 15 0 105519546 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661132 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661132 memory=242964 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105519547 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661132 memory=8112282956445269571 CPUtime=1.15 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) S 8009 8012 3913 0 -1 1077944384 6688 0 0 0 114 1 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896592345456 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661132 memory=952 CPUtime=1.73 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) S 8009 8012 3913 0 -1 1077944384 12103 0 0 0 171 2 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896591292656 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661132 memory=242964 CPUtime=0.46 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) S 8009 8012 3913 0 -1 1077944384 4139 0 0 0 46 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896590239856 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661132 memory=242964 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661132 memory=242964 CPUtime=0.53 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1317 0 0 0 23 30 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 2518.45 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 242964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.9 s]
/proc/loadavg: 1.65 1.62 1.65 3/217 8211
/proc/meminfo: memFree=20036588/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10661132 memory=242964 CPUtime=2520.07 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 78261 0 0 0 251821 186 0 0 20 0 15 0 105519543 10916999168 60741 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665283 60741 3172 1 0 2627263 0
[pid=8012/tid=8014] ppid=8009 vsize=10661132 memory=242964 CPUtime=2498.07 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 16922 0 0 0 249738 69 0 0 20 0 15 0 105519544 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897565228848 139897172875414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661132 memory=425928 CPUtime=4.16 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 7258 0 0 0 394 22 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.19 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 7028 0 0 0 398 21 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.13 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 7161 0 0 0 392 21 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.16 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 7195 0 0 0 393 23 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661132 memory=242964 CPUtime=1.41 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 7041 0 0 0 128 13 0 0 20 0 15 0 105519546 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661132 memory=242964 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661132 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105519547 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661132 memory=242964 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661132 memory=4616 CPUtime=1.15 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) S 8009 8012 3913 0 -1 1077944384 6688 0 0 0 114 1 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896592345456 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661132 memory=242964 CPUtime=1.73 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) S 8009 8012 3913 0 -1 1077944384 12103 0 0 0 171 2 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896591292656 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661132 memory=242964 CPUtime=0.46 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) S 8009 8012 3913 0 -1 1077944384 4139 0 0 0 46 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896590239856 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661132 memory=7392 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661132 memory=840 CPUtime=0.53 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1317 0 0 0 23 30 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 242964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.91 s]
# the end of solver process 8012 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.22 s, system=1.86648 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2503.9 s]
/proc/loadavg: 1.65 1.62 1.65 3/217 8211
/proc/meminfo: memFree=20036588/32770624 swapFree=67108860/67108860
[pid=8012] ppid=8009 vsize=10661132 memory=242964 CPUtime=2520.07 cores=1,3,5,7
/proc/8012/stat : 8012 (java) S 8009 8012 3913 0 -1 1077944320 78261 0 0 0 251821 186 0 0 20 0 15 0 105519543 10916999168 60741 33554432000 4194304 4196468 140730248495216 140730248477760 139897560989431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
/proc/8012/statm: 2665283 60741 3172 1 0 2627263 0
[pid=8012/tid=8014] ppid=8009 vsize=10661132 memory=242964 CPUtime=2498.07 cores=1,3,5,7
/proc/8012/task/8014/stat : 8014 (java) R 8009 8012 3913 0 -1 4202560 16922 0 0 0 249738 69 0 0 20 0 15 0 105519544 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897565228848 139897172875414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8015] ppid=8009 vsize=10661132 memory=425928 CPUtime=4.16 cores=1,3,5,7
/proc/8012/task/8015/stat : 8015 (java) S 8009 8012 3913 0 -1 1077944384 7258 0 0 0 394 22 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897167932048 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8016] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.19 cores=1,3,5,7
/proc/8012/task/8016/stat : 8016 (java) S 8009 8012 3913 0 -1 1077944384 7028 0 0 0 398 21 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897166879248 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8017] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.13 cores=1,3,5,7
/proc/8012/task/8017/stat : 8017 (java) S 8009 8012 3913 0 -1 1077944384 7161 0 0 0 392 21 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897165826448 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8018] ppid=8009 vsize=10661132 memory=242964 CPUtime=4.16 cores=1,3,5,7
/proc/8012/task/8018/stat : 8018 (java) S 8009 8012 3913 0 -1 1077944384 7195 0 0 0 393 23 0 0 20 0 15 0 105519545 10916999168 60741 33554432000 4194304 4196468 140730248495216 139897164773648 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8019] ppid=8009 vsize=10661132 memory=242964 CPUtime=1.41 cores=1,3,5,7
/proc/8012/task/8019/stat : 8019 (java) S 8009 8012 3913 0 -1 1077944384 7041 0 0 0 128 13 0 0 20 0 15 0 105519546 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896596556656 139897561000578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8020] ppid=8009 vsize=10661132 memory=242964 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8020/stat : 8020 (java) S 8009 8012 3913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105519546 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896595502624 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8021] ppid=8009 vsize=10661132 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8021/stat : 8021 (java) S 8009 8012 3913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105519547 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896594449776 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8022] ppid=8009 vsize=10661132 memory=242964 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8022/stat : 8022 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896593398096 139897561008027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8023] ppid=8009 vsize=10661132 memory=4616 CPUtime=1.15 cores=1,3,5,7
/proc/8012/task/8023/stat : 8023 (java) S 8009 8012 3913 0 -1 1077944384 6688 0 0 0 114 1 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896592345456 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8024] ppid=8009 vsize=10661132 memory=242964 CPUtime=1.73 cores=1,3,5,7
/proc/8012/task/8024/stat : 8024 (java) S 8009 8012 3913 0 -1 1077944384 12103 0 0 0 171 2 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896591292656 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8025] ppid=8009 vsize=10661132 memory=242964 CPUtime=0.46 cores=1,3,5,7
/proc/8012/task/8025/stat : 8025 (java) S 8009 8012 3913 0 -1 1077944384 4139 0 0 0 46 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896590239856 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8026] ppid=8009 vsize=10661132 memory=7392 CPUtime=0 cores=1,3,5,7
/proc/8012/task/8026/stat : 8026 (java) S 8009 8012 3913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896589187296 139897560999637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
[pid=8012/tid=8027] ppid=8009 vsize=10661132 memory=840 CPUtime=0.53 cores=1,3,5,7
/proc/8012/task/8027/stat : 8027 (java) S 8009 8012 3913 0 -1 1077944384 1317 0 0 0 23 30 0 0 20 0 15 0 105519549 10916999168 60741 33554432000 4194304 4196468 140730248495216 139896588135600 139897561000578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140730248496284 140730248496393 140730248496393 140730248499151 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 242964 KiB
Child status: 143
Real time (s): 2503.91
CPU time (s): 2520.09
CPU user time (s): 2518.22
CPU system time (s): 1.86648
CPU usage (%): 100.646
Max. virtual memory (cumulated for all children) (KiB): 10663028
Max. memory (cumulated for all children) (KiB): 425928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.22
system time used= 1.86648
maximum resident set size= 448900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78386
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= 93440
involuntary context switches= 1673
# summary of solver processes directly reported to runsolver:
# pid: 8012
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.22
# total CPU system time (s): 1.86648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2979 second user time and 18.1106 second system time
The end