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 (8683 MiB free)
memory of node 1: 16384 MiB (15807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298218-1532751226/watcher-4298218-1532751226 -o /tmp/evaluation-result-4298218-1532751226/solver-4298218-1532751226 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532741226-26123 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298218-1532751226.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27261, runsolver pid=27258
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 1.71 1.50 1.58 4/216 27276
/proc/meminfo: memFree=25062012/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661056 memory=27684 CPUtime=0.12 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 5282 0 0 0 11 1 0 0 20 0 15 0 92685786 10916921344 6921 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665264 6921 2842 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661056 memory=-8269626465541328253 CPUtime=0.08 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 3140 0 0 0 8 0 0 0 20 0 15 0 92685787 10916921344 6921 33554432000 4194304 4196468 140736805352736 139882479674496 139882475457942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 6921 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661056 memory=140092809516672 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 6921 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 6921 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 6921 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661056 memory=140092809516672 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92685789 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) R 27258 27261 26091 0 -1 4202560 440 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881962613272 139882460262509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881961560432 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661056 memory=140092809516672 CPUtime=0.02 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) R 27258 27261 26091 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 92685792 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881960507376 139882454047016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661056 memory=140092809516672 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 6921 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27684 KiB
[startup+0.210751 s]*
/proc/loadavg: 1.71 1.50 1.58 4/216 27276
/proc/meminfo: memFree=25049964/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661056 memory=40456 CPUtime=0.35 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 8156 0 0 0 33 2 0 0 20 0 15 0 92685786 10916921344 10114 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665264 10114 3011 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 5113 0 0 0 19 1 0 0 20 0 15 0 92685787 10916921344 10114 33554432000 4194304 4196468 140736805352736 139882479685488 139882068579149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661056 memory=342 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 10114 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661056 memory=140092809543046 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 10114 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 10114 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916921344 10114 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661056 memory=140092809516672 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92685789 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) R 27258 27261 26091 0 -1 4202560 610 0 0 0 3 0 0 0 20 0 15 0 92685792 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881962599760 139882467735456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) R 27258 27261 26091 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 15 0 92685792 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881961560528 139882475456213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661056 memory=140092809516672 CPUtime=0.08 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) R 27258 27261 26091 0 -1 4202560 867 0 0 0 8 0 0 0 20 0 15 0 92685792 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881960502640 139882475467354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661056 memory=140092809516672 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685792 10916921344 10114 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40456 KiB
[startup+0.312241 s]*
/proc/loadavg: 1.71 1.50 1.58 6/216 27276
/proc/meminfo: memFree=25037188/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661132 memory=53732 CPUtime=0.71 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 10533 0 0 0 68 3 0 0 20 0 15 0 92685786 10916999168 13433 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665283 13433 3073 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 5394 0 0 0 29 1 0 0 20 0 15 0 92685787 10916999168 13433 33554432000 4194304 4196468 140736805352736 139882479684416 139882456819457 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661132 memory=4294976237 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 13433 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661132 memory=140092809543020 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 13433 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 13433 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 13433 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661132 memory=140092809516672 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661132 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) R 27258 27261 26091 0 -1 4202560 1675 0 0 0 12 0 0 0 20 0 15 0 92685792 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881962599032 139882460611560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661132 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) S 27258 27261 26091 0 -1 1077944384 843 0 0 0 11 0 0 0 20 0 15 0 92685792 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881961550816 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661132 memory=140092809516672 CPUtime=0.14 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) R 27258 27261 26091 0 -1 4202560 1252 0 0 0 14 0 0 0 20 0 15 0 92685792 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881960503560 139882454844432 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661132 memory=140092809516672 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 13433 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 53732 KiB
[startup+0.700667 s]
/proc/loadavg: 1.71 1.50 1.58 6/216 27276
/proc/meminfo: memFree=25007776/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661132 memory=139424 CPUtime=1.93 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 11966 0 0 0 189 4 0 0 20 0 15 0 92685786 10916999168 34856 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665283 34856 3106 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661132 memory=257207874649571 CPUtime=0.68 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 5594 0 0 0 66 2 0 0 20 0 15 0 92685787 10916999168 34856 33554432000 4194304 4196468 140736805352736 139882479681984 139882072536820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661132 memory=288230376152200162 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 34856 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 34856 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 34856 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661132 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685788 10916999168 34856 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661132 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661132 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) R 27258 27261 26091 0 -1 4202560 1915 0 0 0 44 0 0 0 20 0 15 0 92685792 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881962612976 139882456856157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661132 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) R 27258 27261 26091 0 -1 4202560 1413 0 0 0 44 0 0 0 20 0 15 0 92685792 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881961551760 139882459843152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661132 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) R 27258 27261 26091 0 -1 1077944384 1675 0 0 0 34 0 0 0 20 0 15 0 92685792 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881960507376 139882475457154 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661132 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 34856 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 139424 KiB
[startup+1.50086 s]
/proc/loadavg: 1.71 1.50 1.58 5/216 27276
/proc/meminfo: memFree=24764300/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661132 memory=677192 CPUtime=4.03 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 14337 0 0 0 371 32 0 0 20 0 15 0 92685786 10916999168 169298 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665283 169298 3148 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661132 memory=9169 CPUtime=1.3 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 6081 0 0 0 123 7 0 0 20 0 15 0 92685787 10916999168 169298 33554432000 4194304 4196468 140736805352736 139882479684048 139882073296373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661132 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 260 0 0 0 10 5 0 0 20 0 15 0 92685788 10916999168 169298 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661132 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 183 0 0 0 9 5 0 0 20 0 15 0 92685788 10916999168 169298 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661132 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 199 0 0 0 10 5 0 0 20 0 15 0 92685788 10916999168 169298 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661132 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 213 0 0 0 10 4 0 0 20 0 15 0 92685788 10916999168 169298 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661132 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) S 27258 27261 26091 0 -1 1077944384 2090 0 0 0 83 0 0 0 20 0 15 0 92685792 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881962612976 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661132 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) S 27258 27261 26091 0 -1 1077944384 1599 0 0 0 80 0 0 0 20 0 15 0 92685792 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881961560432 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661132 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) S 27258 27261 26091 0 -1 1077944384 1847 0 0 0 43 0 0 0 20 0 15 0 92685792 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881960507376 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 169298 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 677192 KiB
[startup+3.11033 s]
/proc/loadavg: 1.65 1.49 1.58 3/216 27276
/proc/meminfo: memFree=22632172/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661132 memory=2455892 CPUtime=6.96 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 18459 0 0 0 597 99 0 0 20 0 15 0 92685786 10916999168 613973 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665283 613973 3155 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661132 memory=2434796 CPUtime=2.57 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 7684 0 0 0 229 28 0 0 20 0 15 0 92685787 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882479684080 139882073296348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661132 memory=56 CPUtime=0.49 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 653 0 0 0 32 17 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661132 memory=-8311738553153378854 CPUtime=0.48 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 526 0 0 0 32 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661132 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 488 0 0 0 33 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661132 memory=8819580419504777261 CPUtime=0.48 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 931 0 0 0 32 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661132 memory=288286684112749691 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 1235 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661132 memory=-2746958450906831424 CPUtime=1 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) S 27258 27261 26091 0 -1 1077944384 2115 0 0 0 100 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881962612976 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661132 memory=-7674914008656224160 CPUtime=0.91 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) S 27258 27261 26091 0 -1 1077944384 1611 0 0 0 91 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881961560432 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661132 memory=195384 CPUtime=0.43 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) S 27258 27261 26091 0 -1 1077944384 1853 0 0 0 43 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881960507376 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661132 memory=15128 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661132 memory=640 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 6.96 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2455892 KiB
[startup+3.43841 s]
# the end of solver process 27261 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.2921 s, system=1.00457 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20092 s]
/proc/loadavg: 1.65 1.49 1.58 3/216 27276
/proc/meminfo: memFree=22632172/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661132 memory=2455892 CPUtime=7.05 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 18467 0 0 0 606 99 0 0 20 0 15 0 92685786 10916999168 613973 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665283 613973 3155 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661132 memory=0 CPUtime=2.66 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 7684 0 0 0 238 28 0 0 20 0 15 0 92685787 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882479684080 139882073293977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661132 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 653 0 0 0 32 17 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661132 memory=140092706828816 CPUtime=0.48 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 526 0 0 0 32 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661132 memory=2164 CPUtime=0.49 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 488 0 0 0 33 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661132 memory=3700 CPUtime=0.48 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 931 0 0 0 32 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661132 memory=844 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 1235 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661132 memory=1460 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661132 memory=7302135314614015843 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661132 memory=6224063094014436461 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661132 memory=2241 CPUtime=1 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) S 27258 27261 26091 0 -1 1077944384 2115 0 0 0 100 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881962612976 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661132 memory=2244 CPUtime=0.91 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) S 27258 27261 26091 0 -1 1077944384 1619 0 0 0 91 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881961560432 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661132 memory=677112 CPUtime=0.43 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) S 27258 27261 26091 0 -1 1077944384 1853 0 0 0 43 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881960507376 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661132 memory=280185412802304 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 7.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2455892 KiB
[startup+3.40075 s]
/proc/loadavg: 1.65 1.49 1.58 3/216 27276
/proc/meminfo: memFree=22632172/32770624 swapFree=67028104/67108860
[pid=27261] ppid=27258 vsize=10661132 memory=2455892 CPUtime=7.26 cores=1,3,5,7
/proc/27261/stat : 27261 (java) S 27258 27261 26091 0 -1 1077944320 18467 0 0 0 627 99 0 0 20 0 15 0 92685786 10916999168 613973 33554432000 4194304 4196468 140736805352736 140736805335280 139882475446007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
/proc/27261/statm: 2665283 613973 3155 1 0 2627263 0
[pid=27261/tid=27263] ppid=27258 vsize=10661132 memory=0 CPUtime=2.86 cores=1,3,5,7
/proc/27261/task/27263/stat : 27263 (java) R 27258 27261 26091 0 -1 4202560 7684 0 0 0 258 28 0 0 20 0 15 0 92685787 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882479684080 139882073293977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27264] ppid=27258 vsize=10661132 memory=8819580419504777261 CPUtime=0.49 cores=1,3,5,7
/proc/27261/task/27264/stat : 27264 (java) S 27258 27261 26091 0 -1 1077944384 653 0 0 0 32 17 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882401520144 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27265] ppid=27258 vsize=10661132 memory=288286684112749691 CPUtime=0.48 cores=1,3,5,7
/proc/27261/task/27265/stat : 27265 (java) S 27258 27261 26091 0 -1 1077944384 526 0 0 0 32 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882400467600 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27266] ppid=27258 vsize=10661132 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/27261/task/27266/stat : 27266 (java) S 27258 27261 26091 0 -1 1077944384 488 0 0 0 33 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882399414544 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27267] ppid=27258 vsize=10661132 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/27261/task/27267/stat : 27267 (java) S 27258 27261 26091 0 -1 1077944384 931 0 0 0 32 16 0 0 20 0 15 0 92685788 10916999168 613973 33554432000 4194304 4196468 140736805352736 139882398362000 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27268] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27268/stat : 27268 (java) S 27258 27261 26091 0 -1 1077944384 1235 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881966824176 139882475457154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27269] ppid=27258 vsize=10661132 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27269/stat : 27269 (java) S 27258 27261 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92685789 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881965770400 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27270] ppid=27258 vsize=10661132 memory=-7674914008656224160 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27270/stat : 27270 (java) S 27258 27261 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92685790 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881964717296 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27271] ppid=27258 vsize=10661132 memory=280185413264816 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27271/stat : 27271 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881963665872 139882475464603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27272] ppid=27258 vsize=10661132 memory=7307184289356141157 CPUtime=1 cores=1,3,5,7
/proc/27261/task/27272/stat : 27272 (java) S 27258 27261 26091 0 -1 1077944384 2115 0 0 0 100 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881962612976 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27273] ppid=27258 vsize=10661132 memory=7230638415890049367 CPUtime=0.91 cores=1,3,5,7
/proc/27261/task/27273/stat : 27273 (java) S 27258 27261 26091 0 -1 1077944384 1619 0 0 0 91 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881961560432 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27274] ppid=27258 vsize=10661132 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/27261/task/27274/stat : 27274 (java) S 27258 27261 26091 0 -1 1077944384 1853 0 0 0 43 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881960507376 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27275] ppid=27258 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27275/stat : 27275 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881959455072 139882475456213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
[pid=27261/tid=27276] ppid=27258 vsize=10661132 memory=280181654936164 CPUtime=0 cores=1,3,5,7
/proc/27261/task/27276/stat : 27276 (java) S 27258 27261 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92685792 10916999168 613973 33554432000 4194304 4196468 140736805352736 139881958403120 139882475457154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14651392 140736805356661 140736805356809 140736805356809 140736805359567 0
Current children cumulated CPU time: 7.26 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2455892 KiB
Child status: 0
Real time (s): 3.43845
CPU time (s): 7.29667
CPU user time (s): 6.2921
CPU system time (s): 1.00457
CPU usage (%): 212.208
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2455892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.2921
system time used= 1.00457
maximum resident set size= 2456656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1640
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 27261
# total CPU time (s): 7.29667
# total CPU user time (s): 6.2921
# total CPU system time (s): 1.00457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043411 second user time and 0.079364 second system time
The end